用例及其制品的追踪性研究

需求的可跟踪性已经被反复证明是软件工程管理和软件系统质量的关键因素,其研究已成为需求工程的一个重要领域.20世纪90年代后期,在需求工程中大量应用了用例的方法,用例驱动已成为许多软件开发方法的特征.首先提出了用例应增量迭代开发的观点,给出了用例、用例的不同版本及用例开发和实现过程中产生的各种制品的追踪关系模型和应用追踪表和追踪矩阵表示和实现该追踪关系的方法,最后给出了可追踪性策略的实现步骤.     

一种新的单端输入迟滞比较电路

设计了一种结构特殊的迟滞比较器.电路为单端输入,翻转电压以及迟滞电压均由电路内部产生,通过对电路内部的参数调节即可改变翻转电压和迟滞电压的具体值.电路自身具有一个结构简单的电流源产生电路,不需要从外界获取偏置电压、仅由电源供电,因此有很强的独立性.通过0.6 μm CMOS工艺来实现,HSpice仿真结果表明:在3 V的工作电压下翻转电平可设置在100～240 mV之间,迟滞电压能精确到5 mV,瞬态响应时间小于1 μs.     

基于混沌噪声的抗功耗攻击技术

讨论了利用细胞神经网络产生混沌的基本原理,给出基于混沌噪声的防护技术的实施方法及实现结构,并分析了其安全性.实验结果表明,混沌噪声技术具有良好的抗功耗攻击能力,且具有可行性和普遍适用性;不仅易于集成和控制,而且可以保护多个不同密码算法模块免受功耗攻击.为防止攻击者采用诸如滤波和模式识别等信号处理技术消除功耗样本中的噪声提供了有效技术手段.     

热镀锌原板变速连续退火再结晶动力学

为了探讨热镀锌原板变速连续退火工艺参数与其再结晶的关系,对St01ZStO1Z钢种进行等温再结晶实测TTT图的墓础上,对其变速连续退火再结晶动力学进行了研究,采用差分法计算了连续退火温度场,获得了热镀锌板连续退火连续加热转变再结晶CHT图,并编制了相应的计算机程序,已用于生产实际,提高机组产能或者速度10%.     

耗散发展方程吸引子的分形结构

证明了一类耗散发展方程的吸引子具有分形结构，并且给出了这一结构，进一步发现吸引子的指数逼近型紧分形局部化序列，这一结果精细了一类发展方程吸引子结构     

A thermoacoustically driven cooler capable of reaching temperature below 77 K with no moving part

The pulse tube cooler has no cryogenic displacer and has attracted lots of attention in the field of cryocooler research. On the other hand, the thermoacoustic engine can generate self-oscillation and output work .without moving components. Combining both technologies leads to a cryogenic cooler system with no moving components at all,     

基于散射电场的飞机旋翼多普勒回波模拟

旋翼飞机飞行过程中会产生具有独特多普勒特征的雷达回波,通过对旋翼回波的准确模拟,可为不同类型飞机的精确识别提供重要依据.针对现有散射点叠加算法的假设缺陷,从目标高频电磁散射理论出发,提出了基于散射电场的飞机旋翼回波模拟方法.依据电磁散射场与雷达回波方程间的数学关系,发现目标回波的基带信号与目标后向散射电场的复振幅矢量具...     

界面处理和冷却条件对玻璃纤维与聚丙烯界面结合的影响 Ⅱ.不同冷却速度对界面剪切强度的影响

通过对玻璃纤维与聚丙烯界面剪切强度的测量,以及对其界面结晶形态的观测,发现界面产生横晶的充分条件是界面存在较强的相互作用和样品的缓慢冷却。提出了横晶形成机理,并推断横晶的形成会导致玻璃纤维与聚丙烯树脂界面结合强度的明显下降。用观测到的横晶与基体球晶的冲击线进一步证实了横晶形成机理     

服务组合中基于执行性能评价模型的人工任务调度方法

针对服务组合中人工任务的执行问题,给出了一个支持人工任务的组合服务执行引擎.该执行引擎将人工任务作为BPEL中的一个活动,并通过人工服务容器实现人工服务资源对人工任务的执行,能够保证人工服务资源与业务流程间的松散耦合.同时,针对人工任务的执行效率保证问题,建立了包括执行效率、负载均衡以及可靠性等性能指标的人工服务资源执行性能评价模型,以客观地反映人工服务资源任务执行的实际效果.在该模型的基础上,给出了人工任务调度问题的目标函数,并提出了基于执行性能评价模型的人工任务调度算法.实验结果验证了所提出的人工任务调度方法的有效性.     

一类不确定离散时间切换系统的鲁棒H_∞控制

针对一类不确定性离散时间切换系统,在任意切换的情况下研究了这类系统的鲁棒H∞控制问题.首先基于多Lyapunov函数法分析含有状态反馈控制器的切换系统的鲁棒稳定性和干扰抑制性能,得到了切换系统鲁棒稳定且具有H∞扰动衰减度的充分条件.其次运用线性矩阵不等式给出了状态反馈控制器的设计方案,举例说明了所提方法的应用.