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

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

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

一阶逻辑定理证明是人工智能的核心基础,研究一阶逻辑自动定理证明器的相关理论和高效的算法实现具有重要的学术意义。当前一阶逻辑自动定理证明器首先通过子句集预处理约简子句集规模,然后通过演绎方法对定理进行判定。现有的应用于证明器中的子句集预处理方法普遍只从与目标子句项符号相关性角度出发,不能很好地从文字的互补对关系中体现子句间的演绎。为了在子句集预处理时从演绎的角度刻画子句间的关系,定义了目标演绎距离的概念并给出了计算方法,提出了一种基于目标演绎距离的一阶逻辑子句集预处理方法。首先对原始子句集进行包含冗余子句约简并应用纯文字删除规则,然后根据目标子句计算剩余子句集中的文字目标演绎距离、子句目标演绎距离,并最终通过设定子句演绎距离阈值来实现对子句集的进一步预处理。将该预处理方法应用于顶尖证明器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。     

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

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

有线电视HFC网络的上行系统设计

针对目前很多有线电视HFC网络正在由单向网络转向双向网络的情况,本文对有线电视HFC网络的上行系统参数、性能等进行了详细的介绍,并对上行系统设计中非常重要的电平、CNR和频率规划等进行了深入探讨,对如何提高CNR也进行了总结.     

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

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

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

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

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

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

东亚铁甲龙虎斗——日本90、韩国K1A1与中国85-ⅡM主战坦克之比较

作为世界上比较典型的第三代主战坦克,日本90式、韩国K1A1和中国85-ⅡM都采用了当时先进的技术。85-ⅡM主战坦克(以下简称85-ⅡM)体形小、火力强,算得上是“陆战之王”中的“小猛虎”;K1A1主战坦克(以下简称K1A1)是有名的“迷你M1”,而日本90式主战坦克(以下简称90式)更有亚洲版“豹2”之称。本文将从研制背景、结构与布局、装备与性能等方面对它们进行比较,相信读者能从中看出各自的长处和不足。研制背景日本90式是日本陆上自卫队继74式之后,耗费10多年时间研制的新型第三代主战坦克。相对74式主战坦克而言,90式从主要武器到各种装备、…