知识库中精确知识的判定算法

研究了知识库中挖掘它所包含的精确知识的方法，给出知识库的相关概念及精确知识的定义，讨论了一种在所定义的知识库中提取并判定精确知识的算法．     

基于方阱模型计算液体的导热率

为了满足工程上对液体导热率的要求,在方阱模型基础上提出了计算液体导热率的方程。所得的导热率计算方程包括分子平动贡献项和分子内部能量贡献项。为了计算方便,根据分子模拟数据提出了计算中所需的方阱流体的径向分布函数的关联式。物质的能量参数由其临界温度估算,而硬壳体积则由基团贡献法获得。考虑到实际液体有别于方阱流体,在实际液体导热率计算中引入了一个与密度有关的校正参数。使用该文提出的方法,对液体氩及10种液态烃类物质的导热率进行了计算,其计算的平均相对误差小于5.3%。     

回收碘的研究

主要介绍了磷化工厂含碘烟气中碘元素通过富集，沉淀回收的方法。对碘的回收的影响因素很多，主要讨论温度、pH值、沉淀剂的种类与碘回收的关系，并且通过实验找出最佳的工艺参数并确定经济合理、适用性广的工艺流程。     

EQUILIBRIUM ALGORITHMS WITH NONMONOTONE LINE SEARCH TECHNIQUE FOR SOLVING THE TRAFFIC ASSIGNMENT PROBLEMS

This paper presents a unified bination algorithms （such as FrankWolfe problems. Global convergence results are framework of the nonmonotone convex comAlgorithm） for solving the traffic assignment established under mild conditions. The line search procedure used in our algorithm includes the nonmonotone Armijo rule, the non- monotone Goldstein rule and the nonmonotone Wolfe rule as special cases. So, the new algorithm can be viewed as a generalization of the regular convex combination algorithm.     

老屋基矿防治煤与瓦斯突出问题的分析和探讨

介绍了老屋基矿采、掘工作面防突措施情况，总结了老屋基矿防治煤与瓦斯突出措施取得的效果。     

信息技术网络课程的设计与实现

本文在对国内外信息技术网络学习现状分析的基础上，以山西省《信息技术》教程为蓝本，以建构主义为指导，综合运用IIS、Dreamweaver、Flash、SQL Server、ASP等技术开发出一个网络环境下的信息技术学习系统．     

钢丝绳断丝定量检测中径向随机晃动误差的补尝

本文论述了钢丝绳断丝定量检测中径向随机晃动误差存在的必然性及该误差对定量检测的影响,基于模拟实验结果,给出了适用于多种类型钢丝绳的V_H-S数学关系式;提出了波形因素的概念与形式,并用软件实现了钢丝绳断丝定量检测中径向随机晃动误差的补偿。     

产物分离固相化细胞反应器的设计和数学模型

设计了一种以挥发性产物和非挥发性底物为特征的四相反应器——分离器。在此反应器中,生物催化剂被固定在固体柱填充物上并与含有底物的液相接触,汽相流过柱子而将挥发性产物蒸发迸入汽相。反应器由同方向流的浓缩器和反方向流的分离器两个基本汽——液流部分组成。并建立了吸附的单层细胞稳态群体数学模型和反应器平衡状态模型。     

Learning attention-based strategies to cooperate for multi-agent path finding

Multi-agent path finding (MAPF) is a challenging multi-agent systems problem where all agents are required to effectively reach their goals concurrently with not colliding with each other and avoiding obstacles. In MAPF, it is a challenge to effectively express the observation of agents, utilize historical information, and effectively communicate with neighbor agents. To tackle these issues, in this work, we proposed a well-designed model that utilizes the local states of nearby agents and outputs an optimal action for each agent to execute. We build the local observation encoder by using residual attention CNN to extract local observations and use the Transformer architecture to build an interaction layer to combine local observations of agents. With the purpose of overcoming the deficiency of success rate, we also designed a new evaluation index, namely extra time rate (ETR). The experimental results show that our model is superior to most previous models in terms of success rate and ETR. In addition, we also completed the ablation study on the model, and the effectiveness of each component of the model was proved.     

华北克拉通恒山地区晚太古代变质火山岩的地球化学特征及构造意义

对恒山地区出露的变质火山岩开展岩相学、地球化学、锆石U-Pb年代学和Hf同位素研究,旨在确定其形成时代,探讨岩石成因及地球动力学意义。锆石U-Pb定年结果表明,这些变质火山岩喷发于新太古代晚期(2508±20Ma)。地球化学分析结果显示,恒山变质火山岩由变质玄武岩和变质玄武安山岩组成,SiO₂(45.51%～62.67%)、FeO_T (4.43%～15.72%)和MgO (3.75%～8.14%)含量变化幅度大,是幔源岩浆经单斜辉石、角闪石和磁铁矿分离结晶的产物。这些变质火山岩富集轻稀土(LREE)和大离子亲石元素(LILE),亏损重稀土(HREE)和高场强元素(HFSE),具有相对高的Th含量和Th/Yb比值,呈现钙碱性岛弧火山岩的特征。结合不相容元素比值Nb/Yb,Zr/Yb和(Nb/La)_N的特点,推测其来源于俯冲带具流体交代特征的富集地幔源区。结合区域构造背景,推断恒山变质火山岩形成于新太古晚期大陆弧环境。