摘要：基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略.将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所.通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件.通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法.通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器.

摘要：基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型———控制和数据Petri网(CDPN).给出了CDPN形式定义,发射规则.研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据.最后给出了该方法在立体停车库控制系统设计中的应用.

摘要：攻击直升机是现代战争中最具威胁的作战兵器之一,作战模拟对于武器系统作战效能分析具有不可替代的作用。本文用马尔柯夫过程建立了直升机在威胁环境中攻击一个地面目标的数学模型,导出了攻击任务成功率、目标被击毁率和直生机损失率等效能的表达式和计算方法,讨论了攻击直升机的费用-效能关系。

摘要：时间是人类发展的空间。城市是时间的客体,为人的造物,在人类寻求最佳生存空间形态的过程中,完成精神向物质的转化,饱含着一代代人的生命与意识。凯文·林奇曾说过,＂城市设计是与时间有关的艺术＂。城市并非一成不变,在现今大量的城市建设中,时间跨度越久,产生的社会问题越复杂,随之而来的建设责任越重大。

摘要：作战生存力是新型军用飞机发展中要考虑的一个关键要素 ,雷达隐身和机载电子攻击是两个减缩飞机敏感性的主要技术。本文给出一个攻击任务的战术设定 ,研究了雷达散射截面和机载雷达干扰机对威胁雷达探测概率的影响 ,确定了雷达制导地空导弹和防空炮火在目标雷达散射截面减缩或 /和干扰机辐射功率干扰下的制导精度 ,计算了飞机单发击毁概率 ,最后给出一架攻击机在一个假设敌对威胁环境中的出击架次生存力 ,说明综合使用雷达隐身和机载电子攻击技术使作战飞机的生存力得到增强 ,评估方法有效实用。