体系结构

We proposed a new aspect oriented ADL AC2-ADL,aiming to offer an effective systematic solution for the representation of aspect oriented software system, AC2-ADL provides aspectual components to describe the crosscutting concerns. In addition, by introducing Aspectual Connector and abstracting the joinpoint of the architecture,it described the complicated interactions among the software architecture elements.

通过设计面向方面的软件体系结构描述语言AC2-ADL，使用方面组件明确地描述系统的横切关注点；并引入方面连接件以及抽象出软件体系结构语境中的注入点，呈现结构之间复杂的交互，以解决不同关注点的分散和交织等问题，试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案。

A study on the CAD/CAM system assembler of the intelligent development platform of press dies CAD/CAM system

在分析传统的冲模 CAD系统体系结构的基础上，提出一种冲模 CAD系统的层次式体系结构及其开发平台的体系结构。

The design pattern is used to bewrite the decomposite of non-function requires,the relation between non-function requires and SA is set up with structure workflows.The non-function attributes of software architectures are evaluated synthetically based on structure workflows and component combinational operations. According to the evaluation result, a model on software architecture evolution based-on non-function requirements is given.

在软件体系结构描述的基础上，本文使用设计模式描述了非功能需求的分解，使用结构工作链建立了非功能需求与软件体系结构之间的关联，使用结构工作链和组合运算对软件体系结构的非功能属性进行评估，并利用评估结果，提出了一种基于非功能需求的软件体系结构演化方法。

After introducing the AOP, there are components, system connectors, aspect connectors and constraints in architecture. The UML and ADL description of each model are given, and achieves the transform from semi-formal to formal model, and the model's refinement and verification, which provides a good foundation for the development of tools.

引入方面的软件体系结构是由构件、系统连接件、方面连接件以及约束构成的配置格局，不仅给出了体系结构中各元素的统一建模语言和体系结构描述语言的描述，实现体系结构模型从半形式化到形式化的转化，而且实现了模型的求精和验证，为各种工具的开发提供了一个良好的基础。

Firstly, based on the analyzing the problems of the existing C~4ISR system architecture verification methods, the C~4ISR system architecture verification methods based on CADM is present, and the conception of this methods is given. Secondly, the basic connotation of this methods is studied form the views of the theory base and main superiority. Thirdly, the architecture information model is established, and based on this model the content framework of the C~4ISR system architecture verification methods is present. Lastly, the key techniques needed to solve in the framework is discussed.2. The verification methods of data categoricalness based on CADM are studied.

首先在分析现有体系结构验证方法所存在问题的基础上，提出了基于CADM的C~4ISR系统体系结构验证方法，并对该方法的概念进行定义；其次从理论基础和主要优势两个角度研究了基于CADM的C~4ISR系统体系结构验证方法的基本内涵；再次建立了体系结构信息模型，并以此为基础提出了基于CADM体系结构验证的内容框架；最后提出并解释了基于CADM体系结构验证方法所要解决的关键技术，包括基于CADM的数据完备性验证方法、可达性验证方法、数据一致性验证方法、系统结构合理性验证方法和作战规则合理性验证方法等。

This model will play an important role in the architectural optimization process of the Godson series microprocessors.超标量;微处理器;分析模型;性能分析;工作负载;微体系结构; MAMOsuperscalar; microprocessor; analytical model; performance evaluation; workload; microarchitecture; MAMO

作为基于详细模拟的处理器性能分析方法的补充，微处理器性能分析模型能够更加有效地分析处理器性能瓶颈，探索设计空间，也将在龙芯处理器的结构优化工作中发挥重要作用。

To fulfill the requirements of reliability, extensibility and adaptability, this dissertation proposes a Holon-based control architecture for flexible manufacturing shop floor using a bottom-up design approach. The inner structure of component Holon, the relationships of data and functions among Holons, the model of message transfer and the basic specification of communication language are described in detail. Then, from the aspect of software architecture, a formal description and analysis of the proposed architecture is conducted by First-order Polyadic pi-Calculus.

针对可靠性、可扩展性和适应性等要求，提出了基于Holon的柔性制造车间控制体系结构，描述了组件Holon的结构模型、数据和功能关系、信息传递模型和通信语言基本规范，并从软件体系结构的观点出发，运用π演算对其进行了形式化描述和分析，为基于Holon的体系结构设计和分析奠定基础；3。

After reviewing the main design idea of single agent architecture, such as the agent architecture in PTS domain and several typical interactive agent architecture, we defined the model of Multi-Agent System Based on Co-Evolution, and made a deep analysis of the components of MASBCE and the interactions among them. By the means of analysis for the layered design method of co-evolutionary agent architecture, the interaction process of the agent and the world model, the cycling process at deferent level of MASBCE, the periodic step mechanism of MASBCE, etc., we radicated the architecture of MASBCE and its inner operation mechanism.

在考察了各种典型的智能体体系结构及PTS领域的智能体体系结构等单个智能体体系结构主要设计思想的基础上，定义了基于协进化的多智能体系统MASBCE，对MASBCE的构成及其相互之间的联系进行了深入分析，通过对协进化智能体体系结构的分层设计方法、智能体与世界模型的交互过程、MASBCE中的分级循环过程、MASBCE中的周期步进运行机制等的分析，明确了MASBCE的体系结构及内部的运作机制。

An increasingly important requirement for software systems is the capability to evolve dynamically according to the changes of computing environment and users' need during runtime. In this paper, a dynamic software architecture oriented approach is proposed to support online evolution. Notably, architecture information is reified as explicit and manipulable entities to organize a runtime architecture meta-model, which is causally connected to software implementation and specification.

为适应计算环境和用户需求在系统运行期间的变化，满足软件系统进行动态演化的需求，提出面向动态软件体系结构的在线演化方法，设计并实现了一种运行时刻的软件体系结构元模型，将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体，并与系统实现及系统规约之间保持因果关联。

Enterprise information system architecture has changed remarkably: two-tie application architecture, three-tie application architecture, N-tie application architecture based components.

企业应用体系结构已经经历了巨大的发展：二层应用体系结构、三层应用体系结构、基于组件的N层体系结构。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。