Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一．本文重点讨论了将面向对象与Ｐｅｔｒｉ网相结合的思想用于并发软件开发中的系统建模,以及基于对象Ｐｅｔｒｉ网（ＯＰＮ）的并发软件系统的仿真技术,同时,也探讨了实现一个基于ＯＰＮ的动态仿真工具所面临的关键技术和解决方法．实践结果表明,文中讨论的实现机制与处理方法是有效和可行的．     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

智能仪表程序编制模式的数学分析法

在设计智能仪器程序时,恰当选择程序结构,确定合理的程序编制模式很重要.但通常进行程序结构选择时仅仅局限于对流程图本身的分析,没有采用数字手段进行推算,为此提出了一种有效的数学分析方法.     

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

并发多媒体负载访问存储系统的模型分析

多媒体应用要求存储系统提供满足服务质量QoS(Quality of Service)需求的数据访问服 务,反应时间超过截止期限的访问请求必须小于一定的比例.在开放环境下,并发多媒体负载中访问请求的随机性增加了实现这一目标的难度.并发多媒体应用的访问请求经汇聚后到达存储系统的过程服从泊松分布,存储系统的服务时间服从指数分布;并发多媒体负载访问存储系统的过程用M/M/1排队论模型描述.通过对该模型的分析推导出构成并发负载的多媒体应用数量N与负载中访问请求的响应时间分布之间的关系.仿真试验的结果证明该模型对于保证并发多媒体应用的QoS是非常有效的.     

基于体积准则的网格模型简化方法

 模型简化在虚拟现实、CAD/CAM、动态模拟等领域有着广泛的应用,本文提出一种基于体积准则删去网格模型顶点的新方法,此方法以顶点删除后的体积变化量作为顶点是否删除的判据.通过该方法生成的简化模型可较好地逼近原模型.由于体积准则具有明显的几何和工程意义,故简化模型既可作为显示模型,也可用作设计模型.在局部网格重构时,为提高网形质量采用了基于交换对角线的优化构网方法.本文还给出了实例以说明该方法的有效性.     

三阶段法与活动周期图

对二种离散系统仿真建模方法，三阶段法和活动周期图进行系统的介绍，分析与讨论，指出它们的特点，应用情况及最新发展，三阶段法是分析研究仿真问题的一种世界观，具体反映在仿真软件及模型的程序结构，活动周期图往往与三阶段法一道使用，用于描述系统内实体的逻辑流程，这两种方法的特点使它们成为欧洲，尤其是英国最重要的离散系统仿真建模方法。     

软件质量度量方法学及其应用

讲述了软件质量度量方法学模型，并讨论了软件质量需求，软件质量度量的成本与效益，度量元和度量数据的定义以及度量结果解释等诸问题。     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

不完备信息条件下的并发故障诊断方法

在实际的装备故障诊断过程中,经常存在测试信息不完整的情况,而此时对并发故障进行诊断,则更为困难。针对这种情况,首先,对目前应用于不完备信息条件下的故障诊断方法以及并发故障诊断方法进行了分析。定义了不完备并发故障诊断决策系统对存在缺失的测试信息进行表述。提出了不完备边界粗糙熵对决策系统的不确定性进行度量,给出每条测试属性的重要度,同时给出了不完备信息条件下属性值频率的计算方法。然后,为了对并发故障进行诊断,在DSmT框架下构建了并发故障诊断模型,在此模型下提出一种融合证据特征的区间信度合成规则。最后,通过故障诊断实例,验证了方法的有效性和适用性。      

论对象之间的关系

面向对象软件开发首要的问题总是标识对象,建立对象间的通讯关系,设计对象时也要分析各子对象间是依据什么关系联系在一起的。因此研究对象系统中各对象间的关系是找出对象分析准则的至关重要的问题。目前,关于对象间关系的名称、定义和用法还很混乱。本文旨在澄清这种混乱,为此提出对象关系的三维模型3DRM(3 Dimmemtion Relations Model),并在3DRM框架之下讨论了对象系统中的各种重要关系,建立了较为清晰的对象关系体系,为面向对象的方法学的研究奠定了基础。     

按区域惩罚划分的并行多目标遗传算法

解决多学科设计优化问题的多目标遗传算法通常面临着大计算量的挑战,提出了一种新型的并行化算法来提高其效率.全局个体均匀的分布在各个进程,首先从所有的进程中获取全局范围的Pareto最优解极值,并发送给每个进程,再由这些极值来构造各个进程自己的惩罚函数.通过惩罚函数给个体添加约束来划分各个进程的收敛区域,同时采取优化措施保证每个进程加速收敛并且收敛区域没有重叠和遗漏,这样每个进程只需收敛到特定的一段Pareto最优解,降低了计算量;同时由于进程间交换的数据量小,保证了效率的提高.通过与串行算法(NSGA2)和其他的并行化算法比较,显示了该算法的有效性和先进性.     

带柔性载荷超静平台的模型参数在轨辨识

摘要： 针对柔性载荷振动引起超静平台模型参数在轨辨识精度下降的问题,设计一种超静平台模型参数在轨辨识方法.建立考虑柔性载荷振动的超静平台动力学模型,采用卡尔曼滤波估计柔性载荷振动的模态位移,利用多参数并发递推最小二乘法实现超静平台模型参数的准确辨识,通过仿真验证算法的有效性.仿真结果表明：在不考虑柔性载荷振动时,超静平台模型参数辨识收敛速度缓慢,辨识误差较大;采用文中考虑柔性载荷振动的多变量并发递推最小二乘法,能够明显提高超静平台模型参数估计精度.     

基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

Web环境下协同装配系统的并发控制

通过对网络环境下协同装配操作的分析,总结了客户端执行结果不一致、多客户端误抓零件、多客户端同时装配同一零件、合理并行装配受阻以及装配约束冲突等5种并发装配冲突.提出了一种层次混合并发冲突控制模型(HCM,Hierarchical Hybrid Concurrency Conflict Control Model),HCM分上下两层,集成了4种并发控制策略,采用将具有装配语义的命令进行传输实现并发控制.上层采用基于全局装配序列的并发控制策略,整体上避免了前两种并发冲突;下层集成了装配操作序列化、系统加锁和用户解锁以及建立装配约束库等策略,消解了后3种并发冲突.基于HCM开发了一个原型系统,并结合实例验证了该系统的灵活性和有效性.     

利用星间测距实现卫星网自主定位

利用卫星网之间的相互测量信息,实现卫星网的自主定位是提高整个卫星网定位精度和减轻地面工作负担的有效途径,本文提出利用卫星间的相对距离测量信息对卫星网整体进行数据融合处理,以达到提高卫星网自身定位精度的目的,仿真结果表明定方案是有效的。