系统应用体系结构

The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.

针对当前空间信息服务聚合研究中存在的若干不足，本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究，主要工作和创新点包括：1、基于工作流的空间信息服务动态聚合框架：研究了空间信息服务动态聚合和传统工作流应用的不同，在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型，为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。2、空间信息服务聚合流程建模和分析技术：首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际，从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型；与之相对应，对基本的WF-net进行扩展，提出服务聚合流程/资源网作为空间信息服务聚合流程的形式化描述模型，有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题；从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念，明确界定了聚合流程正确性的标准，并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究；提出了空间信息服务聚合代数算子并对其性质进行了研究，在此基础上提出了6种聚合流程约简规则，从而可达到优化聚合流程、提高聚合流程执行效率的目的。3、空间信息服务QoS模型和应用体系：从服务本身、网络环境和服务消费者三个层次出发，提出了一个可扩展的空间信息服务QoS模型GSQM，实现了对空间信息服务的度量和评价，并对GSQM不同质量要素信息的客观、公正采集方法进行了研究；研究了空间信息服务聚合流程QoS评价方法，有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作；针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状，提出了一种新的支持QoS约束的服务发现模型SDMQ，并对模型的实现框架进行了研究。4、空间信息服务聚合流程执行技术：针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点，基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL；研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法，在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的；研究了服务动态选择QoS全局优化模型，并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS.5、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

At last, the structure and functions are described in details as well as application mode of the system.

最后对系统的体系结构、功能和应用模式进行了详细描述。

The system of managing platform balance adopt the new architecture that C/ S and B/ S combine together, applying the components technique (know as COM+) and the ActiveX technique in server and client respectively, thus developing efficiently applied system of the safety.

地磅称量系统采用C/S结构和B/S结构相结合的新体系结构，将组件技术COM+和ActiveX技术分别应用在服务器端和客户端，从而开发出高效、安全的应用系统。

The system of managing platform balance adopt the new architecture that C/ S and B/ S combine together, applying the components technique (know as COM+) and the ActiveX technique in server and client respectively, thus deve

地磅称量系统采用C/S结构和B/S结构相结合的新体系结构，将组件技术COM+和ActiveX技术分别应用在服务器端和客户端，从而开发出高效、安全的应用系统。

In the 5th chapter, the application of Multi-Agent technology in Concurrent Engineering is studied. With the shaft strength and rigidness analyzing agent and gear strength analyzing agent as examples, an agent model is studied and provided. A federated multi-agent infrastructure based on product assembly model and multiple analyzing agents is suggested. By this, cooperation under distributed and heterogeneous environment and efficient information integration among mechanical geometry product modeling system, assembly modeling system and analyzing system can be realized.

第五章研究了多代理（Multi-Agent）技术在并行工程中的应用，以转轴强度与刚度验算代理和齿轮强度验算代理为例子分析了代理的模型，研究并提出了一种基于产品装配模型和多分析计算Agent的联邦制体系结构，该体系结构能够支持异构分布环境下的协同工作，能够实现机械产品几何造型系统、装配建模系统、分析设计系统之间的有效集成。

This thesis expatiates on the theory and architecture and primary content of Reusable Design technology and Reusable Process Design technology, study the feasibility and practicability of some important technology about Reusable Process Design, adopt a special knowledge representation to describe reusable process design information and make use of "FenHua "to realize knowledge acquisition about fuzzy knowledge.Craft database system is the mostly important support of CAPP (Computer Aided Process Planning) system. To some extent, the essence of process design is a process that craft data is visited, used, dealt with and generated. This thesis expatiates on data base design technology. Based on the detailed analysis of the craft data"s characteristic and sort and the craft database"s component part, the author build craft database through detailed conceptual design and logical design and physical design for data base.the application and research of Web database technology becomes increasingly wide, which can make a close combination between Database technology and Web technology.

本文阐述了基于知识复用的可复用设计技术与可复用工艺设计技术的理论、体系结构与主要研究内容，研究了可复用工艺设计中的若干关键技术的可行性、实用性，采用了三表知识表示来描述工艺知识及利用"分划"的方法对灰色知识进行知识获取；工艺数据库系统是计算机辅助工艺设计系统的重要支撑系统，从某种程度将，工艺设计的实质就是对工艺数据库中工艺数据的访问、调用、处理和生成新的数据的过程，本文阐述了数据库系统设计技术，在详细分析工艺数据的特点、分类以及工艺数据库的数据库组成的基础上，通过对工艺数据库概念结构、逻辑结构、物理结构等几个方面的详细的分析与设计，建立了系统工艺数据库； Web数据库将数据库技术和Web技术很好的融合在一起，其应用研究日益广泛。

This thesis deeply researches the J2EE security strategy on the application tier of enterprise system. The security strategy predigests the information security model and meets the security requirements expediently. But there are some disadvantages when the security requirements become more complex. The expositive security on the Web-Tier can not offer more information for authentication; there is no authentication for EJB-Tier to use, make the EJB-Tier depend on the Web-Tier; J2EE uses database or application server to manage the role information. Use database to manage the role information will increase the complex of enterprise application, and the way of application server will reduce the ability of migrate other J2EE platform. To solve these problems, the thesis designs an improved security strategy model.

本文从企业级系统应用层安全的角度出发，深入研究J2EE多层体系结构的安全策略模型。J2EE提供的安全策略简化了系统的信息安全模型，能够很方便地满足基于J2EE的分布式应用系统的安全需求，但是在面对更加复杂的安全需求时，J2EE安全策略在验证授权和角色管理中还存在不足之处：其在Web层的声明式验证机制无法为用户提供更多验证信息，可扩展性较差；在EJB层缺少业务逻辑层可供采用的验证机制，而是借助于Web层的验证机制，其耦合程度较高有悖于业务逻辑分离于表现逻辑的原则；在角色管理方面，J2EE采用数据库或者应用服务器来管理角色信息，其中，数据库管理角色的方式增加了应用开发的复杂度，应用服务器管理角色降低了系统的可移植性，两者都具有片面性。

According to the characteristic of mold enterprises, system structure of PDM for injection mold based on Windchill is advanced and its functional modules are introduced.

本文在分析模具行业现状、PDM应用现状及模具企业实施PDM意义的基础上，结合注塑模具企业的特点，提出了基于Windchill平台的注塑模具PDM系统的体系结构，并研究了其功能模块。

Studies the collective harmonising and control of large space air conditioning, based on the application architecture of building automation equipment and computer control networks, proposes to improve dynamic performance of an air conditioning control system with measurement information redundancy, and describes some control strategies applying an artificial neural network controller to fusing information.

研究了大空间大面积空调系统设备的集群协调控制问题，分析了楼宇自动化设备及计算机网络的应用体系结构，从信息理论的角度提出利用大空间空调系统的测量信息冗余提高动态控制性能的措施，并介绍了采用人工神经网络控制器进行信息融合进而实现协调控制的对策或方法。

Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures

根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。