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

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

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

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

浅谈高校后勤服务中的安全管理

随着高校后勤社会化改革的不断发展，高校后勤在市场经济的大潮中不断完善、不断发展，与此同时，高校后勤又面临着进一步深化改革、建立新型服务关系和体制机构以及如何加强安全管理的新形势。如何去适应新的形势的要求，如何提高安全管理的水平，就成了摆在我们面前首先要解决的问题，着重分析了高校后勤服务中的安全管理的目的和意义，指出了高校后勤服务活动中常见事故点，分析了安全事故成因，明确了高校后勤服务中的安全管理的任务，对高校后勤安全管理的发展方向进行了探讨。     

以经营者人力资本效用价值为主导的激励模型研究

对经营者激励机制的研究在我国已有多年，但一直未形成良好的激励体系。本文提出的以经营者人力资本效用价值为主导的激励模型是在企业效益分离的基础上，以股票期权和股票期股的组合方式设计的激励模式。     

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.     

玩忽职守罪犯罪构成的立法研究

玩忽职守犯罪是职务犯罪的一种。统计资料显示，在我国，每年因玩忽职守而造成的损失是惊人的。为了完善我国对玩忽职守犯罪的立法，本文就外国刑法关于玩忽职守罪的犯罪构成的立法规定进行比较研究。     

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

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

四喷管射流流场的数值模拟及分析

本文分析了ENO格式的特点，并应用于全NS方程的迁移项和压力项，模拟了三维射流，首先计算了四喷管射流干扰流场，给出了相应的计算结果，指出了其四股射流外部有形成类似一股射流波系的趋势，而内部四股射流始终存在并相互作用，且伴随流对内部干扰流场有重要影响；然后计算了四股射流流入圆管内的流场，给出了壁面和截面物理量的分布，分析了其拓扑结构。     

开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

卫星图像采集任务调度系统的设计与实现

随着卫星遥感技术的高速发展 ,卫星图像在众多领域有了广泛的应用。文章给出了一个卫星图像采集任务调度系统的总体结构及其功能 ,讨论了该系统实现过程中的卫星资源描述、卫星图像采集任务描述、调度引擎、卫星时间窗口的仿真计算、调度结果的可视化展现等关键技术 ,归纳了系统的特点 ,并总结了今后系统的研究方向