逻辑图

It includes symbolic logic, set theory, graph theory and algebra system.

本课程主要包括数理逻辑、集合论、图论、代数系统四部分内容。

In this paper, we propose a model for standardizing the format of clinical data and for standardizing terminological definitions using conceptual graphs as a notation for logic.

错译：在本文中，我们提出一个模型来标准化临床数据的格式，并使用概念图作为逻辑符号来标准化术语的定义。

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

Based upon the engine efficiency map and battery internal resistance curve, a real-time control strategy is proposed for parallel hybrid electric vehicles using the load leveling concept and logic threshold approach to control the torque distribution, various operation modes and the dynamical transitions between the modes for the hybrid powertrain.

以发动机稳态效率图和电池的充放电内阻曲线为依据，提出了基于负荷平衡和逻辑门限方法的并联式混合动力汽车实时控制策略，用以控制混合动力系统的转矩分配，实现混合动力系统的不同工作模式以及模式间的动态切换。

It means that any computable object in Turing machine can be defined itera tively and computed efficiently with Pure logic.

这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算。

Chapter4 introduced a concept of knowledge unit of runners from the angle of the combination of logic and graphics.

第四章从逻辑与图形相结合的角度，引入流道知识单元的概念。

Thus the paper verifies logically the theory of value of Adam Smith, David Ricardo, as well as Karl Marx, and demonstrates the unification of value determination and value distribution with General Theory of Value founded by the author.

在此基础上，作者对斯密、李嘉图和马克思的价值理论进行了逻辑检验和经验验证，并运用广义价值论基本原理，论证了价值决定和价值分配的内在统一。

Darwin's scientific method was also disputed, with his proponents favouring the empiricism of John Stuart Mill's A System of Logic, while opponents held to the idealist school of William Whewell's Philosophy of the Inductive Sciences, in which investigation could begin with the intuitive truth that species were fixed objects created by design.

达尔文的科学方法也是有争议的，他的支持者赞成约翰·斯图亚特·密尔《逻辑体系》的经验主义；而他的反对者支持威廉·休厄尔《归纳技巧的哲学》的唯心主义学派，这一学派认为研究可以首先从物种是依设计被创造的、固定的东西这一直观事实出发。

Abandoning traditional plot and conventional "character development," Fellini and co-screenwriters Ennio Flaiano and Tullio Pinelli, forged a cinematic narrative that rejected continuity, unnecessary explanations, and narrative logic in favour of seven non-linear encounters between Marcello, a kind of Dantesque Pilgrim, and an underworld of 120 different characters.

17放弃传统的情节和常规&个性发展&，费里尼和合作编剧作家弗莱雅瑙和图利奥特Pinelli，结下了电影叙述，拒绝连续性，不必要的解释，并在7个有利于非叙事逻辑，里皮，朝圣者的Dantesque实物和120不同的字符黑社会线性接触。

According to the logos of Socrates, Plato, Aristotle, and Hegel and the advanced teaching theory of Humboldt, Newman, Eliot, Huxley, Hutchins, and Kerr, along with the transformation logic of entrepreneurship education from perceptual stage of cognition to knowability and from knowability to rationality, the"essential research points"of the logos of entrepreneurship education are as the followings:"spiritualism paradigm"of subject arousal as inner core,"epistemology structure"of subject cultivation as intermediary, and"ethological requirement"of subject realization as object. These three elements constitute the main stream of logos of entrepreneurship education.

根据苏格拉底、柏拉图、亚里士多德、黑格尔的理念论和洪堡、纽曼、艾略特、赫胥黎、赫钦斯、克尔的高等教育理念，沿着感性的创业教育→知性的创业教育→理性的创业教育的逻辑，本研究将创业教育理念体系的&研究纲领&设定为：以激发主体性的&精神学范式&为内核，以主体性培养的&知识论结构&为中介，以主体性实现的&行为学要求&为目标，它们共同构成创业教育理念体系的主干。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。