摘要：测试在需求分析阶段就开始介入,不仅能帮助开发人员更有效地完善需求,也能让测试人员设计出更贴近需求的测试.同时当需求进行了更改之后,测试人员也能及时和准确地了解需求的变化、更改测试需求.利用模型驱动的思想,对测试需求的概念进行阐述.定义了一种测试需求的元模型和测试需求建模方法,利用测试需求建模方法,可以得到测试需求模型,从而得到相应的测试目标,生成所对应的测试用例.并给出了对SIP协议进行测试的实验分析,在其中体现了利用测试需求建模得出的测试需求模型的作用.

摘要：针对各个收发天线间都具有不同的频偏和信道参数的虚拟多天线、OFDM系统目的节点中数据辅助的多频偏和信道参数估计问题进行了研究。通过利用级数展开的方法进行矩阵求逆,提出了一种基于最大似然准则的高计算效率参数估计算法,从而能够同时对虚拟多天线OFDM系统中的频偏和信道等参数进行估计。给出了本算法估计结果的均方误差与CR下界的对比,同时还对训练序列的设计进行分析和仿真验证,仿真结果表明所设计的低复杂度算法性能上逼近CR下界,同时克服了现有算法的缺陷。

摘要：管道的制造和安装是工厂建设的重要组成部分 ,目前国内项目的管道设计、制造和安装过程中的信息还未有效地集成起来 ,针对这一问题提出了一种将管道设计和制造信息集成管理的模式 基于统一的分级管道数据模型 ,把管道设计过程中的各种信息和制造过程中材料管理、生产进度管理和质量控制的信息进行了统一 ,形成了管道布置系统的集成软件结构 利用一体化的管道预制管理系统 ,AEC项目的承包企业可以提升现有的流程 ,提高生产效率和制造的质量 该方法已经在相应的软件中得到了实现 。

摘要：针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.

摘要：文章研究了CE-2小行星探测任务的转移轨道设计。首先分析了已编目小行星的轨道分布及运动特性,基于飞行任务约束选择了合适的交会目标。其次,基于微分修正法研究了转移轨道的设计,通过约束修正量改善了微分迭代收敛性能,给出了转移轨道的遍历搜索设计流程。最后,在CE-2卫星剩余推进剂的约束下,基于CE-2精密轨道设计了能量最优转移轨道,并分析了转移轨道的测控和通信约束条件。研究结果表明,2012年内合适的小行星交会目标为4 179和214 869,交会小行星4 179的最小速度增量约97.312 m/s,剩余推进剂满足任务需求,同时国内测站可以满足测控需求。

摘要：为了从基于设计规则的机构创新设计自动化方法创成的、以符号表达的概念设计方案中快速遴选出具有创新性的设计方案,根据符号方案中功能构件和构件状态数之间的关系,给出了动力机构和基本机构识别的邻接矩阵遍历算法.用计算机化规则描述5种常见的基本机构之间的连接关系,给出了识别符号方案基本机构连接关系的遍历算法.由此,实现了符号方案的基本机构及其连接关系的自动化识别.

摘要：在主动照明强度相干成像方法中,考虑相干性变化对成像频谱模值的影响.建立上行链路光场空间相干性变化模型;引入相干因子建立基于相干性变化的强度相干成像模型;仿真相干性变化对强度相干成像频谱模值的影响;最后设计实验验证模型的正确性,分析所提模型和原模型恢复频谱模值与真实频谱模值的峰值信噪比.结果表明:在有激光主动照明时引入相干性因子是必要的,不同湍流相干长度下峰值信噪比较原模型提高了3.6%~6.2%.基于相干性变化建立的强度相干成像模型恢复的频谱模值质量更好.

摘要：用数值模拟的方法 ,给出了一种适合以纳秒级的高功率钕玻璃激光系统为抽运源的光学参量啁啾脉冲放大(OPCPA)系统的最优化设计 .该系统主要由一级LBO预放大器和一级LBO主放大器组成 .数值模拟结果表明该系统能够把纳焦级能量的飞秒脉冲放大到焦级 ,从而产生几十个太瓦 (10 1 2 W )的脉冲输出 .这一结果为进一步利用OPCPA技术放大飞秒脉冲产生拍瓦 (10 1 5 W)的超短超强激光脉冲输出奠定了基础 ,从而为强场科学研究提供崭新的技术手段 .

摘要：无线传感器网络协议设计依赖于网络环境中的链路特征.在实际环境中,链路易受外界环境的影响而产生剧烈的变化.但是,目前只有少量的链路模型涉及多频道传输可靠性及其时间变化特征.以丢包率描述链路的可靠性,针对链路可靠性在频道和时间上的变化特征,提出了统计建模的方法,引入丢包率(PDR)和丢包序列(PDS)定量刻画出了链路可靠性与频道、时间的关系.通过在钢铁厂车间、学校实验工厂对2.4GHz的IEEE802.15.4模块进行测试及统计分析,发现数据丢包率服从logistic或log-logistic分布;在一个确定丢包率下,两次数据丢包之间的间隔服从lognormal分布.在此基础上,通过分析干扰链路可靠性的原因,提出了一种工业无线传感器网络链路可靠性模型,并基于此模型对IEEE802.15.4e的两种提案进行了评估和分析.

摘要：运用多学科设计优化（MDO）方法对某固体战略弹道导弹的总体优化设计进行了研究。从满足固体导弹的MDO需求出发，基于第三代MDO理论，对固体导弹按学科分解为系统层（性能，弹道学科）和子系统层（推进学科、质量分析学科、气动学科），通过分析与建立以上各学科的优化模型及固体导弹的总体优化模型，以固体导弹起飞质量为目标函数将MDO单级优化过程中的同时分析与设计（SAND）过程应用于该固体导弹总体优化设计。与传统优化方法所得结果相比，固体导弹起飞质量减小15．1％，发动机结构质量减小23．3％，优化效率提高87％。算例表明，将MDO方法应用于固体导弹总体优化设计的思路可行。