面向方面的程序设计与设计模式概述

面向对象编程(OOP)是一种在实际开发中得到广泛应用的编程技术,是软件开发史上最成功的编程技术之一。一般的计算机程序设计模式是对被用来在特定场景下解决一般设计问题的相互通信的对象本身以及它们之间关系的描述,但是设计模式并没有消除对象与对象之间关系的实现,只是通过使用接口,尽可能的面向接口编程,把对象之间的直接关联淡化。本论文探讨了面向方面的程序涉及与设计模式。     

分布式实时系统任务调度算法的设计和实现

针对分布式实时任务中容易引起的任务分配不合理及系统负载不平衡的情况,根据分布式实时任务多机执行的特点及分布式实时系统在同一结点上有多任务执行,提出了两级分布式系统结构下实时任务的调度策略：任务分配和任务调度。实验表明,在任务分配阶段提出的算法可以更合理地平衡任务,在任务调度阶段采用的调度算法能够更好地完成任务的执行。     

UML时间顺序图的实时系统建模及验证

实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.     

面向方面的海事设备管理信息系统设计

依据镇江海事局现有的网络设备情况，设计了海事设备管理信息系统。首先根据业务需求和局现有的软硬件平台设计了系统的网络结构和软件体系结构，重点阐述了选择B／S模式软件体系的原因：进而采用面向方面（AOP）的分析方法设计出了WEB应用框架，将各个子系统都要应用到的安全子系统作为横向关注点，而将具体的业务子系统作为纵向关注点，提高了软件的重用性和可维护性：对Web服务的应用程序，给出了功能设计：并对B／S模式中的设备信息数据库进行了设计，给出了E—R图。     

刍议面向可信互联网的IP地址管理技术

在互联网当中,IP地址是非常重要的基础资源,而且IP地址和互联网的安全可信也有着比较紧密的联系。为了能够构建可信的互联网环境,那么最关键的就是需要对IP地址的管理工作进行研究,主要就包括了IP地址的配置、IP地址的分配以及源地址的验证等。本文主要就是对面向可信互联网的IP地址管理技术进行简单的分析和介绍。     

基于信任网络的软件可信评价方法

研究了可信计算领域中的软件可信评价问题,提出了一种基于信任网络的软件可信度量方法,该方法通过信任网络模型将用户划分成不同的用户域,采用可信度量票据的方法保障设备的可信性;在设备可信的基础上建立可信风险树模型,分别从可信和风险两方面对软件进行可信度量,计算异常行为的风险概率;采用多台设备协同工作的方式,通过滑动窗口模型从用户域范围和管理域范围对软件进行可信评价。最后通过实验验证了该方法的正确性和可信性。     

浅谈基于UML的实时系统开发

我们看一下挑战VoIP及其向开发商提供的应用服务.我们开发用例工具用来建模和VoIP应用的设计验证.除非它能够提供一个强于传统电话的音频质量voIP应用将不会被市场接受,然而目前对语音模块的应用分析并没有符合上述要求,我们将探讨如何改变设计和实施以满足这些要求.虽然UML其目前的规格不适合实时应用的设计,但CASE工具存在提出了用于这一目的一种UML扩展.我们将介绍Rational R0se RT和Telelogic Tau重新设计应用程序的用处以用于支持我们的需求,介绍最新UML的概念,将有助于解决我们的任务,进一步证明了重要新概念的UML2.0.     

开发面向顾客的产品的集成方法

成功的产品是在顾客需求的基础上开发的。系统考虑顾客要求并将其融入整个开发过程，对新产品的成败至关重要。要达到由顾客驱动这一目标，就要分析顾客的要求是什么，以及他们愿意为之化钱的是什么。新产品应具有什么样的性能和结构，这通过对顾客需求的有效评价可以找到正确的答案。     

基于Z语言的软件形式化需求分析

Z语言是目前广泛使用的一种形式化方法语言。它是一种基于集合和一阶谓词逻辑的模式规约语言，可用于产生精确的需求规格说明。本文介绍了需求分析的Z语言形式化方法，并给出了一个小型图书馆管理的Z语言描述实例，给出了小型图书馆管理从状态模式到操作模式的需求规格说明，同时指出这种形式化方法有待进一步研究的方向。     

CIMS中形式化面向对象软件开发方法研究

提出了CIMS中形式化面向对象软件开发的方法。使用RAISE（工业软件工程的严格方法）规范语言，建立了MRPⅡ系统的形式化模型，并且实现了该系统。同时．还研究了对象系统的相容性检查技术。基于经典的Kunth-Bendix算法，提出了对象系统的相容性检查方法。     

基于面向服务架构的分布式开放控制系统

提出了一种基于面向服务架构(SOA)的分布式开放控制系统模型.整个参考模型由设备抽象层、基本控制模块层、服务层和应用层四层组成.各层内部采用面向对象的方法进行设计,各层相对独立,层间的耦合性比较小.服务层包含了所有分布式子系统的服务抽象和封装,以服务的方式供应用层使用.这种控制系统模型,开放性好,各个模块的可重用性强,开发效率高.使用这种框架,成功开发了IC工艺装备中的刻蚀机硅片传输原型系统,而且取得了很好的效果.     

可信网络访问控制体系架构的研究

针对可信网络连接存在的问题,分析了可信网络连接的体系架构,并在其基础上实现了基于多层访问控制的可信网络体系架构。在系统的各个层次上采用相应安全技术、设置多道防线、相互合作,提供全面的网络安全保障。     

基于远程可信的软件保护方法

针对网络终端的软件保护,设计了一个基于远程服务器可信的远程信任平台,它利用远程代码替换的分层软件保护,确保目标程序能够在不可信任节点上正确地运行.分析表明,该方法能确保来自可信任节点的程序在不可信任节点上的正确运行,有效地防止软件被盗版或被恶意修改,适用于网络终端软件保护的需要.     

关于一种面向方面软件体系结构模型探究

建立面向方面软件体系结构模型,有助于分离软件系统中的核心关注点和横切关注点,从而简化系统的设计与维护。详细分析构建模型的三个基本元素:构件、连接件和方面构件,并通过一个网上支付实例验证该模型的理论意义和实用价值。     

面向无人机物流的分布式任务调度

为提高无人机物流任务调度系统的实时性、可靠性和扩展性,本文提出一种面向通用航空无人机物流的分布式自主任务调度系统,并阐述了该系统的概念、架构、机制和运行模式;为实现物流任务的高效分配,适用于常规物流及紧急物流任务,结合集中调度及边缘自主两种调度模式。实验证明：该系统可为通用航空无人机物流提供一种有效途径,成为未来无人机物流的主要调度模式之一。     

面向部署的分布式系统设计

本文研究Visual Studio 2005 Team System中用于构建分布式应用程序的软件设计工具。     

面向成本的设计方法与技术研究

在分析产品成本相关领域研究的基础上，提出了面向成本的设计方法。根据面向成本的设计方法，在产品概念设计阶段，应用价值工程及ＤＦＡＭ的分析方法，实现产品结构优化。在产品详细设计阶段，通过建立包含制造加工，装配，检测等成本信息的产品模型，实现 技术经济性评价，根据评价结果，及时进行产品再设计，降低产品成本。     

开发面向顾客的产品的集成

成功的产品是在顾客需求的基础上开发的。系统考虑顾客要求并将其融入整个开发过程,对新产品的成败至关重要。要达到由顾客驱动这一目标,就要分析顾客的要求是什么,以及他们愿意为之化钱的是什么。新产品应具有什么样的性能和结构,这通过对顾客需求的有效评价可以找到正确的答案。     

面向远程布局的分布式虚拟车间研究

提出了面向透视关系一致性的图像插值策略和基于敏感视野的渲染精度分配策略,采用基于图像的柱面纹理映射方法实现了基于Web的分布式虚拟车间系统,解决了面向宜人化水平的车间异地布局评价存在的主要难点问题。     

关于现行参考文献著录规则的形式化认识及建议

本文从形式化系统和《标准化工作导则：第1部分：标准的结构和编写规则》的两个方面考虑了GB/T 7714-2005《文后参考文献著录规则》的著录符号和著录规则等问题,指出了《文后参考文献著录规则》著录符号、著录规则中存在的内部不一致性,并且从实用性角度出发,指出了其中相对完备性不足及不够简明等问题。最后,给出了关于消除不一致性和简化著录方面的几点建议。