含B2O3渣系的热力学计算模型

根据炉渣结构的共存理论和相图，推导了ＣａＯＢ２Ｏ３和ＦｅＯＦｅ２Ｏ３Ｂ２Ｏ３渣系的热力学计算模型。结果表明：（１）理论计算的ＣａＯＢ２Ｏ３渣系的作用浓度ＮＣａＯ及ＮＢ２Ｏ３与实测的活度ａＣａＯ及ａＢ２Ｏ３一致；（２）理论计算的ＦｅＯＦｅ２Ｏ３Ｂ２Ｏ３渣系的氧化能力ＮＦｅｔＯ与实测的炉渣ＦｅｔＯ的活度值相符合。这说明本文提出的热力学计算模型是合理的。     

基于贝叶斯的服务通告改装经济性决策方法

改装类服务通告的经济性决策是航空维修企业工程人员的一项重要工作内容。设计了改装类服务通告经济性决策程序;通过服务通告对飞机运营的经济性影响分析构建了成本分解结构,并对不同的成本项目建立了成本评估模型;针对模型的成本影响参数MTBUR和MTBF的估计采用了贝叶斯方法以解决小样本问题;通过投资回收期方法获得评价指标以决定是否进行服务通告改装投资。最后通过实例对决策方法的应用进行说明。此方法能够为航空企业的维修改装决策提供有效的技术支持。     

灾害中生活类物资的供应分析——以汶川地震重灾区物资供应为例

救灾生活类物资在供应中面临着优化运输路线、降低运输成本、缩短运输时间3个难题。文章采用相关机会多目标规划模型,以汶川地震为例,总结并完善了自然灾害救助中的多物资的协作供应模式,为突发性重大灾害中多物资的协作供应的组织、实施、管理提供参考支持。     

工学结合在高职计算机专业教学改革中的研究

"工学结合,校企合作"是中国这几年来职业教育发展进程中最具特色、最突出的办学经验,笔者结合自己实际教学,从教学面临的问题、解决方案、取得的成效等方面提出了一些具体的改进措施和建议,以促进和加强计算机专业学生的职业能力和职业素质的培养。     

基于猜测概率和失误概率的学习诊断模型

受测者在测试过程中存在猜测和失误的可能,然而现有的诊断模型并未考虑这两个因素,因此无法在这种情况下对受测者的知识状态进行有效诊断。本文提出了一种知识空间理论中基于猜测概率和失误概率的学习诊断模型,当受测者出现猜测或失误时,该模型仍可对受测者的知识状态进行有效的诊断。模型依据试题的猜测概率和失误概率对答题状态进行转移,以诊断受测者的真实知识状态,并重点分析了这两种概率的计算方法。该模型在实用性、诊断的准确性等方面具有较好的效果。     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).     

Internet宏观拓扑的协议映射与分析

从协议角度,利用拓扑学和图论方法研究了Internet宏观拓扑的网络性能和形成机理。在给定Internet宏观拓扑的图论定义后,通过找到一个协议通信模式到Internet宏观拓扑的可行映射条件,进而分析了Internet宏观拓扑的连通度和平均拓扑距离。结果表明Internet宏观拓扑的形成机理源于协议的无限空间换取有限时间效应的设计原理,使得Internet可以实现实时通信,即在满足网络可靠性的同时,又保证网络的有效性。     

一种基于图论的聚类算法NeiMu

提出一种新的基于图论的聚类算法NeiMu。该算法首先分析数据中的对象,寻找每个对象的k近邻,根据k近邻关系构造k近邻有向图,然后通过k近邻有向图中的k-互邻居关系构造k-聚类图,发现数据中的自然聚类。算法的特点是根据数据之间的互为k近邻关系确定数据中的自然簇,而不必引入其他方法来划分小簇,从而能够保证对象不会被错误聚类,仅会与其他小簇一起融合到一个大簇中。这一优点可以有效保证NeiMu算法的聚类质量。而且,NeiMu算法给出的这种类似自底向上的层次聚类结果还有利于用户根据渐变的结果确定最佳的k值。实验结果表明,该算法对密度变化大的数据、大小相差大的数据、任意分布形状的数据均具有很好的聚类质量,对孤立点也很健壮。     

两级数据融合算法在木材干燥过程中的应用

本文提出了一种基于RBF神经网络和证据理论的两级数据融合方法。利用RBF神经网络实现特征层数据融合,建立基本信任分配函数,具有最佳一致逼近特性,同时解决了D-S证据理论确定基本信任分配函数困难的问题。基于D-S证据理论的传感器故障诊断方法的研究,可有效地判断工业现场传感器的工作状态。实验结果表明该方法可正确定位并准确分离出木材含水率检测系统中失效传感器。     

布尔表达式的化简与并行排序网络验证

为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具.对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质.设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化.实验结果表明了该工具的有效性.