您的位置: 专家智库 > >

袁全生

作品数:6 被引量:4H指数:1
供职机构:东南大学计算机科学与工程学院更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 2篇可视化
  • 1篇软件开发
  • 1篇图标
  • 1篇图描述
  • 1篇可视化技术
  • 1篇编程
  • 1篇编程系统
  • 1篇STACK
  • 1篇ACK
  • 1篇C语言
  • 1篇DESIGN
  • 1篇INTELL...
  • 1篇并行工程
  • 1篇程序设计
  • 1篇O
  • 1篇PETRI网
  • 1篇WORKST...

机构

  • 6篇东南大学

作者

  • 6篇滕至阳
  • 6篇袁全生
  • 5篇程正潮

传媒

  • 2篇高技术通讯
  • 1篇计算机研究与...
  • 1篇东南大学学报...
  • 1篇计算机学报
  • 1篇Journa...

年份

  • 4篇1998
  • 2篇1997
6 条 记 录,以下是 1-6
排序方式:
RPTS中的并行与可视化技术
1997年
研制了一个进化型快速原型工具系统RPTS,提出了伪函数技术和分割图技术。前者使应用系统的界面原型和内部功能原型的开发工作完全并行化,后者提高了内部功能描述的可视化程度。详细讨论了伪函数、分割图及相关算法。
滕至阳袁全生程正潮
关键词:并行工程可视化
基于Petri网的图标编程系统被引量:3
1998年
为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Petri网的图标编程系统.本文首先给出了四类基本图标的形式定义;接着,讨论了该系统各构件的功能并设计了网分析图的生成算法;最后,结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程.该系统原型在SGI图形工作站UNIX环境中的运行试验表明:与时态逻辑相比,无论在编程阶段还是程序运行阶段,Petri网都有很直观的可视化效果.
滕至阳袁全生程正潮
关键词:PETRI网图标可视化编程系统
RPTS及功能分割原型
1998年
文中介绍了已经实现的快速原型化工具系统RPTS,它采用伪函数技术,使应用程序的界面和内部功能原型在制作方面可完全并行进行.为了支持功能原型化的图形表示,提出了功能分割原型化方法及把功能分割图翻译成C语言程序的算法.
滕至阳袁全生程正潮
关键词:C语言程序设计
一个快速原型工具系统 RPTS 的设计与实现
1997年
快速原型(rapidprototyping)技术是进行计算机应用系统开发的一种重要技术.然而,快速原型需要有良好的工具支持.
滕至阳袁全生程正潮
关键词:软件开发
分割图描述的正确性验证被引量:1
1998年
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。该方法把经过验证的分割图描述自动转换成C语言程序,在分割图级别上能够比较容易地构造程序模块的验证条件。
滕至阳袁全生程正潮
A Design of Stack Data Cache in IW
1998年
A stack data cache is designed according to the features of intelligent workstation(IW) in A1 type intelligent network. Its page fault rate is up to 10 -3 , and the overhead of page replacement is only half of the normal. Stack data cache is suitable for IWs inference engine especially.
滕至阳袁全生
共1页<1>
聚类工具0