推理上的

To use symbolic and algebraic computation techniques for studying the computational properties of procedure schemes, some convergent procedure schemes are investigated in algebraically closed field and real closed field.

过程模式在代数闭域和实闭域上的应用：本文在代数闭域和实闭域上研究了收敛过程模式，设计了用于自动推理的过程模式，并且用其解决微分动力系统研究中的中心-焦点问题。

The first one is the judgment for trend at determinacy aspect.

正是出于这种考虑，本章将对信托产品创新制度环境变迁的研判分为两个层面：一是确定性层面上的趋势研判，其确定性的依据主要是逻辑上的推理；二是不确定性层面上的进程研判，其不确定的根源在于实践中情势的难以把握。

Functional dependence is an important kind of inference rule. Getting the functional dependence exist on relation instance by data mining technology can help the defense to inference attack.

函数依赖关系是一种重要的推理规则，使用数据挖掘技术获取关系实例上隐含的函数依赖有助于对推理攻击的防御。

Explanation, according to this view, is simply accounting for facts on the basis of deduction from a known law or laws, or accounting for some subordinate law on the basis of a deduction from some more general law or laws.

根据这个观点，解说就是简单地说明已知定理或定律推理基础上的事实，或说明某些从一般定理推理出的附属定律。

This model decompounds the cooperative partners of virtual enterprises as the roles of the agile supply through analyzing the business process of the agile supply chain; an agent stands for one role of the agile supply chain. We give the architecture of agent negotiation and the reasoning process model based multi-agent negotiation with fuzzy logic control after analyzing the process of multi-agent negotiation. An evaluating principle of the cooperative partners is given for this reasoning process model firstly, then, we analyze the factor, which affect the agent evaluating the cooperative partners with the principle. An evaluation index system is designed for multi-agent and multi-issue and multi-level negotiation, then, we evaluate the proposal in the agent negotiation with the index system fuzzily and synthetically and the result range from 0 to 1. This evaluation method is generic, furthermore, for the adaptability of agent, partiality of agent can be defined manually or automatically, the user can adjust the partiality with changing the weight to optimize negotiation results.

该模型在分析了敏捷供应链的业务流程的基础上将动态联盟的合作伙伴企业按角色进行分解，用Agent来代表每个角色，在分析了Agent谈判的过程之后给出了谈判Agent的体系结构，然后给出了基于模糊逻辑控制的Agent的谈判推理模型，该推理模型首先建立了合作伙伴企业评价体系的原则，并基于此原则分析了影响Agent对合作伙伴企业的评价因素，然后建立了多Agent多问题多级评价指标体系，并基于该指标体系对Agent在谈判中的建议进行模糊综合评价，评价结果是位于区间[0，1]上的值，该评价方法不仅具有通用性，而且Agent可以通过调整各级指标的权重来定义自己的偏好。

Under the precondition of lucubrating the work process and arithmetic of fuzzy inference, the paper made a graphical characteristic analysis of fuzzy inference function and its subject. We got a better effect using the improved system in contrast to the old system.

在深入研究专家系统模糊推理机的工作过程及算法的前提下，对模糊推理运算函数及隶属函数进行了图形特性分析改进，在实现改进后的专家系统的基础上与改进前系统作了运行实力对比，得到较好的效果。

This research boosts the study in the new generation of tests theory in our country, and offers references to the functions realization of cognitive diagnosis of the geometric analogy test in practice.

本研究从理论上推进了我国在新一代测验理论上的研究，从实践上为几何类比推理测验的认知诊断功能实现提供技术上的参考。

This research of this thesis focuses on the cognitive strategy of geometric analogy cognitive component and the subjects'learning potential on the geometric analogy test, deploying the research encircling the realization of geometric analogy test from these three aspects. It answers 3 detailed question:1.what kind of item can arose the rule-constructing strategy of the subject, or rule-deleting strategy?

本研究关注几何类比推理的认知策略、认知成分及被试在几何类比推理测验上的学习能力，围绕几何类比推理测验在这三方面的认知诊断功能的实现展丌研究，具体回答三个问题：(1)怎样的项目更能引发被试的规则构建策略或更能引发被试的选项剔除策略？

An automatic update system based on semantic web techniques to implement the drug-law checking automatically is proposed in this thesis. The design concept is to use OWL as the knowledge model. To represent the drug law knowledge, we view a drug law as a class of medical status, and we can use classification to implement the decision of drug use legality. This approach simplifies the design of inference engine. The OWL supports the syntax of class inherences, so it can reach the cognitive economy and shorten the drug laws encoding length. The OWL syntax can represent most drug laws style, so the system can just use one document and one inference engine to handle all drug laws rules.

本文导入语意网技术提出一法规检核同步化系统，来实现药品检核规则自动更新的功能，其主要设计理念为以语意网的OWL模型来实作法规检核系统，在法规的知识表徵上，系统将所有的药品规则视为医疗状态的类别，因此判别用药的合法性，便可使用分类运算达成，这简化了推理机的设计；利用OWL支援类别继承的语意，故能形成认知经济性效应，缩小医疗法规机器编码长度；最后OWL的语法能表示大部份规则型态，使得系统可以使用一个文件档，一种推理机模型便能表示所有的法规。

This paper presents Web service composition frame supported by Case-Based Reasoning after analyzing the characteristics of Web service composition and advantage of Case-Based Reasoning technology.

在分析Web服务组合特点及范例推理技术的优点与适用性的基础上，提出了一种基于范例推理的服务组合实现框架。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。