Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

复句内部分句间关系的本质属性与逻辑意义

对复句内部分句间关系的认识和理解,传统汉语语法理论注重从结构层次、语义特征等方面进行分析,忽视了对分句间关系的本质属性和逻辑意义的认识。其实,复句作为一种语言形态,是思维活动的载体,也是思维活动的物质表现形式,同样受到全人类共同的思维规律和逻辑方法的制约;只有在结构、语义层面的认识基础上,进一步从复句内部分句间诸关系中确定本质属性的关系,正确理解关联词语的逻辑意义,才能真正认识和掌握复句内部分句间多元关系中的内在联系。     

TRIPS协议弹性条款与我国《专利法》修正

TRIPS协议为平衡WTO成员国的权利义务设定了若干弹性条款。TRIPS协议的弹性条款包括原则性和规则性两部分。我国正在进行的《专利法》第三次修改是充分利用TRIPS协议弹性条款的良好契机。这次修改应当在等同原则、创造性标准、外观设计授权例外、权利用尽和平行进口规定、科学实验例外、＂Bolar＂例外和强制许可这几个方面作出更为详尽的规定,并采取一切办法解决在利用TRIPS协议弹性条款上还存在的诸多困难,以维护我国国际贸易领域的利益。     

对《刑法》第九十三条第二款的思考

刑法总则是指导分则的，刑法分则是刑法总则的具体化。两者相辅相成，缺一不可。在运用刑法分则条文时，必须符合刑法总则规定的一般原理和原则。目前刑法总则条款九十三条第二款有疏漏，其指导的分则条款却很完善。那么，根据罪行法定原则，建议将该条款中国有公司、企业、事业单位、人民团体修改为国有单位，就不会出现前后矛盾。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

规制免责条款法律制度的探讨

规制免责务款法律制度在我国尚未建设完备,应借鉴各国立法经验,从立法、司法、行政等方面对我国格式合同免责条款加以规范.     

论手术同意书格式免责条款的规制

从法理角度分析,手术同意书是患者知情同意权利和医方告知义务的体现。对手术同意书的法律性质及法律效力进行探究,有助于维护医患双方的合法权利。手术同意书的格式免责条款极易侵害患者权益。应借鉴各国经验,从立法、司法、行政等多种方式对手术同意书格式免责条款加以规制。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

Ellipsis of "That" in Clauses

The previous study on the ellipsis of "that" has been focused on attributive clauses.This thesis gives a comprehensive study on the ellipsis of "that" in noun clauses,attributive clauses,and adverbial clauses,which provide conference for knowing the usage of "that".