一种面向AADL架构的模型测试方法

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。     

可控式数字音乐系统模拟的研究与实现

目前,数字音乐系统很大程度上仍依赖专业硬件设备,高效率的软件模拟方式仍有待探索。文中从数字音乐的文件结构、运作流程、封装方式、编程接口、逻辑结构模拟、用户接口几个方面,研究了以面向对象方式描述一个程序可控的数字音乐模拟系统的研发框架,并为数字音乐系统模拟流程提供了完整性定义和具体的实现技术。通过该文提出的解决方案可实现在脱离专业硬件条件的支持下实现对MIDI文件结构的封装,并以较优的性能搭建一个数字音乐系统。     

某型制氧制氮车仿真系统设计

随着某型制氧制氮车在航空领域的使用量逐渐增大,相关单位对能熟练操作该型制氧制氮车的人才的需求也将随着增大。而相关院校和培训机构由于没有实际装备,教学效果不理想,另外制氧制氮车在实际运行时,存在能耗高、运行周期长、不安全因素多等问题。针对以上问题,本文提出了该型制氧制氮车仿真系统设计和开发的总体方案,介绍了该仿真系统实现的主要功能,为开发该仿真培训系统提供了一条明确而清晰的思路。     

基于LabVIEW串口通信的多路数据采集系统

本文介绍了一种基于LabVIEW软件平台的单片机多路数据采集系统的设计原理和过程。本设计选用ATmega 128单片机组成的系统作为前端数据采集系统进行多路数据采集,通过RS-485串口通信将数据传输至上位机;利用LabVIEw强大的数据处理和显示功能对采集的数据进行实时处理、分析、显示和存储。     

一种基于层次分析法的攻击树模型改进

针对传统攻击树模型在计算攻击事件发生概率时未考虑各安全属性权值的不足,设计了一种基于层次分析法的攻击树模型。在计算攻击事件发生概率时,首先给每个叶节点赋予不同安全属性;然后根据攻击者意图和系统特征比较各安全属性对攻击事件发生概率的影响程度,构造判断矩阵;最后对所得矩阵进行一致性检验,若符合要求,则将其特征向量进行归一化处理,即得各安全属性权值。实际应用表明,利用该方法计算所得出的攻击事件发生概率更贴近系统实际。     

磁控位移传感器设计与开发

液压支架是综采工作面的主要设备,其推移位置的准确性决定着采煤工作是否能够正常进行。通常液压支架的推移由推移油缸来完成。为了准确测量其推移位置,本文设计并开发了一种用于液压支架推移油缸的磁控位移传感器。基于磁环控制测量杆内干簧管通断的原理,就可以将位移转变成电压信号。改变磁环的位置,相对应的干簧管导通,输出电压随之改变。传感器量程为100cm,相对误差为0.8%,线性度约为0.0958%,输出电压波动范围为±0.001V。实验室和现场试验结果表明：磁控位移传感器运行稳定,测量精度高,满足了综采工作面液压支架位移的测量要求。     

利用JFreeChart在JSP中制作图表

图表的应用不但可以使数据的显示更加清晰、直观,而且可大大增强Web页面的功能和显示效果。针对目前实际应用中经常需要通过数据库中的数据生成相应的图表这一强大需求,介绍了JFreeChart中通过其提供的数据集合对象在JSP页面中生成图表的方法,并给出了生成饼图和柱状图的具体方法和代码。     

分数阶系统变阶次状态空间建模及稳定理论

结合分数阶微积分算子的叠加原理,提出了变阶次状态空间建模方法.将分数阶系统推广到状态空间领域,实现了最小阶状态空间转换,并可根据实际需要通过增加状态变量来提取某一阶次的输出信号.对于各阶次均小于1的变阶次状态空间实现的分数阶系统,提出了变阶次分数阶系统的稳定性判定定理.最后通过实例仿真验证了所提出方法的有效性.     

8098单片机控制下的斜井绞车多功能信号系统

介绍了一个用8098单片机控制的集通讯、打点、显示、存储 、打印及报警于一体的斜井多功能信号系统。从软件、硬件、技术关键等几方面阐述了其系 统,解决了时钟、日期、按键、串行显示、并行显示、抗干扰、长距离传输、普通电缆可靠 传输高速数据等关键问题。     

南水北调中线膨胀土高填方路基填筑方案研究

南水北调中线一期工程沿线膨胀土分布广泛,若直接将其用于高填方路基,易出现多种病害,而直接采用外购土料,工程投资又增加较大。通过分析膨胀土的特性,提出了一种对膨胀土进行有效处治之后再用作路基填筑的方法,即对高填方路基采用自由膨胀率小于55%的弱膨胀土作为"芯土",外包一定厚度的石灰改性土作为包边土(金包银),以隔离外界水体,防止弱膨胀土遇水失稳等一系列病害。经试验验证,所提处理方法可以满足路基填筑要求,具有明显经济和社会效益。