First , i will make clear what the semantical presuppositions of an epistemology of moral beliefs are 首先,我将要澄清一种道德信念的知识论之语意学前提为何。
2.
You can create xml documents that appear to be different , but have identical data or identical semantical value 您可以创建看起来不同但拥有相同数据或者相同语义值的xml文档。
3.
Tools and algorithms for the construction and analysis of systems , margaria and steffen eds . , lncs 1055 , passau , germany : springer verlag , 1996 , pp . 147 - 166 . 16 kripke s . a semantical analysis of modal logic 我们此理论上已经开发出一个完全自动化的安全协议验证工具spv security protocol verifier .要验证的规范可以带有嵌套知识算子,并且此工具是基于证明的,而不是象别的很多方法那样是基于证伪的,即找漏洞
4.
From the point of both open operation platform and semantical knowledge services , we give a roundly summary on theoretical and practical researches of information technologies meeting the need of virtual consulting organization , and analyze the application prospect of it 从开放的运作平台和基于语义的知识服务两方面全面地分析了理论界和实业界中适应虚拟管理咨询组织的运作需求的信息集成技术的研究现状,分析其在虚拟组织中的应用前景。
5.
With the intention of presenting an original perspective for the teaching of oral english , this paper analyzes the connotation of the concept " linguistic information gap " , and then probes into the possible information gaps and the corresponding causes on three levels - phonological , semantical and pragmatical respectively 信息差影响着人们的言语交流,影响着人们彼此问的理解和信任,文章分析了口语交流中信息差的概念内涵,进而从语音、语义、语用三个层面出发,分别对其可能产生的信息差及其成因作了探讨,为英语口语教学提供了新的视角。
6.
The primary contributions of this thesis include : having studied the rough set theory carefully , the thesis finds the relationship between rough set and such abstract theories as modal logic , fuzzy set , algebra system and interval - set algebra , i . e . , rough set provides a well defined semantical interpretation to these abstract theories , which enables us to better understand them . secondly , rough set builds an inter - relationship among these dependent theories and connects them together 完成的工作和取得的创新性成果在于:经过对粗糙集理论的深入研究,作者找到了粗糙集与模态逻辑、模糊集、代数系统和区间集代数等抽象理论之间的关系,一是粗糙集可以为抽象理论提供语义解释,从而使我们能更好地理解掌握这些抽象理论;二是粗糙集建立了各个独立的抽象理论之间的内在关系,使彼此独立的抽象理论联系在了一起。