描述为

In the doctoral dissertation,which focuses in lattice-ordered preferencestructure theory and lattice-ordered decision-making theory,lattice-orderedpreference relation displaces complete preference relation in order to makecharacterization of preference structure general,and in order to propose a newthinking of weakening completeness axiom,and also in order to put forward atheoretical base for setting up the rational behavior axioms and utility theorywith lattice-ordered preference structure.

本文有关格序偏好关系理论的研究将Von Neumann-Morgenstern理性行为公理中偏好关系的全序描述推广为格序描述，使得对偏好结构的描述更为一般化，并且为弱化公理体系中完全性或连通性假使提供一条新思路，为建立基于格序理论的理性行为公理及其相关的效用理论提供理论依据。

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、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

The research on the CCD sensor information is used to determinate the satellite attitude system without gyroscope .(1) Using quaternion and MRP as attitude representation , the attitude kinematics function are established . The satellite attitude dynamics function is established,that is disturbed by the first-order Markov force moment.(2) Using the quaternion as attitude representations, the attitude determination state estimator EKF and UKF are designed , numerical simulation is done .

基于CCD星敏感器的无陀螺测量卫星姿态确定系统的研究(1)针对地球同步轨道卫星，分别建立了以姿态四元数和修正罗德里格参数为卫星姿态描述参数的姿态运动方程；建立了卫星受一阶马尔柯夫干扰力矩时的卫星姿态动力学方程；(2)设计了采用姿态四元数为卫星姿态描述参数的EKF和UKF估计器，设计了分别以姿态四元数和修正罗德里格参数为卫星姿态描述参数的UKF估计器，并进行了数学仿真。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

For the image with random field feature, the description language is probability distribution model, and the description length equals the negative base-two logarithm of the probability of the image data; For the region homogeneity properties of active contour, the description language is chosen as a sign gradient map, and the description length is the summation of sign gradient inside the active contour; For the active contour regularity, the description language is smoothness, and the corresponding description length is the length of active contour curve.

随机场图像的描述语言采用概率分布模型，描述长度是围道内外区域中图像数据概率的以2为底对数的负数；活动围道区域一致性的描述语言为有符号的梯度图，描述长度是围道内区域有符号梯度的总和；围道形态的描述语言采用平滑性，描述长度正比于围道的长度。

Marketing and Sales Organization 3.1 Sales Organisation Organization chart and description of sales staff; by product line, by division, by geographic distribution Describe the number of in-house sales personnel and their average years' experience with the Company and industry generally Describe the incentive arrangements with the sales professionals Describe any training provided to the Company's sales force Describe each sales person who will be transferred to newco (age, average experience with Company and indsutry, incentive agreements, training, performance) 3.2 Sales channels, representatives Description of the sales channel, legal relationship with sales offices, wholesalers and direct retailers and break down of sales by each (location, direct, reseller, distributor, etc…) List of key representatives, wholesalers, resellers, etc.

3月1日销售组织架构图销售组织与销售人员的描述；按产品线由师按地理分布描述一些在内部销售人员，其平均年经验的公司，业内人士普遍形容激励安排与销售专业培训说明该公司的销售队伍描述每个销售人员将转往新(年龄公司与制造业平均经验，激励协议、培训业绩)3.2销售渠道描述代表的销售渠道，同法律售楼处，直接打破、批发商和零售商销售的每(地点、直接、转售商、经销商、等等：：)主要代表名单、批发商、转售等为每个大字补偿安排，服务市场，成交额达到长短关系满意度形容任何重大历史趋势和预测方法采用的销售及分销公司和服务行业普遍三月三日跷跷描述营销活动三月四日六月三日活动说明客户名单、描述(名称、地点、工业类、每年营业额、主要产品卖给顾客)前50位顾客提供一份合同五十强顾客。

Presenting the calculating method of the space displacement model of skewed box girder, whit main ideas of: dispersing the skewed box girder into some skewed beam segments and further dividing those segments into some plate pieces according to their forms; describing the displacement functions in the plane of plate piece by assuming that the space displacements of any point in the joint line between the plate pieces are described by using Hermite interpolation functions and that two displacements in the plane of plate piece are linear in the cross direction; Using Hermite interpolation functions to describe the bending the displacement of the unit length transverse frame cutting longitudinal from the skew box girder segment; Finally, describing the space displacements of a point in the plate pieces by two displacements in the plane of the plate and one bending displacement of plate.

提出了斜交箱形梁空间位移场的计算方法：将斜交箱形梁沿纵向离散为若干斜梁段单元，依据箱梁的构成进一步将斜梁段划分为若干板段子单元；各板段联结线上任意点的位移按Hermite函数插值，假定各板段的面内位移沿其宽度方向线性变化，以描述各板段面内位移；沿斜交箱梁段的纵向截取单位长度横截面框架，框架各杆件空间位移按Hermite函数插值，以描述各板段面外位移；板段内任意点的空间位移最终以2个面内位移和1个面外位移描述。

The essential problem of KBOOA are acquirement and organization of knowledge about the application domain. First of all, we recognize objects according to their outside characteristics and build stable concepts structures. In this way, the attributes and behaviors of any objects are treated as objects as well. The concepts are organized in hierarchies, the concepts' semantics are demostrated in the form of conceptual graphs. As hierarchy structure has inheritance, the system has ability to recognize and reuse concepts, analyze and reason the acquired information according to the existing knowledge, understand the problem space and present the system's functions and characteristics to the analysts and users in the form of scenarios. The main means of transforming informal requirements to formal ones is to recognize objects according to their outside characteristics, recognize attributes according to their functional dependence and describe the semantics of objects, behavior and attribute's relationship's because there is a automatic map from the descriptions of attributes and behaviors to class structures. It is difficult to transfer from OOA to OOD, We disscussed the modularity of Object-Oriented programs according to the principles of software engineering and presented the methods to decrease couplings and increase cohesions, i.

KBOOA以知识的获取、组织为中心问题，首先依据对象的外特性识别对象，并将属性和行为也作为对象处理，从而建立起较稳定的概念结构；KBOOA以层次的方法组织概念，以概念图的形式描述概念的语义，利用层次结构的继承特性，使系统具有识别、重用概念的能力，根据已有知识对系统所获信息进行分析、推理，产生对问题空间的理解，并以想定的形式向分析师、用户展示系统功能、性能，从而构成了一个交互式的，具有一定智能的需求分析环境；依据外特性识别对象，依据函数依赖关系识别属性，用概念图描述对象、行为及属性关联，是将需求由非形式化形式向形式化形式转换的主要手段，使属性及行为描述可向类型结构自动映射，为提高需求分析的自动化程度提供了依据。

Analyzing the relationships among the initial yielding point, significant yielding point, ultimate point and other key point in parameterless pushover curves, considering the seismic design level, the parameterless pushover curves are transformed to general pushover curves. Then the general pushover curves are converted to a spectral capacity curves for building, that is, a plot of spectral acceleration versus spectral displacement, using the simplified nonlinear static analysis method to estimate the seismic vulnerability of multistory brick structure and multistory and high rise reinforced concrete.

分析了无量纲坐标描述的推倒曲线中初始屈服点、明显屈服点及极限点等关键点之间的关系，考虑建筑物地震设防水准，将无量纲坐标描述的推倒曲线还原为以侧力及其位移描述的推倒曲线，进而将其转换为以谱加速度及谱位移表示的承载能力曲线，采用简化结构静力非线性分析方法，估计我国多层砖房及缺乏震害经验的多、高层钢筋混凝土框架结构房屋的地震易损性。

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后卵基本全部孵化。