搜索筛选:
搜索耗时0.1010秒,为你在为你在102,285,761篇论文里面共找到 10 篇相符的论文内容
发布年度:
[期刊论文] 作者：袁全生,
来源：课程教育研究 年份：2017
政治作为一门基础课程,在学生发展中发挥着重要作用,因此,教师要重视政治教学工作.本文中,作者结合教学实践,就初中政治教学对策进行了探究....
[期刊论文] 作者：滕至阳,袁全生,
来源：计算机学报 年份：1998
为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统。本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生......
[期刊论文] 作者：滕至阳,袁全生,
来源：计算机研究与发展 年份：1998
文中介绍了已经实现的快速原型化工具系统ＲＰＴＳ，它采用伪函数技术，使应用程序的界面和内部功能原型在制作方面可完全并行进行。为了支持功能原型化的图形表示，提出了功能分割原型化方......
[期刊论文] 作者：滕至阳,袁全生,
来源：高技术通讯 年份：1997
研制了一个进化型快速原型工具系统ＲＰＴＳ，提出了伪函数技术和分割图技术。前者使应用系统的界面原型和内部功能原型的开发工作完全并行化，后者提高了内部功能描述的可视化程度。详细......
[期刊论文] 作者：滕至阳,袁全生,
来源：高技术通讯 年份：1998
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成Ｃ语言程序，在分割图级别上能够比较容易地构造程序模块的验证条件。......
[期刊论文] 作者：滕至阳,袁全生,
来源：东南大学学报：自然科学版 年份：1997
快速原型技术是进行计算机应用系统开发的一种重要技术，然而，快速原型需要有良好的工具支持，本文介绍快速原型工具系统ＲＰＴＳ的设计与实现。...
[期刊论文] 作者：滕至阳,袁全生,
来源：Journal of Southeast University(English Edition) 年份：1998
根据Ａ１型智能网中智能工作站的工作特性，设计了一种专门用于工作站推理机的数据堆栈Ｃａｃｈｅ，其缺页率达到１０－３，页置换开销只有常规方法的一半．...
[期刊论文] 作者：滕至阳,袁全生,程正潮,
来源：高技术通讯 年份：1998
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法.该方法把经过验证的分割图描述自动转换成C语言程序,在分割图级别上能够比较容易地构造程序模块的验证条件....
[期刊论文] 作者：滕至阳,袁全生,程正潮,
来源：计算机学报 年份：1998
为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Petri网的图标编程系统．本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图......
[期刊论文] 作者：滕至阳,袁全生,程正潮,
来源：高技术通讯 年份：1997
研制了一个进化型快速原型工具系统RPTS，提出了伪函数技术和分割图技术。前者使应用系统的界面原型和内部功能原型的开发工作完全并行化，后者提高了内部功能描述的可视化程度。......
相关搜索：
