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

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

基于WindML的 VxWorks图形驱动研究

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

宿主遗传因素对疫苗接种后免疫反应的影响

疫苗是当今世界预防感染性疾病的主要手段,在降低传染病的发病率和死亡率方面,几乎没有其他干预方式能够达到疫苗的效果。众所周知,机体对疫苗的反应与很多因素有关,包括年龄、性别、种族、身体质量指数、疫苗的质量、注射剂量以及注射方式等。但就同一种疫苗而言,机体的遗传因素在免疫应答中发挥着重要作用。研究表明,直接或间接参与免疫反应的各种基因,例如,宿主细胞膜上的病毒受体基因、先天Toll样受体(Toll-like receptors,TLRs)基因、细胞因子及其受体基因、人类白细胞抗原(human leukocyte antigen,HLA)基因等,其单个变异或多个的变异均可能与疫苗所引起的免疫应答水平相关。本文就人群遗传因素与免疫反应的相关性作一综述。     

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

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

TD小区合并研究报告

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

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

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

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

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

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

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

TD小区合并研究报告

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

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

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