基于ARINC629的层次化验证平台设计

结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。     

小波尺度参数对粒子场数字全息重建图像的影响

在小波尺度参数取值范围研究的基础上,探讨了小波尺度和粒子衍射波尺度的关系（即衍射波覆盖率）,深入研究了小波尺度对重建图像分辨率、景深、信噪比以及粒子图像灰度分布的影响.研究结果表明：当小波函数尺度能够覆盖颗粒衍射波的中心和二环区域时,重建图像的分辨率高、景深小和信噪比高,否则,重建图像质量将无法保证.但是,较大的小波尺度将使重建图像的灰度分布在光轴方向产生振荡,不利于颗粒的空间定位.     

碳化硅表面氢气吸附机理研究

在CVD沉积SiC过程中,载气体H2与沉积SiC基体表面的反应影响沉积速率和沉积产物品质,因此研究这些微观反应机理具有十分重要的科学意义和工程价值。本文基于第一性原理研究了H2在3C-SiC(111)（硅原子暴露面）和3C-SiC(-1-1-1)（碳原子暴露面）面的吸附位置、吸附能、电子结构和覆盖率等吸附情况。发现H2倾向于吸附在3C-SiC(111)面,H原子的最稳定吸附位为OT位（顶位）且属于化学吸附。H2在吸附时会自发解离为两个H原子,以双顶位形式吸附在两个相邻的Si原子上。该过程中基体表面Si原子的电子向H偏移,此时两者的主要相互作用源于Si原子的p轨道和H的s轨道的重叠杂化。通过计算氢气在表面的覆盖率,发现吸附能随着覆盖率的增大而增大,在低H覆盖率(θH≤4/9 ML)下,H原子之间存在着较强的吸引力,随着H覆盖率的增加(θH＞4/9 ML),H原子之间排斥力逐渐增大,吸附能增加趋缓,整体结构更加稳定。     

Comparative study of adsorption characteristics of Cs on the GaN （0001） and GaN （0001） surfaces

The adsorption characteristics of Cs on GaN （0001） and GaN （0001） surfaces with a coverage from 1/4 to 1 monolayer have been investigated using the density functional theory with a plane-wave uttrasoft pseudopotential method based on first-principles calculations. The results show that the most stable position of the Cs adatom on the GaN （0001） surface is at the N-bridge site for 1/4 monolayer coverage. As the coverage of Cs atoms at the N-bridge site is increased, the adsorption energy reduces. As the Cs atoms achieve saturation, the adsorption is no longer stable when the coverage is 3/4 monolayer. The work function achieves its minimum value when the Cs adatom coverage is 2/4 monolayer, and then rises with Cs atomic coverage. The most stable position of Cs adatoms on the GaN （000i） surface is at H3 site for 1/4 monolayer coverage. As the Cs atomic coverage at H3 site is increased, the adsorption energy reduces, and the adsorption is still stable when the Cs adatom coverage is 1 monolayer. The work function reduces persistently, and does not rise with the increase of Cs coverage.     

“110警车配置及巡逻方案”评阅综述

介绍2009年全国研究生数学建模竞赛D题的命题思路及解题方法,并对评阅结果进行了综合评述.     

部分线性度量误差模型中的经验似然推断

部分线性度量误差模型(Partial linear measurement error model)是经典的部分线性模型的推广．在此模型中,我们假定解释变量含有度量误差．本文,我们把经验似然推广到部分线性度量误差模型,得到了非参数的Wilk's定理．我们的方法可以用来构建置信区间(域),也可以用来检验．数值模拟表明,我们的方法在构建的置信区间长度以及覆盖率方面有很好的结果．     

红外光学系统的污染镜面杂散辐射分析

以卡塞格伦结构为例,利用ASAP光学分析软件,建立了红外光学系统的三维仿真模型,在光学元件表面存在均匀分布和非均匀分布的微粒污染情况下,对红外光学系统的杂散辐射特性进行了仿真和比较分析,对影响系统杂散辐射特性的主要因素进行了讨论,并对系统中机械元件的杂散辐射路径进行了分析。在此基础上,采用有效发射率对系统的杂散辐射性能进行了评价,讨论了镜面污染程度对红外光学系统杂散辐射性能的影响。     

不平衡两因素套设计模型中方差分量比的区间估计

给出了次样本容量相等时,不平衡两因素套设计模型中方差分量之比的广义区间估计.为了研究所得区间估计的优良性,并与Burdick,Birch and Graybill给出的修正大样本(MLS)方法进行对比,进行了模拟研究和分析.结果表明所得方法优于MLS方法,特别是在极端不平衡情形.     

基于Avalon-MM的I2C总线控制器设计及VMM验证

摘要： 分析了Avalon-MM总线的架构以及I2C总线的传输方式,提出了一种可行的I2C总线控制设计方案,并说明了详细的实现过程。设计的基于Avalon-MM总线的I2C总线控制器可复用IP核,可以不加修改地应用在基于Altera公司产品的SOPC系统中。使用VMM验证方法学构建了多层次可复用的验证平台,对设计进行了全面的验证。整个验证平台使用systemverilog语言实现,仿真工具使用VCS-MX200606。最后仿真结果显示,设计被完全地验证并达到100%覆盖率。     

逆抽样下流行病发病率的逼近与渐近置信区间

流行病研究的重要任务之一就是较为精确地估计出疾病的流行程度.疾病的流行性通常用发病率来表征.由于置信区间估计是一种体现对发病率估计好坏的途径,所以它是估计边限的重要提示物.作者在逆抽样条件下探究了7种流行病发病率的逼近与渐近的置信区间估计.通过蒙特卡罗方法,广泛地比较了这些方法的表现性能.为了方便今后进一步应用此结果,制做了许多相应的表格.这些表格清楚地表明为了构造出具有指定期望值的置信区所需要的最小病例数.模拟的结果表明:就流行病发病率的区间估计的覆盖率与区间大小的稳定性而言,逼近与渐近方法要优越于精确方法.更多的研究表明:鞍点逼近型置信区间就控制覆盖率和平均区间长度而言表现得最好,因此,在实际应用中如果能得到,建议尽量使用它.