一种描述逻辑SHIF的ABox一致性判定算法

为了判定SHIF的ABox一致性,提出了一种Tableau算法.该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止.ABox与TBox一致,当且仅当算法能产生一个无冲突的完整的ABox.算法所采用的阻塞机制可以避免Tableau规则的无限次执行.为了提高算法的效率,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先.通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认.     

微量水对冷冻后PAO性能的影响

利用卡尔费休电量滴定法测定了PAO中的微量水含量,用润滑油清净剂浊度测定法、石油产品颜色测定法、红外光谱和热重等分析手段评价了冷冻前后PAO的理化性能,考察微量水对PAO冷冻后形成的表面现象及对冷冻前后PAO理化性能的影响。结果表明,微量水是影响PAO冷冻后外观的主要原因,但对冷冻前后PAO的理化性能基本没有影响。     

高糖高产甘蔗新品种粤糖07-817的选育研究

粤糖07-817是广东省生物工程研究所(广州甘蔗糖业研究所)以粤农73-204作母本,ROC22作父本进行有性杂交,经多年选育而成的甘蔗新品种,2016年通过广东省农作物品种审定委员会审定。多年多点试验研究表明,粤糖07-817出苗率高,分蘖力强,有效茎多,中大茎,蔗茎均匀,脱叶性好,抗倒伏;宿根发株率高,宿根性强;早熟、高产、高糖、综合性状好。2009~2014年品种选育试验和广东省区域试验6年新植5年宿根蔗茎产量达129340 kg/hm~2,含糖量达20103 kg/hm~2,分别比ROC16(CK1)增产36623 kg/hm~2和5971 kg/hm~2,比ROC22(CK2)增产10256 kg/hm~2和1854 kg/hm~2。     

甘蔗新品种粤糖07-516选育及特性特征

详细阐述了早熟、高产、高糖、抗病性好的甘蔗品种粤糖07-516的选育过程,并就其农艺性状、蔗茎产量、蔗糖分、抗性等性状表现进行了综合分析。以粤糖00-236为母本,桂糖96-211(桂糖26号)为父本配制杂交组合,历经8代农艺性状、糖分和产量相关性状的选择,育成了早熟、高产、高糖、抗逆性强的甘蔗新品种粤糖07-516。通过国家区试和生产试验,结果表明,粤糖07-516蔗茎产量达108203.06 kg/hm~2,含糖量达16898.59 kg/hm~2。该品种适合我国蔗区大面积推广应用。     

浅析视频监控远传方式的应用

通过在生产过程中进行的远程数字视频监控传输方式的实际应用,对所遇到的问题的进行分析比较,兼顾其他各方面因素,选择较为有利的解决方案.该方案采用TCP/IP网络进行图像及信息的传输,集方便、准确、快捷于一体,并在河南信阳供电公司付诸实施,取得了良好的经济性和可靠性.     

基于Hoek-Brown准则下的富水透水隧洞非线性解析

将具有衬砌的圆形隧道各影响因素简化为轴对称问题。以渗透体积力的方式作用在应力场,基于Hoek-Brown强度准则,推导出塑性区应力场和塑性区半径的解析表达式。实例分析表明,随内外水头差的逐渐增大,渗流场和应力重分布对应力场的影响作用将显著增大,且对切向应力的影响程度要比径向应力的大,洞周压应力和塑性半径逐渐减小。随着m的增大,应力和塑性区半径均随之增加,塑性区半径与参数m为非线性递增关系。算例对比分析表明:考虑应力重分布和渗流时其塑性区半径较不考虑二者时大。     

不同地区农村初中教师与学生信息素养的提升策略研究

文章通过对四所不同经济发展状况的农村初中进行个案研究和现状调查，有针对性地提出了不同地区农村初中教师与学生信息素养的培养与发展策略，以促进教育的均衡发展。     

合成润滑油基础油茂金属聚-α烯烃合成研究进展

介绍了茂金属聚α-烯烃(mPAO)的性能和优点,重点评述了mPAO的合成催化剂和合成工艺的研究进展.讨论了以茂金属为催化剂,甲基铝氧烷(MAO)为助催化剂合成mPAO的工艺中尚存的问题,并认为降低MAO用量,研发出具有较高催化活性的茂金属催化剂和工艺是今后mPAO的研究向之一.     

天然气处理厂气体分馏单元工艺优化设计的动态特性研究

通过寻找脱丙烷塔、脱丁烷塔的最优进料位置和增加预热换热器对进料预热等优化措施,可以降低天然气处理厂气体分馏单元的设备成本、能耗成本和总年度成本,同时也改变了装置内部各工艺参数之间的相互关系。为了研究工艺优化对气体分馏单元动态特性的影响,在基本设计和工艺优化设计稳态模型的基础上,利用Aspen Dynamics建立系统的动态模型,分别通过进料流量和进料组分扰动变化对两种设计的动态可控性进行评价。结果表明:在双温度控制方案下,与基本设计相比,工艺优化设计不仅可以提高系统的热力学效率和稳态经济特性,系统动态特性也有一定程度的改善。研究结论对气体分馏单元的生产和开发具有重要的指导意义。     

五阳变电站110kV母线谐振过电压的产生及对策

介绍了五阳变电站 1 1 0 k V空母线谐振过电压问题 ,分析了其产生的原因 ,并提出了应采取的措施。