有系统地

In our thesis, contents are organized as following In Chapter 1 we present our topic's internal and overseas research situations, theoretical and practical significance, and introduce the research object and contents, and the main contributions of this dissertation. Chapter 2 reviews the development of the stability results for nonlinear systems and some relevant recent results, which include Lyapunov and LaSalle-Yoshizawa theorems for nonlinear systems, and stochastic edition for stochastic nonlinear systems. Sontag's formula for systems affine in control is presented in the frame of CLF. The concepts of disturbance attenuation and the inverse optimality are also explained in this Chapter. In chapter 3 we present the solvable theorem of inverse optimal gain assignment problem, design the inverse optimal controller and the inverse optimal tracking controller for strict-feedback nonlinear continuous systems with unknown time-varing bounded disturbances and constant unknown parameters using an adaptive backstepping algorithm, which are nonlinear, continuous and are easier to realize. These designs are fully systematic and the algorithm can be directly coded in symbolic software. The results of simulation show the effectiveness of the control algorithms.

论文的结构如下：在第1章中，给出了本文研究课题的研究现状、理论意义和实际应用，并介绍了本文的研究对象、研究内容以及主要贡献；在第2章中，针对确定性非线性系统和随机非线性系统，分别介绍了Lyapunov定理、LaSalle-Yoshizawa定理及其随机版本；对仿射系统，在控制Lyapunov函数框架下，给出了Sontag公式；同时给出了非线性系统扰动抑制和逆最优控制问题的基本概念；在第3章中，针对具有未知时变有界扰动和未知定常参数的一类不确定非线性系统，给出并证明了逆最优增益配置可解定理，使用自适应Backstepping算法和均值定理，系统地设计了自适应逆最优控制器和逆最优跟踪器，这种设计方法可同时获得逆最优控制策略和自适应律，简单明了，仿真结果表明该控制算法的有效性，并给出了性能估计。

Most importantly, our team are famous for much research on ecology, physiology,molecular phylogenesis of bats at home and abroad, we have gained much originative result in this field, and we firstly found and studied the third piscivorous bat, Myotis ricketti.We provide evidence that the species Myotis ricketti is piscivorous, and close negative relationships were found firstly within Rhinolophidae and Hipposideridae between call frequency and ear length. Some species of taxology status in rhinolophidae were studied by molecular phylogenesis; phylogenesis relationship between rhinolophidae and hipposideridae and different populations of miniopterus schreibersii were also studied; we also studied Social structure of Tylonycteris pachypusa and T. robustula and the isolating mechanisms of ecological niches.

在蝙蝠生态、生理、和分子系统进化领域完成了大量研究，奠定了本项目组在此领域中的国际地位，首次在国际上证实性发现并系统研究了世界上第3种食鱼蝙蝠--大足鼠耳蝠；首次提出菊头蝠科蝙蝠回声定位叫声频率与耳长负相关；利用分子系统学研究方法澄清菊头蝠科内一些种的分类地位，菊头蝠科和蹄蝠科的关系，以及普通长翼蝠种群间的系统进化关系；系统地研究了扁颅蝠属仅有两个姐妹种的社会组织结构和生态位分化。

Systematically assessed. Groupers are the basis of the HK$1 billion trade in live reef sh that is

香港大学副教授Yvonne Sadovy 博士表示，该工作坊让专家「首次有系统地评估这些极具

This press has conceived that Chinese literature should be translated into English versions systematically, which is in accord with Yangs ideas—getting foreigners acquainted with our abundant cultural heritage.

该出版社一直有系统地将中国文学主要作品都译成英文的设想，这也符合杨宪益本人的想法：让外国人了解中国丰富的文化遗产。

After his time the texts were arranged according to subject matter; these are the "systematic" collections, the only form in use since the time of Pseudo-Isidore.

之后，他的时候，文本被安排根据此事，这是&有系统地&收藏，唯一形式，在使用自当时的伪伊西多尔。

Main points of the thesis are as follows:(1) The main function models and information relations between these models in the CAPP system in the integrated CAD/CAM project are explained, a new process plan design method is mentioned based on analyses of process plan design. This method is based on the process plan prototype, and develops the prototype little by little until the perfect process plan is completed, the prospect of this method is discussed;(2) The feature abstracting rules and methods are studied, a feature coding system is developed based on GT, all the defined feature models are described by the mathematical methods;(3) The integrated method of CAD/CAPP based on features is mentioned, this method defines a feature exchanging model, and develops an interface software to exchange design data into technology data base, this technology data base includes the design and technology information of the parts;(4) The process plan reasoning method based on features is created, this method uses Mycin algorithm to solve the reasoning of the feature process plan. A process plan making system is developed. In this system part process plan is made by the semi-intelligent method, this method uses the feature reasoning, feature process chain searching and man-computer talking together;(5) The main structure of the HOPE system is introduced, a shaft drawing and its process plan made by this system are shown, the data process problem in process drawing making is also discussed;(6) A new method of describing process rule is introduced, this method uses IfThen rules and neural nets weight values together to describe process rules, the BP algorithm is adopted in this method;(7) The optimal machining sequence problem of the process steps on the same fixturing is discussed, optimal algorithms SA is applied to solve this problem, the result shows that this method is more efficient than the traditional method;(8) All jobs in the thesis are summarized. In order to carry out the research in the future, some rational proposals are given.

全文论述的内容主要有下列几个方面：(1)较为系统地阐述了CAD／CAM一体化工程项目中CAPP系统的主要功能模块及其信息流程，在分析工艺设计过程的基础上，提出了基于特征原型的渐进式工艺设计方法，并探讨了该方法的应用前景；(2)研究了零件特征提取的原则和方法，在成组技术的基础上，开发了一套基于特征的分类编码系统，并在提取零件特征的基础上，定义了零件特征的数据模型，开发了基于轴类零件特征的参数化设计系统；(3)研究了基于特征的CAD／CAPP集成的方法，通过定义零件特征数据模型的存储结构，开发了将设计数据转换到工艺数据库中的接口程序，为后续的CAPP系统提供必要的零件形状和工艺信息；(4)研究了基于特征的工艺推理方法，将Mycin算法应用到工艺决策中，开发了基于特征的工艺推理及工艺方案生成系统，在系统中综合运用特征推理、特征加工工艺链查询及人机对话相结合的半智能化方法确定零件加工工艺；(5)介绍了整个HOPE系统的总体结构，通过运行HOPE系统绘出了一轴类零件的零件图，并生成了该零件的加工工艺方案，初步探讨了基于特征的工序图生成技术中数据处理问题；(6)研究了工艺设计过程中知识如何有效表示的问题，提出了将显式的IF-THEN规则表示与隐式神经网络权值表示相结合的工艺知识表示方法，并利用BP算法进行了工艺知识表示的初步研究；(7)研究了工艺设计过程中同一安装下工步优化排序问题，利用神经网络中基于模拟退火的理论来解决该工步优化排序问题，实践证明该方法较传统的算法具有更高的效率；(8)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

Disjointness, cardinality (e.g."exactly one"), equality, richer typing of properties, characteristics of properties (e.g. symmetry), and enumerated classes.

OWL 实例与需求」文件将以六个使用实例﹑并有系统地阐述 OWL 的设计目的﹑需求与目标﹐来提供更详细的本体资料与所带动的 Web 实体语言需求。

The purpose of this initial reading of the notes are to ground themes and hypotheses and the data Next, ethnographers should begin to notice and systematically create records of patterns in the conversations and activities of people depicted in the notes In the case of ethnographic narratives, researchers must rely on the pattern being sufficiently clear in itself to convince and audience of its accuracy Disengaging: getting out although it is certainly possible to maintain complete professional distance when distributing questionnaires to anonymous subjects, it is not as easy during ethnography.

笔记的这起始阅读的目的将将主题和假定和数据置于地面然后，民族志学者应该开始注意而且有系统地产生交谈的式样的记录，而且活动的人在笔记中描述在民族志学的叙述情况，研究员一定仰赖在它本身是充分清楚说服的式样和它的准确性的听众使自由：逃跑虽然当分配对作者不详的主题调查表的时候，维持完全的专业距离无疑可能，但是它是不如容易的在民族志学期间。

As a precursor to the study of these records, chapter four discusses the development of eastern trade routes - overland from Romania through the Greek Peninsula and the Aegean Islands, and by sea to the Levant, and explains how Venice systematically, through wars with Genoa, use of great galleys, cogs and other small ships, developed trade supremacy, the formation of partnerships and joint ventures.

作为对这些记录的研究来说的一个先驱者，它论述了发展的东部地区贸易通道-陆路从罗马尼亚通过希腊半岛和爱琴海岛屿，并在地中海东部海域，并解释了如何从威尼斯有系统地，透过对抗意大利西北部的州及其首都的战争、舰长用艇的使用和其他的小船，取得发达国家的贸易霸权，形成伙伴关系和合资企业。

As the Republican National Convention meets in St. Paul, Minn., this week, police are systematically targeting journalists.

作为共和党全国代表大会在会见圣保罗，明尼苏达州，这个星期，警方现正有系统地针对新闻工作者。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。