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

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

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

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

情感词典构建综述

文本情感分析是近年来迅速兴起的一个研究课题,具有显著的研究价值和应用价值。情感词典的构建在情感分析任务中发挥着越来越重要的影响力。该文对情感词典构建的研究进展进行了总结。首先重点介绍了情感词典构建的研究现状,将其归纳为四种方法,即基于启发式规则的方法、基于图的方法、基于词对齐模型的方法以及基于表示学习的方法,并对每种方法进行介绍和分析;然后对一些常见的语料库、词典资源以及评测组织进行介绍;最后,对情感词典的构建进行了总结,并对发展趋势进行了展望。
     

基于最小割图分割的社区发现算法

该文证明了模块度最大化问题可以被转换成为原网络上的最小割图分割问题,并且基于该证明提出了一种高效的社区发现算法。同时,该文创新性地将模块度理论与当今比较流行的统计推理模型相结合: 首先,这些统计推理模型被转化为模块度最大化问题中的零模型;其次,统计推理模型中的目标函数被修改并应用于本文的最优化算法中。实验结果显示,无论是在真实世界网络还是在人工生成网络中,该文提出的算法均具有高效和稳定的发现社区的能力。     

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

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

构词法在智能英汉机译系统词典库中的应用

词典库是机译系统的基础,它直接影响着整个系统的翻译质量.因此,大型机译系统中词典库的组织方式和辅助获取越来越受重视.本文概述了英语构词规律,并根据此规律以及智能英汉系统(IMTF/C)词典库的组织特点,给出了构词法在词典库中的两个应用,即由构词法辅助获取词典信息和根据构词法改进词典库的组织.最后,分析了一个试验结果.     

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

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

超短波对数周期天线结构设计及分析

对超短波对数周期天线的结构设计方案进行了详细的论述,并使用ANSYS5．6软件作为有限元分析工具,完成了超短波对数周期天线阵的静力分析及模态分析,同时论证了该天线的抗候性能,对工程的实施起到重要作用。     

珠江三角洲大系统风暴潮数学模型建立与验证

为了较准确地模拟珠江三角洲河网区及口外海域风暴潮的过程,建立了珠江三角洲大系统全二维风暴潮数值模拟模型。以2008年14号强台风“黑格比”为例,对台风场的构造、风暴潮模型的建立与验证、研究区域的划分以及风暴潮的模拟计算过程等作了介绍。验证结果显示,数值模拟结果与实测值吻合良好,表明所建立的风暴潮模型能较好地模拟珠江三角洲河网区及口外海域风暴潮的过程。     

Ag(Ⅰ)金属有机骨架材料在汽油吸附脱硫中的应用

以金属骨架材料Ag2(4,4'-bipy)2-(O3SCH2CH2SO3),Ag(4,4-bipy)NO3和Ag(4,4-bipy)ClO4为吸附剂,在常温常压下,研究了不同剂油物质的量比条件下的吸附脱硫效果,并测试了在不同1-辛烯含量的模拟油(含硫质量分数为500 μg/g)中的脱硫效果.结果表明:3种吸附剂在吸附前后晶体骨架结构略有改变;对噻吩的吸附程度都能达到70％左右;随着吸附剂含量的增加,脱硫率明显增加,最多的Ag2(4,4'-bipy)2-(O3SCH2CH2SO3)可以增加12.22％; 1-辛烯含量对Ag2(4,4'-bipy)2-(O3SCH2CH2SO3)的脱硫效果没有明显影响.同时Ag2(4,4'-bipy)2-(O3SCH2CH2SO3)对真实汽油的吸附脱硫实验表明:在常温常压下,真实汽油含硫质量分数可从70 μg/g降低到8 μg/g;再生后的吸附剂重复使用5次其吸附性能基本不变.