基于场景元模型的软件产品线追踪方法

针对软件产品线需求追踪方法进行了研究,基于软件产品线领域需求分析、设计、实现三个阶段的信息传播,提出了一种基于场景元模型的多层次软件产品线追踪模型,完整描述了追踪信息变化的整体框架;建立了需求—用例追踪矩阵、用例—动作追踪矩阵、动作—构件追踪矩阵;根据矩阵运算,描述了具体追踪实现过程,通过一个ATM案例验证了该方法对于软件产品线领域需求获取以及需求变更等问题的解决有较好的效果。     

任务序列强度感知的大规模集群服务器控制模型

异构云数据中心各类服务器的控制成本和性能上的差异将影响其运维管理成本及QoS博弈平衡关系,针对任务序列强度具有的时效性,提出了任务序列强度感知的大规模任务调度模型。依据当前到达数据中心的任务序列的强度以及集群中服务器的当前状态,在任务调度中强调节约服务器运维管理成本和各服务器负载均衡的基础上实现优化数据中心对任务序列处理的平均响应时间和系统的吞吐量。通过对实验结果的分析,验证了集群服务器控制模型在任务调度中的可信度大于95%,同时通过与当前应用广且具代表性的算法——最短任务优先,公平分发机制进行比较分析,其效果是三者中最好的,也验证了模型的有效性和可行性。     

复杂信息系统风险评估框架与流程

复杂信息系统( CIS)在系统风险管理和风险评估上因其结构复杂性而存在较大难度。为此,基于Zachman框架,提出一种CIS风险评估框架,并在GB/T 20984-2007信息安全技术-信息安全风险评估规范基础上,建立CIS的风险评估流程。依据风险管理层次与安全域划分原则对CIS进行架构分解,研究安全域内和域间的评估方法。在传统风险要素的基础上增加CIS互联关系的风险要素。引入互信息表征互联关系的关联度,利用层次分析法对风险权重进行评估。结合实例对CIS风险评估流程进行验证,结果表明,该流程可对CIS风险做出客观准确的评估。     

一种战场士兵多生命体征监测头带设计

针对战场环境,从便携式角度出发,采用可穿戴技术,设计了一种集成心电、脑电、脉搏波、体温以及人体姿态测量的战场士兵多生命体征监测头带。其中,以超低功耗的MSP430单片机为主控芯片,以低功耗的ADS1292R作为双电极心电和脑电采集芯片,以反射式光频转换器采集人体光电容积脉搏波,以医疗专用负温度系数（ NTC）热敏电阻器作为体温传感器,以MMA7660数字三轴加速度计作为姿态测量传感器。通过蓝牙将所采集信息传送至单兵PDA,实现了多生命体征的监测,具备体积小、重量轻、功耗低、成本低、便携舒适等特点。     

IPv6 AS级Internet抗毁性研究

随着互联网和物联网的飞速发展,通信协议从IPv4过渡到IPv6已是必然趋势。采集了CAIDA Ark项目的最新数据(时间为2014年6月),通过对IPv6 AS级Internet建模,验证了该网络所具有的小世界和无标度特性。在分析Internet结构及常用抗毁性测度的基础上,提出了IPv6 AS级Internet的抗毁性测度指标和抗毁性实验方法。实验结果表明,在不同的攻击策略下,网络具有鲁棒且脆弱的特性,在遭到基于度的蓄意攻击时,网络抗毁性最差,同时也表明构建的抗毁性测度可以很好地表征Internet的抗毁性水平。     

交会对接仿真电视图像TMO算法主观评价

通过对实时渲染仿真交会对接电视图像的主观评价,指出调和映射处理(TMO)算法的修正是提高仿真场景逼真度的方法.基于交会对接仿真电视图像TMO算法应用,分别针对S-curve算法、自适应对数算法和Reinhard算法设计了基于静态图像对比的亮度调和因子评价实验和基于动态场景对比的算法应用距离段评价实验,并对实验结果的均值、标准差以及HSD值进行了计算与分析;上述3种算法亮度调和因子分别为6.0,0.6和2.2,依次应用于远距离,中、近距离和靠拢距离时仿真电视图像有最佳评价和显示效果.实验结果表明,采用同种TMO算法处理的交会对接仿真图像动态场景真实感效果优于静态图像;在交会对接不同距离段内,仿真场景需要采用不同的TMO渲染方法.     

大倾角俯斜综采过陷落柱技术研究与实践

大倾角俯斜开采一直制约着煤矿综合机械化的发展。在实现缓倾斜煤层开采的基础上,进一步探索和分析了25°～30°大倾角俯斜综采工作面的回采工艺、技术研究及其可行性,为今后类似条件下工作面的开采提供理论依据和生产实践指导,进而创造更大的经济效益和社会效益。     

Observer‐based decentralized adaptive control for large‐scale pure‐feedback systems with unknown time‐delayed nonlinear interactions

This paper presents an approximation design for a decentralized adaptive output‐feedback control of large‐scale pure‐feedback nonlinear systems with unknown time‐varying delayed interconnections. The interaction terms are bounded by unknown nonlinear bounding functions including unmeasurable state variables of subsystems. These bounding functions together with the algebraic loop problem of virtual and actual control inputs in the pure‐feedback form make the output‐feedback controller design difficult and challenging. To overcome the design difficulties, the observer‐based dynamic surface memoryless local controller for each subsystem is designed using appropriate Lyapunov‐Krasovskii functionals, the function approximation technique based on neural networks, and the additional first‐order low‐pass filter for the actual control input. It is shown that all signals in the total controlled closed‐loop system are semiglobally uniformly bounded and control errors converge to an adjustable neighborhood of the origin. Finally, simulation examples are provided to illustrate the effectiveness of the proposed decentralized control scheme. Copyright © 2013 John Wiley & Sons, Ltd.     

长洲水利枢纽南安防护片闸室稳定分析及加固设计

介绍了长洲水利枢纽库区南安防护片南安水闸的工程概况,分析了南安水闸由浆砌石改为钢筋混凝土闸的稳定情况,通过对闸室的稳定分析,并结合工程实际情况,提出了加固措施。     

Genetic algorithm‐based neural‐network modeling approach applied to AlGaN/GaN devices

An accurate equivalent circuit large‐signal model (ECLSM) for AlGaN‐GaN high electron mobility transistor (HEMT) is presented. The model is derived from a distributed small‐signal model that efficiently describes the physics of the device. A genetic neural‐network‐based model for the gate and drain currents and charges is presented along with its parameters extraction procedure. This model is embedded in the ECLSM, which is then implemented in CAD software and validated by pulsed and continuous large‐signal measurements of on‐wafer 8 × 125‐μm GaN on SiC substrate HEMT. Pulsed IV simulations show that the model can efficiently describe the bias dependency of trapping and self‐heating effects. Single‐ and two‐tone simulation results show that the model can accurately predict the output power and its harmonics and the associated intermodulation distortion (IMD) under different input‐power and bias conditions. © 2012 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2013.