基于保护分散式抽象方法的可扩展操作系统设计

为了提供高性能和柔性，操作系统内核应该只保留最小的功能，今天的操作系统大而低效，更缺乏柔性，我们提出了保护分散式操作系统抽象方法，集成了分散式操作系统抽象和保护抽象的方法，这种新的安全方式在分散式抽象系统里共享用户级的抽象，能够使非特权，不信任的任务在运行时定义并安全的共享生成的抽象，它在对相同的抽象重复调用时，通过消除上下文切换的需求和对通常情况进行优化，可获得较好的柔性，保护分散式抽象的设计强调简单并正确性证明，易于理解和使用，文章介绍了保护分散式操作系统抽象方法，并运用该方法开发了一个基于共享库的原型操作系统－ExLinux/LibOS.     

三峡三期工程主坝大体积混凝土内部温度控制

三峡右岸三期工程施工中,为了有效控制坝体大体积混凝土内部温升,采取了高温季节使用预冷混凝土浇筑、控制混凝土出机口温度及浇筑温度、对混凝土内部人工通水进行初冷、中冷和后冷等措施。三峡三期工程大坝混凝土内部温度没有出现超标现象,混凝土温控工作取得了良好的效果。     

目标RCS动态数据的分布特征研究

复杂目标在不同视向的RCS分布特征是不同的，传统模型对此都没有给出详细的结果。文中以某歼击机和直升机为对象，应用X^2。分布、对数正态分布和瑞利分布模型，以及Kolmogomv拟合优度检验方法，研究其RCS动态测量数据的统计分布特征，得到了在一定显著性水平下，两种目标在不同视向角下对三种模型的拟合效果，同时得到应用X^2。分布拟合时模型半自由度随视向角的分布情况。在显著性水平为0．05时，对于在较短时间内录得的复杂目标动态RCS数据，应用X^2分布可以取得较好的拟合效果。文中结果精确地描述了目标RCS的起伏特征，能够为目标回波的精确模拟与检测提供可靠的依据。     

DMT系统中一种易于实现的时域均衡器

总结了DMT系统中时域均衡器(TEQ)的主要设计方法，指出最大缩短信噪比(MSSNR)TEQ的最优设计方法很难实时实现。提出了一种MSSNR TEQ的次优设计方法，它首先估计出目标抽样窗的最优延迟，然后用分步求解法求出TEQ的抽头系数。和最优方法相比，次优方法的计算量大幅度减少，可实时实现，而其缩短信噪比的损失很小。仿真实验验证了次优方法的有效性。     

组合结构体的控制爆破拆除

根据待拆构筑物的结构特点和周围环境，分析论述构件倒塌的可能性。因地制宜选择，制定出合理的爆破方案。并通过对爆破参数，起爆网络，安全防护等进行精心设计和施工，拆除爆破达到了预期的效果。     

基于SNMP的VLC视频流转码设计和实现

讨论了在Internet上进行网络设备管理的问题，描述了在Linux 9．0环境下，基于UCD-SNMP，使用VLC软件，根据远程用户的需求和VLC转码板提供的功能，实现对VLC转码板的代理端MIB库扩展，以及网络管理端的设计。测试实验证明了所提方案的有效性。     

反铁磁晶体的红外频率特性

研究了红外频段非线性s偏振表面波在反铁磁晶体和电介质交界面上的频率特性，求出了非线性色散方程，揭示了非线性s偏振表面波存在一个临界频率，低于这个频率，非线性s偏振表面波的频率范围，发现功率不再是决定导波频率范围的唯一因素，两种材料的介电常数比在这里起了至关重要的作用。     

嵌入式操作系统在HDTV机顶盒中的应用

介绍一个高清晰度电视机顶盒方案中软件系统的系统结构，阐述了机顶盒软件中使用的嵌入式操作系统STLite/OS20的原理及其特点，并举例说明了这个嵌入式操作系统在机顶盒系统中的使用。     

声诱饵仿真试验系统

介绍了声诱饵仿真试验系统的组成、工作原理、对接装置结构等,建立了对接装置声耦合状态下的数学模型,对近场声压分布进行了仿真计算,得出了匹配材料厚度、发射和接收换能器的选取原则。     

日本清酒入门(五)

简要介绍日本清酒的生产方法，包括酒的知识、精米、蒸米、制曲、酵母、分析、勾兑等。