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

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

基于散斑抑制方法的半导体激光显示系统实现

在显示技术不断发展的今天,随着对于激光技术的深入研究,激光显示的优势逐渐得到体现。激光作为光源具有很好的单色性极很窄的光谱线宽,这些特点使得激光成像的颜色饱和度高,显示的颜色数多,比传统光源有着更宽的色域,并且在画面亮度的方面也更有优势。然而由于激光光束高度相干性而产生的激光散斑,会降低图像的质量。因此,对于激光散斑和散斑抑制的研究工作是激光显示领域研究的一个重点。文中我们设计了一种激光投影照明系统,该系统使用的光学元件结构简单,占用空间小,可以很好地运用于投影仪的设计和使用中并保持良好的光效。系统中针对激光散斑的成因设计了一种复合型的散斑抑制方案,这种消散斑方法可以将白场的散斑对比度从0.132降低至人眼识别极限以下的0.042。     

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

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

发光层掺杂多层结构绿色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器件制作工艺有一定的指导作用。     

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

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

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

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

GPS在矿区高程控制中的应用研究

探论应用GPS水准方法在一定范围内代替传统的几何水准方法测定矿区高程,提出了技术指标为每公里路线上,GPS测定的高程相对精度为2cm,即相当于三、四水准测量点。经过理论分析与推证,认为对于面积不大于50km2区域的高程控制,用GPS代替水准测量测定正常高,要实现所提出的精度指标,应采用线状布点,网状观测与平差以及几何方法与重力场模型相结合的方案,并通过祁东矿区测量实例表明用GPS高程拟合代替普通水准测量是可行的。     

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

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

高亮度绿色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。