一种基于虚拟页地址映射的NAND Flash管理算法

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.     

中华世纪坛旋转噪音测试方法的研究

着重阐述了中华世纪坛在实际工作中为解决噪音问题所采用的测试方法，寻求一种解决长时间、多数据测试分析的途径。     

热处理作业系统中安全性评价的AHP方法

本给出了系统安全性评价的AHP方法，叙述了该方法的基本步骤，并以沈阳某集团公司热处理弹簧厂评价的实例说明了该方法的有效性。     

High energy-density propulsion—reducing the risk to humans in planetary exploration

The potential benefits to humankind of space exploration are tremendous. Space is not only the final frontier but is also the next marketplace. The orbital space above Earth offers tremendous opportunities for both strategic assets and commercial development. The critical obstacle retarding the use of the space around the Earth is the lack of low cost access to orbit. Further out, the next giant leap for mankind will be the human exploration of Mars. Almost certainly within the next 30 years, a human crew will brave the isolation, the radiation, and the lack of gravity to walk on and explore the Red planet. Both of these missions will change the outlook and perspective of every human being on the planet. However, these missions are expensive and extremely difficult. Chemical propulsion has demonstrated an inability to achieve orbit cheaply and is a very high-risk option to accomplish the Mars mission. An alternative solution is to develop a high performance propulsion system. Nuclear propulsion has the potential to be such a system. The question will be whether humanity is willing to take on the challenge.     

俯斜墙背条件下朗肯与库伦土压力理论的研究

从挡土墙抗滑、抗倾覆安全系数和挡土墙的主动土压力两个角度，研究建立在朗肯土压力理论与库伦土压力理论基础上的不同主动土压力计算方法所带来的误差，认为在俯斜的挡土墙墙背条件下，应使用抗滑、抗倾覆安全系数来判断土压力计算方法是否合理。     

Space-Wise,Time-Wise,Torus and Rosborough Representations in Gravity Field Modelling

The decade of the geopotentials started July 2000 with the launch of the German high-low SST mission CHAMP. Together with the joint NASA-DLR low-low SST mission GRACE and the ESA gradiometry mission GOCE an unprecedented wealth of geopotential data becomes available over the next few years. Due to the sheer number of unknown gravity field parameters (up to 100 000) and of observations (millions), especially the latter two missions are highly demanding in terms of computational requirements. In this paper several modelling strategies are presented that are based on a semi-analytical approach. In this approach the set of normal equations becomes block-diagonal with maximum block-sizes smaller than the spherical harmonic degree of resolution. The block-diagonality leads to a rapid and powerful gravity field analysis tool. Beyond the more-or-less conventional space-wise and time-wise formulations, the torus approach and Rosborough's representation are discussed. A trade-off between pros and cons of each of the modelling strategies will be given. This revised version was published online in August 2006 with corrections to the Cover Date.     

国家助学贷款存在的问题及对策分析

国家助学贷款是一个利国利民的好政策,理论上能够实现国家、银行、学校和学生四方共赢。但从1999年推行以来并不顺畅,国家助学贷款也就成为社会热点话题之一。通过比较政府、银行、学校和学生各方的利益、代价和风险,分析出国家助学贷款中存在的问题及成因,最后提出解决问题的对策。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

高校食堂社会化改革对策分析

为加强高校食堂管理,确保食品卫生安全和价格实惠,对高校食堂的经营和管理模式进行了深入的分析。通过科学管理,规范经营,既提高了食堂服务质量,又能确保师生的饮食卫生安全和实惠。对推进高校院后勤社会化改革具有积极的意义。     

几何分布参数的区间估计和统计贴近性研究

给出了几何分布产品全样本场合下参数的近似区间估计,通过Monte-Carlo模拟考察了区间估计的精度,并与Bootstrap置信限作了比较,最后研究了几何分布和离散寿命分布类的统计贴近性。