性选择的

It is proved that the choice function must satisfy the axiom of consistency if the choice function meets the axiom of substitutability together with quotafilling condition; then, it is driven that the choice function is a path independence choice when it satisfies the substitutability and consistency condition.

首先证明了在替代性原理的前提下，选择函数定额充分是满足一致性原理的充分条件；得出了当选择函数满足替代性和定额充分条件时，必定满足路径无关性选择的结论。

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

Some biologists go so far as to blame sexual selection for the conspicuous consumption that threatens humanity's future.

一些生物学家甚至走得更远，他们把"显眼的消费将毁灭人类的未来"归为性选择的罪过。

In this paper, the unique existence conditions for minimal determining set of non binary complete rational choice function is studied.

研究社会选择理论中非二元性选择函数的最小决定集的唯一存在性条件。

Therefore, N-phosphoamino acids could be used as models in the study of reactions of the phosphoryl group in the life process.First of all, a series of model N-phosphpoamino acids were synthesized. And their ester exchange reaction on the phosphorous center was studied by ~(31)P NMR, HPLC, ESI-MS and ESI-MS/MS.

首先，本论文从氨基酸角度研究磷化学，合成了一系列模型化合物N-磷酰化氨基酸，利用~(31)P NMR技术研究了磷上酯交换反应，发现α-氨基酸对于磷原子存在着手性选择现象，并且这种手性选择的差异随α-氨基酸种类的不同也有所区别。

In this paper, the principle of caution to start the basic theory, expounded the principle of care and the role of meaning, emphasizing the principle of caution for owners, managers, creditors, as well as the importance of accounting personnel; introduced the principle of prudent accounting practice in China and the need for careful application of the principle of the basic requirements; detailed exposition of the principle of prudent asset impairment provision, recognition and measurement of intangible assets, fixed assets depreciation method choice, the recognition and measurement of income, inventory valuation methods choice, or there are matters of identification and disclosure of the application and embodiment of the main; focused on the principle of prudent asset impairment in the recognition, the recognition and measurement of intangible assets, fixed assets depreciation method choice, revenue recognition and measurement, inventory valuation methods, or there are matters of recognition and disclosure issues that exist in reality; and on the careful application of the principle of how to correctly Suggestions: correct handling of the principle of caution to the principles and other relations, reduce the tax policy and differences in accounting policies, appropriate use of the principle of prudence, strengthen auditing and supervision, and strengthen the internal mechanism to improve the accounting standards in the application of the principle of prudent operational, financial reporting to strengthen the disclosure of information, enhance professional accountants capable of making judgments.

本文从谨慎性原则的基本理论入手，阐述了谨慎性原则的含义及作用，强调谨慎性原则对于所有者、管理者、债权人以及会计人员的重要性；介绍了谨慎性原则在我国会计实务中应用的必要性及谨慎性原则的基本要求；详细论述了谨慎性原则在计提资产减值准备、无形资产的确认与计量、固定资产折旧方法的选择、收入的确认与计量、存货计价方法的选择、或有事项的确认与披露方面的主要应用和体现；着重研究了谨慎性原则在资产减值准备的确认、无形资产的确认与计量、固定资产折旧方法的选择、收入的确认与计量、存货计价方法选择、或有事项的确认与披露中存在的现实问题；并提出了关于谨慎性原则如何正确运用的几点建议：正确处理谨慎性原则与其他各项原则的关系、缩小税收政策与会计政策的差异、适度运用谨慎性原则、加强审计监督，强化内在约束机制、提高会计准则中谨慎性原则应用的可操作性、加强财务报告信息披露、提高企业会计人员的职业判断能力。

Some scholars, however, draw an analogy with sexual selection.

不过一些学者用性选择的类比来进行解释。

Dr Gaulin thinks an evolutionary fight is going on between natural selection, which conserves metabolic expenditure and promotes longevity, and sexual selection, which willingly trades both for extra mating opportunities.

Gaulin博士认为自然选择的目标和性选择的目标在进化中互相冲突，自然选择倾向于保存自己，降低代谢强度，让自己活得更长；而性选择的目标是为了得到更多的交配机会，不惜以代谢强度和长寿为代价。

Because muscles come at such cost, Dr Gaulin thinks an evolutionary fight is going on between natural selection, which conserves metabolic expenditure and promotes longevity, and sexual selection, which willingly trades both for extra mating opportunities.

肌肉的存在要付出相当代价， Gaulin博士认为自然选择的目标和性选择的目标在进化中互相冲突，自然选择倾向于保存自己，降低代谢强度，让自己活得更长；而性选择的目标是为了得到更多的交配机会，不惜以代谢强度和长寿为代价。

The system implemented forest fire model selection automatically and intelligently. BP artificial neural network model of forest fire model selection was build by treating forest fire environment data as inputting variable and treating appropriate forest fire model as outputting variable. At the same time, we studied the methods of acquiring and calculating data of inputting and outputting. The system implemented machine of model selection automatically based on dynamic data driven technology. We selected 72 items experimental data from historical forest fire records in Beijing to experiment and confirm the validity of model selection. It turned out that the reliability of model selection is more than 80 percent.

3基于BP人工神经网络方法设计了林火模型适宜性选择技术框架结构，通过神经网络形成林火模型选择知识，实现了林火模型的自动化和智能化选择；以火场环境因子为输入变量，以适宜火场环境模拟的林火蔓延模型作为输出变量，构建了林火模型选择神经网络模型；研究了输入、输出因子数据的获取与计算方式，实现了动态数据驱动的林火模型自动选择机制；以本京市为例，选择了有详细火场情况记录的72场林火作为实验样本，其中60条记录作为学习样本集，12条记录作为验证样本，对神经网络进行了学习和验证，实验结果表明，模型选择精度可达到80%以上。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。