摘要：信息物理系统(cyber physical system,CPS)由受控对象、传感器、执行器、监控器和通信网络组成,通信网络的使用增加了信息物理系统面临外部攻击的风险.鉴于此,综述基于离散事件系统框架处理信息物理系统攻击问题的相关研究工作.首先对信息物理系统进行简要介绍;然后对信息物理系统中的攻击进行分类;最后重点阐述信息物理系统中攻击策略的设计、攻击的检测与防御以及攻击鲁棒性监控器设计的研究现状.

摘要：自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。针对该问题,提出了一种基于标签Petri网和整数线性规划的计算方法。首先,根据标签Petri网的结构化特性给出拟执行任务与初始资源的约束关系,将初始资源配置优化问题抽象为整数线性规划问题;其次,利用Lingo等软件求解该整数线性规划问题;最后,通过实例对提出方法进行验证。实验结果表明,提出的方法简单高效,对实际自动制造系统的初始资源配置具有一定借鉴意义。

摘要：针对有效验证离散事件系统故障后是否具有可诊断性问题,设计了一种基于Petri网的边界可诊断性的验证方法。首先,根据Petri网的结构特性,提出了显示可达图的概念及其构建算法;其次,提出了一种基于显示可达图的验证器及其构造算法,分析系统故障发生后是否具有可诊断性以及计算满足系统可诊断性的边界值;最后,通过实例对所设计的方法进行验证。实验结果表明,设计方法可以有效验证系统故障后是否具有可诊断性并计算系统满足可诊断性的边界值,计算过程较为简单,对实际工业应用中离散事件系统故障可诊断性问题具有借鉴意义。

摘要：在生活中和文化上惯于追新逐异的美国人之所以特别喜爱传统主义诗人弗罗斯特，有三个原因：其一，他主要以新英格兰的乡土生活为题材并用新英格兰普通人的日常口语写作；其二，他的作品在艺术上的精巧构思、内容上对生活的深刻感悟给人留下了思考和想象的空间；其三，他的作品反映了20世纪前半期的美国生活和美国人的思想感情。

摘要：为了提高配电网故障电磁瞬态特性的实时仿真效率,避免复杂的现场可编程门阵列(field-programmable gatearray,FPGA)编程,本文研究了一种基于FPGA的自动实时电磁瞬态仿真器。首先通过综合改进的增广节点分析(modified augmented nodal analysis, MANA)方法和固定的导纳矩阵节点方法(fixed admittance matrix nodal method,FAMNM)构建了求解器;然后基于开关电导参数的最优选择,建立了高效的稀疏矩阵-向量乘法器;最后通过对三相配电网络中的单相接地故障后电磁瞬态特性进行测试,验证了仿真器的性能。实验结果表明:MANA-FAMNM的特殊结构可以实现极低的积分时间步长,并且避免了仿真器重新设计FPGA代码,该应用程序可直接用于不同的拓扑结构;仿真器能够实时精确地再现配电网故障中发生的电磁瞬态特性以及在传输线中传播的电磁波,FPGA-RTS仿真与软件EMTP-RV离线仿真的C相相电压值的最大误差约为0.006pu,完全满足工程应用的要求。该仿真器可以推广到工业实时嵌入系统中。

摘要：在WYG700X700型刚性叶轮给料机的设计中,采用虚拟样机技术,利用Pro/Engineer对其进行三维实体建模及虚拟装配,并进行了机构运动仿真,实现了产品的优化设计、降低了研发成本、缩短了研发周期。

摘要：ATC3000应急自动化系统的数据记录仪DRP采用硬盘进行数据记录，担负着雷达数据的记录与回放。当SDD需要回放数据时，向DRP发送回放命令，DRP查找数据文件，并把相应数据发送给sDD，如图1所示为DRP存贮与回放数据。

摘要：在电晕极振打装置的设计中,利用Solid Edge对其进行三维实体建模及虚拟装配,并进行了机构运动仿真,实现了产品的优化设计、降低了研发成本、缩短了研发周期。

摘要：针对传统物流配送操作流程繁琐、易受人为因素影响的问题,提出了将无人机引入物流进行配送的方法。首先,利用随机Petri网理论分别对传统物流配送系统以及无人机物流配送系统进行Petri网建模;其次,基于随机Petri网构建马尔科夫链,利用马尔科夫链对模型进行性能分析;再利用随机Petri网的化简规则对两个模型进行等效变换,计算一次配送业务流程的平均作业时间;最后,再对分析结果进行对比研究。研究对比结果表明,相比传统物流配送,利用无人机进行物流线路的再规划,在满足全线路由合理化的同时,时效履约提高了25.6%,由此可知,利用无人机进行物流配送可以明显缩短配送时间,有效提高配送效率,对实际物流问题具有一定理论借鉴意义。

摘要：针对同时含有不可观和不可控事件的离散事件系统禁止状态问题,提出了一种基于整数线性规划的控制器综合方法.首先,依据Petri网的结构特性构建所有不可观变迁及不可控变迁需满足的线性约束条件集合,将给定约束条件抽象为整数线性规划问题.其次,通过求解整数线性规划问题得到允许线性约束.最后,基于库所不变量的方法设计控制器并将转换后的允许线性约束综合到Petri网中.实验仿真表明提出的方法简单高效,能够保障系统不进入禁止状态,对离散事件系统监控问题具有理论指导意义.