软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

基于PSZT的RAINBOW型驱动器研究

基于反铁电陶瓷 (PSZT)化学还原制备的 RAINBOW驱动器是一种具有内部应力偏移 ,兼有还原层和氧化层 ,驱动位移较大的新型驱动器。实验发现 :反铁电陶瓷较易还原 ,理想还原条件为 :870℃保温 2～ 3h;与普通反铁电驱动器相比 ,RAINBOW驱动器能在强度较低的电场作用下发生铁电相变 ,并得到很大的轴向位移 (约 190μm) ;加载方式对 RAINBOW的驱动性能具有决定性的影响     

航站楼安检布局及流程优化研究

为保证旅客出行安全,提高机场安检效率,对机场安检流程进行优化。以航站楼内旅客安检服务流程为研究对象,根据安检服务流程特性,分析并选择广义随机Petri网对航站楼内单通道安检服务流程进行建模与仿真分析。在验证模型可靠性的基础上,运用广义随机Petri 网和马尔科夫链的相关理论给出安检流程的性能评价。最后,以深圳宝安国际机场航站楼内旅客安检流程为实例分析对象,在对资源没有限制的条件下,对深圳机场单通道安检流程进行分析,验证模型的可靠性,找出安检过程中的瓶颈问题,提出改善建议。     

复合材料层合板结构冲击损伤数值模拟的损伤力学模型

针对复合材料结构低速冲击损伤问题,基于连续损伤力学提出了一种动力学冲击条件下的三维损伤数值模型。模型中区分了层内损伤（纤维拉伸与压缩失效、纤维间拉伸与压缩失效）和层间分层损伤不同的失效模式。采用三维Puck失效准则与考虑压缩抑制效应的Aymerich准则对上述两类损伤进行判定,材料失效后基于连续损伤力学中线性软化模型对材料损伤进行演化。模型中考虑了复合材料层合板结构中子层的就位效应和损伤分析中的“连锁效应”。通过对Shi的冲击试验进行数值模拟,模型预测的冲击接触载荷、分层形状和尺寸与试验结果吻合较好,证明了所提出的数值模型对复合材料层合板结构低速冲击损伤预测的有效性。     

一种小型自主飞行无人机系统集成设计研究

小型自主飞行无人机系统又称为空中机器人,泛指各种能够在空中自由飞行的无人飞行器系统,具有广泛的应用前景.论述了一种5kg小型自主飞行无人机系统的飞行平台的设计与实现、系统选择与集成、图像处理的方法、电磁兼容问题及解决措施等,最终成功地实现了自主飞行,并在"枭龙杯"中国空中机器人大赛上获奖.设计方法在无人机系统试飞和比赛中都得到了验证,证明是有效的.     

具有功率因数校正的零电压开关谐振变换器设计

传统型PWM控制的开关电源是硬件开关，开关损耗大，不利于向小型化，轻量化发展。本提出利用零电压开关谐振技术实现功率开关管的软开关技术，从而降低开关损耗，并采用SG3525为核心的主开关控制电路，提高系统的动态响应性能，同时采用UC3854对AC／DC变换过程作了功率因数校正，以改善输入电流的波形，提高电力资源的利用率。     

一种自组织时分多址甚高频数据链中的暴露终端问题的解决方案

阐述了S-TDMA系统中暴露终端问题的形成,给出了解决这一问题的一种方案。并提出一种新的自组织时分多址数据链网络性能分析方法--概率周期分析法。通过引出系统状态熵概念,将时隙状态的停留时间和状态转移概率同时引入分析模型中,给出了一种以时隙的处于成功传送状态的状态真值占系统状态熵之比作为评价信道吞吐量的新方法。仿真结果表明,采用了这一方案后系统性能将大大改善。     

基于马尔可夫链的空间站推进1553B通信系统可靠性分析

推进功能的正常实现为空间站长期在轨运行提供重要保障。1553B通信系统作为推进功能的重要组成部分,承担着推进系统与外界进行数据交互的任务,其可靠性设计至关重要。为提高1553B通信系统可靠性,分别对包含数据隔离芯片在内的远程终端及其处理器进行双余度冗余设计。本文通过建立故障树对1553B通信系统可靠性进行分析,并引入平均无故障时间、可靠度等定量指标,基于马尔科夫链建立可靠性模型进行定量计算。结果表明,1553B通信系统平均无故障时间增加1.947倍,可靠度增长3.89%,故障概率则下降超98%,由此验证了双余度冗余设计能够有效地提升1553B通信系统的可靠性。     

Spaceflight results in increase of thick filament but not thin filament proteins in the paramyosin mutant of Caenorhabditis elegans

We have investigated the effect of microgravity during spaceflight on body-wall muscle fiber size and muscle proteins in the paramyosin mutant of Caenorhabditis elegans. Both mutant and wild-type strains were subjected to 10 days of microgravity during spaceflight and compared to ground control groups. No significant change in muscle fiber size or quantity of the protein was observed in wild-type worms; where as atrophy of body-wall muscle and an increase in thick filament proteins were observed in the paramyosin mutant unc-15(e73) animals after spaceflight. We conclude that the mutant with abnormal muscle responded to microgravity by increasing the total amount of muscle protein in order to compensate for the loss of muscle function.     

武汉服装业的竞争优势培育——基于价值链重构的研究

如何完善武汉服装产业链，优化整合服装品牌是振兴武汉服装产业的当务之急。培育武汉服装产业竞争力，需要利用综合配套改革试点区政策所创造的良好外部环境，以并购重组为抓手，制定系统化方案综合推进。打造专业化大型服装集团，促成产业链上、下游的有机衔接，培育扶持服装龙头企业，积极推动“五个中心”工程的实施是培育武汉服装产业竞争优势的关键所在。