基于Petri网的工作流模型设计

产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础,而Petri网是一种行之有效的模型描述语言.论述利用Petri网建立面向企业新产品开发过程的工作流模型,并对其进行简化.     

用Petri网模拟Turing机

本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。由于Turing机的带子是潜在无穷长的,因而所用的Petri网的p结点集和t结点集也不可能是有限的,该Petri网将是无限的ZP网[1](具禁止弧的Petri网)。     

用解释Petri网图式作为工具开发函数式程序的实例研究

基于文献[1]的方法,本文开发了一个函数式程序(FP程序),文中还给出了程序开发过程中的一些注意事项.最后例出了对文献[1]的一些修改.     

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型.首先给出条件模糊时间Petri网工作流的定义.然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性.最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有 效地避免由于时间约束造成的工作流崩溃问题.     

供需网的IDEF0模型构建及MIFPN模型转换

将IDEF0模型与Petri网相结合,对多信息流系统进行功能描述和动态行为关系分析,提出了多信息流Petri网(MIFPN)的定义,给出了IDEF0至MIFPN转换的规则方法.在此基础上实现对多功能开放型企业供需网系统的功能分析与设计.     

基于Petri网的面向测试的工作流系统建模方法

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移,将每个活动的输入输出抽象为Petri网中的库所,便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法,给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。     

自动机Petri网逐层加细法应用于多微处理机系统的设计

本文提出设计多微处理机系统的一种有条理的统一的方法,它基于—Petri网(所谓“自动机”联成的Petri网)逐层加细这一思想。待设计的计算系统所要完成的算法先策略地勾画成最高一级的—Petri网,而后,类似于结构程序设计那样,自顶向下,从最高一级—Petri网这一模型逐步成层次地在解释上加细—Petri网的各结点(p结点解释以数据结构,t结点解释以运算),最终达到用具体的自动机描述各t结点的功能(它们对输入p结点进行处理,将结果传递给输出p结点)。据此,可着手以互连的微处理机群(必要时,补充以随机逻辑)实现出来。作为例子,文中还提出在通用意义上的多微处理机系统,它实现所谓的扩充von Neumann总体结构,其中用并行计算的一图程序类(它实质上又是一类Petri网)代替了通常的串行计算程序。以M6800微计算机族为基础,阐明如何用本文提出的设计方法来实现扩充von Neumann总体结构。     

用级联方法构造高阶相关免疫函数

相关免疫函数在密码通信、计算机安全等诸多领域有着广泛的应用 .自TSiegen thaler提出该概念以来 ,找到简便易行的构造相关免疫函数的方法一直是一个十分活跃的研究领域 .本文用级联的方法 ,从低阶相关免疫函数来构造高阶的相关免疫函数 ,由此得到几种构造任何阶相关免疫函数的简便方案 ,推广了文献 [4,5]的结果     

基于三点分段的一类三角样条曲线的扩展

基于文献[5]中三点分段的一次和二次三角基函数的扩展,首先给出了带参数的二次和三次三角调配函数,当λi=0时,二次和三次三角基函数分别退化为文献[5]中的一次和二次三角基函数,然后建立了一种带局部调节参数λi的分段三角样条曲线。通过调整参数λi,能够使得当参数λi越大时,分段三角样条曲线越逼近控制多边形。对于曲线的连续性也做了相关的讨论,二次最高可达G2连续,三次最高可达G4连续。最后给出了两个数值例子,分别利用文中给出的二次和三次调配函数构造了达到G1连续和G3连续的两条曲线。     

函数/邏輯程序设计語言LM的应用——FFP系统支持的Δ-PROLOG

LM是一种对于FAIR-LILY语言作了一定扩展的函数/逻辑程序设计语言.本文旨在探讨LM语言的应用,表明该语言所具的函数与逻辑两种编程风格的协调、和谐及雅洁.文中用LM语言编写了Δ-PROLOG语言的解释程序,从而,Δ-PROLOG得以在FFP系统上实现.     

自动机泛函ORANPIA—函数程序设计的自动机策略思想

本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。     

用PROLOG模拟Lyusia语言中状态转移编程体裁

新人工智能语言 Lyusia 是一种多体裁多层次的新型编程语言。它在语法上和在语义上有机地协调地统一了五种编程体栽:泛函的,逻辑的,集合论的,状态转移(过程的与法则的相结合)的及数据流的。本文通过一些例子,用 PROLOG 来模拟 Lyusia 语言中状态转移编程体裁,以达到:(1)阐明状态转移编程体裁的逻辑本质。(2)显示“状态转移编程体裁既蕴含着过程性,又蕴含着说明性(declarative)”。(3)显示“状态转移编程体裁是过程编程体裁与基于法则编程体裁的结合”。(4)表明状态转移编程体裁在表达能力方面的简洁、灵活、善变。(5)说明状态转移编程体裁的应用。     

高职高专软件技术专业程序设计基础课程的改革

提出了采用C＋＋语言作为程序设计基础教学的入门语言并以结构化程序设计为主要教学内容的观点,创建了多级任务驱动式的四学时一课制的教学模式,总结出类比法、“提问、讨论、总结‘三结合”’等教学方法与辅导方法,建立了适合两年制高职高专软件专业的程序设计基础课程体系,取得了良好的教学效果。     

"C语言程序设计"课程教学探讨

文章针对目前“C语言程序设计”课程教学中存在的一些问题,作出分析和思考。提出针对C语言的实际应用,提高学生的学习兴趣。发挥多媒体教学的优势,提高课堂生动性及学生能动性,提高课程教学质量。创造各种学习和实践条件,加强学生能力的培养,提高学生的开发技能。     

Matlab语言及其在有限元编程中的应用

通过运用Matlab，语言进行聚合物异型材口模挤出的三维流动计算机模拟，详细比较了Matlab语言与其它高级语言进行有限元编程的优缺点，并讨论了用Matlab语言进行有限元编程的方法及技巧，实践证明，Matlab是进行有限元工程计算编程的高效编程工具。     

可视化语言及其在多媒体工具中的应用

给出了可视化程序设计语言的基本概念及语法描述,提出了可视化的交互式多媒体演示系统创作工具MPAT中的图符写作语言。讨论了MPAT中结构化演示流程编辑器、演示呈现内容编辑器,并详细描述了MPAT解释器的功能及设计实现。     

Visual FoxPro中面向对象的编程技术

面向对象（Ｏｂｊｅｃｔ－ Ｏｒｉｅｎｔｅｄ） 编程技术的应用,使得ＶｉｓｕａｌＦｏｘＰｒｏ 成为一种典型的第四代语言．在Ｖｉｓｕａｌ ＦｏｘＰｒｏ 中应用对象和类,支持继承性、封装性、多态性．将ＶＦＰ５ 改造成为可视化的编程语言,以支持面向对象的程序设计方法．本文用图书馆管理系统首先分析了面向对象方法的优点,然后介绍ＶＦＰ 中面向对象的编程技术,并把它溶于应用系统的开发中,讨论如何组织面向对象数据库（ＯＯＤＢ） 的程序设计     

新发现侗语单元音韵母[]及其变体的话语功能

本文首先报告在话语语料中新发现的侗语单元音韵母//,然后就其语音和音系特征进行讨论,重点揭示在特定组别的叹词里调类和语气之间的关联,其完全自由音位变体[i]和不完全自由变体[o],语音、语义和话语交际因素之间的制约关系,最后提出它们和汉语的叹词或者表示话轮接管标记的＂啊＂有类型上的一致性。     

C语言课程设计教学新模式的构建与实现

课程设计是计算机专业培养方案的重要组成部分,是计算机专业实践教学体系的核心内容之一。针对C语言课程设计没有达到它原本培养学生解决实际问题能力为目标的现状,本文在分析C语言课程设计教学中存在的问题基础上,提出了一种行之有效的教学新模式。本模式按照模块化实训、案例剖析、实战开发的教学步骤,逐步提高学生的动手能力和独立地获取知识的能力,激发学生对课程设计的兴趣,加强学生的软件工程思维模式的培养。     

DRTC＋＋：一个面向对象的分布式实时程序设计语言

提出了一个面向对象的分布式实时程序设计语言ＤＲＴＣ＋＋。它是在Ｃ＋＋语言的基础上进行了扩充，增加了分布功能和通信功能，引入了活跃对象、共享对象、活跃对象的时间封装机制、对象的访问权限等功能。ＤＲＴＣ＋＋语言有简洁的文法和清晰的语义。