摘要：研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 。

摘要：在分析了数控伺服系统低速跟踪时产生低速不平滑的原因后，根据智能控制原理提出一种基于智能控制器的复合控制设计方法，仿真结果和实验结果证明了该方法具有优良的控制特性，满足极低频下伺服控制的要求。

摘要：在镦粗工艺理论方面 ,提出了圆柱体镦粗的刚塑性力学模型的拉应力理论和静水应力力学模型的切应力理论 ,设计了锥形板镦粗的新工艺。在拔长工艺理论方面 :应用方柱体镦粗的两个新力学模型与拔长的刚端影响问题 ,论证了只有砧宽比一个工艺参数的不足 ,而应补充一个新的工艺参数——料宽比 ,才能正确描述拔长体中心区域的应力状态与有效控制锻件质量 ;并进一步解决了该拔长理论工艺参数量值的合理匹配与确定 ;在“锻造条件对毛坯内部空洞闭合的影响”研究中 ,提出了增加料宽比对横向拉应力控制的“新 FM(Free from Mannesmann effect)锻造法”;并在此基础上提出了横向无拉应力锻造法。用上述理论指导工艺生产 。

摘要：文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法