基于随机Petri网的FMS建模及其性能分析

FMS是复杂、大型的系统，利用Petri网的特有性质能很好地分析FMS系统。首先概述了柔性制造系统和随机Petri网的特征，结合一柔性制造系统的实例，通过随机Petri网建模，分析了FMS的多项性能指标；最后简要介绍了一种模拟软件StpnPlay，并用其对随机任务随机时间进行模拟。在实际应用中可以借助一些模拟软件实现模拟结果，以供管理者参考系统的可行性。     

Petri网可达树的构造与实现

讨论了Petri网可达树的构造方法，给出了相应的算法和实现技术，对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值。     

基于着色Petri网的资源共享问题的研究

Petri网具有严格的数学定义与直观的图形表示，又有丰富的系统描述手段与行为分析技术：是一种适合于描述异步并发竞争机制的系统模型。不同进程对系统资源存取的同步与互斥是资源共享系统中的关键问题，解决多个进程共享资源同步与互斥的传统方法有：加锁机制、信号量机制和管程机制等。本论文基于着色Petri网理论，以计算机操作系统中的经典哲学家问题为引例，提出了基于着色Petri网描述与解决资源共享与同步问题，并用CPNTools工具进行了仿真，取得了简明直观的效果，为解决资源共享问题提供了一种新的研究方法。     

基于Petri网的航空产品设计过程模型

通过分析航空产品设计过程的动态分解特性,提出任务驱动的产品设计过程建模.分析了IDEF0和Petri网在建模方面的优点和存在的问题,论述了设计过程的IDEF0模型向Petri网转换的原则和方法.并重点论述了设计功能单元任务流Petri网模型和设计功能单元内任务流时间Petri网模型.     

基于Petri网模型的异步并发性

通过分析Petri网的网状结构特性,研究其描述异步并发的能力和特点．然后以Petri网的角度重新定义异步并发的概念,并结合实际异步并发应用中的特性,完成建模过程分析．最后,以教务系统中排课系统Ajax的异步传输机制为例建立模型,指导和检验系统的运行情况．     

支持并行调度的多项目资源管理CPN建模

构建良好的多项目资源调度模型已成为项目型企业多项目管理计划与控制的关键性基础工作。在分析多项目并行调度特点的基础上,基于Petri网擅长描述随机性、任务间并发、同步、并行等系统特征的优势,克服当前已有的多项目并行调度模型的不足,构建了基于CPN的多项目并行调度模型。通过建模实例阐述了模型的仿真分析方法,证明了基于着色Petri网构建多项目并行调度模型的可行性和有效性。       

Petri网融合蚁群算法的柔性装配系统调度

为解决柔性装配系统的调度问题,采用分层时延Petri网模型与蚁群优化算法相结合,将柔性装配系统分解成诸多个装配体,每个装配体再分解成多个柔性装配单元,对装配单元分别建模并用蚁群算法对装配方案遍历优化,最后确定装配系统的时延Petri网模型.该方法融合了Petri网和蚁群算法各自的优点,较好地解决了柔性装配系统中的装配建模和装配任务的分配优化问题.实验证明该研究可行有效.     

基于Petri网的电子政务动态流程建模

Petfi网具有图形化的直观性和数学的严谨性，非常适合进行复杂离散系统建摸．电子政务系统往往涉及行政部门多、业务流程复杂，一件业务通常有时限要求且涉及到的相关部门具有动态并发性．一些业务的流向具有并发和动态特征，用传统Petri网及其扩展模型难于描述．提出一种支持动态并发流程生成的动态Petri网模型DOPN，以适应具有动态复杂流程的电子政务系统建摸，并通过市长公开电话系统业务流程的成功开发验证了其正确性。     

一种多任务系统的描述工具

ETP(Extelqded Timed Petri Net)是 Petri 同的一种扩充形式.ETP 中的位置有两种类型:(1)支配型位置;(2)非支配型位置.它的转移被赋予定时功能.在描述多任务系统时,支配型位置用来表示控制流,非支配型位置用来表示任务间通信、任务间相互作用.本文以 IRMX86为例介绍了 ETP 表示多任务系统的方法.并提出了一种实时系统死锁的分析方法.     

基于扩展TTPN的多任务加工系统建模及资源优化

引入分类信息拓展赋时变迁Petri网(TTPN),给出扩展赋时变迁Petri网(ETTPN)模型定义,以分类集成方法,建立多任务加工系统ETTPN模型.与传统TTPN建模相比,该模型建模复杂度显著下降.结合多任务加工系统ETtPN模型,提出资源优化配置算法,通过实例验证该算法的有效性.     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.