搜索筛选:
搜索耗时0.6109秒,为你在为你在102,267,441篇论文里面共找到 25 篇相符的论文内容
发布年度:
[学位论文] 作者：刘树锟,
来源：南华大学 年份：2007
迄今为止,计算机软件系统虽然仅仅只有短短的几十年历史,但是已经成为最广泛、最重要的应用系统之一。从而软件的质量成为人们目前广泛关注、高度重视的热点问题之一。基于合...
[期刊论文] 作者：刘树锟,阳小华,
来源：计算机工程与设计 年份：2008
讨论了程序不变量的内涵，研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型，以及程序不变量发现的主体过程，并结合Java程序......
[期刊论文] 作者：刘树锟,阳小华,
来源：计算机工程与科学 年份：2011
基于合约的程序设计是提高软件质量的一种重要技术，已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达......
[期刊论文] 作者：刘树锟,阳小华,
来源：微电子学与计算机 年份：2008
目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是...
[期刊论文] 作者：刘树锟,阳小华,
来源：电脑开发与应用 年份：2006
讨论了动态不变量的检测，即通过一个动态分析发现可能的程序不变量。通过从程序中自动推断出似然程序不变量的方式，可以在程序运动时动态追踪运行轨迹，以发现程序不变量，并找出属......
[期刊论文] 作者：蒋桂莲,刘树锟,,
来源：计算机与现代化 年份：2010
针对v-支持向量机在样本集规模较大的情况下,需要占用大量训练时间的问题,提出基于粗糙集边界的v-支持向量机混合分类算法。该算法根据粗糙集理论边界区域的优点,生成分类数...
[期刊论文] 作者：刘树锟 潘显民,
来源：新教育论坛 年份：2019
摘要：教学方式是教学过程中的核心组成部分，是影响高校教学质量的重要因素。目前主要的教学方式有传统教学和翻转课堂。传统课堂教学是完全遵循课前、课上、课后三个过程进行的分阶段教学活动。相对而言，翻转课堂教学实际上是一种全新的教学过程优化框架。目前看来......
[期刊论文] 作者：潘显民,刘树锟,
来源：电脑与信息技术 年份：2021
随着大数据时代到来,如何构建高校的大数据环境组件模式教学资源库,成为高校教育资源共享首要解决的问题。文章分析了高校教学资源管理及大数据环境组件模式教学资源库建设中...
[期刊论文] 作者：刘树锟,阳小华,刘杰,
来源：计算机工程与设计 年份：2007
通过程序不变量动态生成技术，可以分析程序内部的关联属性，从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型，并结合......
[期刊论文] 作者：陈继锋,彭浩,刘树锟,
来源：教育教学论坛 年份：2012
本文对当前计算机人才培养的状况进行了分析，提出了一种计算机学科“动态能力集”工学结合订单式人才培养的模式。文中对培养目标的制定、培养内容的确定、培养模式的构建以及......
[期刊论文] 作者：刘树锟,陈继锋,阳小华,
来源：计算机工程与应用 年份：2008
讨论了程序不变量的内涵，研究并建立了程序不变量动态生成系统的理论模型。在该模型中，针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了......
[期刊论文] 作者：彭浩,王雅琳,刘树锟,,
来源：计算机应用与软件 年份：2010
在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符号综合和验证过程中,需要对有限状态机各传输关系合取运算的先后顺序进行量化调度,从而降低求解过程中各临时OBDD所消耗的内存资源,......
[期刊论文] 作者：陈继锋,刘树锟,王志海,
来源：计算机工程与应用 年份：2010
设计了一个通用的基于控制流和数据流的结构测试数据自动生成的工具。该工具根据控制流和数据流测试中所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选...
[期刊论文] 作者：文雄军,刘树锟,廖曙光,
来源：湖南师范大学自然科学学报 年份：2012
电子站牌用于动态显示公交车辆的相关信息，介绍了电子站牌的基本工作原理，设计了电子站牌内部的主要硬件部份，研究并优化了电子站牌报站的算法，同时提供了数据丢失时的补偿方案．......
[期刊论文] 作者：刘树锟,莫正杰,吴沛林,
来源：福建电脑 年份：2013
文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程，包括变量轨迹的提取和动态检测思想。针对二元关系和三元关系的检测原理和实现过程进行了详细的描述。实现了能够......
[期刊论文] 作者：刘树锟,左国才,李超良,
来源：福建电脑 年份：2021
目前,已经步入了新一代人工智能和大数据2.0时代。作为智能社会的关键因子,高等教育应该充分利用大数据、人工智能技术促进教育领域的发展和变革。为了快速、深入贯彻落实我国十九大精神,加快促进教育现代化建设,迅猛推进当代教育信息化发展,本文分析和阐释了精......
[期刊论文] 作者：刘树锟,陈振,文雄军,梁华,
来源：计算机教育 年份：2011
C语言是高等院校计算机专业学生的专业基础课,是计算机专业后续课程如数据结构、面向对象技术等课程的前期课程。能否学好C语言直接影响到后续课程的学习效果。文章以湖南涉...
[期刊论文] 作者：刘树锟 阳小华 刘 杰 罗江琴,
来源：计算技术与自动化 年份：2006
摘 要：在当今信息社会中，程序质量是一个具有重要意义的热点问题。基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化契约的制定是一件十分困难的工作，因此软件质量保证问题一直是令人困扰的难题。本文介绍契约式程序设计的基本概念与方法，并在此基础......
[期刊论文] 作者：刘树锟,阳小华,罗江琴,刘杰,
来源：微计算机信息 年份：2006
本文主要讨论基于合约的似然程序不变量的内涵，以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与......
[期刊论文] 作者：刘树锟,阳小华,陈继锋,彭浩,,
来源：计算机应用研究 年份：2009
重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证......
相关搜索：
