查询词典 axiomatic system

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

As we all known, with the founding of Euclidean geometry in ancient Greece, with the development of analytic geometry and other kinds of geometries, with F.Kline" s Erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. On the other hand, Euclid formed geometry as a deductive system by using axiomatic theory for the first time. The content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from Kline and Perry" s appealing.

纵观几何学发展的历史，可以称得上波澜壮阔：一方面，从古希腊时代的欧氏综合几何，到近代解析几何等多种几何的发展，以及用变换的方法处理几何的埃尔朗根纲领，到20世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。

These are (1) denying the relationship between sense and existence,(2) doing not accord with the law of causality,(3) imaging the universe using deductive method of mathematics,(4) propagating the super distance effect which do not need time,(5) using wrong philosophy and physics concepts,(6) studying the origin of the universe,(7) departing from axiomatic system,(8) denying the definitions of basic physical quantities.

主要表现为：否定感觉与实在的关系、不讲因果律、用数学演绎方法臆想宇宙、宣传不需要时间的超距作用、哲学和物理概念错误、研究宇宙起源、脱离了公理化理论体系，否定基本物理量的定义等。

In order to expand the scope and applied fields, merge the old theory into a bigger theory system by the merge and correspondence principle of theory. So scientific theory generation develops into senior stage: axiomatic stage.

为了使新理论的适用范围越来越扩展，应用领域越来越大，运用理论的归并原则和对应原理，把旧理论归并到一个更大的理论系统中，从而使科学理论的增长进入高级阶段，公理化阶段，它是科学理论系统化的一种必然结果。

Axiomatic design theory provides an inst ructional f rame for the design of multi2part integration assemblage composed of multi2robot s and automatic weld system.

公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架。

The subject of the full text builds up and divides six major chapters together: Chapter 1 is the foreword, and has studied the current situation and refined and summarized to value and meaning of the selected title background of the thesis, selected title abroad synthetically; Chapter 2, have carried on science to define to the intension of responsibility and governments relevant concepts of responsibility, have explained that constructs the necessity of the responsibility government and realistic meaning; Chapter 3, ility the intension made of the responsibility has been carried on science solves and constructs, summarize the political function and basic principle of administration asking responsibility system, and the logic relation between administration asking and the responsibility government of the responsibility has been analysed scientifically; Chapter 4, has used the administrations of western countries for reference and administration asking responsibility system and high-ranking official asking system of Hong Kong area of our country and the successful experience, expect to the institutional improvement of the administration asking responsibility system of our country can be beneficial; The whole chapter 5, the current administration asking system of our country that has implemented the state and carried on objective analysis in responsibility system, have pointed out a series of questions and not complete places exposed in institutional improvement, and has carried on network analysis from two visual angles of the traditional political culture ecology and system factor aspect to the reason why the question emerges; Chapter 6, the responsibility system has carried on tentative countermeasure analysis and discussion in perfecting the administration of our country, separately from improving the environment of administration asking responsibility and reinventing the culture of administration asking responsibility, devoting more efforts to asking the responsibility in allosome, strengthen the related institutional improvement of administration asking responsibility system, etc.

全文主体架构共分6大章节：第1章为引言，对论文选题背景、选题价值与意义及国外内研究现状进行了综合提炼与概括；第2章，对责任和责任政府相关概念的内涵进行了科学界定，并阐述了构建责任政府的必要性和现实意义：第3章，对行政问责制的内涵进行了科学解构，概括了行政问责制的政治功能及其基本原则，并对行政问责制与建立责任政府的逻辑关系进行了科学分析；第4章，借鉴了西方国家行政问责制度及我国香港地区高官问责制的成功经验，以期对我国行政问责制度建设能有所裨益；第5章，对我国现行行政问责制度实施状况进行了客观分析，指出了在制度建设过程中暴露出来的一系列问题和不完善之处，并对产生这些问题的原因从传统政治文化生态及制度因素层面两个视角进行了系统分析；第6章，对健全和完善我国行政问责制度进行了尝试性的对策分析与探讨，分别从完善行政问责环境、重塑行政问责文化，加大异体问责的力度，加强行政问责制配套制度建设及行政问责制立法等角度提出了完善的措施和途径。

The AVN2440DS shield machine consists of cutterhead driving system, thrust system, guidance system, segment erection system, grease injection system, main bearing lubrication system, slurry feed and return system, simultaneous grouting system, segment delivery and hoisting system and backup gantries.

AVN2440DS泥水平衡盾构机主要由刀盘驱动、推进、导向、管片拼装、盾尾注脂、主轴承油脂润滑、进排浆系统、同步注浆以及附加接管器、管片吊运、后配套拖车等系统组成。

The AVN2440DS shield machine consists of cutterhead driving system, thrust system, guidance system, segment erection system, grease injection system, main bearing lubrication system, slurry feed and return system, simultaneous grouting system, segment delivery and hoisting system and back-up gantries.

文章摘要： AVN2440DS泥水平衡盾构机主要由刀盘驱动、推进、导向、管片拼装、盾尾注脂、主轴承油脂润滑、进排浆系统、同步注浆以及附加接管器、管片吊运、后配套拖车等系统组成。

In this paper we build a university scientific research management information system based on Client/Server and three-layer structure of ASP technology, and introduced the design aims, tasks and principle of the system with systematic investigation and analyzsis of demand., With the principle of integrality, practicability, opening, precursive and generality, data stream and data structure are analyzed detailedly, and logistic model which fits university scientific research management was established based on advanced structure system analysis method. In addition, it puts forward a series of the whole scheme of scientific research management system which bases on internet adapts large database development.the design of this system adapts new internet/intranet techonlogy and it can make us gather and share the whole provincial university scientific research information.lt studies and establishes oology structure and using platform of our provincial university scientific research management system, In addition,it also designs and formulates the system at the experimental unit(the scientific research department of NEAU).The scientific research management information system of NEAU is one part of the network information management system.

本课题采用基于客户／服务器和三层结构的ASP技术，在系统调研、需求分析的基础上，给出了基于互联网的省高校科研管理系统的设计目标、任务和原则；本系统的开发遵循完整性、通用性、实用性、先进性和开放性的原则，采用较为先进的结构化系统分析方法对数据流程、数据结构进行详尽的分析，制定一个适合高校科研管理的逻辑模型；提出一套基于互连网络的、采用大型数据库开发的科研管理系统的整体方案；系统设计采用Internet／Intranet全新技术，可做到全省高校科研信息集成与共享；研究制定我省高校科研管理信息系统的拓扑结构及应用平台，利用试点单位，设计和制定我省高校科研管理信息系统的功能结构和信息资源结构。

It consists of 10 subsystems, 122 alarm received and disposed system, Traffic Signal Control System, Municipal Road monitor system, traffic management system, Communication and transition System, Electronic Police System, traffic accident statistic and analysis software, GIS/GPS System, visual detection system to monitor traffic flow, and traffic peccancy system.

它包含10个子系统，即：122接处警系统、交通信号控制系统、城市道路监控系统、交通业务管理系统、通信与传输系统、电子警察系统、事故黑点排查系统、 GIS/GPS 系统、视频交通流量检测系统、交通违章管理系统。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。