基于模板的横切关注点重构框架的研究

编程语言中关注点的分离一直是被关注的焦点,在这一研究领域已经提出一些新的模块化技术,AOP即是其中之一.本文首先介绍了基于角色的横切关注点重构方法,然后在此基础上提出了一种基于模板的横切关注点重构框架.     

AOP改进观察者模式——实现关注点的分离

分析了传统的面向对象方式实现观察者模式所产生的问题，从AOP的视角考虑问题，并用AspectJ实现了观察者模式。最终实现关注点的分离，使模式具有更好的模块化结构，具体表现在更好的代码局部化，可重用性，组合的透明性和即插即用性（即可扩展性）。     

基于AOP的实时系统关注点分离方法

提出一种基于AOP的实时系统关注点分离方法。该方法分析并识别实时系统中的关注点,将非功能性关注从系统核心功能关注中分离出来,提出基于方面连接件的组装模型,该模型将AOP引入到软件连接件中,从而实现了功能关注与非功能关注绑定或组合过程的透明性,同时使用State模式解决了实时系统软件开发中的状态管理问题。通过一个实时系统实例分析与实现,介绍了该方法在应用中的前景。     

移动增强现实框架系统

在已有的移动增强现实( MAR)系统中存在开发困难,虚拟现实( AR)效果观察缺乏通用性的问题,提出了一种MAR系统的通用框架,该框架包括三个部分：为智能移动设备用户所使用的通用MAR观察器、为MAR应用提供网络服务的MAR服务器,以及为开发人员提供了MAR应用定制器。该框架结合高通的Vuforia SDK针对平面图像实现了MAR的应用定制和通用AR效果浏览。框架为开发人员提供了无代码开发功能,为移动用户提供了遍览一类AR应用的通用观察器。实验结果表明该MAR框架系统降低了MAR应用的开发门槛与时间费用,大大提高了开发效率。     

基于问题框架的需求建模:一种本体制导的方法

在深入研究问题框架方法的基础上,抽取并构建了一个问题框架本体,以概念化基于问题框架的需求建模,设计了一个本体制导的基于问题框架方法的需求建模过程,为需求分析员提供建模指导并规范其建模活动.最后,通过案例展示整个本体制导的建模过程.     

关于框架公理及框架问题解决方案准则的研究

基于情境演算理论并结合积木世界的示例,对框架公理作了介绍和研究,同时也简单介绍了框架问题解决方案的准则。     

AOP改进观察者模式--实现关注点的分离

分析了传统的面向对象方式实现观察者模式所产生的问题,从AOP的视角考虑问题,并用AspectJ实现了观察者模式.最终实现关注点的分离,使模式具有更好的模块化结构,具体表现在更好的代码局部化,可重用性,组合的透明性和即插即用性(即可扩展性).     

Observer模式实战解析——用AOP实现关注点分离

第0循环:缘起当你把一个应用程序分割成多个彼此协作的组件、甚或是由多个应用程序协作构成一整套信息系统时,一个常见的问题开始浮出水面:如何在各组成部分之间维持信息的一致性?当某些事件发生在某些组件身上时,如何将这一事件告知其他组件,又不增加组件之间的耦合程度?不妨举一个例子,请想象这样一个用于管理用户身份的组件:     

测试单片机系统可靠性的简单方法

单片机系统可以分为软件和硬件两个方面,要保证单片机系统可靠性就必须从这两方面入手。首先在设计单片机系统时,就应该充分考虑到外部的各种各样的可能干扰,尽量利用单片机提供的一切手段去割断或者解决不良外部干扰造成的影响。这里以HOLTEK最基本的I/O单片机HT48R05A-1为例,它内部提供了看门狗定时器WDT防止单片机内部程序乱跑出错;提供了低电压复位系统LVR,当电压低于某个允许值时,单片机会自动RESET防止芯片被锁死;HOLTEK也提供了最佳的外围电路连     

可靠性工程技术应用 第二讲：可靠性分析技术及应用

1 系统（或产品）可靠性数学模型与分析 系统可靠性数学模型与分析是可靠性从定性分析向定量分析计算转变的关键,也是进行可靠性预计与分配的基础。     

问题框架中问题领域因果行为的形式化验证

为问题框架中问题渐变所依赖的问题领域因果行为的确立提出一种形式化验证方法。为了对问题渐变过程中事件间的因果关系提供可验证的证据支持,简化问题表征的复杂度,进而提高计算机领域软件规约的可靠性,采纳了一种基于NuSMV语言的符号模型检验的形式化验证方法。该验证方法采用UML状态机表示问题领域内部状态变化的有限结构空间,用CTL公式描述问题域内状态之间的可达性性质,通过遍历有限结构状态机来检验CTL公式的正确性,筛选出具有因果关系的外部共享事件,为问题渐变提供有效的技术支持。     

基于问题模式的形式化软件规格说明生成方法

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.     

基于观察者模式的实时系统验证方法

复杂实时系统的验证问题一直备受关注。验证过程中,验证特性可以用时序逻辑来描述,但时序逻辑对于非专业人员而言较为复杂,难度较大。观察者模式是一个额外的子系统,可以将复杂的验证特性转换为简单的可达性问题,同时也可以避免使用复杂的验证算法。将Etienne和Nouha Abid等人提出的抽象的观察者模式应用到实时系统实例——Train-Gate系统中,采用UPPAAL工具对Train-Gate系统中的某些场景建立观察者模型,并采用对比实验将验证结果与无观察者模式状态下的验证结果进行对比。对比结果表明,使用观察者模式和验证特性都可以得到正确的验证结果,但观察者更节省时间,对于非专业人员而言更简单且更容易接受。因此,使用观察者模式对如Train-Gate的实时系统进行验证是可行的。     

可控硅精密温度自动控制系统稳定性与可靠性的提高

本文讨论了影响可控硅精密温度自动控制系统稳定性、可靠性的三个实际问题,即测温热电偶引进的串模交流干扰信号,引起控制系统不规则的低频振荡;多台可控硅控制系统并联运行时,同相供电电源间、异相供电电源间相互干扰,引起控制系统跟随或失控;可控硅击穿使被控设备烧坏等.作者提出了解决上述问题的方法,提高了系统的稳定性与可靠性.     

提高PLC系统抗干扰和接地系统可靠性探讨

PLC控制系统的抗干扰能力是关系到整个控制系统安全运行的关键因素之一,而接地系统是PLC安装和应用过程中的重要环节。针对PLC控制系统中存在的干扰问题,重点探讨了系统接地类型、方式及接地装置。实际结果表明,采取良好的接地措施,对提高PLC控制系统的抗干扰能力、实现PLC控制系统的安全运行至关重要。     

Clarifying the semantics of value in use cases through Jackson's Problem Frames

Use cases constitute a popular technique to problem analysis, partly due to their focus on thinking in terms of the user needs. However this is not a guarantee for discovering all the subproblems that compose the structure of a given software problem. Moreover, a rigorous application of the technique requires a previous consensus about the meaning of I. Jacobson's statement “a use case must give a measurable value to a particular actor” (The Rational Edge, March 2003). This paper proposes a particular characterisation of the concept of “value” with the purpose of problem structuring. To this aim we base on the catalogue of frames for real software problems proposed by M. Jackson (Problem Frames, 2001) and we reason about what could be valuable for the user on each problem class. We illustrate our technique with the analysis of a web auction problem.     

一种新的基于复合弹簧网络的多Agent系统分布式问题求解方法

当多Agent系统（MAS）中Agent之间存在多种复杂的随机的社会交互行为时，当各Agent表现出不同程度的自治性和理性时，难以用现有的方法描述和求解MAS问题，即使对仅仅存在竞争和合作这两种社会交互行为，并且不考虑Agent之间自治程度的本质性差异时，现有的基于结盟的MAS问题求解算法也具有极高的计算复杂性，该文提出一种新的复合弹簧网络模型和方法，利用分布式弹性动力学方程，将MAS分布式问题求解过程转变对应的复合弹簧网络形变过程，这种模型和方法能够处理各种社会交互行为以及Agent不同程度的自治性，分析和仿真实验表明，在计算复杂性和适用性等许多方面，该文的分布并行算法优于文献[7,8]的Shehory-Kraus算法。     

燃煤机组点火油枪可靠性的提升

根据锦能公司600MW燃煤机组点火油枪在应用中遇到的问题,对其进行了分析和改进,使得改进后的油枪可靠性大大提高,并取得较大的经济效益。     

计算机网络安全可靠性提升的对策探究

计算机网络已经覆盖到社会生活的方方面面,给人们带来了极大的便利,但同时也带来了一些安全问题隐患。提高网络环境的安全性不仅有利于保护用户的个人隐私以及企业的商业秘密,而且有利于保护国家政府的机密信息,以保证国家安全。当前,网络安全问题已经成为困扰广大网络用户的最大问题,必须解决。因此,本文的主要内容是分析影响网络安全可靠性的各种因素,并就如何提高网络安全性问题提出了一些对策措施。