长联多跨连续梁桥非线性地震响应分析

连续梁桥以其结构刚度大、变形小、整体性能好等优点,在我国的城市和公路桥梁中分布极为广泛.橡胶支座隔震技术作为一种成熟的结构被动控制技术,已广泛应用于连续梁桥抗震设计中.长联多跨连续梁桥由于其跨数多、单联长度长,地震响应较一般连续梁桥明显,且其所需支座数量众多,选取抗震性能好且价格适中的橡胶支座是该桥型设计的重要工作之一.以漳河特大桥第二联为工程背景,采用普通板式橡胶支座代替原设计的HDR系列高阻尼隔震橡胶支座,利用有限元软件Midas/Civil开展了桥梁非线性地震时程分析.结果表明,桥梁墩高的变化会引起全桥刚度分布不均衡,造成地震惯性力在纵桥向分配不均,桥墩越矮所受地震惯性力越大;桥梁刚度对横桥向地震惯性力的分配影响不大;采用普通板式橡胶支座的长联多跨连续梁桥抗震性能可以满足规范要求.     

网络安全中的蜜网技术应用研究

蜜网是一种高交互的蜜罐,能提供高度控制的网络环境,学习网络入侵者的手段、工具、方法和动机.文章引用了蜜罐及蜜网技术的定义,介绍了蜜网系统的功能构成、关键技术,分析了一种结合防火墙、入侵检测技术的蜜网系统,并对蜜罐及蜜网技术的最新发展方向做出了展望.     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所;（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法,可以有效地压缩原不可控子网,从而指数级地减小不可控子网的状态空间,有效地降低监控问题的计算复杂性,甚至当不可控子网为状态机时,该方法能够彻底解决上述计算复杂性难题,获得高效最优的Petri网监控器,并用一个物料运输系统演示了该方法.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

Petri网共享PB型子网合成及其在系统设计中的应用

针对柔性制造系统的共享子系统设计问题，提出了经由Petri网共享PB-型子网（Place Bordered Subnet）构成共享PB-型子网合成网的解决方案；研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件；对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

无线传感网中节点级能量有效策略的研究

无线传感器网络是一组带有无线收发装置的传感器节点组成的临时性的网络自治系统,由于无线传感器网络的节点是用有限寿命的电池来提供的,因此能量有效策略成为无线传感器网络研究的关键问题。通过结合传感节点的软件和硬件设计方法和系统设计策略来研究组成网络的传感节点的能量有效策略,达到最小化传感节点能量消耗的目标。通过OPNET仿真给出相关结果。     

真空助力器带主缸总成疲劳试验系统辨识

真空助力器带主缸总成是汽车制动系统的关键增力部件,其气动疲劳试验系统由气动子系统、液压子系统、电控子系统等多个子系统构成,属于复杂的非线性系统。该系统存在众多不确定因素,因此无法直接建立数学模型。为了考察该系统的动态性能,采用递归BP神经网络对该系统进行辨识。试验结果表明,递归BP神经网络能够很好的逼近该复杂非线性系统,在不同时间序列作用下均有较好的泛化能力。     

基于着色Petri网的复杂产品开发多项目调度建模研究

建立多项目调度模型已经成为复杂产品开发多项目计划和控制的基础。分析了复杂产品开发多项目调度的特点，指出目前已经提出的多项目调度建模方法不能全面的体现和描述上述特点，提出了用着色Petri网建立多项目调度模型的具体思路和方法，即在着色Petri网颜色定义的基础上，利用着色网的颜色、层次等特点描述多项目调度的相似性、开放性争层次性，利用着色网的守卫函数、孤函数和双向孤等方法描述多项目调度的冲突性、技术关联性争遮代性，文章简要阐述了模型实例和分析方法，最后给出结论和下一步工作。     

模糊Petri网在飞机进近排序中的应用

介绍了发达国家正在研究的最后进近间隔工具(FAST)的排序思想,利用该排序思想,讨论了模糊控制和模糊Petri网排序理论在飞机进近中的具体应用,并进行了仿真。仿真结果表明,该方法能达到合理可行的排序结果,明显减少航班队列的延误。基于模糊Petri网的排序方法为解决空中交通管制系统的科学优化排序问题提供了较好的研究思路。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.