The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。
Being "tool friendly" is not a scientific measure; it's a way to express the quality of a model from a tool development aspect.
“工具友好”不是科学度量；它是一种从工具开发的角度表示模型质量的方法。
However, the tool is provided as-is and without any warranties, whether EXPRESS OR IMPLIED, INCLUDING any IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR a PARTICULAR PURPOSE OR NON-INFRINGEMENT.
然而，这个工具是“按现状”提供的，没有任何形式的(不论是明示的，还是默示的)保证，包括对适销性、适用于特定用途或非侵权性的默示保证。
The main difference is that IIS Express launches its worker process from the command-line or from VS (or another tool).
主要差别在于IISExpress从命令行或是VS（或是其他工具）中加载工作进程。
Problems detected by the compiler are reported as warnings or errors in the Express Runtime Developer tool.
由编译器检测到的错误将在ExpressRuntimeDeveloper 工具中作为警告或错误进行报告。
For example, you may have a remote tool that needs to know if it is using a DB2 ESE or DB2 Express server — for either capability enablement or licensing.
例如，您或许拥有一个远程工具，需要知道它是否使用DB 2ESE或DB 2Express服务器——用于功能启用或授权。
Solution wrapper information is kept in a XML file called solution.sxml, located in the src folder in the Express Runtime Developer tool, as shown in Figure 10.
解决方案包装信息保存在一个名为 solution.axml 的XML文件中，该文件位于ExpressRuntimeDeveloper工具的src文件夹中，如图 10 所示。
To simplify the creation of user programs, customize the sample wrappers that are provided in the Express Runtime Developer tool according to customer requirements.
为简化用户程序的创建，可根据客户需求自定义ExpressRuntimeDeveloper工具提供的示例包装。
Application wrapper information is kept in a XML file called application.axml, which can be found in the SRC folder in the Express Runtime Developer tool, as shown in Figure 9.
应用程序包装信息保存在一个名为application . axml的xml文件中，该文件位于ExpressRuntimeDeveloper工具的src文件夹中，如图9所示。
You can now use the db2val DB2 copy validation tool command to quickly verify that you correctly configured your installation of DB2 Express-C.
现在，可以使用DB2拷贝检验工具命令db2val 来快速检验 DB2Express-C的安装是否正确。
Language is a tool we use to express ourselves and nothing feels more natural and comfortable than the language we first discovered the world with.
语言是我们用来表达自己想法的工具，没有什么比一个人的母语来的更自然、更让人感到舒服的了。
Ontology, as an important description tool of knowledge and concept, can express concepts' intention in an explicit and consistent way.
本体作为知识和概念描述的重要工具，能以明确、一致的方式表达概念的内涵。
As a kind of tool, which convey the civilization, express the thought and exchange the ideas, has already been introduced to each design field in the modern society.
文字作为一种传承文明、表达思想、进行交流的工具，在现代社会中已经逐渐被引入设计的各个领域。
You can easily interact with DB2 Express-C databases using the command-based user interface tool, called the DB2 Express-C command Editor (Figure 1), which consists of two panes.
您可以使用基于命令的用户界面工具(称为DB 2Express - c命令编辑器，请参见图1)方便地与DB 2 Express - C数据库进行交互，该工具包括两个窗格。
Natural language is an effective tool to express ideas. It is a sententious and effective method to express the semantic information of images.
自然语言是表达思想的有效工具，利用自然语言表达图像的语义是一种简洁、有效的方法。
The connotation and characteristic of constraint in collaborative design of machine tool are analyzed. Conformation model of constraint network is demonstrated using EXPRESS-G.
分析了机床产品协同设计中约束的内涵和特点，并用EXPRESS - G图描绘了约束网络的结构模型。
The term "right" is in essence a technical legal tool for lawyers to describe, understand, express and rebuild the world in which we function.
其实权利乃是法律人用以描述这个世界、认识这个世界、表达这个世界、改造这个世界的法律技术工具。
Language is a tool to record and express people 's thoughts.
语言是记录和表达思维的工具。
Rodin used the "Monumental Sculpture" as a tool to express his emotion, he took the art expression as the priority which was different from the traditional creation style.
认为罗丹纪念性雕塑的反纪念碑性，主要在于他把纪念性雕塑当作表达个人思想感情的工具，艺术表现占居首位，一反传统的纪念碑外在的要求占居首位的创作模式；
With this tool, women were able to record their lives and express their sentiments. It reached a climax in women's literature in the history of Jiangyong County and Dao County.
运用这种工具，她们可以随时随地记录自己的生活，表达自己的感情，形成了江永县道县历史上女性文学最繁荣的一个时期。
Flying Bean express a single printing software can quickly get Taobao cargo flow information and to print out the tool.
飞豆快递单打印软件可以快速获取淘宝的货流信息从而打印出来的工具。
Being able to identify and express our feelings is a baseline tool for dealing with life.
能够感知和表达情绪，是我们处理生活问题的基础。
A batch photo watermarking tool to promote your brand, protect copyright and express individuality.
批处理照片加水印工具，推广自己的品牌，保护版权和彰显个性。
Metaphor is not only a kind of rhetoric method, but also a reflection of our way of thinking and a tool by which we express our views about the world.
隐喻不仅是一种修辞手段，更是一种重要的思维方式和认知工具。
Many years ago, express deliver is not that popular, now it becomes the main tool for people to receive online products.
很多年以前，快递并不是那么的受欢迎，现在它成为了人们接收网上产品的主要交通工具。
We use the Internet as a tool to communicate and express ourselves.
我们把网络当做是一种沟通和抒发自我的工具。
Expression is the exterior representation of emotions, the people always transfer information by expression in the daily life. And the facial expression is the important tool to express the emotion.
表情是情绪的外部表现，面部表情更是人类表达、认知情感的重要工具和途径，正确的表达和识别面部表情是人类生存的一项重要的技能。
Expression is the exterior representation of emotions, the people always transfer information by expression in the daily life. And the facial expression is the important tool to express the emotion.
表情是情绪的外部表现，面部表情更是人类表达、认知情感的重要工具和途径，正确的表达和识别面部表情是人类生存的一项重要的技能。
应用推荐