查询词典 premise

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

The premise seemed to have been resoundingly reaffirmed when thousands of local cadres outdid one another in making wild claims about grain yields in 1958, the first year of the GLF.

在"大跃进"的第一年1958年，这样的前提表面上看起来好象可以认可，即使数以千计的地方官员互相竞争而达到粮食生产的提高。

Of course, the power of a country or a nation rests on the premise of unification at first.

当然，一个国家的强大，一个民族的强大，首先是以统一为前提的。

The retrospection of this kind directing to theoretical logic premise and basis is to re-think theoretical basis and principles.

哲学的批判主要是反思隐含在管理组织理论中的逻辑前提、研究方法、价值观念以及评价的合理性原则。

Divide China postal outside insisting to do business, ripely express, send urgently curtilage wait for home the close a business before premise of Spring Festival of each big express company, and express company also will be in today bright two days " start working ".

除中国邮政坚持营业外，圆通快递、宅急送等国内各大快递公司春节前提前歇业，而快递公司也将在今明两天"开工"。

Of course, the underlying reason for constructing a load cell isn't measured in "dollars and sense", but is part of the fundamental premise of amateur experimental rocketry -- the desire to fabricate, whatever is practical, from scratch.

当然，背后的原因，兴建一所负载细胞是没有衡量的"美元和责任感"，但是一部分的基本前提业余实验火箭-的愿望，编造，无论是实用，从头开始。

That is mainly because the estimation of rotational motion is quite difficult. On the other hand, current image motion model is nonlinear which is very hard to be solved. Thus linear approximation is often made with the premise that the rotational motion is minor.

目前的稳像技术存在的难点包括：首先对于旋转情况较严重的情况稳定比较困难，这一方面是由于旋转的运动估计比较困难，另一方面在补偿的过程中二维的运动模型是非线性的，求解时需要以旋转情况不严重为假设进行线性近似。

From the view of bureaucratic and democratic systems, the order of participative management system and routinization is the foundation or premise of the democratic system operation for the public administration.

例如人们通常认为通过行政管理便可以达到某种民主生活的目的，而不是在公共行政过程中体现民主，这其实是一种认识上的误区。

Match thing success operates the premise holding as for be one of among them the most important condition , but ensure match thing safety being match then matter successfully.

赛事的成功运作就是其中最重要的条件之一，而保障赛事安全则是赛事成功举办的前提。

But it all depends on human effort,and I make a plan for the salariat to take this kind of roadster,for example,the common one will cost at least one million,then how can they take this kind of car proudly at the premise of affordable?

不过事在人为，我个人做了套为工薪阶层打造坐上这样跑车的方案，比如说，我要买辆普通型号的大致也要一百万元。那么如何保证买的起的前提下，还要坐车风光呢？

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。