描述

It seems preferable, however, to construe these topic-neutral descriptions as contingent reference-fixers for "pain," which tie "pain" to that inner state which is, contingently, caused by the events the topic- neutral descriptions describe.9 It is thus no part of the meaning of "pain" in my idiolect that pains are something I undergo.

但似乎更好的是，把这些中立描述，解释为是"疼"的偶然性指称固定者，把"疼"系于偶然地被中立描述所描述的事件所导致的内在事态。[9]于是，在我的习语中，没有"疼"的含义部分是我经历的那东西。

According to this method, on the basis of ontology, the requirement of dynamic revising service cases and the description of revision operator are presented under the same circumstance, and the capacity of revision operator can be described with two respects of interaction environment and changes. Furthermore, the model of resource states transition graph is presented to realize the transition from the description of the capacity of revision operator to the resource states of revision operator. Finally, a verification method concerning the dynamic revision of service cases is presented to improve the revision and verification automatically.

将动态调整需求和调整运算子的描述统一在它们共同的环境的基础之上；并建立了调整运算子的交互环境本体，在本体的基础上，从调整运算子交互的环境以及调整导致的环境的改变两个方面描述调整运算子的能力；提出调整运算子能力的资源状态变迁图模型，实现了从调整运算子能力描述到调整运算子的资源状态变迁图模型的转换；还较为系统地提出了与基于范例推理服务组合相关的范例动态调整的验证方法，提高了服务范例调整和验证的自动化程度。

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估计器，并进行了数学仿真。

Instantiating the architecture of open CNC system to data communication components Currently, there are four types of describing and expressing software architecture:(1) figure expression drawing with rectangles and directed line segments;(2) path language in module that links traditional programming language module;(3) special software architecture description language combining object-oriented technology with the development experience of traditional program design language;(4) system description language based on components.

instantiating结构的开放式数控系统的数据通信元件目前，共有四种不同类型的描述和表示软件体系：(1)数字表达绘画rectangles定向线段；(2)路径语言模块连接传统的编程语言模块；特殊软件构架描述语言结合面向对象技术与发展经验的传统程序设计语言；(4)系统描述语言的组件。

In this thesis, we focus on the theory for the interaction of molecular dipole moment with external electric field and use the numerical simulation to investigate the rotational state-selection of polar molecules in a hexapole electric field and the laser-field role of alignment or orientation for molecules based on semi-classical treatment, the detail is the numerical calculation for a quantum mechanical treatment of molecules and their interaction with the external field and a classical electrodynamical treatment for static electric field.

本文研究是在描述分子偶极矩（永久偶极矩或诱导偶极矩）和外电场相互作用的基础上，我们建立了对分子态选择和角动量取向、准直研究的半经典理论框架（即分子体系状态、能量及与外场相互作用使用量子理论描述，分子的运动轨迹使用经典电动力学描述），并利用数值计算方法对静电场和随时间变化电场作用下分子的转动态选择、取向和准直过程进行了研究。

Chapter 4 proposes the attributed context-free grammar description, transformation methods and framework of organization based on windows of visual languages in a human-computer interface, which provides a reasonable theoretical basis and methods for the description, expanding production and automatic erasion of visual languages and the design of a visual human-computer interface.

第四章提出了人机界面中可视语言的上下文无关属性文法描述、变换方法及基于窗口的组织结构，为可视语言的描述、扩展生成、自动擦消及构造可视人机界面提供了有力的理论依据及描述方法。

The main work and innovation of this dissertation are: 1. The network management domain-specific mobile agent system architecture and mobile agent model are proposed and described in details. The lifecycle of mobile agent is described by using state diagram. The layered security model is introduced. The mobility model is distinguished by the complete and partial one as well as the explicite mobility and implicite one. 2. Aimming at the complexity and heterogeneity of the network, the abstract network entity is presented and defined in details. The mobile agent is also classified and studied from the point of the mobile mechinisim along with the resposibility view. The NMBMA, which the main component is ANE, is put forward and described by using organizational, informationl, computational and implementary model. 3. The two architectures, NMBMA and Client/Server-based one, are compared and analyzed quantitatively and qualitatively. 4. The prototype based on the above NMBMA is designed and some examples are described in the prototype.

主要工作与创新是：提出并详细描述了面向网络管理领域的MAS结构和流动软件代理模型及其内部结构，并采用状态图描述了流动代理的生命周期；提出了层次的安全模型；从数据管理和实现方式两个方面，区分了流动模型即完全流动和部分流动以及显式流动和隐式流动；针对网络的异构性和复杂性，提出了抽象网络实体ANE的概念，并进行了定义；从流动机制和职能两个角度，对流动代理进行了分类研究；以ANE为主要部件，从组织模型、信息模型、通讯模型、实施模型四个侧面描述了NMBMA；定量和定性比较分析了NMBMA与传统的基于Client/Server模型网络管理体系结构；通过一个原型系统的设计和网络管理实例，验证了NMBMA是可行的。

Both a free volume approach for Helmholtz free energy and a theoretically-based fitted formula for radial distribution function of hard sphere solid were employed to describe the Helmholtz free energy of Lennard-Jones solid in the framework of first order thermodynamic perturbation theory.

结合描述硬球固体Helmholtz自由能的自由体积方法与描述硬球固体径向分布函数的拟合的分析表达式与一阶热力学摄动理论，用于描述Lennard—Jones固体的Helmholtz自由能。

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)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

One, the physical quantity that the fundamental point that the physical quantity that describes mechanical vibration and mechanical wave is proposition of the university entrance exam describes physical quantity of simple harmonic motion to the; such as amplitude, periodic, frequency, speed, acceleration, phasic, phasic difference describes mechanical wave has amplitude, wavelengh, velocity of wave, periodic, frequency to wait.

一、描述机械振动和机械波的物理量是高考命题的基础点描述简谐运动物理量有振幅、周期、频率、速度、加速度、相位、相位差等；描述机械波的物理量有振幅、波长、波速、周期、频率等。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。