基于目标演绎距离的一阶逻辑子句集预处理方法

一阶逻辑定理证明是人工智能的核心基础,研究一阶逻辑自动定理证明器的相关理论和高效的算法实现具有重要的学术意义。当前一阶逻辑自动定理证明器首先通过子句集预处理约简子句集规模,然后通过演绎方法对定理进行判定。现有的应用于证明器中的子句集预处理方法普遍只从与目标子句项符号相关性角度出发,不能很好地从文字的互补对关系中体现子句间的演绎。为了在子句集预处理时从演绎的角度刻画子句间的关系,定义了目标演绎距离的概念并给出了计算方法,提出了一种基于目标演绎距离的一阶逻辑子句集预处理方法。首先对原始子句集进行包含冗余子句约简并应用纯文字删除规则,然后根据目标子句计算剩余子句集中的文字目标演绎距离、子句目标演绎距离,并最终通过设定子句演绎距离阈值来实现对子句集的进一步预处理。将该预处理方法应用于顶尖证明器Vampire,以2017年国际一阶逻辑自动定理证明器标准一阶逻辑问题组竞赛例为测试对象,在标准的300 s内,加入提出的子句集预处理方法的Vampire4.1相比原始的Vampire4.1多证明4个定理,能证明10个Vampire4.1未证明的定理,占其未证明定理总数的13.5%;在证明的定理中,提出的子句集预处理方法能对77.2%的子句集进行约简,最大子句集约简规模达到51.7%。实验结果表明,提出的一阶逻辑子句集预处理方法是一种有效的方法,能有效地约简一阶逻辑子句集的规模,提高一阶逻辑自动定理证明器的证明能力。     

建立基于Internet/Intranet平台的MIS系统

详细介绍了C/S构件的传统MIS与基于Internet/Intranet的新一代管理信息系统在技术领域的差别,阐述了Intranet对现代企业管理带来的深刻影响,并对传统信息系统向Intranet的改造提出了对策和方法。     

某水电站发电机进相深度受限的解决方法及应用

某水电站发电机进相深度严重受限,存在不达标情况,介绍了其进相运行深度受限产生的原因及采取的解决方法,可为其他水电站处理类似问题提供借鉴。     

不同尺度鱼油脂质体对酸奶品质的影响

本研究使用挤出法制备不同尺度的鱼油脂质体,对其外观及粒度分布进行表征,将其应用于酸奶的制备过程中,并比较不同尺度鱼油脂质体对酸奶品质的影响。结果显示,采用挤出法可对鱼油脂质体的尺度进行调控,且均表现出良好的外观和粒度分布状态;添加有不同尺度鱼油脂质体发酵后的酸奶可以较好凝固,其外观与对照组酸奶相比无明显差异;较小尺度的鱼油脂质体可使酸奶pH和持水性变化较小,对酸奶中的DHA和EPA具有更好的保护作用;在冷藏7天后不同酸奶样品的气味表现出一定差异,而在冷藏14天后,添加有三种不同尺度鱼油脂质体的酸奶气味无明显差异,却与对照组酸奶表现出较大的气味差异。本研究实现了水产资源的高值化利用,对n-3 PUFAs营养补充乳制品的开发具有一定指导性作用。     

意欲何为？——聊聊日本最新13式轮式突击车的设计

据日本新闻网报道，日本防卫省于2013年10月9日上午在神奈川县相模原市的防卫省技术研究本部陆上装备研究所，向媒体公开了最新研发的8×8底盘的13式“机动战车”。     

综采工作面沿空机巷的综合治理

通过对综采工作面沿空机巷压力大、断面缩小的综合治理,提出了用十字梁支护法、二次挑顶法等技术措施,确保了综采工作面的正常回采。     

西北轻工业学院皮革工程系部分研究成果介绍

我系这部分研究成果是由政府特殊津贴享受者、全国优秀教师杨宗邃教授和马建中博士担任负责人的课题组所完成。本课题组现在承担着多项国家省部级科研项目,其中国际合作项目一项,国家自然科学基金项目一项,省部级科研项目五项,主要从事新型高档皮革化学品的研究与开发。马建中博士曾于1999年5月至2000年5月在美国农业部东部地区皮革研究中心进行了为期一年的合作研究工作。本课题组的     

潮头放歌——中建四局六公司驻皖入淮30年发展纪实

1978年，中建四局六公司从贵州青山秀水之地挥师进入安徽，当年营业收入只有428万元。2008年，公司年营业收入达50亿元。三十年弹指一挥间，中建四局六公司由当时名不见经传的中小企业不断发展壮大，如今已成为“中国最大建筑企业100强”“全国优秀施工企业”“中建10强”明星企业、“中建四局排头兵”……     

发光层掺杂多层结构绿色OLED光电性能研究

采用真空热蒸镀方法,制备了四种多层结构OLED器件,其结构为:ITO/CuPc(20nm)/α-NPD(60nm)/Alq3(40nm):C545T(X%)/Alq3(20nm)/LiF(10nm)/Al(100nm),其中X%为发光层掺杂浓度,实验中分别取1%、2%、3%、4%,都获得了性能稳定的绿色OLED器件。从实验结果分析可知:绿色OLED器件的电流-电压(I-V)特性曲线,亮度-电压(L-V)曲线,亮度-电流(L-I)曲线及效率等光电性能随着掺杂浓度的变化而随之改变。从其中总结规律,对OLED器件制作工艺有一定的指导作用。     

高亮度绿色OLED的制备与光电性能研究

利用高精度膜厚控制仪,实现有机薄膜功能材料真空热蒸镀,制备了一种多层结构ITO/CuPc(20nm)/α-NPD(60nm)/Alq3(40nm):C545T(2%)/Alq3(20nm/LiF(1nm)/Al(100nm),获得了发射峰位于525nm稳定的绿色有机电致发光二极管(OLED),其起亮电压为2.5V,驱动电压在20V时亮度为10,500cd·m-2,色坐标(CIE)x=0.331、y=0.625,最大流明效率为3.921m·W-1。