一种递归π演算向Petri网的转换方法

针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的语义,且编码完全相同的轨迹集合,对于在规模较大的复杂系统中应用Petri网模型有着积极的意义。本文还分别证明了递归π演算与转换的Petri网的互模拟等价性以及Petri网与其简洁表示的等价性。     

基于演算的工作流建模方法研究

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.     

基于扩展π演算的长事务处理形式化描述

为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.     

多Agent协同系统的Pi演算建模方法

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法Pi演算进行建模． 首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型, 然后给出了Agent之间交互模式的Pi演算建模方法． 再以家庭物联网系统作为多Agent协作实例, 应用Pi演算对其建模, 模拟多个Agent协作过程中的通信． 最后, 采用移动工作台对模型的语义进行了验证, 表明了Pi演算对MAS建模的适用性．     

一种改进的实时操作系统的进程优先级检索算法

进程调度是影响操作系统实时性的重要因素之一,很多实时操作系统采用基于优先权的进程调度策略,其进程优先级检索算法多采用单级链表结构,时间复杂度通常为O(N),不能很好满足软件无线电系统对多任务实时调度的要求.本文通过对Linux2.6中新的进程优先级检索算法的描述,提出对该优先级检索算法的一种改进方法以适应软件无线电系统的要求,并分析了该方法时间复杂度和空间复杂度.     

基于任务模块的实时软件可靠性模型

根据实时多任软件的特征和各任务所占系统时间的非均匀分布,以任务模块为基本测试单元,提出一种实时多任务软件可靠性评价模型。由于任务周期、任务切换方式、切换频率以及任务故障率等基本参数易于分析和测试,因此该模型具有良好的可实现性和可扩充性,为实时多任务软件的可靠性评价开辟了一条新途径。     

面向构件语义关系的软件体系结构演化分析

为确定软件体系结构(SA)演化的影响程度,在描述构件本身及构件之间的语义关系基础上,提出了构件内部和构件之间的语义协议关系,并构造了SA语义关系模型和语义关系矩阵,将构件之间的语义关系连接形成语义关系链,提出了SA语义关系链矩阵并对它的性质进行了分析.在此基础上,提出了语义关系链波及效应与语义关系构件波及效应算法,同时...     

保持语义约束的混合内联算法的改进

在分析混合内联算法的基础上,对该算法在模式映射过程中缺乏语义映射问题,提出一种保持语义约束的改进混合内联算法.改进的混合内联算法采用XML Sche-ma模式,在语义映射过程中将XML Schema模式中的默认值、12种刻面约束facts等对应到关系模式中的取值约束,实现保持取值约束的模式映射.通过实例分析,说明改进的混合内联算法可以使映射后的关系模式保留更贴近的语义信息.     

复杂事件处理的自适应制造情景识别方法

制造过程中的任务、自然条件、电力水平等环境因素,制约物体状态及其关系的变化.智能制造单元需要自适应的对不同情境约束下的事件和复杂情形及时理解判断,提出基于复杂事件处理(Complex event processing,CEP)的情境约束情景识别方法,以实时作出合理的优化决策.针对忽视情境约束对事件判别的影响,构建基于情境约束的多层次事件模型,给出同生、情境、协同等事件新算子,提出基于事件聚合的制造情景模型与演算过程.针对情景识别知识库中模式规则生成的不足,通过整合物体数据与环境数据建立映射关联,将感知信息转化为情境事件图谱.通过综合序数、名义变量等距离计算和自适应熵权法,提出改进的混合聚类方法处理事件图谱实例属性的多样性和关联性,构建知识库以为情景实时识别提供服务支持.运用4个真实数据集和1个制造过程仿真数据集进行实验,均验证本文模型和方法的有效性,适用于大规模学习问题,并阐明情境因素能显著提升复杂制造应用中的事件判断、情景识别的准确性.     

1/2阶分数演算的模拟OTA电路实现

为了更有效地进行分抗的电路设计,对信号处理中分数演算的模拟电路实现进行了探讨,给出了分数演算的模拟电路无源实现和有源电路实现方案;推导出求解分抗阻抗的精确递推公式.无源电路中给出了分数阶低通和高通滤波器方案,有源电路采用高带宽电流型跨导运算放大器（OTA）进行设计,满足高频信号分数阶运算的要求;同时进行了理论计算和电路模拟性能分析,分析结果表明两种实现方案均能很好地完成信号的分数演算功能,对于分数演算的理论研究与工程实践有着实际意义.     

SWRL数据集中频繁模式发现

使用SWRL(Semantic Web Rule Language)描述的数据蕴含了更多的语义信息,SWRL数据集上的数据挖掘过程必须充分考虑数据的语义特征。已有的关于这种类型数据的候选频繁模式生成方法可能产生大量无意义的模式,加重了模式评价过程的计算负担。针对这一缺陷提出了基于向下求精规则和相容谓词的候选频繁模式生成方法,同时定义了谓词数量约束,从而避免产生过多的非频繁模式和冗余模式。实验证明该方法可提高频繁模式生成的效率。     

叶片随机失谐与叶盘结构共振特性分析

叶片随机失谐对叶盘动力特性具有重要影响,导致叶盘系统模态局部化和受迫响应的急剧增大.文章针对叶片随机失谐,利用Monte Carlo分析方法,研究失谐叶盘结构模态局部化特性以及不同系统频率下的共振响应特性.随机失谐分布采用质量失谐和刚度失谐两种形式,着重分析其对叶片占优系统模态族的局部化程度、相应失谐共振响应及其最大振幅放大因子的影响规律.研究结果表明,失谐对叶盘低阶弯曲模态族的局部化程度影响最大,对应的最大振幅放大因子也相应较大.     

基于局域波分解的大系统派生模态降维研究

文章分析了当前以平衡与截裁为代表的大系统降维理论,鉴于其内容不尽完善,因此基于系统运动模态的特征,在科技与哲理的辩证分析基础上,建立了大系统派生模态理论和组合降维模型。对于工程实际中的系统响应曲线,提出了基于局域波分解的大系统派生模态提取策略实现系统降维。仿真结果表明,基于模态和图形的协同算法应用简便,并可获得较高精度的降维模型。     

考虑前馈作用的BTT导弹自动驾驶仪设计方法研究

针对BTT导弹自动驾驶仪的设计要求,文章提出了一种考虑前馈作用的导弹自动驾驶仪控制器设计方法。基于该型导弹三通道弹体数学模型,建立了自动驾驶仪控制系统数学模型。应用增益技术和递推设计方法,并基于过载稳定跟踪控制的设计要求,提出了一种全局非线性稳定控制策略,设计了连续的非线性自动驾驶仪,解决了该导弹俯仰通道的前馈问题;对于偏航通道,通过设计三通道协调控制律,将有前馈的自动驾驶仪设计问题转化为无前馈的设计问题;同时也利用滑模变结构控制原理解算出了横滚通道的舵偏角指令。数字仿真结果表明,所设计的自动驾驶仪控制系统可有效克服前馈问题所产生的稳态误差以及不确定性因素的影响,同时也提高了跟踪精度,并具有良好的动态特性和稳态品质。     

粗糙集在数据挖掘分类规则中的应用研究

数据集中的冗余性会降低数据挖掘结果的解释能力和精度，介绍了数据集中挖掘分类规则的基本原则，并利用粗糙集理论中核及决策类覆盖的概念，提出了一个在数据集中发现没有冗余属性的最小归纳依赖关系，并简化带有不同相容规则的决策系统的数据挖掘算法，并应用一简单的例子说明如何在数据库中发现分类规则。     

实时人眼定位算法研究与设计

为了实现准确和实时的人眼定位,提出了一种有效的人眼定位方法。采用基于统计肤色模型和人脸几何特征约束定位人脸,根据在YCbCr色度空间中肤色的聚类性独立于亮度,建立肤色模型,然后采用自适应阈值进行肤色分割。在人眼定位中,通过获取一个属于眼睛区域像素的随机样本,利用期望最大化算法（EM）调整椭圆型眼参数模型。在包含两个眼睛的矩形框内精确定位人眼,计算量小,速度快。实验结果表明,该方法能够准确、快速地定位人眼,可以满足非接触式、不同光照条件、实时的人眼定位系统的要求.     

基于开放接口的异构路由器集群

随着Internet速度和规模的持续增长以及各种新型服务和协议的不断涌现,现有的核心路由器已经越来越难以适应运营商的要求。文章指出集群结构是高性能路由器发展的趋势,在总结现有集群路由器相关研究的基础上,指出了目前同构路由器集群结构的不足。分析了路由器向标准化、模块化发展的趋势,以此为基础提出了一种新的路由器体系结构——基于开放接口的异构路由器集群CHR（Cluster of Heterogeneous Routers）,并阐述了其可行性。给出了这种集群路由器体系结构的模型,并提出了今后需要重点研究的关键问题及研究思路。     

一种非周期软实时系统的缓冲设计方法

研究了任务的到达时间和执行时间均不确定的非周期软实时系统,采用排队论的分析方法,非周期软实时系统被看成是典型的随机离散事件动态系统,并被模型化为一个M/M/1/H混合制排队系统,讨论了抛弃率、截止时间错过率和平均截止时间超过量等三种性能指标,并在此基础上进行了缓冲容量的最优设计。性能分析表明缓冲设计方法能有效地改善系统的性能。     

多点多锁复杂系统可靠性设计、分析及试验评估

通过对舰载机机翼折叠机构分析,简明地提出了多点多锁连接的可靠性设计特性,通过研究航天器可分离整流罩,提出了高可靠性产品多锁装置的试验可靠性评估方法及可靠性分析方法,又以某型运输机货舱大门多锁系统自发打开故障为例,指出了这种复杂锁系统可靠性设计上需加以充分注意的问题及关键点。     

自适应平方根Unscented粒子滤波算法研究

针对粒子滤波存在的重要性密度函数难以选取和可能出现粒子退化的问题,在吸收平方根滤波、自适应滤波和粒子滤波优点的基础上,提出了一种新的UPF算法。该算法由UKF算法得到重要性密度函数,通过自适应因子实时控制动力学模型误差,采用平方根分解法抑制系统状态协方差矩阵的负定性。仿真结果证明,文中所提出的自适应平方根UPF算法,不但适用于非线性、非高斯动态系统的滤波计算,而且能有效地改善滤波性能,提高SINS/SAR组合导航系统的定位精度。