国外空间钟计划与基础物理测试的波浪

原子钟已经发展到很高的水平,它们在空间科学试验中起着非常重要的作用。本文介绍国外已经建议和正在开展的高精度空间钟计划,以及它们在国际空间站（ISS）微重力环境下所进行的某些基础物理方面的测试。     

一种基于扩展有限状态机的自动化测试用例生成方法

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.     

基于卷积编码的SOC测试响应压缩研究

提出一种单输出压缩方法. 首先提出了码率为n/（n-1）、距离为3的卷积码的设计规则, 利用这些规则可得到卷积码的校验矩阵, 该校验矩阵的实现电路即是能够提供单输出压缩的响应压缩电路. 所设计的压缩电路可避免2个和任意奇数个错误位的混淆、避免一个未知位（X位）对特征的掩盖. 利用概率论分析了未知位掩盖效应. 如果未知位分布具有聚簇特征, 那么提出的多重量校验矩阵设计算法能够大大降低未知位的掩盖效应. 最后用一些实验数据验证了所提出的压缩电路能够提供较强的未知位容忍能力和非常低的错误位混淆率.     

一种基于TTCN-3的协议测试系统及其扩展研究

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络．为下一代互联网服务的协议测试技术需要适应这些测试需求．文中重点研究了协议测试中的测试集描述法和测试实现技术．选取了TTCN-3作为测试集描述法,并针对协议鲁棒性测试需求进行了语法和语义扩展．开发了基于TTCN-3的协议集成测试系统PITSv3,并对其进行了鲁棒性测试扩展实现．最后通过两个实际的测试应用,体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台．     

基于自适应背景模型的动态场景目标检测

背景建模一直是运动目标检测中的一个重要课题。该文提出一个适用于动态背景的基于非参数估计的前景背景对比模型。模型通过核函数估计的方法模拟了像素点五维特征向量的概率分布,并在图像序列中滚动更新。实验证明,上述算法能够在一般目标检测,特别是动态场景(摇动树枝等)的检测中取得较好的效果。     

基于形式化测试的实时系统变更后安全性验证

变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.     

扩展的语义分析的WAP协议缺陷测试

首先介绍了一种基于语义分析的缺陷测试技术.该测试方法利用语义测试及软件错误注入来进行测试.它比传统测试的成本要小,同时能达到很好的效果.但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷.本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法.它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的.这弥补了原缺陷测试在协议层面的不足.之后对该方法各个阶段进行了介绍.对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性.     

基于M-S模型的参数自适应图分割方法

基于图分割的分段常数水平集方法Mumford-Shah模型能够很好的处理多相图像,但由于Mumford-Shah模型本身固有的原因,该方法对于长度参数也很敏感。为了解决这个难题,本文给出了一个自动估计包括长度参数的模型参数的自适应方法,该方法根据图像的噪声方差大小来确定参数。该自适应方法与基于图分割方法相结合,能够解决模型对参数敏感的难题。最后,通过计算机生成的图像和实际图像的分割结果证明了该方法是有效的。     

基于DTE技术的完整性保护形式模型

为实现结构化保护级操作系统的完整性保护，本文在深入分析完整性策略的结构和涵义的基础上，提出了基于DTE技术的完整性保护的形式模型；该模型由两部分组成：配置DTE的基本规则和状态迁移模型，前者解决如何设置相应的域和型，后者解决在系统变迁过程中如何维持初始设置获得的安全不变量．模型设置了10个不变量，特别提出了新的处理信息流的不变量，并探讨了与文献中相关不变量的关系．以可操作性很强的方式描述了13个具有良好原子性的迁移规则．随后，证明了相应的安全基本定理．在深入分析文献中现有模型与本模型异同的基础上，探讨了不变量设置的合理性．最后，指出未来要完成的工作，特别，用本模型去分析SELinux的安全性是可能的．     

基于时空图注意力模型的动态软测量建模方法

近年来深度学习由于其特征提取和非线性拟合等方面的优势,在软测量建模中得到了广泛的研究.而深度学习模型是一种黑箱模型,其预测结果难以解释,而且很难将关于过程的先验知识引入模型,这些缺点阻碍了它在实际工业过程中的应用.另外,工业过程数据是具有高度非线性和动态性的时间序列,其本质上反映的是过程随机变量随时间不断变化的趋势,其包含了重要的流程信息,因此在软测量建模过程中引入过程的动态信息是十分必要的.本文提出了一种时空图注意力模型(temporal-spatial graph attention networks, TSGAT),并将其应用在复杂动态工业过程的软测量建模.该方法通过给定变量间结构图来为模型引入先验知识,利用图注意力网络构建变量间的显式的非线性关系,并利用图注意力网络信息聚合的能力对每个时间步的数据完成图上的特征提取,再使用长短期记忆人工神经网络提取时序特征,进而完成对质量变量的预测.为了验证所提方法的有效性和优越性,将该方法应用在实际工业案例合成氨过程中的高低温转换器单元一氧化碳含量的软测量建模,实验结果表明,该模型不仅能够引入先验知识,而且具有较高的预测精度.     

基于投影寻踪模型的水资源利用效率评价

本文根据13个省市的水资源相关指标,包括农业万元GDP用水量、工业万元GDP用水量、人均COD排放量、人均生活用水量等,建立评估指标体系并利用投影寻踪模型对上述各省的水资源利用效率进行综合评价。该方法可以依据样本自身的数据特性寻求最佳投影方向,利用最佳投影方向可以判断各评价指标对综合评价目标的贡献大小和方向,进而得到最终的评价结论。     

基于FLUENT的人工气候室风洞试验的数值模拟

在分析飓风对输电网络影响的机制上,采用流体工程仿真软件FLUENT对某人工环境模拟实验室的风洞试验进行三维数值模拟,获得了小型人工气候室内的三维流场特性和风速参数,并分析考察了导流板和导风板对子试验区流场均匀性的影响.研究结果表明,合理增加导流板和导风板数量可提高风速均匀度以满足实验模拟要求.研究工作为人工环境模拟实验室的搭建和风洞试验流场均匀性的进一步改进提供一定的理论依据.     

基于Benchmarking技术的汽车侧面碰撞建模与仿真试验

介绍了Benchmarking技术的概念和基本工作流程,并根据某车型所进行的Benchmarking数据,建立了包括车身结构、发动机和底盘系统在内的整车有限元分析模型根据ECE R95法规进行了整车侧面碰撞仿真试验,通过对比仿真试验的结果与实车侧面碰撞试验的结果,验证了模型的有效性。本文的研究方法为Benchmarking技术在汽车碰撞安全分析上的应用提供了参考。     

基于GTK＋on DirectFB的嵌入式GUI画面更新问题的研究

在使用GTK＋on DirectFB开发基于Linux OS的嵌入式MP4 GUI过程中,采用传统的画面机制进行设计开发,在画面更新时会出现明显的画面闪烁现象。虽然这种机制实现简单适用于嵌入式系统,但却影响画面的美观性。针对此问题,本文提出了一种局部更新和公用窗口的新机制来解决GUI画面的更新问题。通过建立PC机仿真环境,对新旧两种更新机制进行对比分析,新机制不但更新效率高而且系统资源占有率少。仿真结果表明,新画面机制优于传统机制。     

基于政策引导的废旧轮胎逆向物流网络优化设计模型研究

分析国内外废旧轮胎的利用现状,借鉴发达国家先进经验,提出建设区域性废旧轮胎逆向物流网络的具体模式.在市场调查、合理预测的基础上设定目标,构建基于政策引导下的废旧轮胎回收利用混合整数线性规划模型.模型中设立了废旧轮胎回收下限指标,目的是促进系统回收率的提高;同时设立了不同再利用形式使用废旧胎的比例,以引导网络体系科学有序发展.最后以算例进行实际分析,合理规划回收中心、集散中心和再利用场所,使整个回收利用体系成本达到最小