基于SLA的业务质量评价

为了满足下一代互联网环境下的新的业务质量评价需求,本文研究了业务质量综合评价模型并提出了基于策略的业务质量评价系统体系结构,详细描述了业务质量评价过程.基于定义业务质量评价策略的需求,对策略核心信息模型进行了扩展,定义了业务质量评价策略信息模型.原型系统的实现验证了该体系结构能够实现动态、自动化、可扩展和定量的业务质量评价.     

一种目标机动意图识别方法

为了满足陆战场识别、民用目标监视等军民多用途应用中目标行为预测需求,需要基于目标位置、运动状态等信息进行推理,实现目标机动意图的有效判断。针对目标原始地理位置无法提供语义信息问题,采用模糊隶属理论构建道路网格模型,对目标的位置语义特征进行提取,并基于K最近邻法克服位置误差可能导致的位置语义错误;在位置语义建模基础上,利用隐马尔可夫模型(HMM),对目标的机动意图进行推理。最后结合机场场面监视的应用,通过仿真验证了采用位置语义建模和K最近邻方法后的行为推理相较于一般隐马尔可夫推理的准确性改善。     

基于目标语义特征的图像检索系统

为克服当前基于内容的图像检索技术中低级特征无法准确全面地描述高级语义的问题,该文设计和实现了一个基于目标高级语义特征的检索系统。该系统利用了一个多级图像描述模型将语义特征结合到图像检索技术中。该图像描述模型通过在不同层次上对图像内容进行分析和描述,实现了从低级特征到高级语义的过渡。在此模型的基础上还研究了相应的检索机制和反馈技术。该系统的检索机制定位于图像中目标的语义内容,与传统的图像检索系统相比更接近人对图像内容的理解,从而使检索过程更简便,检索效率也得到很大提高。基于目标描述的自适应相关反馈可针对不同用户的不同需求给出相应的检索方案,从而使检索结果得到优化。     

基于扩展层次自动机的UML状态图完备性和一致性检验

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。     

基于MBSE的辅助动力装置进气风门控制需求分析

基于模型的利益相关方需求分析是一种MBSE的需求分析方法。本文以某型辅助动力装置进气风门控制为例,应用该方法进行需求分析。选择基于SysML语言的开发工具Rhapsody建立用例图、活动图、顺序图和状态机图等模型;并结合测控工具LabWindows/CVI开发了一套进气风门控制需求仿真验证系统,保证需求的正确性和完整性。     

一种体系结构设计与系统仿真的集成方法

体系结构研究在军事综合电子信息系统设计、建设和应用过程中起着十分重要的作用。体系结构研究包括体系结构设计、体系结构验证和体系结构优化等过程。系统仿真是体系结构验证的有效手段。体系结构设计与系统仿真的集成将改变以往体系结构研究过程相互独立的局面,从而大大提高系统体系结构研究的效率。体系结构设计与系统仿真的集成主要通过体系结构模型和系统仿真模型的自动转换来实现。     

一种面向嵌入式软件体系结构的形式化建模方法

为了解决MARTE（Modeling and Analysis of Real Time and Embedded systems）在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA（Probabilistic Timed Automation）的优点,本文提出了一种集成的形式化建模方法--PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程能够保持结构语义和行为语义的一致性.最后通过实例模型描述从嵌入式软件建模到属性检验的过程.     

基于语义验证的可视化BPR建模工具

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。     

CBR:一种支持工作流过程语义验证的组件级 化简方法

目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.     

一种目标感知的可配置业务流程分析方法

可配置业务流程模型能够使得在不同的组织之间以可控的方式共享公共流程成为可能,这种模型旨在通过配置满足特定组织的需求,派生出个性化的流程.流程配置由于其配置决策之间的各种依赖关系而变成异常困难,因此,对其进行形式化建模和验证是一个非常重要的问题.由于目标模型能够良好的表达用户需求意图的特点,本文提出一个基于目标感知的可配置业务流程分析方法,这种方法是通过将目标关联到WF-net(即GWF-net),将用户需求意图与业务流程模型进行整合;然后通过增加配置操作将用GWF-net表达的业务流程模型转换成可配置业务流程模型;最后,分析这种可配置业务流程的逻辑结构的正确性并提出用户需求与可配置业务流程配置过程中的一致性定理,为分析与验证在目标约束下可配置业务流程提供一种行为有效的方法.     

面向任务的作战系统模型一致性研究

为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖。循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致。文中对此提出相应的依赖检测算法,循环依赖检测算法通过深度优先搜索找到依赖关系中的环,错误依赖检测算法通过遍历活动图检测依赖关系与动态模型的执行流程是否一致。最后基于该方法实现了作战系统模型一致性检测系统并结合实例进行验证。     

基于分数阶忆阻器的混沌电路分析与设计

提出了一种新型的分数阶忆阻混沌电路.首先,建立了分数阶忆阻器的数学模型,通过数值仿真验证了分数阶广义忆阻器满足忆阻器的基本特性.然后,将分数阶广义忆阻器与蔡氏振荡电路相结合,建立了一种基于分数阶广义忆阻器的混沌电路模型.通过稳定性理论,对分数阶系统的稳定性进行了分析.为了进一步研究电路参数对系统动态行为的影响,利用相位...     

中国联通省级接入网综合网管系统建设问题探讨

在深入论述系统架构、业务功能需求、基础网元数据采集及命令交互、组网结构、设备配置、系统安全等的基础上,提出了中国联通省级接入网综合网管系统建设方案。     

基于B/S远程在线教育系统的设计与实现

针对传统课堂教学不能很好地延伸和拓展,学生不能灵活地掌握学习主动权,学生学习和教师教学缺乏有效交流平台等问题,将Browser/Server三层体系结构、Servlet、JDBC技术应用于远程在线教育系统中.研究了系统实现的技术原理,系统功能需求,从系统用例图、时序图、协作图、状态图方面进行了系统UML建模、完成了数据流图、数据字典、系统流程和数据库设计,最后对系统进行了黑盒测试,测试结果达到了预期效果.     

敏捷成像卫星快速需求筹划算法

敏捷成像卫星需求筹划主要解决如何判断敏捷卫星对地观测需求是否可执行以及何时执行的问题。首先,根据敏捷卫星对地观测的约束和特点,将敏捷卫星对地观测场景抽象成基于力学的理想弹簧系统,提出了常量机动时间和劲度系数的计算方法,实现模型关键参数的映射;然后,提出了一种启发式算法,利用理想弹簧系统的平衡状态时对应观测综合角度和最小的特点,通过计算系统的力平衡状态求解多个观测需求的整体最佳观测时间;最后,利用实际的观测需求,通过仿真对比验证了算法的有效性。仿真结果显示,所提算法提高了观测需求满足率和需求的优先级权重和,并且整体成像质量最优。     

SDN体系架构中元模型构建机制

微服务是现代应用架构的新方法,其特点在于将复杂的应用功能分解到离散、独立的服务中,以实现应用方案的解耦,并且各个服务可以单独开发、部署及扩展。应用的变化必然驱动着底层网络的变化,可重构基础网络体系架构旨在通过网络重构机制来弥补网络业务需求与网络基础传输能力之间的差距。融合可重构和软件定义网络技术,提出了一种SDN体系架构中元模型的构建机制,旨在将SDN体系架构中各层的服务以元模型的方式呈现,并且在借鉴AKF三维伸缩模型之后,提出了一种基于正交分解的元模型的构建方法。最后通过理论分析和开发实例,验证了基于正交分解的元模型构建方法的可行性。     

基于NGOSS的OSS/BSS框架

OSS/BSS是电信企业的关键应用系统,需要在长期的运行和维护中保持对业务的稳定支持.为了做到这一点,就必须保持系统架构的稳定性和业务处理的一致性.在技术和业务需求迅速发展和变化的今天,要做到这一点非常困难.本文提出的框架方法从业务需求、系统应用和信息的抽象描述出发,在系统的规划、开发和维护中逐步进行细化和形式化,得出所需的结果,从而保证系统架构的稳定性和业务处理的一致性.文中首先描述了框架方法的原理,然后介绍了这种方法在OSS/BSS中的应用及其优势,最后就其应用前景做了展望.