查询词典 sequential logic

Extended logic programs without functions are introduced to represent the diverse access control policies, and the propagation depth and direction of privileges along the entity hierarchy can be constrained. After privilege conflicts are resolved according to the rules based on priority between different grantors and entities, semantics as answer sets of extended logic programs is attained.

采用类似于无函数的扩展逻辑程序的表示方法对安全访问策略进行描述，限定权限传播的深度，利用不同的优先次序定义了多种消解冲突的规则，并给出了类似扩展逻辑程序的回答集语义解释。

Pro Logic — manually selecting Pro Logic may be needed when listening to a conventional digital signal, as from a laserdisc player, which does not have an identifying "flag" to indicate whether it is simply stereo, or Dolby Surround encoded.

定向逻辑——在欣赏普通数字信号，如 CD 影碟机时，由于其本身没有鲜明的&旗帜&来表明它到底是立体声音频规格的还是 Dolby Surround 编码的，所以可能需要手动选择 Pro Logic 。

The correctness of logic theory is one of the most important factors in relay protection. This paper validate the testing function of medium and low voltage line protection through the relay protection testing system based on virtual instrument developed by ourselves, so as to make the validation of the correctness of logic theory be independent of the relay protection devices'software and hardware.

保护逻辑原理的正确性是继电保护能可靠动作的重要因素之一，本文采用自行研制的基于虚拟仪器的继电保护测试系统对中低压线路保护测控功能进行了验证，确保保护逻辑原理的正误与微机继电保护装置软硬件无关。

All-Flash website and the production of similar html website, prior should be painted on paper restructuring plan, including : Terms of the theme, with what kind of elements, which elements need to repeat them use elements of the link between how elements of campaign what style of music, the entire site can be divided into several logic blocks, each logic block the link between how and whether you intend to use Flash construct the station or just doing their part of the preliminary site etc., should be considered within the scope.

制作全Flash网站和制作html网站类似，事先应先在纸上画出结构关系图，包括：网站的主题、要用什么样的元素、哪些元素需要重复使用、元素之间的联系、元素如何运动、用什么风格的音乐、整个网站可以分成几个逻辑块、各个逻辑块间的联系如何、以及你是否打算用Flash建构全站或是只用其做网站的前期部分等等，都应在考虑范围之内。

Mr.Jin Yuelin was one of the most famous Logicians in Our country,who had been engaged in the studying and teaching of logic for more than half a century. He had achieved great attainments and attributed a great deal to the development of logic in our country.

金岳霖先生是我国著名的逻辑学家，从事逻辑的教学和研究有半个多世纪，其造诣极深，论著颇丰，为我国的逻辑学发展作出了重大的贡献。

Chinese have been accustomed to dialectical logic,and it is necessary that the dialeltical logic will be described for logistic system by the logicians,and we shall apply the theory to education.

中国人从古到今使用的都是辩证逻辑，但还有必要把辩证逻辑用一套符号系统科学地刻画出来，并应用于教学。

From then on,logicians developed many ideas of many-valued logic based on different needs.This paper will recall the history process from the early thought of many-valued logic to its later development.

从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想，本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾。

This record system is the all digital system, the logic circuits integrate in the Complex Programmable Logic Device.The article uses CPLD technology to improve the system reliability ,also cuts costs and minishes power consumption.

本系统为全数字化系统，逻辑电路集成在可编程逻辑器件CPLD内，CPLD的使用可降低成本，减小功耗，最主要的是可大大提高系统的可靠性。

The sine qua non of such mythopoeia, for Tolkien, is the making of a world that resembles ours but is not ours, a world that possesses internal logic and self-consistency to the same degree that ours does - but not the same logic: it must have its own rules, rules that are peculiar to it and that generate consequences also peculiar to it.

对托尔金而言，进行神话创造的必要条件是创造一个世界，要与我们的世界相似但又不同，和我们的世界一样都拥有内在逻辑性和自身连贯性，但那又是一种不同的逻辑：它必须有自己的规则，是那个世界特有的规则，然后产生出规则背后特有的结果。

I don't,we don't have such a logic that in a cabinet if one member or several members have been studied in former Soviet Union or in any other countries,then this cabinet will be pro-Soviet Union or pro-any coutry.We don't have this logic.

任何一个内阁里面有人在前苏联留过学或者是在其他国家留过学，就认为这个内阁一定是对哪个国家怎么样，我看这个逻辑不存在。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。