带逆角色的认知描述逻辑研究

针对认知角色不能表达个体间双向关系的问题,在描述逻辑ALCK中加入逆角色得到ALCIK,以扩充其表达能力,在能够捕获最小知识和实现自省推理的同时可以更加方便地对实际问题建模,给出了ALCIK的语法和语义,并且在Tbox为空集,Abox中无K算子的情况下,设计了ALCIK概念的查询表算法,根据概念结构归纳证明了表算法的可靠性和完备性,并且一定会停机,最后讨论了复杂度。理论分析表明,此时认知查询问题是可判定的,并且计算复杂度为PSpace-hard。

某新增条形槽基布局和结构方案研究

国外某工程在建设过程中需新增一个条形槽基,针对条形槽基的使用功能要求进行了方案研究和初步设计。主要从总平面布局、水工结构设计2个方面进行了方案设计和比选,综合考虑了平面布置、结构对周边影响、工程量、施工便利性,最终给出最优方案。此外,对建筑物、水电通信等配套工程进行了初步设计,并与总体工程相衔接。

船舶甲板机械液压管路冲洗工艺

随着船舶行业的进步和发展,深度研究船舶中的液压系统对提高设备运行安全性和可靠性具有重要意义和价值,也能为液压传动系统管理功效升级奠定坚实基础。

吡喃法合成戊二醛(下)

戊二醛是一种有着广阔发展前景的精细化工产品,它的两个自由醛基非常活泼,能进行多种反应,被广泛应用在医药、油田、制革、食品、环境保护等领域。为了利用本公司具有丙烯醛原料的优势,积极开发高附加值的下游产品,进行了乙烯基乙醚和丙烯醛反应合成2-乙氧基-3,4-二氢吡喃及其水解制备戊二醛的研究,并在连续化吡喃合成和水解方面取得了一定的技术突破,形成了特有的戊二醛合成工艺。

吡喃法合成戊二醛(上)

戊二醛足一种有着广阔发展前景的精细化工产品,它的两个自由醛基非常活泼,能进行多种反应,被广泛应用在医药、油田、制革、食品、环境保护等领域。为了利用本公司具有丙烯醛原料的优势,积极开发高附加值的下游产品,进行了乙烯基乙醚和丙烯醛反应合成2-乙氧基-3,4-二氢吡喃及其水解制备戊二醛的研究,并在连续化吡喃合成和水解方面取得了一定的技术突破,形成了特有的戊二醛合成工艺。

农机监理档案的建立与管理研究

农机档案管理工作中,档案建立与管理是重要内容之一,是当前农机牌证管理的核心,是组织开展其他农机管理工作的基础。在文献查阅的基础上,分析农机监理档案建设与管理的重要性——为农机安全监理提供详实的一手信息、是农机安全宣传教育的真实素材、是农机安全监理工作开展的重要依据。在了解重要性的基础上,就农机监理档案的建设与管理,从正视监理档案管理的重要性,确保该项工作能落实具体、到位;定期清理整顿农机监理档案,保证档案内容的真实、规范、完整;增强档案管理人责任心,实现档案专人管理、规范管理;加大档案建设与管理的投入,确保监理档案管理的及时性、有效性;做到监理档案管理的经常性,能及时发现问题并做出补救等几个方面做要点阐述,为农机安全监理工作开展,确保农机作业效益提供理论和技术指导。

装配式构件质量通病防治及检测的意义

目前,有很多发达国家的建筑工业化率都超过了70%,而我国仅有5%,这就表示现在我国的建筑化工业水平仍旧非常一般。从当前整个发展现状来看,装配式构件自身仍存在很多质量通病问题,但当然,通过必要的防治、检测以及处理,相信构件的质量会得到显著提升,要知道,它不仅可以对工程质量进行保证,并能将损失降到最低。

船舶液压甲板机械的维修保养策略研究

在船舶航行与作业中液压甲板机械会产生故障问题,为确保船舶液压甲板机械的安全与稳定,需对故障进行分析同时,提出有效的维修保养措施,以保证船舶的稳定航行与作业。

一种新型船用自闭式液位计的研制

针对现有的液位计在船舶机械使用中存在易损坏、使用维护不方便等问题,研制了一种新型双自闭式液位计。在液位计两个联通孔分别安装了推杆和弹簧关闭阀,能够实现液位计壳体损坏时工作液不泄漏,更换液位计壳体时不需要泄放工作液的功能,取得了良好的实用效果。

灿若朝霞

黄玉霞,湘西吉首市人,土家族,50开外。20年前,她创办了吉首县乾州民办幼儿园。20年过去了,当年的油毡棚、黄泥地变成了价值百万元的教学楼和活动场地,幼儿园也正式命名为吉首市第二幼儿园。黄玉霞苦过、累过、烦恼过、伤心过,但她依然自信,也认为值得。20年来,党和人民给了她崇高的荣誉:全国优秀教育工作者,省、州、市优秀共产党员,勤劳致富带头人……