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

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

基于综合效能的火力/电子战协同攻击决策研究

从进攻角度着手,提出了一种新的以综合作战效能最大为决策准则的火力/电子战武器协同攻击的使用方法。该方法首先构建了由信息、机动、干扰、火力四大空战要素决定的能力矩阵、关联矩阵、可用性矩阵及权矩阵,综合作战效能评估模型则由上述四个矩阵组成。进一步通过遍历算法得到综合作战效能最大时的火力/电子战武器协同攻击方案,即为当前火力/电子战武器最优的发射时机。仿真结果表明,该决策方法得到的攻击策略与所期望的软/硬武器协同作战准则一致,能实现综合作战效能的最大化。     

基于图像的直接视觉伺服控制器设计与仿真

对于手眼机器人视觉伺服,考虑机器人的运动学及动力学特性,在物体的深度未知及机器人的基坐标系与物体的坐标系之间的相似变换矩阵未定标的情况下,设计了直接视觉伺服控制器,利用自适应算法对深度及上述相似变换矩阵的参数进行在线估计,实现了基于图像误差的定位控制,在系统的工作空间范围内,闭环系统是渐近可稳定的。该方法不需要物体的几何模型及深度的精确值,仿真结果验证了其有效性。     

一种基于着色赋时Petri网的Web服务组合建模方法

为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。     

基于混合生物地理学优化的多目标优化算法

提出一种基于混合生物地理学优化算法的多目标进化算法(multi-objective optimization based on hybrid biogeography based optimization, MOBBO)。针对生物地理学优化算法(biogeography based optimization, BBO)自身的机制,建立适用于BBO的多目标进化模型。在模型中,结合栖息地个体间的Pareto支配关系对栖息地适应度指数进行了重新定义;为了保持栖息地种群的分布性,提出一种新的基于动态距离矩阵的分布性保持机制;同时,根据多目标优化的特点,提出了新的自适应迁入迁出率确定方式,动态迁移策略及分段logistic混沌变异策略。通过对测试函数ZDT和DTLZ的仿真实验表明,与现有多种多目标优化算法相比,MOBBO在解集的收敛性和分布的均匀性上均有明显改善,能够有效且高效地进行复杂多目标优化问题的求解。     

机群多编队作战网络自同步

提出机群多编队协同作战复杂网络模型,基于复杂网络自同步原理,研究网络节点动力学和耦合强度给定不变情况下,网络拓扑结构对作战网络同步能力的影响。针对作战网络特点,以最大化网络同步能力和不同层级指控节点效能为优化目标,作战网络指控结构和作战环境对通信拓扑的限制为约束条件,建立作战网络自同步优化模型。采用遗传算法,通过调整作战节点之间的通信结构对上述模型求解。仿真实验表明,获得的优化网络在保持作战网络结构特点的同时,具备更小的网络特征值比和更快的一致性收敛速度。     

双基地MIMO雷达相干目标角度估计算法

提出一种双基地多输入多输出（multiple input multiple output,MIMO）雷达相干多目标角度快速估计算法。采用单次快拍数据构建的一组Toeplitz矩阵重构出新的协方差矩阵,使得矩阵的秩等于目标的总个数;通过矩阵变换使得变换后的协方差矩阵满足centro Hermitian性,即可利用酉变换将复矩阵转化为实矩阵进行实数域的参数求解,采用旋转不变信号参数估计（estimation of signal parameters via rotational invariance technique, ESPRIT）算法即可准确估计出对应的目标角度。通过仿真表明：所提算法能够实现相干目标源的角度估计且参数自动配对;降低了复矩阵特征分解所带来的巨大运算复杂度,具有更高的参数估计精度和算法稳健性;同时能够对移动目标进行角度跟踪,具有良好的跟踪性能。     

Evidence for self-organized criticality in unscheduled downtime data of equipment

How to reduce downtime and improve availability of the complex equipment is very important. Although the unscheduled downtime（USDT） issues of the equipment are very complex, the self-organized criticality（SOC） is the right theory to study complex systems evolution and opens up a new window to the investigation of disasters, such as the sudden failure of the equipment. Firstly,SOC theory and its validation method are introduced. Then an SOC validation method for USDT of the equipment is proposed based on the above theory. Case study is done on bottleneck equipment in a factory and corresponding data pre-process work is done. The rescaled-range（R/S） analysis method is used to calculate the Hurst exponent of USDT time-series data in order to determine the long-range correlation of USDT data on time scale;at the same time the spatial power-law characteristic of USDT time series data is studied. The result shows that the characteristics of SOC are revealed in USDT data of the equipment according to the criterion of SOC. In addition, based on the characteristics of SOC,the overall framework of the prediction method for major sudden failure of the equipment is proposed based on SOC.     

二分法快速求渐开线变位圆柱齿轮啮合角的数值解

针对目前企业在变位渐开线圆柱齿轮啮合角及压力角的计算中,采用传统手工计算结合查表的方法,存在计算精度差、效率低的问题,研究开发出一种二分法快速数值计算方法.实践表明,当设定计算精度ε≤10-4时,可以得到满足使用要求的高精度数值解.     

基于Windows CE嵌入式车载导航终端的设计

摘要：对嵌入式操作系统Windows CE．net的源代码进行了大量的修改，同时应用EVC＋＋4．0开发应用软件，实现了车载导航系统的各项功能．在ARM9目标板上下栽操作系统镜像和应用软件，经测试，导航系统的操作系统运行稳定，能准确接收GPS、GPRS数据，且接收到GPS数据后能准确地在电子地图上显示并指示方向．