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

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

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

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

情感词典构建综述

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

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

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

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

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

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

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

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

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

复方富力铁对生长猪的生产性能，肤色和部分血液指标的影响

试验选用体重约38kg三元杂交[杜×(大×长)]猪40头,随机分为4组,每组2个重复,分别饲喂含不同剂量复方富力铁的饲粮,研究复方富力铁对38～50kg生长猪的生产性能、肤色、毛况和部分血液指标的影响.结果表明,添加复方富力铁显著提高生长猪的平均日增重(P＜0.05)、显著降低料重比(P＜0.05)、极显著改善生长猪的肤色(P＜0.01)、显著改善毛况(P＜0.05);添加复方富力铁有使生长猪血浆中铁含量升高的趋势,但各处理组血液中血红蛋白浓度、红细胞压积、血浆中铁含量都无显著差异(P＞0.05);以添加复方富力铁250g^组生长猪的各项性能最佳.根据试验结果,建议生长猪饲粮复方富力铁的添加量250g/t.     

利用石油裂解副产品C9生产苯乙烯-茚树脂

本文着重介绍用石油裂解副产物C9采用截取馏份，脱色，聚合，蒸馏等方法，选用高效催化剂生产苯乙烯－茚树脂，实验表明，采用本文所介绍工艺生产的苯乙烯－茚树脂色相，软化点等重要指导完全达到质量标准，可应用于了午线轮胎生产。     

电火花加工中嵌入式脉冲电源的设计

针对CNC电火花加工机床,设计了一种基于单片机W78E58B和复杂可编程逻辑器件(CPLD)的新型嵌入式数控脉冲电源,该电源脉冲宽度和脉冲间隙数控可调,在软件中利用模糊控制算法实现对加工状态的闭环控制,试验证明间隙电压稳定可靠,系统高效节能。