基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

太原市二氧化硫污染状况及评价

通过对太原市不同季节、不同监测位点大气二氧化硫(SO2)浓度的监测，分析了太原市SO2污染状况，指出在太原市对SO2排放企业的治理和管理工作势在必行。     

化学镀镍废液处理新工艺及机理研究

通过化学沉淀法从废液中回收镍离子，继而采用硫酸亚铁为共沉剂，进一步处理上述废液，达到去除剩余镍离子的目的，考察了双氧水、氢氧化钠、硫酸亚铁用量及反应时间对化学镀镍废液处理结果的影响，并对反应机理进行了初步探讨，结果表明，新工艺双氧水用量少、回收镍纯度高，经济可行。     

微小卫星星务计算机系统模拟部件可靠性设计

为确保星务计算机系统长期在轨工作的稳定性,针对系统中数模转换器等不同模拟部件的特点,给出相应的可靠性设计方案。在模拟输入通道中采用中位值滤波和递推平均滤波的组合算法,来获取尽可能可靠的输入数据,在模拟输出通道中则采用中值表决电路通用模块实现正确的模拟输出。该方案已在原理样机研制中得到验证和完善。仿真和验证结果表明,本方案在兼顾微小卫星对功耗、质量等苛刻要求的同时,能够很好地满足系统的可靠性要求。     

马纳斯河流域民主参与式的水资源统一管理

本文针对玛纳斯河流域水资源管理存在逐利、水资源被分割管理,以及缺乏民主参与等问题,提出流域实行水资源统一管理,成立利益相关者参与的民主管理监督机构。     

全桥变换器中磁通不平衡的抑制

分析了开关电源在采用全桥变换器的时候磁通不平衡现象的产生原因,并提出了实现抑制磁通不平衡的措施。着重介绍了应用阻隔电容实现磁通平衡的措施,同时进行了相关器件的设计与参数的计算。     

一元回归在射表符合系数曲线制作中的应用

针对现有射表符合系数曲线绘制过程中存在的不足，运用一元回归方法对其进行改进，并验证了把该方法用于制作射表符合系数曲线时，可以提高试验数据处理效率以及试验数据的准确度．     

Bayes逐步判别法在邢台煤矿突水水源判别中的应用

快速有效地判别突水水源是矿井安全生产的重要保障。文章以邢台煤矿为研究对象,选取各含水层多项水质指标,应用Bayes逐步判别法建立矿井突水水源快速判别模型。结果表明:Bayes逐步判别模型以其计算过程简单、模型结构稳定而优于其它模型,既提高判别准确率又提高判别速度,实现对突水水源快速有效判别,为防治水工作提供有力依据。     

新疆主要土壤物理性状空间分布及其气候影响分析

依据新疆33个农业气象观测站（点）2006～2007年实测的0～50em土层土壤水文物理常数资料以及各站多年平均气候资料。综合分析了各常数的空间分布特征、相互间的关系以及各常数与年平均气温、年降水量的统计关系。结果表明,在新疆区域内,1）土壤容重具有南疆〉北疆〉天山山区的分布特征,田间持水量和凋萎湿度具有南疆〈北疆〈天山山区分布格局;2）各土壤水文物理常数两两之间均具有极显著的对数型回归关系,其中,土壤容重与田间持水量、土壤容重与凋萎湿度间呈负相关关系,而田间持水量与凋萎湿度间呈正相关关系;3）各常数与年平均气温和年降水量之间也具有显著的统计关系,其中,土壤容重与气温呈正相关关系,田间持水量、凋萎湿度与气温呈负相关关系;土壤容重与年降水量呈负相关关系,但田间持水量、凋萎湿度与年降水量呈正相关关系。     

企业参考资源模型的建立

提出参考资源模型结构,并给出其构造方法,研究其在建模导出过程中的支持作用.企业参考资源模型是一个资源的参考目录,在建立特定企业资源模型时,可以直接从参考资源模型中选取所需资源.参考资源模型的建立支持资源重组,缩短建模时间,从而加速建模的进程.