消除EFSM中状态迁移不确定的方法

扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。     

静态分光光度法间接测定硫化物含量

硫代乙酰胺水解生成的硫离子在酸性条件下将三公铁离子还原为二价,在ｐＨ＝３．５的ＨＡｃ－ＮａＡｃ的缓冲介质中,利用二价铁与１,１０－二氮杂菲的显色反应,采用分光光度法间接测出硫离子的含量。结果表明,方法的线性范围为： ０～０．６６μｇ／ｍＬ,表现摩尔吸光系数为 ２．２×１０４Ｌ．Ｃｍ－１．ｍｏｌ－１,变异系数为 １．３％,回收率为 １０３％。     

H型省煤器在HG410/9.8-YM11型锅炉上的研究与应用

本文主要针对攀钢电厂3#锅炉下级省煤器磨损泄漏频繁的问题,借鉴国内外H型鳍片管省煤器的发展,结合3#锅炉现有运行条件,设计并实施了3#锅炉H型下级省煤器换型改造,取得了良好效果。     

嵌入式实时多任务操作系统下通信信令交换的实现

本文介绍了嵌入式实时多任务操作系统的特点，并对用其进行通信信令交换处理的设计过程作了简要的描述。     

不同硫化物标准溶液的特点研究

对比研究了硫化钠，硫代乙酰胺（ＴＡＡ）作标准溶液的特点，结果表明：硫代乙酰胺在配置、标定和稳定性方面，均优于硫化钠，为人们选用硫化物标准溶液提供了一定的依据．     

基于遗传算法的河流水质模型参数估值系统

河流水质模型的参数最优化估值需要进行约束非线性规划的求解,遗传算法是一种高效的启发式随机搜索算法。将遗传算法应用于河流水质模型的参数估值问题的求解,开发了基于遗传算法的QUAL2E模型参数估值系统,并进行了算例验证,结果表明该系统具有较高的可靠性和搜索效率。     

小城镇发展可持续性定量测度的生态足迹方法

发展可持续性定量测度的核心是确定人类是否生存于生态系统的承载力范围之内,生态足迹方法是一种定量测量人类对自然利用程度的新方法。将生态足迹方法应用于小城镇发展可持续性的定量测度,对重庆市巴南区南泉镇2002年的生态足迹进行了实证计算研究,结果表明:南泉镇2002年人均生态足迹赤字为0.391hm2。