基于区间证据推理的不确定性航线配船方法

为弥补不确定性航线配船模拟算法的不足,提出一种基于区间证据推理的航线配船解析算法.该方法以证据推理理论为基础,以船舶公司期望效用最大化为目标,考虑航线特征及船舶属性等因素,构建出一个多航线、多船型的航线配船模型.与目前的模拟算法相比,该方法具有稳定性好、准确性高、可以处理模糊数据等优点.最后,通过算例验证了模型的可行性和方法的有效性.     

创造性评判中原料用量评述的证据意识例析

【目的】帮助审查员在专利审查中准确把握发明的实质，树立正确的证据意识，提高创造性评价的能力。【方法】针对产品或者方法权利要求创造性评判中原料用量评述的难点，选取两个审查案例，从正反两个角度探讨了创造性评判中用量的整体考量和证据意识。【结果】审查实践表明，审查意见通知书中是否采用了充足的证据，直接影响通知书的说服力、质量、效能，影响审查周期。【结论】在专利审查中，审查员应准确客观全面理解本申请和对比文件，合理预测申请人用量的争议焦点，并制定高效的检索策略，利用有效的证据对原料用量进行全面评述，打造高质量审查。     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

“野人存在” 纯属忽悠

以王善才为代表的一些专家认为神农架野人确实存在,依据是目击者证词（人证）和相关的实地考察实物据（物证）,而与此同时,有相当一部分人却持相反观点,认为证据不充分,或者干脆认为有些证据根本就不靠谱,于是得出结论：     

纪检口供的证据效力及其转化

当前,在查办国家工作人员职务犯罪案件中可否以纪检口供直接定案,成为司法实践中十分棘手的问题.根据现行立法及有关证据学理论,纪检口供并不具有刑事诉讼的证据能力.不能直接作为刑事诉讼证据.实践中,司法机关一般是通过一定方式对纪检口供进行转化,使之成为刑事证据,并作为起诉和定案的根据.在纪检口供转化的过程中,由于相关法律、司法解释的缺位,司法人员只能依靠个人的学识和经验进行,因而主观随意性比较大,从而造成各地司法机关在具体做法上不够统一.要解决这一司法难题,必须对纪检口供的效力及其转化问题进行深入研究.     

谈火灾事故认定的法律属性及实践建议

司法实践中对火灾事故认定的行政可诉性存在较大争议,笔者通过分析行政诉讼法意义上具体行政行为内涵.结合新修订的<消防法>和公安部<火灾事故调查规定>的相关规定,明确火灾事故认定是鉴定结论和处理纠纷的证据,不具备可诉性,并根据证据规则对火灾事故认定工作提出确实可行的建议.     

神秘信仰因何存在

无论在东方还是西方,人们对各种"神秘信仰"的兴趣从来没有消失过,近现代以来变得愈来愈普遍。社会上流传着各种荒诞的说法,诸如心灵致动、思维传感、天外来客、UFO、史前文明、伊甸园的秘密、世纪之交等等。人们为何会对这些飘渺的话题感兴趣呢?     

科技期刊亮点

中国翼龙性别鉴定研究获新突破中国地质科学院地质研究所Jun-chang Lv最近发现了一块与蛋保存在一起的雌性翼龙化石。这一发现为判别这些已绝灭的飞行爬行动物的性别提供了直接证据,解决了翼龙性别鉴定的关键问题。相关研究成果发表于2011年1     

基于DS理论的不确定空间co-location模式挖掘

 提出一种基于DS理论的co-location挖掘方法.先将数据集按照空间对象分类,然后从分类后的子数据集中依次提取该空间对象的实例,与其他空间对象数据集中的各个实例进行配对,将找到的各实例关系记录到一个新的关系表中,作为使用DS理论求解的基础.从一个新的角度来研究co-location挖掘技术,在DS理论的基础上重新定义了参与度,基于新定义的参与度来求解co-location模式.