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

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

脱硫脱硝液氨储罐泄露的风险评估及控制

液氨作为催化裂化装置脱硫脱硝装置氮氧化物脱除的主要介质,现场液氨的储存给我们的装置带来了风险,利用事故树分析、ALOHA流程模拟软件分析出现场液氨泄露后的风险,给我们在日常液氨储罐的管理和应急提供有利的数据。     

换热网络优化中换热单元生成频次的影响分析及策略改进

换热单元的生成频次对换热网络优化有直接的影响，分析其机理可以指导求解算法的改进。本文采用节点非结构模型及强制进化随机游走算法，通过设置不同的换热单元生成概率与生成个数以改变换热单元的生成频次，观察并记录个体在优化过程中产生的年综合费用变化情况。发现不同生成频次下整型变量和连续变量的相对优化频率发生了变化，从而改变了整体优化过程，并且与个体当前优化状态不适应的生成频次会造成相对优化频率不平衡、优化结果较差。基于此，本文提出了一种具有生成参数动态调节策略的换热单元生成方式，在优化过程中根据个体状态实时调整换热单元的生成概率与生成个数，平衡整型变量与连续变量的相对优化频率。最后，采用15SP、10SP和20SP算例进行验证，换热网络的年综合费用较文献结果分别下降了1.06%、0.16%、0.68%，验证了该策略使得换热单元的生成频次更为合理，有效地提高了算法的优化效率。     

多学科题库管理及试卷生成系统设计与实现

自动组卷系统能极大地提高教学评估的效率和科学性,降低任课老师的工作量。简要介绍了多学科题库管理及试卷生成系统的设计与实现思路,旨在为设计此类系统提供参考。     

倪瓒山水画中树的形式语言探微

元代画家因处于特殊的社会环境,在整体上体现出了对"逸"的追求。倪瓒作为富有传奇色彩的元代画家,其将自身逸气融入画作,山水画尚逸。文章主要探讨倪瓒山水画中树的形式语言。     

高速公路多路径识别点布设与优化分析

针对联网高速公路的多路径识别问题,通过将高速公路网状路网结构简化为无向连通图,引入路段距离作为路径权值,采用最小支撑树生成算法推算得出路网的识别点布设最少数量及其初始布设位置,通过枚举与对比分析在布设冗余识别点后的环路总体识别率,得出识别点的最优冗余布设方式,实现高速公路网状路网结构中多路径识别点的合理布设。实践表明,通过最小支撑树算法和分布式冗余方式所得的识别点布局能够较好的解决高速公路多路径识别问题。     

谈语文课堂教学的预设和生成——由两节公开课引发的思考

"预设和生成"是新课程所倡导的重要理念,语文教学要正确处理好预设和生成之间的关系。本文结合《乡愁》《钱塘湖春行》两节公开课例,谈谈笔者对语文教学中应如何处理预设和生成之间关系的思考。