Systematic OO programming with axiomatic design

Axiomatic design offers a systematic and orderly way to proceed through the software development process. The methodology ensures that developers make the best possible design decisions by providing decision-making criteria in the form of two axioms: the independence axiom suggests that the best designs maintain the independence of the functional requirements, ensuring that the design can achieve each function without inadvertently affecting any other function; the information axiom suggests that the best designs minimize their information content. Thus, the solution with the greatest likelihood of success is the simplest solution. Software developers can determine the quality of the design based upon the degree to which it satisfies the defined functional requirements; ensure that the design satisfies each function independently and that coupling, which could cause unintended consequences, does not occur; enjoy easier job assignment and team management because they can use the system architecture diagram to assign tasks and define the interrelationships between various modules or classes; and handle software change orders quickly and easily because the system architecture identifies the modules affected by a change. Axiomatic design lets the developer document the design fully, making it easier to change or add extensions     

Fixture knowledge model development and implementation based on a functional design approach

The development of a knowledge model applied to fixture design is a complex task. The main purpose of such model is the development of a knowledge-based application to assist fixture designers. It comprises a detailed specification of the types and structures of data involved in the execution of the inference process needed to create a fixture solution for machining a raw part. A development method together with a knowledge model for automating fixture design is proposed. The development was divided into three parts: Design Process Model, definition of Top-level functional functions and Product Knowledge Model. Adopting a functional design approach, the fixture design solution was created in two levels: functional and detailed. The functional level is based on fixture functional elements and the detailed one is based on fixture commercial elements. The definitions and concepts used in the application are specified in several Units of Knowledge (UoK) that comprises the Fixture Knowledge Model. Common Knowledge Analysis and Design Structuring (CommonKADS), Methodology and software tools Oriented to KBE Applications (MOKA), Integrated DEFinition for Function Modelling (IDEF0) and Unified Modelling Language (UML) are the methodologies and techniques used in the proposed method. Finally, a prototype KBE application for fixture design was developed.     

Difficulties in the transition from OO analysis to design

The transition from object-oriented (OO) analysis to OO design is indeed difficult. Unfortunately, most of the literature on this topic has incorrectly assessed this issue since the notion of OO analysis was introduced about a decade ago     

广义模型服务器的设计与实现

模型的管理与运行一直是决策支持系统的核心,为了有效地实现广义模型的管理,组合和运行,文章设计和实现了一个广义模型服务器。它基于TCP／IP协议,采用三层客户／服务器机制,对模型的表示和运行进行了规范化,通过命令语言在客户端进行模型的管理和运行。该服务器可以对模型、算法、实例、工具等决策支持资源进行有效地管理,它既可广泛地应用于各领域的决策支持系统的开发,也可单独作为决策支持工具进行各种领域问题的辅助决策,文中系统地介绍了该服务器的设计和实现的理论和技术问题。     

Arnold图像变换及其相关性检测算法的优化设计与实现

分析了水印图像的嵌入,提取和检测过程,研究图像的Arnold变换及相关性检测方法,通过离散点集的置换移植图像信息,计算变换周期满足位置移动的要求,对原始水印图像进行多次Arnold变换,并将这个次数作为密钥保存的置乱次数,以供水印提取时使用,从而优化设计了算法并加以实现.实验结果表明,该方法增强了原始水印的安全性,明显提高了置乱水印产生的效果,并且原始水印的相关系数也有较大幅度的提高,具有一定的抗剪切能力和较好的抗滤波攻击效果.     

网络安全态势感知模型设计和实现

随着网络技术的发展,互联网技术得到突飞猛进的发展,但是在高速发展的背后,给很多网络黑客可乘之机,网络入侵行为逐渐泛滥化,给网络安全带来巨大的挑战.传统的网络维护技术早已不能满足当前技术水平.网络安全态势感知是一门应对网络入侵的新技术,给网络监管人员提供维护网络安全的途径,对当前信息技术的发展有重要的意义.本文将以网络安全态势感知模型的设计为基础,对其提供合理化的建议,以达到维护网络安全的作用.     

Mumford and Shah functional: VLSI analysis and implementation

This paper describes the analysis of the Mumford and Shah functional from the implementation point of view. Our goal is to show results in terms of complexity for real-time applications, such as motion estimation based on segmentation techniques, of the Mumford and Shah functional. Moreover, the sensitivity to finite precision representation is addressed, a fast VLSI architecture is described, and results obtained for its complete implementation on a 0.13 /spl mu/m standard cells technology are presented.     

基于票证的安全策略协同模型的设计与实现

为了在异构信息系统之间能够有效地共享资源,就需要在不同的安全策略域之间实现安全策略的协同。该文建立并形式化了安全策略域标识和域关系模型,以及模型实现中两个最关键的问题——全局解析机构和域标识解析的解决方法。进一步,给出了一个基于票证的安全策略协同模型,以一种统一的策略来表示处理系统中的各种授权和访问控制,并用形式化的语言对其进行了描述。从而解决了分散授权模型带来的一些安全问题,较好地实现了授权的集成。     

基于QVT的模型转换研究与分析

模型转换是MDA的关键技术之一,变换工具通过输入源模型,执行变换定义,输出目标模型来实现模型的自动转换,从而将软件开发的焦点从编码迁移到建模上.QVT是OMG提出的用于书写变换定义的标准规范,介绍了QVT的组成和构架,给出了一个用QVT实现的可从UML模型转换到RDBMS模型的变换定义,最后对模型转换技术给软件工业带来的影响进行了分析和总结.     

支持MDA的设计模式建模与模型转换方法研究

设计模式是描述某一类问题的通用解决方案,可以提高软件开发的可重用性,但在设计模式建模中存在模式消失和模式组合复杂化等问题,模型的可扩展性低,不利于模型到代码的自动化转换。由此,在MDA框架下,引入角色的建模思想,提出了一种基于Ecore的设计模式建模和模型转换方法,该方法在元模型层抽象并扩展了设计模式通用元素的元模型,使得不同的模式组合模型通过对相同的模式元素元模型进行转换可以获得相应的应用模型,从而增强了设计模式建模的可扩展性和模型转换的通用性,为MDA框架中设计模式建模和模型转换提供了一种有效的途径。     

基于决策支持的模型库设计与实现

文章在分析传统模型所面临问题的基础上,论述了决策支持下模型库的设计与实现,包括模型的定义和模型库管理系统。考虑到模糊评判模型应用的广泛程度,给出了在模型库管理系统中的实现。     

无线局域网安全分析终端的设计与实现

无线局域网(WLAN)的安全机制是非常脆弱的,因此需要安全分析系统管理WLAN。设计实现了WLAN安全分析系统中的基于嵌入式处理器PowerPC和Linux操作系统的分布式终端。该终端实现了支持安全分析系统中的被动分析和主动分析的接口模块。WLAN数据包的成功捕获和定制发送为接口模块的功能实现提供了依据。     

一种SPM周期准确功耗模型分析与实现

功耗问题是限制嵌入式设备发展的瓶颈之一。嵌入式系统中,为了降低嵌入式处理器的整体功耗,使用SPM（Scratch-Pad Memory）部件来替换cache部件。提出了一个SPM周期准确功耗模型。模型通过扩展SimpleScalar模拟器模拟程序执行时对SPM的访问,获得电路输入状态,并利用集成到模拟器中周期准确的SPM功耗模型计算SPM功耗,模型克服了电路级模型可扩展性较差的缺陷,通过在SimpleScalar中配置相关参数,模拟不同大小和结构SPM的功耗。实验表明模型能够准确模拟SPM功耗（误差不超过10%）。对SPM低功耗设计和优化具有一定的指导意义。     

模型驱动构架中基于元模型的设计模式单元的组建和转换

设计模式种类繁多而且在不断变化,要在模型驱动构架（MDA）下真正做到从思想和实现上均能应用设计模式,需要解决其实例化后的模式消失问题,保证模式的独立性,并且可以将这个过程适用到多种设计模式中去。针对以上两个问题,采取一种基于元模型的设计模式单元的建模方法,从元模型层面划分基本操作为不可分的原子,组合出完整的不包含业务逻辑部分的设计模式单元元模型,使多种模式单元元模型的组合构建和业务、模式逻辑相分离在经过一次转换过程后同时实现。     

Full-observability analysis and implementation of the general SLAM model

Simultaneous localisation and mapping (SLAM) problem is a non-linear system with dynamic state and measurement dimensions. The full observability of such system was ignored, in spite of the fact that system observability is a fundamental aspect in any state estimation problem. In this article, we present a full observability analysis of the general SLAM model. We show that known landmarks (anchor) solution does not guarantee full observability. Furthermore, we prove that to make the general SLAM model fully observable, a combination of known landmarks and invariant metrics are needed. Moreover, we propose a solution to implement a fully observable SLAM model based on mature landmark and virtual observation concepts. Simulations and experimental results are presented demonstrating the validity of the solutions in real world.     

基于XML的WEB自动服务安全模型设计与实现

根据WEB服务消息安全、加密、签名和访问控制之间的相互关系,结合安全性需求设计了一个由基于椭圆曲线密码的模块,加密模块和数字签名模块组成的WEB自动化服务安全模型,并对其中的模块在平台上进行了实现,此模型具有较高的安全性和可扩展性。     

基于SAML的PEP与PDP通信模型设计与实现

针对XACML访问控制模型实体间授权请求与响应的传输问题,提出一种灵活、可扩展的策略执行点PEP与策略决策点PDP通信模型。根据OASIS对SAML规范进行的扩展,该模型中的SAML处理模块将XACML授权请求与响应封装成为SAML授权请求与响应,利用Spring Web Service架构实现模型中的PEP-WS模块和PDP-WS模块,对SAML授权请求与响应进行传输。该模型能够实现XACML授权请求与响应传输的透明性,将实现方式不同的PEP与PDP进行集成,增强了XACML访问控制模型部署的灵活性和可扩展性。     

基于SimXpert实现ProE模型向CAE模型快速转化的模板开发

为实现CAD/CAE集成一体化设计,基于SimXpert开发ProE模型向CAE模型快速转化的模板系统.该系统通过特征命名的方式自动快速地进行CAD与CAE之间的信息传递,从而实现SimXpert模板对ProE模型的识别以及向有限元模型的转换.利用外部XML文件数据库对模型所需要的属性进行自动识别和创建,并对相应的部件赋予这些属性.CAD模型向CAE模型的流程式快速转化可以提高数值模拟的效率.