协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

基于赋时层次着色Petri网的混杂系统建模与行为分析

大型混杂系统的复杂性使建模与行为分析面临巨大挑战. 为此,提出一种基于赋时层次着色Petri 网的建模方法,以离散事件驱动为主线,将连续部分模型通过扩展变迁嵌入到离散模型中. 离散部分和连续部分分别利用各自领域里的专业工具建模,通过通信接口交互实现混杂交互仿真,同时保证整个系统的数据一致性和时间同步性. 在进行混杂系统行为分析时,根据Petri 网的结构化分析方法得到混杂系统的不同行为模式,针对各模式进行多属性仿真分析. 最后通过一个导弹防御系统的例子说明该建模分析方法的可行性.     

用影响网分析复杂系统关键事件

为分析复杂系统关键事件,将系统事件序列图转换为影响网图,通过着色Petri网进行建模和仿真,采用影响网分析系统事件的敏感性并搜索关键事件集合. 统计着色Petri网模型的仿真输出结果,得出事件发生的条件概率和基准概率,将影响强度与条件概率值的关系线性化,从而推算出影响强度. 该方法避免了影响强度、基准概率等参数由专家指定存在的主观性. 以弹道导弹防御系统为例进行分析,结果表明所述方法直观实用,对复杂系统的决策有一定的参考价值.     

威胁驱动的Web应用On-The-Fly导航模型验证方法

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战. 该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全性质,利用模型检测工具NuSMV对建立的模型进行验证. 实验结果表明该方法可以减少搜索空间并在一定程度上避免状态空间爆炸.     

基于Petri网的复杂空竭休假排队系统的性能评价

针对复杂空竭排队系统难以得到性能指标解析解的问题,提出基于Petri网模拟的近似解方法.通过CPN Tools建立4种休假策略下排队系统的Petri网模型,在定义排队系统的性能指标数学期望公式的基础上,使用Data Collector采集模型模拟的动态数据,得到相关的性能指标结果和期望收益.仿真结果表明这种基于Petri网模型的近似求解方法是有效的,建立的模型和基于模型的性能分析方法具有可扩展性、复用性和界面友好性.     

着色Petri网的混杂系统仿真平台构架

提出一种以Petri网为仿真进程控制,以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架. 该仿真构架通过运用和扩展着色Petri网中替代变迁的概念,结合融合库所和折叠功能,实现了混杂系统的复杂逻辑建模和连续系统内嵌. 同时,着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题.最后通过一个混杂系统实例的建模与仿真分析,验证了该平台的可行性与逻辑检验的有效性,为复杂混杂系统的建模与仿真提供了一条新途径.     

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具，有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界，主要思想为在生成状态空间过程中，通过引导消除可达图的部分回路同时结合T不变量的相关性质，以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验，通过对求解库所界的不同方法及其实验结果进行比较分析，说明了本文算法的有效性.     

时变线性系统的系统建模与虚拟仿真教学

时变线性系统是信息处理相关课程教学的扩展内容,而其解往往不能写成解析解的形式,因而其数值解法是教学与科研中的一个基本问题.利用状态空间分析法,以实现对时变线性系统的系统建模,利用计算机虚拟仿真技术,可直观便捷地完成系统的虚拟仿真并得到其系统响应的数值解.在Matlab/Simulink图形交互式之虚拟仿真环境中,进行了时变线性系统的系统建模与虚拟仿真设计与实验.实验结果表明,其仿真建模过程直观明了,可操作性强,求解方法便捷可行.     

求解复杂结构控制系统传递函数的简便公式

在控制理论中,对一个复杂结构图进行化简,并求解其传递函数,是研究系统中的信息变换、传递及设计系统等方面的首要问题.在教科书中,系统的传递函数一般是通过将结构图进行等效变换化简或将结构图转化为对应的信号流图应用梅逊公式计算求得.这些方法在解复杂结构系统时,一般仍感麻烦复杂,且在化简、计算过程中稍不注意就容易出错.本文以求解多前向通路结构系统传递函数为例,探讨了一个通用简便的计算公式,适用于复杂系统传递函数的求解.     

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

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

共轭对称前导OFDM系统的定时偏移

该文研究多径衰落信道中基于共轭对称结构前导的OFDM符号同步. 通过分析共轭对称相关定时度量的统计特性,指出共轭对称前导经过多径信道时,在路径间相对延迟为偶数采样间隔的条件下会形成复合共轭对称结构. 较强的复合共轭对称结构和第1 径为非主径的情况下,依据定时度量的最大值进行符号同步估计时会产生定时偏移. 定时偏移引起符号间干扰和子载波间干扰,偏移较大时将严重影响系统性能. 仿真实验证实了上述分析的正确性.     

放大-转发OFDMA中继系统多业务资源分配方案

针对独立功率限制、放大–转发OFDMA中继系统的多业务资源分配问题,提出一种在满足实时用户要求前提下,非实时用户数据速率最大化的资源分配方案. 根据业务的不同将问题分解为实时和非实时用户的资源分配两个子问题. 对于实时用户的资源分配,利用Lagrange方法计算. 对于非实时用户的资源分配,每个子载波分配给信道条件最好的用户,针对功率分配提出两步功率分配方法. 首先按照总功率约束进行初始功率分配,然后对各子载波的功率进行调整以满足独立功率约束. 对于子载波分配提出一种低复杂度的子载波集合分配算法. 仿真结果表明,该方案在满足多业务用户要求的同时使系统性能得到优化,且计算复杂度低.     

考虑顾客放弃和服务台数量可变的联络中心排队模型

在高峰时段或紧急事故下,当排队的顾客数量超过限定的瓶颈阈值时,可以申请开启新的服务台。该文根据现实情况考虑增加座席疲劳度和顾客耐烦性等限制条件,以成本最优为目标建立考虑顾客放弃和服务台数量可变的多渠道联络中心排队模型。运用ProModel软件对联络中心排队模型整体的性能进行仿真分析,并与传统的呼叫中心排队模型进行对比,验证其有效性。结果表明,当等待的顾客数量达到峰值时,以队列阈值为条件控制服务台数量的联络中心排队模型较于传统模型而言,不仅能改善系统整体的运营效率,而且可以使总座席数量保持在合理的范围内,以控制人力成本、降低顾客的损失成本及损失率、提高座席的服务水平。     

状态空间对称系统的L2最优模型降价

研究用一个低价隐定连续线对称性时不变系统上近似一个高阶隐定连续线对称性时不变系统以使它们之间的L2-范数误差最小化，到目前为止，这一问题是否有解还没有定论。该文试图寻找一个低阶隐定连续线对称性时不变系统，其与给定的高阶隐定连续线对称性时不变系统的L2-范数误差可与最优误差值充分接近。为此，构造一个约束最小化问题并证明这个问题有全局最小解，作者设计一个梯度流算法来求解这个约束最小化问题，给出一个数值例子显示本方法的有效性。     

基于SOA的教学档案管理系统设计与实现

利用SOA技术思想和体系结构,应用Web Services技术,设计轻量级的面向服务的教学档案管理系统,给出系统架构、Web服务模型设计和ESB设计,并实现服务接口层、业务组合层和数据访问层.基于SOA的教学档案管理系统可解决目前高校教学档案电子化管理模式中的信息孤岛、资源浪费和IT架构僵硬等问题.     

网格信息服务研究

信息服务是网格系统提供给各类用户以满足需求的主要功能.由于信息资源的需求者与提供者分布在不同地域或不同节点上,二者是非透明状态下的,不均衡的"多对多"关系,因此,需要网格信息服务.数据网格和信息网格是网格信息服务的基础;SOA的优势在于其高度的可复用性、灵活性、可靠性和更好的可扩展性;Web服务描述了一种基于标准技术的新型分布式计算范例,并提供应用程序的接口WSDL.在Web协议的支持下,就可以为信息获取、信息提供、信息管理等提供基本操作,实现网格信息服务的功能.     

改进的异构无线网络接入选择方法

针对全IP业务,该文针对LTE/WiMAX异构无线网络提出一种改进的基于可变传输单元的接入选择算法. 算法利用二维资源单元计算系统容量,通过引入负载转移和可变传输单元,合理分配系统资源,更有效地为全IP业务服务. 利用排队理论建立系统四维马尔柯夫排队模型,分析并评价了系统性能. 仿真结果表明,与原有接
入选择算法相比,该算法更符合网络实际情况,在保证异构无线网络实时业务性能基础上,有效提高了非实时业务性能及系统总资源利用率.     

网格服务挖掘:一种面向网格服务计算范例的实现

面向服务的计算是一种把网格服务作为开发应用的基本元素的计算范例，它是在Web Services、网格计算和软件复用技术的完善和发展下而提出的，同时了解到网格服务的用户有这样的计算需求：从网格上发现网格服务，或直接使用它们，或间接动态地组装它们形成的新型的、功能更强大的网格服务，我们提出了网格服务挖掘GSM(Grid Service Mining)的概念．以及适成这种计算范例的软件构架——FGSM(Framework for Grid Service,Mining)．在这种架构中，智能agent分析理解用户的服务需求．从网格服务资源巾查询、识别可用的网格服务，并组装、链接它们．形成满足用户需求的新型的服务．文中论述了网格服务挖掘的基本概念，并详细描述了FGSM的结构以及在该架构下网格服务挖掘的一般过程，最后指出了进一步的研究方向。     

一种基于JSR172的无线异步Web服务

移动设备能在JSR172的帮助下以JAX-RPC方式调用远程Web服务,使其成为企业级Web服务解决方案中的重要部分之一.在分析JSR172体系结构的基础上,对其进行拓展,提出了基于JSR172的无线异步Web服务体系结构.该结构利用存储/转发机制将服务请求和操作结果以XML文件形式处理,提高了服务效率,保证了服务质量,并实现对多种移动设备的支持,从而为在无线设备上实现异步Web服务提供了一个有效方法.