对量化问题的哲学实验研究

在量化问题上,传统逻辑和现代逻辑的对当方阵大相径庭,且各有局限。哲学实验结果显示:(1)自然语言中A、I命题都允许主项为实体性存在、观念性存在,不接受自相矛盾的主项;(2)各语境下自然语言的A、I命题在主项存在方面高度相似,表明A命题预设了主项存在;(3)不同语境下对A、I命题的否定接受了不同的预设,表明了否定包含预设、且预设具有层次性。基于实验结果的"分层量化"方案,把A命题的主项存在预设形式化为公式的一部分;把不同语境下否定的预设形式化为独立的前提,据此分层建立了否定时预设个体存在(■x)、预设主项存在(■xSx)、预设主项为全域(■xSx)的对当方阵,三者具有内在一致性。新方案似可较为系统地消解量化问题的困境。     

用于异常检测的实值否定选择算法

针对已有实值否定选择算法检测器生成过程的不足,提出了一种优化的检测器生成算法。充分利用自体空间的分布,优化检测器生成的中心位置,扩大检测器的半径,尽可能生成覆盖范围大的检测器;使用覆盖率期望值作为算法结束的一个控制参数,有效地避免了冗余检测器的产生。建立了异常检测系统的形式化描述,定义了一个新的异常检测性能衡量指标——错误率。最后,通过人工合成数据集2DSyntheticData以及实际的Iris数据集及Biomedical数据集对算法进行了验证。试验结果表明,相比V-detector算法,本文算法提高了检测率,降低了错误率,减少了所需检测器数量,整体检测性能较优。     

基于制造车间的动态调度方法研究

生产调度采用有效的调度方法和优化技术来提高生产效率,其中作业车间调度（Job Shop）是问题域中的较复杂的问题属于典型的NP问题。基于此问题,业界已有诸多如遗传算法,启发式算法等解决办法。但是在实际生产过程中,往往会有碰到诸如设备损坏,新订单到来,订单取消,交货期提前等情况,激发的调度被称为动态调度。本文系统讨论了动态调度的类型和相应的解决办法,更加贴近实际应用。     

极性词的肯定与否定及其相关旬式探索

从理想认知模型分析着手,探讨了汉民族对含极性词的句子的肯定与否定的理解,分析其句式特点、肯定与否定的转换及转换条件及其在特殊语境下的用法。     

对青年马克思异化劳动理论的新反思

现代理论界在阐释青年马克思的异化劳动理论时认为,异化是人的物质生产与精神生产及其产品变成异己力量,反过来统治人的一种社会现象,这种解读在今天看来还是值得沉思和反思的,本来是由人创造出来的无生命表征的定形物如何会奴役活生生的人呢？这种定形物真的具备奴役人的能力吗？在笔者看来,异化应当是这个日益碎片化世界中人奴役人的一种自否定机制。     

辩证否定观视角下法制与法治关系的动态考察

法制与法治从来就不是静止的,而是处于一个环环相扣、辩证发展的过程中。故要考察法制与法治的关系,就需要在法制与法治各自的动态发展过程中,以辩证的否定观为视角,分析两者发展过程的差异性与同质性,动态地把握法制与法治的关系,找寻两者发展的规律性特征,从而为我国的法制和法治建设提供参考。     

不要急于否定丰田模式

丰田召回事件发展到今天,并不是政客一夜之间炒作起来的,而是丰田任由事情发展的必然后果。以中国汽车企业目前的实力在欧美市场打拼,是一件吃力不讨好的事情。     

知识中不同否定关系的一种逻辑描述

提出知识中的否定关系应当区分为矛盾否定关系和对立否定关系。从概念层面上确立了清晰性知识和模糊性知识中存在的5种矛盾否定关系与对立否定关系（CDC,CFC,0DC,OFC,ROM）及其形式定义;发现具有对立否定关系的概念中存在规律：对立否定概念之间存在中介对象（新的模糊概念）,当且仅当对立否定概念是模糊概念;并且运用中介谓词逻辑MF与其无穷值模型Ф,研究了矛盾否定概念和对立否定概念在真值域[0,1]上的真值描述及其规律,给出了知识中的5种矛盾否定和对立否定关系的处理条件;讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。     

《史记》中的“莫”

“莫”字在《史记》中共使用407例,其中其他用法43例,而对另外的364例,根据“莫”字的语法功能和所在句子是否有副词、是否有先行词,分为否定性无定指代词和否定副词两类,确定出前者为322例（占总数的88．5％）,后者为42例（占总数的13．5％）,二者的界限往往不太好把握,必须经过细致的分析才能确定其词性。与先秦时文献相比,“莫”字作否定性无定指代词与作否定副词的用例比略高一些,但总体的比例关系没有发生明显变化。     

英语中隐性否定的类型划分

正确理解及掌握英语中的隐性否定,是大学英语专业学生需要掌握的内容.从常见的英语隐性否定句入手,探讨了英语中隐性否定的类型划分,对英语学习者提高阅读能力和翻译水平具有一定的实用价值.