形式化方法与应用专题前言

计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功能也更加复杂,如何开发可靠的软、硬件系统,是计算机科学发展面临的巨大挑战.特别是现在计算机系统广泛应用于许多安全攸关系统中,如高速列车控制系统、航空航天控制...     

基于负荷混沌特性的改进Lyapunov指数预测法

针对目前常用负荷预测方法多依赖主观经验,为了提高预测精度,从相空间重构理论出发。结合负荷序列的混沌特性,提出了一种计算最大Lyapunov指数的改进算法。改进算法中引入一种取舍规则,提高了最大Lyapunov指数提取精度。利用改进算法建立实际电力月负荷预测模型,实际应用结果表明该模型具有一定实用价值。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性.     

维药刺山柑果实挥发油和脂肪酸成分的GC-MS研究

目的:为了研究刺山柑果实挥发油和脂肪酸的成分。方法:使用气相色谱与质谱联用对刺山柑果实的挥发油和脂肪酸进行分析。结果:检测出46种挥发油,异硫氰酸酯类化合物约占总含量的83．14%;9种脂肪酸,必需脂肪酸含量为63．06%,出油率为15．6%。结论:GC-MS分析结果较好。     

动态流图法对核电厂数字化仪控系统的可靠性评价

基于软件和微处理器的数字化技术已广泛应用于核电厂仪表与控制(IC)系统。近十年来,在建或部分已投运的核电厂均已采用全数字化仪表与控制系统(DICS)进行参数的监控与控制。核电厂控制系统的全数字化极大提高了控制系统的性能。由于DICS运行过程中存在动态交互,传统静态故障树分析(FTA)不能描述这种动态的交互特性,而动态流图法(DFM)可较好地描述系统间的各种动态交互。因此采用DFM评价核电厂DICS自动功率控制系统(APC)的可靠性。给定三组初始条件,即传感器故障、输出闭锁装置与主处理器故障和主辅处理器故障,利用DFM的归纳分析,得出了存在对应故障情况下控制棒实际位移与正常条件下的偏差;给定义当前时刻控制棒实际位移较正常条件下偏小的顶事件,利用DFM演绎分析,得出顶事件发生贡献最大的原因为当前时刻SRB(输出闭锁装置)切换失效,主处理器输出偏小,其他节点正常的故障组合。     

基于单片机的智能小车行驶控制方案设计

以STC89C52单片机作为控制核心,提出了智能小车行驶控制方案,完成了硬件系统的设计,实现了小车的红外循迹和自动避障的功能.设计方案简单低廉、性能稳定、通用性强、控制精度高,具有较高的使用价值.     

呋喃玻璃钢耐蚀设备在动态条件下的应用

玻璃钢耐腐蚀性的试验,在试验方法上尚存在问题,通常进行的均为静态浸渍试验和实际的使用条件差距很大。为此,在试验过程中加以应力。环境液体的流动,温度变化等动态条件,模拟出类似于实际老化的环境,以进行相当于实际老化的试验,根据这些动态试验和静态试验结果综合评价,才可得出适合实际使用条件下的耐蚀数据。     

提高某型号磁保持继电器振动筛选合格率的改进措施

本文针对某型号磁保持继电器正弦振动筛选淘汰率较高的问题进行了深入的分析,并提出了几种有效的改进措施,以提高该型号磁保持继电器的正弦振动筛选合格率。     

维药刺山柑果实挥发油和脂肪酸成分的GC—MS研究

目的：为了研究刺山柑果实挥发油和脂肪酸的成分。方法：使用气相色谱与质谱联用对刺山柑果实的挥发油和脂肪酸进行分析。结果：检测出46种挥发油，异硫氰酸酯类化合物约占总含量的83．14％；9种脂肪酸，必需脂肪酸含量为63．06％，出油率为15．6％。结论：GC-MS分析结果较好。     

煤电化电气工程及其自动化专业人才培养的探索与实践

在我国高等教育革新发展中,高校为了培育更多与新时代发展相符的专业人才,开始基于各领域发展需求构建具有专业特色的教学课程.电气工程类作为目前市场发展急需的技术型人才,高校要想培养综合性强的专业人才,在研究专业方向和教学指导课程时,需要从行业实际情况人手,优先引用具备先进性和科学性的教学知识与技能,这样不仅能满足学科研究和教育需求,而且可以为未来电气智能化发展提供更多优秀人才.《百年回眸中国电气工程高等教育一百周年》一书是由中国电气工程高等教育100周年纪念委员会编写的,文章内容主要分为四方面:(1)贺词报告;(2)中国的电气教育发展历程;(3)求学授业回忆往昔;(4)已有百年历史的交大电气工程专业.同时,为了更好展现我国高校电气工程教学和科研方面取得的优异成绩,记录了多所高等院校教学指导和人才培育的实例,并在追思前辈功绩的基础上总结了近年来电气工程专业教育的发展经验,电气工程专业发展及相关人才培养在未来发展中的重要性.