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

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

全彩OLED屏显示系统的设计

制作了分辨率为128×160的1.9"全彩无源有机发光二极管(OLED)屏,OLED全彩像素的尺寸为240 μm×240 μm,子像素尺寸为190 μm×45 μm.显示系统通过数字显示接口(DVI)可将微机输出的18 bits灰度数据传送到驱动电路,从而实现262 k种颜色.当屏的平均工作亮度为40 cd/m2时,由于采用了双屏驱动技术,OLED屏的寿命预计超过5 000 h,器件的功耗为300 mW.     

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

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

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

退火对ZnO/Cu/ZnO透明导电薄膜性能的影响

室温下利用磁控溅射制备了ZnO/Cu/ZnO透明导电薄膜,采用X射线衍射(XRD)、原子力显微镜(AFM)、扫描电子显微镜(SEM)、霍尔效应测量仪和紫外-可见分光光度计研究了薄膜的结构、形貌、电学及光学等性能与退火温度之间的关系。结果表明:退火前后薄膜均具有ZnO(002)择优取向,随着退火温度的升高,薄膜的晶化程度、晶粒粒径及粗糙度增加,薄膜电阻率先降低后升高,光学透过率和禁带宽度先升高后降低。150℃下真空退火的ZnO/Cu/ZnO薄膜的性能最佳,最高可见光透光率为90.5%,电阻率为1.28×10-4Ω·cm,载流子浓度为4.10×1021cm-3。     

两河口水电站导流洞进口围堰残梗高程影响截流难度试验研究

为了研究导流洞围堰残梗高程对截流难度的影响,以雅砻江两河口水电站截流为例,对截流流量为550、364m3/s时不同的围堰残梗高程进行对比试验,量测了戗堤龙口和围堰残梗处各项水力特性指标,分析了不同的围堰残梗高程对截流的影响。结果表明,随着围堰残梗高程的增加,龙口水力指标逐渐增加,增大了截流难度;残梗处水流流态由淹没出流转变为自由跌流,且当水流流态为淹没出流时,残梗高程增加,对截流影响不大;水流流态为自由跌流时,残梗高程增加,会显著增加截流合龙难度;截流流量减小时,围堰残梗对截流的影响增大。实际施工过程中,当截流流量为550m3/s,残梗高程为2 604、2 605m时对截流的影响变化不大,考虑到安全、经济、施工工期等因素的影响,建议将围堰残梗高程拆除至2 605m即可。     

军用工程机械内燃机维修问题及控制措施探究

随着强军步伐的不断推进,军用工程机械在国防施工中发挥了重要的作用,但是工程机械施工环境恶略,日常维修保养不及时,内燃机在使用过程中会出现不可避免的故障,要求操作手和修理工能够及时发现内燃机故障,并做好维修保养工作,确保内燃机能够正常使用。因此,本文在研究内燃机机械维修重要性的基础上对其常见问题进行分析,并提出合理有效的控制措施,希望能满足工程机械内燃机日常使用的要求,延长机械的使用寿命。     

年产50万平方高强度竹地板系列产品可行性论证报告

年产５０万平方高强度竹地板系列产品可行性论证报告湖南省会同科达实业集团公司钟建荥第一章总结新型竹地板系列产品，主要原材料为楠竹，将楠竹加工编织成竹帘、竹席，经烘干、浸胶，再次烘干或表面处理热压而成。广泛应用于宾馆、体育场、写字楼、舞厅家庭等理想的天然...     

数据集团大客户专线接入网工程项目管理初探

从项目管理的角度,分析大客户接入网工程的特点以及如何加强工程项目管理等相关问题.     

行业检测标准缺失 木门企业深陷甲醛困局

<正>近日,木家具全国质量监督联动抽查结果出炉,木门等家居建材企业再登黑榜的事实为众企业敲响了警钟。在当下的木门市场上,甲醛超标已然成为企业发展的困局,甲醛释放是否超标也一度成为消费者购买术门产品时关注的方向。甲醛顽疾不容易消除,木门企业陷入困局国家质检总局日前公布的产品质量国家监督抽查结果显示,软体家具中有5批次床垫被检出甲醛释放量超标,儿童家具中有2批次产品甲醛释放量超标。2014年11月10日,贵州省工商行政管理局公布2014年流通领域商品质量抽检结果,其中,