基于WindML的 VxWorks图形驱动研究

嵌入式系统的应用越来越广泛,人们对嵌入式产品的要求也越来越高,不但要求产品能够应用,而且要求产品能够提供人性化的操作界面.VxWorks作为优秀的嵌入式操作系统,其图形开发组件WindML提供了一系列的图形API函数,以及多种键盘、鼠标、字体和显示芯片的驱动,使得用户更容易在嵌入式系统设备上实现图形用户界面.     

电信收入保障中数据稽核平衡关系式的研究

数据稽核是电信行业中实现收入保障的有效方法之一。然而,目前的数据稽核方法缺乏理论基础,为此根据收入保障实践基础上提出了一种基于平衡关系式的数据稽核方法,对平衡关系式模型及其中的数据实体模型进行了形式化定义和业务描述,最后以某省电信收入保障项目——财务稽核系统进行了实际验证。     

电磁搅拌技术在连铸生产中的应用

论述了各种电磁搅拌在连铸机上的应用及效果。     

TD小区合并研究报告

本文详细介绍了TD网络中小区合并技术的基本原理,场景应用,最后总结了小区合并技术在现网的实际应用情况。小区合并技术对于快速建设优质的TD网络有着十分重要的意义。     

微内核架构内存管理的形式化设计和验证方法研究

由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS（Verified Secure Operating System）内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的.     

基于暗通道先验和核回归的图像去雾研究

在雾霾天气条件下,由于大气粒子的散射作用导致观察到的图像质量在一定程度上有所下降。本文提出一种基于暗通道先验知识和局部多项式核回归的图像去雾方法。首先,根据暗原色先验原理估计出大气光强度和初始透射率。其次,采用局部多项式核回归对透射率进行平滑和细化。最后,利用细化后的透射率和估计的大气光强度恢复雾天图像。实验结果表明,采用该方法可以有效地实现去雾。与目前最先进的方法相比,处理后的图像保留了更多的细节信息,且提高了图像清晰度。     

基于位置与标志分离的访问控制列表优化

在前期工作的LISA体系结构下,提出了IBAC模型,提供了更加精确和高效的网络访问控制,然而,IBAC增大了访问控制列表的处理开销。为此,对访问控制列表的规则组织结构进行了分析和优化,模拟实验证明了优化方法的有效性。     

人乳头瘤病毒主要衣壳蛋白L1在大肠埃希菌中的表达

目的探讨在大肠埃希菌中不同因素对高危型人乳头瘤病毒(human papillomavirus,HPV)L1蛋白表达的影响,为研发针对多型别HPV的低价、广谱疫苗奠定基础。方法通过采用非融合、不同融合蛋白形式,不同基因型HPV L1序列,以及同一基因型但不同序列特征等构建HPV L1非融合及融合表达重组质粒及HPV L1谷胱甘肽巯基转移酶(glutathione-S-transferase,GST)融合表达质粒,转化不同宿主菌(大肠埃希菌DH5α、BL21),在不同的温度下(37、20℃)进行IPTG诱导表达,12%SDS-PAGE分析融合蛋白的表达及其可溶性,Western blot鉴定表达的融合蛋白。结果 HPV 16 L1蛋白在GST融合蛋白形式下获得了高效表达,而非融合表达或硫氧还蛋白融合表达未见明显目的条带;不同的宿主菌未对GST融合蛋白表达水平产生明显影响;在37℃培养条件下,表达的GST融合蛋白以包涵体形式存在,而在20℃培养条件下,部分表达的蛋白以可溶性形式存在;HPV 16 L1基因不同序列获得了类似的表达水平;经酵母密码子优化的HPV 18 L1与HPV 58 L1基因均能以GST融合表达形式获得与HPV 16 L1相似的高效表达。结论在大肠埃希菌中以GST融合形式可获得多基因型别HPV L1蛋白的高效可溶性表达,为病毒样颗粒体外折叠制备奠定了基础,也为其他外源基因在大肠埃希菌中的高效表达提供了参考。     

TD小区合并研究报告

本文详细介绍了TD网络中小区合并技术的基本原理,场景应用,最后总结了小区合并技术在现网的实际应用情况。小区合并技术对于快速建设优质的TD网络有着十分重要的意义。     

基于模型跟随的直升机飞行控制与仿真

研究直升飞机飞行控制优化问题,由于控制系统为多变量、非线性系统,造成稳定性和实时性较差。为使直升机飞行品质满足ADS-33性能要求,提出采用模型跟随控制方法为基本结构,结合鲁棒特征结构配置对直升机飞行控制系统进行设计。首先根据ADS-33的性能指标设计理想模型,然后利用模型跟随控制方法构造整个控制系统的框架结构,并采用线性系统的鲁棒特征结构配置对控制器的参数进行设计,并对控制结果进行仿真,结果表明直升机飞行品质达到ADS-33性能指标要求。