logic n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
Based on static logic or static failure mechanism, the traditional fault tree analysis is a effective method to analyze system reliability . but it can not be used to analyze the reliability of systems with dynamic randomicity and dependency, such as fault tolerant system, repairable system with redundance ( cold spare or hot spare ), sequence dependency system and system with spare pool 传统故障树分析方法是基于静态逻辑和静态故障机理提出的一种有效的系统可靠性分析方法,不适用于对具有动态随机性故障和相关性的系统,如容错系统、冗余(或冷、热备件)可修系统、公用资源库系统,具有顺序相关性的系统的可靠性分析。
In the past, the design of web often insert the code to html page for realizing the due function of itself, the inconvenience that this kind of method has caused, for example : the procedure logic of web becomes complicated, the modification of business logic or data possibly can check up each page and the system debugging changes difficulty and so on 以前,web的开发为了实现本身应有的功能往往把代码插入到html页面,这种做法导致了许多的不便,如:web的流程逻辑变得复杂,修改某个业务逻辑或数据可能要浏览多个页面和调试系统变得困难等等。
Motivated by the practical requirements of robot path planning, a generalized constrained optimization problem gcop with not only logic and but also logic or relationships was proposed and a mathematical solution developed previously . this paper inherits the fundamental ideas of inequality and optimization techniques from the previous work, converts the obstacle avoidance problem into a semi-infinite constrained optimization problem with the help of the mathematical transformation, and proposes a direct path planning approach without cspace calculation, which is quite different from traditional methods . to show its merits, simulation results in 3d space have been presented 他们在早期的系列研究中:1提出了更一般的非线性优化问题generalizedconstrainedoptimizationproblem,简称gcop,即约束间的逻辑关系不但有“与and”的关系,而且还有“或or”的关系,并给出了在实际应用中可行的数学求解方法2利用了计算机图形学中的constructivesolidgeometrycsg方法来构建障碍物的不等式表述3将计算机cad中的插值方法与优化理论结合半无穷维优化,克服了路径规划问题中的局部最小值问题。
Analysis and demonstration of historical materials ( adhm ) is a kind of main types of test question in history examine . it requires examinees to confirm historical value or meaning of historical material ( hm ), or to refine as much effective information as possible from hm so as to support certain interpretation or view, or to expound some viewpoint by certain evidence or logic or concept in hm, after it presents them a piece or group of hm related to the knowledge which they have learned 材料分析论证题是向考生提供一则或一组与已学知识相关的材料,要求考生正确理解材料,确认其史学意义、价值;或尽可能地提取材料中蕴涵的有效信息,支持某种阐释或观点;或以材料中的某种依据、逻辑、观点为题展开论证的大型主观性供答型试题。
After the analysis of the most important technology in the oa system---workflow technology, it discusses the implementation of workflow technology in oa system in detail . then a general workflow model is given according to the features of the oa system based on lotus domino which can separate the application logic or process logic from the whole system 随后详细分析了在办公自动化系统中一个最主要的技术??实现信息流转的技术即工作流技术,探讨了工作流技术在办公自动化系统中的应用,继而结合办公自动化系统的特点,基于lotusdomino,给出了这个通用的工作流模型,可以将应用逻辑或过程逻辑分离,将管理知识中有关过程的知识剥离出来。