可信性空间上基于复模糊变量的学习理论的关键定理

给出了可信性测度空间上复模糊变量定义及一些性质;给出了复模糊变量的经验风险泛函、期望风险泛函以及经验风险最小化原则严格一致收敛的定义。在此基础上给出并证明了基于复模糊变量的学习理论的关键定理,为系统建立可信性空间上的复统计学习理论奠定了理论基础。     

狭义相对论与钟慢效应关系再认识--纪念狭义相对论创立110周年

从爱因斯坦建立狭义相对论的科学方法与狭义相对论理论的逻辑构成入手,综合运用A· P·弗伦奇在国际著名的改革教材“美国麻州理工学院物理学导论丛书”第二卷《狭义相对论》中的研究观点和闵可夫斯基的四维时空理论,阐明狭义相对论与钟慢效应之间的正确关系。     

含氮、磷有机配体对(CdSe)_2量子点结构和电子性质的影响

使用密度泛函理论方法研究了量子点(CdSe)2与配体L(L=PH3、PH2Me、PHMe2、PMe3、NH3、NH2Me、NHMe2、NMe3)之间的相互作用及其产物的结构和性质。配体中的P或N原子与Cd原子上分别形成较强的Cd—P和Cd—N配位键,从而影响(CdSe)2的结构和电子性质。配体作用下,(CdSe)2的几何结构、电荷分布、轨道能级、吸收光谱等均发生变化,但2类配体的影响,尤其是甲基数目的影响,存在较大差异。     

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

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

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

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

统计过程控制(SPC)在龙滩水电站混凝土生产质量控制中的应用

混凝土生产工艺流程复杂,控制工序多,生产过程除易受系统因素影响外,还受随机因素的干扰较大,生产质量不易控制,本文应用统计过程控制(SPC)在龙滩水电站混凝土生产中的质量控制实践来谈点初浅的认识.     

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

救灾生活类物资在供应中面临着优化运输路线、降低运输成本、缩短运输时间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).