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

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

钢包调度仿真软件包的设计与实现

钢包的优化配备对于钢铁生产过程中的节能，降耗起着重要的作用。针对钢包调度过程的复杂性，难于建立精确数学模型的特点，从钢包调度专家经验中提取钢包选配规则，建立钢包优化配备的优先级，基于规则和优先级混合编制策略开发了钢包调度仿真软件包，讨论了其结构和功能。为方便现场调度专家随时监控钢包的行为，开发了可视化钢包动态模拟画面，利用在线数据，进行离线仿真。经某钢厂在线测试结果表明：该软件可以提高钢包计划编制的精度，减少钢包在线调整的次数，充分利用红包以达到了节能、降耗的作用，为进一步在工程上应用奠定一定的基础。     

气固两相流风洞内颗粒运动特性研究

对气固两相流风洞试验段的两相三维流场进行了数值模拟。对于两相流采用欧拉双流体模型,计算时选取标准k-ε两方程模型。模拟结果表明：试件迎风面和背风面颗粒浓度较大,但背风面粒子分布梯度随流速变化更明显;背风面区域由于重力作用,粒径越大的颗粒沉积越显著;试件迎风面颗粒沉积总量受粒径和流速的影响较大,但背风面沉积量受到的影响不明显。研究结果有助于分析两相流风洞中的流动特征,并能根据颗粒分布情况合理采取回收措施,为进行砂尘环境试验提供参考。     

基于多Agent动态影响图的协作实现

将MAIDs在时间上进行扩展,提出一种新决策模型——多Agent动态影响图（MADIDs）,对动态环境中的协作关系进行建模;给出MADIDs的一种分层分解的分布近似方法,进而通过将决策结点和效用结点的推理引入到BK算法中,给出MADIDs环境模型的一种扩展BK（EBK）近似推理算法;引入一种BP神经网络学习MADIDs的局部效用函数。最后,针对一个表示协作关系的MADID模型,进行算法比较和仿真实验,实验结果显示了MADIDs模型的有效性。     

一种新型高超音速导弹的控制模式研究

高超音速导弹的质量矩控制是通过移动导弹内部滑动质量块的位置,使整个导弹的质量中心产生偏移,并利用气动力相对于质心的力矩改变导弹的飞行姿态和攻角,最终实现导弹机动控制的一种控制方式。以弹头为例,在推导出质量矩弹头的动力学方程基础上,通过分析其方程组的特点并结合弹头再入过程中的气动、速度等参数变化规律,给出了质量矩弹头再入过程中宜采用的控制模式,为其控制律的设计提供了必要的理论参考。     

基于云模型的主观信任管理模型研究

在开放网络中,信任管理是信息安全的重要前提与基础。主观信任具有模糊性和不确定性的双重特征。将定性定量转换模型-云模型引入主观信任管理研究中,提出了一种新的主观信任的表示方法,较好地解决了信任表达中的模糊性和不确定性难题,进而提出了一种灵活直观,描述能力较强的形式化定性信任推理机制,为主观信任管理研究进行了有益的探索和尝试。     

BUCK转换器中的分岔与混沌研究

BUCK开关转换器是一种典型的分段光滑动力学系统,改变转换器的电路参数条件会产生许多动力学行为。我们建立了电路的动力学方程,改变电路各参数,采用数值仿真的方法来分析了转换器的分岔和混沌现象。这对于研究其它DC-DC转换器具有一般意义。在这里采用的是MATLAB软件,并讨论了仿真时一些问题。     

多被动探测器对多目标定位模型及仿真

对于探测目标间距较小的目标群,提出使用3个被动探测器的探测模型。首先,重点研究了多被动探测器对多目标进行定位的目标关联问题;然后,建立了3个被动探测器的机动模型,提出了3个被动探测器多目标定位的目标关联算法。最后,通过仿真分析了各种因素对目标关联的影响。仿真结果表明提出的3个被动探测器机动模型和目标关联算法是有效的。     

基于支持向量机的导弹动力系统动态过程仿真

为了对导弹动力系统动态过程进行仿真,研究了基于支持向量机方法的动态仿真技术。仿真结果与试车数据比较表明,支持向量机对发动机推力的动态变化过程进行了很好的仿真;与基于神经网络的计算结果比较表明,该模型的计算时间短、精度高,可用于液体火箭推进系统的实时状态监控、故障诊断及控制系统设计等方面。     

上海公共交通网络复杂性分析

城市公共交通系统可以抽象为由公交线路和停靠站点构成的网络,这个网络的几何性质对公共交通的状况具有重要影响。在本论文中,以上海市的公共汽车交通系统中的停靠站点网络为研究对象,对其进行复杂性分析,计算了网络的度分布、平均路径长度、聚集系数等指标,并测试了网络在随机失效和有选择性攻击情况下的抗毁性。结果表明,上海市公共交通网络的度分布符合幂率分布,具有较小的平均路径长度和较高的聚集系数。在抗毁性方面,公共交通网络对结点的随机失效具有很强的抗击能力,而对有选择性攻击的抗击能力很弱。因此,可以看出上海市公共交通网络是一个无尺度复杂网络。