Web服务组合系统扩展GSPN建模与化简规则

使用广义随机Petri 网(generalized stochastic Petri net, GSPN) 对具有复杂时间约束信息的大规模Web 服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸. 针对此问题提出一种扩展GSPN建模方法. 将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束
信息. 进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN 缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间. 多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数Web 服务组合系统进行快速性能分析.     

灰色模型在武汉市商品房价格预测中的应用

应用灰色系统理论对武汉市2001—2010年各季度的商品房均价的数据进行分析,得到武汉市商品房价格GM(1,1)模型,并利用该模型对商品房价格进行预测.检验结果表明,该模型适用于商品房价格的中长期预测.     

焦炉焦化模型开发——离散态空间模型开发(Ⅰ)

本文应用现代控制理论、系统分解与机理建模相结合的方法,对焦化过程进行了模型化研究,建立了焦炉焦化过程温度分布的离散状态空间模型,并进行了仿真研究.并把模型仿真结果与大型焦炉的实测结果进行了对比.该模型具有结构简单、计算量小等优点,适用于计算机实时控制.     

船舶辐射噪声的非平稳ARMA模型的建立

分析了船舶辐射噪声信号的特点,提出了一种简单、新颖的适用于船舶辐射噪声的非平稳ARMA模型.对海上实录的三大类船舶辐射噪声建立ARMA模型的实验结果表明该非平稳模型不仅具有较简单的形式,而且具有较高的精度.     

空中侦察系统中红外小目标的被动测距

针对光电对抗系统在红外小目标被动测距中的不足,提出了一种基于目标距离比和方向信息的被动测距算法. 建立了三维空间中的目标和探测器运动模型,通过数学分析构建估计红外小目标距离的一元二次方程,其参数由相邻采样时刻目标到探测器的距离比、探测器自身空间坐标、目标对探测器的方位角及高低角决定. 通过仿真实验和加噪分析验证了该方法的有效性. 文中所提方法表达简单,可避免分母接近于零的情况,适用于机载或弹载双波段红外探测器对小目标的距离估计.     

一种用于模型验证的Web应用模型抽取方法

以模型验证为目标,提出一种Web应用FSM(finite state machines)模型的抽取方法. 该方法将模型抽取划分为链接提取、模型构造和结果显示. 通过建立标签库和对标签的定位,并结合正则表达式的方法,对Web应用进行逆向分析,从源代码开始进行链接及相关信息的提取、规整和存储. 对Web应用中的页面、链接等建模元素进行分析,应用映射与聚合等抽象技术对获得的信息进行重构,得到适用于验证的Web 应用的FSM模型.     

开放系统环境中全局安全系统的设计与实现

在开放系统环境中,由于节点分散,资源易于动用和管理者距远莫及等原因,系统极易受到各种非法操作和恶意攻击的影响.因此,安全性是系统的一个非常重要的问题.文中介绍了一种基于交易器的开放系统环境,分析了该环境中的安全需求和全局安全系统的结构;提出了适用于该环境中的全局安全系统的设计方案,并实现了该全局安全系统原型.     

一种有效的MIMO-OFDM系统盲信道估计算法

提出了一种新的MIMO-OFDM信道模型,该模型对于信道阶数过估计具有很强的鲁棒性,并针对该模型提出了一种基于子空间方法的盲信道估计算法.仿真结果表明在新系统模型基础上提出的算法具有收敛速度快,估计精度高的优点.     

电子电路故障诊断的模糊Petri网模型

提出了一种适用于电子电路故障诊断系统的模糊Petri网模型，用模糊Petri网表示故障诊断的模糊知识与推理机。     

无线传感器网络节点的试验平台设计

为便于无线传感器网络的开发和应用,采用MSP430F149控制器和CC2420无线收发芯片构建无线传感器网络节点的试验平台.利用所选单片机的自编程能力,提出了一种传感器节点远程在线更新(RIAP,remote in-application re-programmable)的方法.该方法同样适用于其他具有自编程能力的MCU,对嵌入式系统的开发有一定的参考价值.