产品开发过程管理中协调组件研究

针对目前产品开发过程中时间上相互关联任务之间缺乏有效调度和管理的现状,介绍了时间上相互关联的任务之间的关系;以广义模糊时间Petri网为理论基础,根据关联任务之间不同的关系,建立了相应的协调机制,并引入组件理论,在工作流的系统中构建了协调组件,减少了并行和串行环节的等待时间,提高了工作效率,而且从一定程度上降低了系统的死锁概率,为实际系统进行模拟、性能评价和优化提供了强有力的支持.     

一种交互式脚本语言及其应用

为设计普遍用户所能使用和理解的社会代理，在介入一种描述代理和终端用户间交互的脚本语言Q的基础上，研究了它在语义Web中基于代理的信息搜索和面向电子商务的代理协商领域的应用．实验结果验证了Q语言在设计代理系统时的简单性、代理的可控制性，以及用户和代理系统间良好的交互性．     

一种基于数据处理的脚本语言设计与开发

在飞行试验型号任务中,通常采用各种数据处理软件进行数据采集、解码、单位转换、计算等。通过实践检验和积累,相关数据处理软件就会固定下来;随后发现很难再次高效运用它们。简述了脚本语言和试飞数据处理的结构和过程,提出利用脚本语言进行数据处理的自控模式。用户通过编写脚本代码,运行解释器就可控制数据处理软件进行自动、连续操作。模拟试验表明,该方法可有效提高型号试飞数据处理速度、降低出错率、保障质量安全。     

分布式网络计算与组件分布策略

指出在基于组件模型的分布式网络计算中最本质的问题是组件的划分和分布,给出分析了几种一般的分布策略,同时论述了组件计算机和组件模型。     

基于过程组件的物流管理系统模型设计及分析

物流管理系统是工作流管理系统的重要组成部分，是企业经营过程的核心，借鉴组合Petri网的思想，在组件技术和分布式对象技术的基础上，提出了基于过程组件的物流管理系统的层次结构模型，该模型中，可复用的中等粒度的过程组件通过内部建立数据流和控制规则库。屏蔽了精细粒度的原子性对象之间的调用关系，提高了组件的重用性，提出了重组策略，给出了该模型的Petri网映射模型。为模型的性质分析提供了可靠的分析工具。     

嵌入式软件组件的实时性研究

设计了一种新的基于嵌入式系统软件特点和应用需求的嵌入式软件组件模型SECOM。同时,利用时间Petri网TPN建立了一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行了建模与分析,结果满足嵌入式软件组件的实时性要求。     

基于3DSMAX脚本语言及其实践的研究

计算机绘图有两种方式：一种是手绘方式,另一种方式是编程。根据图形的复杂程度,可自由选择绘图方式。本文介绍3DSMAX绘图软件系统的结构,讨论鼠标绘图和MAXScript脚本语言编程绘图的区别,深入探索了脚本语言编程的具体方法,并给出实例验证程序的正确性。     

基于脚本语言Python的科学计算CAD软件设计框架

科学计算要求复杂的数据结构、高度抽象的数学模型、大量的数据运算和可视化的输出。面向对象的脚本语言Python在可扩展性、可移植性、良好的模块体系等方面的特点，使其成为开发科学计算CAD软件的理想语言。介绍了Python及其标准工具箱Tkinter，及其适合于开发科学计算CAD软件的原因，提供了以Python结合其Tkinter工具箱开发科学计算CAD软件的具体实现框架。     

基于着色Petri网的协调策略建模研究

提出了一种基于着色Petri网（CPN）的协调策略描述方法,在介绍CPN基本构成的基础上,对计算机支持的多层次协同工作系统（CSMMCW）中的协调策略进行了建模。利用CPN,对组间和组内协同工作,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略。文章举例具体说明了如何建立组内协调策略的CPN模型,并对该模型进行了仿真。仿真结果表明,该模型能够有效地描述在协作过程中的动态行为,利于分析和验证,并且易于实现。     

一种人机界面组件组装方法的研究

提出一种人机交互系统的设计模型和一种界面组件的组装模型,结合特定应用领域,可以实现目标系统的快速构建.文中阐述的系统设计模型和组件封装模型需要协同工作,同时遵循相应的设计约束,才能实现利用界面组件组装人机交互系统.     

面向多媒体移动终端的DSP脚本语言设计

移动终端像移动电话等正在采用双核处理器.这种处理器包含MPu和DSP两种核心,双核处理器有利于移动终端性能的提高和功耗的降低,但它会使软件的发展更趋复杂,因为MPU和DSP都要求各自的开发程序.为了改进双核系统对软件发展的要求,研制出了一种DSP脚本语言,其运行环境可以和MPu匹配,阐述了这个系统的设计、运行和评价.     

基于Petri的分布式网络流量优化

基于Petri网建立一种分布式流量优化模型,解决了网络的重复转发问题,并在此基础上,结合线性规划方法,实现了网络流量流向的多目标控制,有效提高了网络质量.     

基于Petri网的规范说明语言

对规范说明的研究是当前计算机科学领域的一个重要的课题,现已提出多种语言系统。本文从petri网的特点出发,提出了一种基于petri网的规范说明语言。首先介绍了它的数据类型,控制过程及实现方法,详细说明了网类型及其运算。最后还给出了一个具有实用价值的例子。     

Signal语言对扩展型Petri网的分析

为了解决现有Ｐｅｔｒｉ网分析工具（可达性树和矩阵方程）不能很好对扩展型Ｐｅｔｒｉ网进行分析的问题，提出用Ｓｉｇｎａｌ语言对扩展型Ｐｅｔｒｉ网进行分析的方法．Ｓｉｇ－ｎａｌ语言不仅能够解答扩展型Ｐｅｔｒｉ网安全性、有界性等问题，还能够直观地表示扩展型Ｐｅｔｒｉ网中各变量之间的约束关系及特性，更好地揭示网络的动态变化行为．     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

基于自适应动态规划的四旋翼无人机分布式最优协调控制

为了提高四旋翼无人机编队的自适应能力,通过自适应动态规划(Adaptive Dynamic Programming)方法研究四旋翼无人机编队分布式最优协调控制问题。将该算法引入到分布式协调控制器的设计中,既避免了冗余数据的传输,又使各无人机的性能函数最小化。基于模糊双曲模型的评价神经网络(Critic Neural Network) 逼近值函数,以实现控制策略的设计。闭环系统稳定性证明权值估计误差和局部邻域协调误差是一致最终有界的。最后,进行了有向切换通信拓扑下的四旋翼编队仿真实例,结果表明了该算法的有效性。     

基于CPN的联合作战自适应分队分布式协同结构性能评价

首先以P／T(place／transition)系统(库所／变迁系统)的表现形式,建立了联合作战自适应分队分布式协同结构。然后根据时间CPN的定义及CPN的层次建模方法,建立了系统性能评价的CPN模型;最后根据时间CPN的性能求解方法,用计算机模拟出了系统的平均任务响应时间,并和正常模式下的固定结构作了对比,得出了所建立的自适应分队协同结构的优缺点,指出了其优越性和可行性。     

一种基于构件的分布式软件构架描述语言

针对分布式软件系统规模和复杂性不断增大的特点，在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言（DSADL），详细描述了DSADL的设计目标、组成元素以及形式化描述基础，并实现了分布式软件构架集成开发环境（EDAD）。由于DSADL结合了SADL与构件技术，因此它既有严格的语义基础，同时又具有构件的可复用性、易移植性的特点。实践证明，DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析的设计，从而提高系统的开发效率。     

面向R语言的分布式流处理系统设计与实现

为了使得在数据分析领域广泛使用的R语言能够应用于大规模数据的分布式流处理计算,基于Spark Streaming框架,设计和实现了一个面向R语言的分布式流处理系统。系统提出了一套完备的R/Java跨语言交互模型,实现了R语言程序和Java程序的互相调用,从而使得R语言程序可以运行在Java平台上,改进了R语言在大规模数据处理和并发计算等方面的不足。系统也提供了Spark Streaming的R语言编程接口,提高了后者的易用性。通过实例验证了该系统的可行性和实用性。     

分布式仿真中可视化对象的描述及应用

本文介绍了一种采用Petri网改进后的面向对象模型，并将它运用到化工集团公司监控指挥调度仿真系统的可视化对象的建模和分析中，这样不仅可以解决系统结构的复杂性和抽象性问题，又使得所设计系统具有更好的可扩充性和易维护性。