基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

深圳国际会展中心项目钢-混凝土复杂节点深化设计研究

深圳国际会展中心项目钢-混凝土复杂节点结构是深化设计的一大难点。地下室结构的水平钢筋、箍筋和钢骨的连接复杂,经过对复杂钢筋节点的深化设计,对结构进行了优化,降低了施工难度,确保施工质量的同时也加快了施工进度。     

工业废水中氟含量的测定

工业的发展使工业废水排放的增加,工业废水中氟含量影响着环境和人类的正常生活。国家对工业废水的排放做了严格的规定,在水和工业废水处理中,准确测定氟含量具有重要意义。本文采用氟离子选择电极法,结果表明,采用标准曲线法定量,氟离子浓度在0.2~3.0μg/m L的范围内,线性方程为y=-67.354x+345.74,线性相关系数为0.9994,该方法具有简单、快速、重现性好等优点。     

多粒度支持直觉模糊粗糙集的多属性决策方法

针对多属性决策中多个相互冲突的属性信息使决策者很难做出决策判断的问题,文中从支持直觉模糊集的角度研究该问题.首先,在支持直觉模糊集的基础上,结合多粒度粗糙集理论,构造乐观、悲观两种多粒度支持直觉模糊粗糙集模型,分析两种模型之间的相互关系,讨论相关性质.然后,利用t-模和t-余模定义拟合函数,提出多粒度支持直觉模糊粗糙集的多属性决策求解方法,同时定义得分函数和精确函数排序决策结果,提取相应的决策规则,设计算法.实例分析表明,文中方法使决策者在处理信息冲突的多属性决策问题时可根据实际需求选择最优决策方案     

芯块侧偏状态下的燃料棒温度场数值计算分析

燃料芯块侧偏状态下的燃料棒温度分布关系到反应堆燃料设计和安全运行。本文基于燃料棒的稳态扩散方程的一般形式,通过数值计算分析了芯块侧偏对燃料棒传热和温度分布的影响。结果表明:当燃料芯块侧偏时,芯块最高温度的位置向芯块侧偏的反方向偏移且最高温度下降,偏心率越大,最高温度的位置偏移程度越大,温降也越大。当偏心率e为0.5和0.8时,芯块最高温度分别下降1.3%和4.1%。而燃料棒包壳外壁面温度分布不均匀且最高温度随着偏心率的增大而升高,当偏心率e=0.8时,燃料棒包壳外壁面的最高温度为350℃,达到燃料棒的临界工作温度。     

《生物制药工艺学》课程教学内容和教学方法的改革探讨

生物制药工艺学作为必修专业课程,在我校林产化工专业中开设。为了提高该课程的教学质量,文章对生物制药工艺学的教学内容和教学方法的改革进行了初步的探索,从国内的研究现状、拟解决的问题、拟采取的措施等方面展开了论述。