查询词典 statement logic

In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which has both normal and non-normal m odal operators.

阐述了 Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点。

In Van Steenberghen's Epistemology, the related study is divided into pistémologie analytique ou descriptive and pistémologie Critique, while the study of logic is omitted here, for traditional study of logic has made a system of its own.

在汪斯坦博根所著的《知识论》中，主要将知识论研究区分成「分析或描写的知识论」（pistémologie analytique ou descriptive）与「批判的知识论」（pistémologie Critique）两大部分，至於逻辑研究的部分由於传统逻辑研究早已自成体系，故不再重复。

JSP/Servlet is an up-to-date technology of server side application using Java.Servlet is an application running on web servers which can efficiently handle differentweb operations. JSP implements separation between transaction processing logic andpage displaying logic. The combination of them can make a high performance, easilymaintenance, cross platformed dynamic system. They have tremendous advantages tovarious main developing technologies currently used.

JSP／Servlet技术是Java语言在服务器端应用的最新技术成果，Servlet是运行在万维网服务器端的程序，可以高效处理各种网络服务；JSP技术实现事务处理逻辑与页面显示逻辑的分离，二者的结合可以开发出高性能的、易维护的、跨平台的动态服务系统，与目前各种主要开发技术相比，具有无可比拟的优越性，是目前为止最先进的开发手段。

An analog prefilter;(2) an ADC;(3) a digital pulse shaper;(4) pulse selection logic;(5) histogram logic, and 6

波器；（2）模数转换器；（3）数字脉冲整形器；（4）脉冲选择逻辑单元；（5）条带逻辑

Following this logic, Nee (1989) argued that, as the political logic of redistribution is eroded by market mechanisms, returns to political capital declines and returns to human capital increase in the reform era, compared with the prereform era.

按照这个逻辑，倪认为，和前改革时期相比，当再分配的政治逻辑在改革时期被市场机制侵蚀时，对政治资本的依附下降，对人力资本的依附上升。

Using the logic in Excel spreadsheets in a server application without the "traditional" need to recode this logic in a programming language.

在服务器应用程序中的电子表格上运用逻辑--不需要使用&传统的&方法，即用编程语言重新编

Using the logic in Excel spreadsheets in a server application without the "traditional" need to recode this logic in a programming language.

在服务器应用程序中的电子表格上运用逻辑--不需要使用&传统的&方法，即用编程语言重新编写这些逻辑代码。

Liang Qi-chao,Hu Shi and Shen You-ding applied western logicto compare Mo-jing logic and made Mo-jing logic refound.

梁启超、胡适、沈有鼎等人通过研究西方逻辑，从而用来比较研究墨经逻辑，才使墨经逻辑重新被发现。

It is the environment of financial management to decide the change of other elements and it is the financial management objectives as the logic starting point element and the basic clue is the financial management practice activity, so that it can put the tight logic relation of them in order, and construct the new financial management theoretical system after " entry to WTO", which have certain innovative. Secondly, this paper analyses the changes of each elements according to our countrys circumstances, which have certain comprehensive. Thirdly, this paper adheres to unition of theory and practise, and demonstrates in terms of the conditions in our country, which have guidance meaning to the financial management practice.

首先，本文对&入世&后我国企业财务管理理论构成元素进行界定，共包括十二个元素，确定变动点元素是财务管理环境、逻辑起点元素是财务管理目标、基本线索是财务管理实践活动，从而理清它们之间相丘联系和伯互依存的严密逻辑关系，建立新的企业财务管理理论框架，具有一定的创新性；其次，本文结合我国加入＊后的具体国情，对我国企业财务管理理论创新重点进行深入浅出的分析，具有一定的前瞻性：再次，本文坚持理沦性与实践性的统一，立论及论证都紧扣我国的实际情况，对实践有一定的指导意义。

Its main objectives include compensation for the consequences of handicap, participation in the general life of society, notably guaranteeing the accessibility of the established framework and integration by education and employment, and finally the substitution of an administrative logic by a service logic, placing the handicapped person at the centre of system concerning him: information, freedom to choose a life plan, simplification and rationalisation of procedures, etc.

它的主要宗旨包括报偿为障碍，参与的后果社会一般生活，显达地保证可及性这个被建立的框架和综合化由教育和就业，和最后行政逻辑的代替人由服务逻辑，安置残疾人人在系统中心关于他：信息，自由选择生活计划，规程的简单化和合理化，等

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。