基于规则嵌入赋色Petri网模型的柔性装配系统仿真

针对柔性装配系统复杂的并行作业特点，提出了规则嵌入赋色Petri(RCP)网模型．给出RCP的定义，利用面向对象的语言实现了网的静态描述以及动态运行，在此基础上得到了相关的系统参数，柔性仿真系统以模块化结构实现．以上海科技馆的机器人柔性装配系统为例，给出了它的RCP仿真模型，求出了某作业初始序列下的系统参数，并得到了该作业的最短完成时间的优化序列．     

计算Petri网S不变量和T不变量算法

以Petri网的关联矩阵为基础,提出了求解Petri网的S不变量和T不变量的算法。以关联矩阵为基础构造求解矩阵,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零,并在变换后的矩阵中提取S不变量和T不变量。算法实现了在一个矩阵中通过初等线性变换就可以得到Petri网的S不变量和T不变量。     

金属液磁悬浮连铸工艺技术及其在铜材生产中的应用

简述了磁悬浮连续铸造工艺(MFCC)原理及其在铜板带材和铜管、线、型、棒、排材生产中的应用,分析了MFCCR、MFCCCE工艺用于铜材生产的效益.通过H65软态黄铜带材产品生产采用MFCC工艺的电耗计算实例,表明金属液磁悬浮工艺技术应用于铜材生产中有明显的节约能源和降低生产成本的效果,亦说明金属液磁悬浮连铸新工艺技术具有良好的推广应用价值.     

引信遭遇有源干扰时的检波信号仿真

为了分析在无线电遭遇有源干扰时的工作情况,对引信的检波输出信号进行了仿真。考虑到输入输出的非线性映射关系,采用BP神经网络进行仿真,将干扰机的主要变量作为网络的输入变量,引信的检波输出信号作为网络的输出变量,用实验测得的引信检波信号作为样本对网络进行训练。仿真结果表明此方法是可行的,仿真结果令人满意。     

基于工作流技术的高校教务管理系统

工作流技术可以将信息管理系统中的功能模块和过程管理分开,分别进行建模和实行控制,使处理过程自动化,使人以及各种应用工具相互之间协调工作,让合适的人或软件在恰当的时间执行正确的工作。对高校教务管理工作进行分析,在Web开发环境下将工作流技术引入高校教务管理系统,设计一种基于Petri网工作流建模方法及规则。以离校审批业务为例详细分析了构建工作流模型的过程,设计基于B/S结构的高校教务管理系统体系结构,该结构设计方法灵活和易维护,可以较方便地处理高校教务管理业务过程中工作流动态建模问题,以提高系统管理的高水平、高效率,实现高校教务管理水平的现代化和网络化。     

用收敛类刻划第一可数公理

用收敛类诱导出满足第一可数公理的拓扑空间，并得到一个拓扑空间满足第一可数公理的充要条件。     

协同设计系统中一种新的访问控制模型

在分析和总结主体对象访问模型和CSCWD(计算机支持协同设计)访问控制需求的基础上,提出一种新的访问控制模型———基于任务角色的粗粒度混合访问控制模型,解决了在主体 对象访问模型中无法根据应用逻辑相关性实施对访问对象的动态保护。提出了一个一般性的任务角色概念,它不同于传统的角色和任务。模型中利用任务角色把用户、角色和任务关联起来,成为对系统进行控制的主要手段,体现了CSCWD的面向任务的本质特征。利用赋色Petri网技术,建立了混合型访问控制模型,并对各部分的运行机制进行了分析。结果表明,该模型能够有效地描述访问过程中的动态行为,利于系统的分析验证。     

V+ADJP型的中心动词表层语义分析

对V ADJP型的中心动词进行了表层语义分析，基于语义结构文法，写出了其对应的规则式，生成了相应的语义网络。     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的.     

基于Petri网的MMS服务描述,验证及实现

利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系 抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务－－程序理服务进行描述、分析和验证。最后，以此为基础在ＭＡＰ、ＢＩＴＢＵＳ网上的实现了ＭＭＳ服务，通过互操作测试证明了最正确性。