可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

基于模拟退火—遗传算法的非线性密钥序列生成器线性复杂度研究

计算线性等价是研究非线性密钥序列生成器线性复杂度的有效方法。本文先介绍了计算线性等价的模拟退火法,然后使用遗传算法对该算法进行改进,最后使用一组密钥序列生成器对改进后的算法进行性能评估,并将改进后的算法和原算法进行了比较。结果表明改进后的算法能比原算法更有效的找到非线性密钥序列生成器的线性等价。     

小型病险水库除险加固工程措施

文章介绍了黑龙江省小型水库的情况,结合几座典型小水库实际存在的具体问题,分别采取不同的除险加固措施和方法,并阐述此类工程对农业现代化建设的意义。     

PECVD淀积SiO_2薄膜工艺研究

研究了等离子增强化学气相淀积（PECVD）制备非晶SiO2薄膜的工艺。系统地研究了反应气体流量比、射频功率、淀积腔内压强、淀积时间等工艺条件对SiO2薄膜质量的影响,采用椭偏仪测量了不同工艺条件下淀积的SiO2薄膜的厚度和折射率。根据以上测试结果分析了各工艺参数对SiO2薄膜淀积速率、折射率以及均匀性的影响规律,并定性讨论了其机理。找到了比较合适的制备高均匀性和典型折射率SiO2薄膜的工艺参数。     

智能公交系统中电子站牌的研究

针对国内智能公交系统的发展现状,提出了一种基于MICRF005无线数据收发芯片的电子公交站牌,与传统的收发器相比,该芯片在传榆距离和速率上有很大提高,从而改善城市公交服务质量.本文主要阐述了其工作原理,组成模块,功能以及软硬件设计.结果表明,该电子站牌可靠性高,功耗低.     

镱应力传感器的制作与应用

在数十MPa~2 GPa范围内的动态应力测量中,镱传感器的压阻系数高,可灵活埋置于待测材料中使用。该种传感器对研究冲击波在岩石、土壤、液体介质和结构材料中的传播与衰减规律显示出了优异性能。对国内外镱应力传感器研制工作进行了总结,介绍了该类传感器在爆炸、射弹侵彻、高速碰撞以及高能激光辐照等方面的应用,并指出了该种传感器存在的一些问题。     

一种红外CMOS读出电路相关双采样结构

介绍了一种改进的红外焦平面CMOS读出电路相关双采样结构,它结构简单,面积小,功耗小,时间利用率高.分析了其抑制KTC噪声和固定图像噪声(FPN)的工作过程,列出了与通常使用的相关双采样结构相比较的优势.仿真结果表明这种结构能有效消除KTC噪声和固定图像噪声.     

AVS帧间预测亮度插值模块的VLSI实现

为了推动音视频编码标准(AVS)解码芯片产业的发展,提出了一种基于AVS标准的帧间预测亮度插值电路的硬件结构.该设计将像素点按位置的不同分为三层,并采用了不同的流水线结构予以实现,充分利用了像素点之间的复用情况,兼顾处理速度和实现代价两方面考虑,硬件实现效率较高.满足了硬件资源以及系统时钟频率的要求.     

某旋翼试验台振动信号的采集与预处理系统

介绍了某直升机旋翼试验台的振动数据采集和预处理系统的设计和组成.其中信号采集系统分为两大部分:一部分根据同步脉冲测量旋翼转速、周期;另一部分由同步脉冲信号控制A/D转换器实现定点触发采集数据.信号预处理包括原始信号的降噪和整周期重采样.对比研究了时域平均和小波分解技术的降噪能力,结果表明该系统简捷有效.     

星球车松软星壤的轮腿式探测系统:Ⅱ-感知车轮

为增强星球车松软星壤的穿越通过能力,提出了轮壤交互接触信息的感知车轮设计。该车轮是一种星球车的前置轮腿式探测系统(WOLS)的关键部分,可实现动态轮壤交互的关键量测量(轮壤作用力/力矩、轮壤接触角和车轮沉陷量)。研究分析了轮壤力学的关键测量参量及其分组,完成了感知车轮的硬件设计和集成,提出了待测参数的在线测量模型和方法,通过标定校准和实车测试验证了该感知车轮的性能。