逻辑的

The employer refutes that it is not so serious cause when it occurs, it is By Anchoret 逻辑 Boldface 练习题与方法总结(9 道) www.

他们发现(M 公司在开始生产前对原材料的检验比 C 公司严格得多)，所以他们认为这种 treatment 造成了差异。

It is the first important step in video analysis and will directly affects the effectiveness of indexing Shot boundary detection is one of our major research interests and we will tackle the following existing problems the ambiguity between gradual change and camera motion, the discontinuity during gradual change, false detection caused by illumination variation and flashlight, automatic threshold selection Firstly, we discuss shot boundary detection in non-compressed domain In chapter 2, we compare some of the commonly used detection methods which are based on frame difference and point out that single feature will not generate good results As a conclusion, we use fuzzy logic to combine multiple features Presently, most frame difference based shot boundary detection algorithms rely on threshold and hence the selection of such thresholds will greatly affect the performance of boundary detection We propose a membership function to define frame difference and calculate the membership with self adaptation according to the statistic distribution of frame differences to satisfy different type of video clips Experiments show that the proposed fuzzy shot boundary detection algorithm can be used with different video types and has a high detection precision and recall In chapter 3, we discuss model-based shot boundary detection algorithms regarding chromatic and spatial editing effects such as fade-in, fade-out, dissolve and wipe Various parameters are proposed to better describe the characteristics of each editing type.

镜头边界的检测是把视频自动地分割为一个个镜头，作为基本的索引单元，因此它是视频分析重要的第一步，直接影响到视频检索的成败。镜头边界的检测是本文研究的重点之一。目前镜头边界检测算法主要存在以下问题：渐变与镜头运动难以区别；渐变过程中的不连续与停顿、光照条件的变化及闪光灯等特殊情况会引起误检测；自动选择阈值比较困难等。本文首先针对非压缩域视频进行了镜头边界检测的研究。在第二章中我们采用了比较流行的基于帧间差的方法。在比较各种帧间差计算方法的基础上，指出使用单一的特征难以取得很好的检测效果，提出用模糊逻辑综合使用各种特征。目前大多数基于帧间差的镜头边界检测算法都采用阈值法进行镜头转换的判别。阈值选择的误差对检测性能有较大的影响，本文提出用隶属度函数定义帧间差较大、中等较大和较小等概念，并根据帧间差的统计分布自适应地确定隶属度，以适应不同类型的视频片断。实验结果表明这种基于糊逻辑的镜头边界检测算法可以适应不同的视频，并具有较高的检测精度和检出率。在第三章中采用基于模型的方法进行镜头渐变的检测，研究了淡入／淡出、慢转换和扫换的模型。

Firstly, it studies the definition of implication and its classification, basing on this, deeply analyzes the relations between implication and the connective "if, then" universally used in our ordinary life. Then the article points out that implication is logical abstract to the connective "If, then" used in the natural language. However, because of different understanding and mastering to it, implication may have different classification, it can't be given a right definition. We must master it by all kinds of concrete implications. According to different criterion, implication has different categories. This article mainly discusses its classification from two sides: Ancient Greece and Medieval's and metalogic's.

首先，论文简要地考察了蕴涵概念的界定，指出蕴涵是对自然语言中连接词"如果，则"的逻辑抽象，而对它的意义的不同理解和把握，则可以有不同种类的蕴涵，不能笼而统之地对蕴涵下一定义，只有通过各种具体蕴涵去掌握有关蕴涵的理论；依据不同的分类标准，蕴涵可以有不同的类型，本文主要讨论古希腊及中世纪对蕴涵所作的分类及从记号学这一元逻辑的角度出发对蕴涵作的分类。

Defining the problem. Firstly, two important concepts------judicialreasoning and the explanation of law ------are introduced. After that,law-applying process is examined by way of syllogistic argument. Hence, the work of this paper is determined: to analyze the law-applying process on 3 phrases cognizanting of the facts, interpreting of law and making judicial judgment; to define the mission of Logic concerning the difficulties of AI in Law System, and therefore to introduce my understanding of the main task of logic in 21st Century: problematic reasoning.

首先解释了本文所使用的两个重要概念：法律推理和法律解释，而后以三段论的方式考察了法律适用的过程，最后说明本文所要作的工作：在事实认定，法律解释，司法判决三个阶段上以逻辑的手段分析法律适用是如何进行的；逻辑和法律的新的契合点——人工智能法律系统所面临的困境给逻辑学规定了什么样的任务，并由此提出我所理解的逻辑学在21世纪的研究重点：或然性推理。

The Conclusion offers a future outlook on the theory of simulacra from two perspectives. One locates simulacra in the context of visual cultural and explores viable expansions of the theory in terms of visuality, cross-disciplinarity and visual literacy. The other offers a "theoretical imagination" on the reconstruction of the logic of simulacra and its research future from the angels of the disenchantment of technology, the alternative logic of simulacra and the simulacra of humans.

余论部分从两方面做了展望，一方面将仿像置于视觉文化的语境，从视觉性、跨学科和视觉教养三个角度寻求拓展仿像理论的可行方法；另一方面在技术的祛魅、仿像的另一种逻辑和人的仿像三个角度对仿像逻辑的重建和仿像研究的未来可能性上进行了"理论想象"。

Scientists do not hold a monopoly on rationality and to dismiss people's fears as stupid or illogical smacks of arrogance and naivety. The campaign to increase the public understanding of science, a phrase that conjures up an image of cerebrally challenged ciizens struggling to comprehend the wonders of progress, has not been matched by an overwhelming willingness by scientists to understand the public.

科学家不举行一个理性的垄断，并把这视为愚蠢的或不合逻辑的傲慢和天真之嫌人们的恐惧心理并把这视为愚蠢的或不合逻辑的傲慢和天真之嫌人们的恐惧心理该活动以提高公众对科学的认识，词组联想到一个cerebrally质疑ciizens形象努力理解进步的奇迹，没有一个科学家最愿意了解市民的匹配。

Then he gave a high appraise to logic of Moism. What he had done established a new way for the research of logical history in Chinese modern times, and pushed the research of Chinese logical history toward a new developing stage.

梁启超在逻辑——方法论方面取得的主要成就：①对比分析了归纳法与演绎法，特别是对归纳法的分析比较详尽，也基本正确；②主要将比较法作为归纳法的一个组成部分来进行分析，论述了比较法的认识作用，讨论了比较法在历史研究中的运用；③比较分析了分析法与综合法的思维过程，并结合治史和读史具体化为历史研究方法；④阐述了因果律的基本要求，与近代莱布尼茨的充足理由原则和普通逻辑的充足理由律思想相似；⑤探讨了名的分类方法，分析了前人的错误分类，提出明确划分根据的重要性。

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技术实现事务处理逻辑与页面显示逻辑的分离，二者的结合可以开发出高性能的、易维护的、跨平台的动态服务系统，与目前各种主要开发技术相比，具有无可比拟的优越性，是目前为止最先进的开发手段。

A knowledge base model based on the combination of the reduced fault tree and the LCU trapezia logic structure is designed after a thorough research on the knowledge base system and the reasoning mechanism of the locomotive fault diagnosis system.

通过对机车故障诊断系统知识库体系和故障诊断推理机制的研究，设计了以简化的电力机车故障树为基础，结合LCU梯形图逻辑构造的知识库原型；应用机车故障诊断双向推理机制，设计并实现了基于LCU处理逻辑的正向推理机以及基于故障树查询的逆向推理机；并以此为基础开发了电力机车远程故障诊断系统的原型，实现了对机车的远程故障诊断。

There have been several attempts to render the persuasive force of the ontological argument more transparent by recasting it using the logical structures of contemporary modal logic.

有几次尝试显示由用当代的形式的逻辑的逻辑结构重做它更透明的本体论的争论的有说服力的力量。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。