查询词典 axiomatic system

Hengyiyuan has three departments: sales department, engineering department and performance tenancy department. Insisting on "quality first and service primary", Hengyiyuan gets clients' trust and recognition with its exquisite technology and considerate service. During the past ten years, Hengyiyuan took part in kinds of important projects construction such as Music Plaza of Beijing Wangfujing Building, Music and Culture Plaza of Beijing Friendly World, Activity Center of Renmin University, Audio System of China Grand Theatre, Multi-function Hall's Lighting and Audio System of Kuangou Holiday Village and Construction Engineering Institute, Conference System of Beijing Nuclear Industry Research Institute, Multi-function Hall's Sound Reinforce System and Simultaneous Interpretation System of China National Coal Group, Multi-function Hall's Lighting and Audio System of Beijing University of Aeronautics and Astronautics, Lighting System of Beijing Conservatory of Music, Lighting System of Beijing Lvdejin Oriental Hollywood Performance Plaza and Multi-function Hall's Lighting and Audio System of Shahe Station and so on. In addition, the performance tenancy department offer sets of lighting, audio and other necessary equipment for the performance program like CCTV Art and Talk Show and Super Voice Girl, and even for the vocal concert by Lunhui Band, Yuquan, Man Wenjun, Han Hong, Liu Suola, Gu Juji, Lin Junjie and Chen Lin etc.

恒艺苑配有销售部、工程部、演艺租赁部这三大部门，始终坚持质量第一，服务至上的宗旨，把先进的技术和产品与客户的实际需要结合起来，把提供富有创意的专业化设计和精品工程与客户的投资回报效益结合起来，用精湛的技术和体贴的服务赢取客户的信任和赞誉，十几年来公司先后承接了北京王府井大楼音乐广场系统工程、北京友好世界音乐文化广场系统工程、北京人民大学活动中心系统工程、中国剧院音响系统工程、宽沟度假村多功能厅灯光、音响系统工程、建筑工程学院多功能厅灯光、音响系统工程、北京市核工业研究员会议系统、中国煤炭进出口集团多功能厅会议扩声、同声传译系统、北京航天航空大学多功能厅灯光、音响系统工程、北京音乐学院灯光系统工程、北京绿德金东方好莱坞演艺广场灯光系统工程、沙河站多功能厅灯光、音响系统工程等众多数不胜举倍受业内瞩目的重点工程，此外演艺租赁部还为CCTV《艺苑风景线》、超级女声、轮回乐队、羽泉、满文军、韩红、刘索拉、古巨基、林俊杰、陈琳等演唱会的文艺演出提供了成套灯光、音响及周边设备。

A general or abstract concept or term considered absolute or axiomatic .

一般概念普遍的或抽象的概念或术语，认为是绝对的或自明的

A general or abstract concept or term considered absolute or axiomatic.

一般概念普遍的抽象的概念术语，认为是绝对的自明的

Perhaps even more striking than the advent of these ideas has been the acceptance of the axiomatic conceptual method of abstract algebra and its pervading influence throughout mathematics.

或许比这些新方法的引入更为引人注目的是抽象代数的公理化、概念化的方法以及其对整个数学学科的深远影响。

Another approach is to prove connections with alternate formal semantics independently developed, such as the axiomatic semantics that underline tools for deductive verification of programs (see Appel and Blazy2 for an example).

另外一种方式是证明与其他独立开发的、诸如程序证明推导工具所基于的公理语义（如Appel and Blazy[2]）等形式语义的关系。

These three reasons let the spread of axiomatic method stagnate for a long time.

正是这三个原因造成了当时公理化方法传播的停滞。

Therefore, a method integrating axiomatic design and TRIZ is proposed.

提出了集成公理化设计理论与TRIZ解决设计问题的一种方法。

The axiomatic method really was useful to the development of modern science and technology, but then Chinese did not attach the importance on it.

这种方法中国古代没有，且和近代科学的关系密切，本应受到国人的欢迎，并能尽快在科学研究中应用和传播。

This axiomatic method has been the model for many systems of rational thought, even outside mathematics, for over 2,000 years.

这种公理方法是2，000多年来许多理性思想体系的模范。

Aiming at these disadvantages, the framework model of axiomatic design method based on modified function-means tree was presented.

针对公理化设计中存在的不足，提出基于改进型功能方法树的公理化设计方法的框架模型：以设计知识库为基础，建立改进型功能方法树，并以此为依据促成公理化设计的功能需求与设计参数的分解与映射，实现公理设计中功能与结构的同步演化；最后，通过自动化糖果包装机设计为例验证了该方法的可行性。

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数据流的质量检测。