室内用水暴气过程逸出的氡扩散模型

采用塑料杯型监测器和SY—1型CR—39塑料探测器,对北京中关村部分家庭卫生间、厨房和单位浴室布点进行累积监测,结果表明在用水暴气过程中氡随之逸出并向周围环境扩散,使用水处附近氡浓度比不用水处高,但随离用水处距离的增加而明显下降。建立了逸出的氡扩散数学模型,得出氡从马桶水、厨房和浴室水龙头处向室内外扩散系数分别为:6.597×10~(-9)、5.934×10~(-9)、3.560×10~(-9)m~2/s。     

花岗岩体单裂隙中核素迁移数学模型：Ⅲ.扩散模型及其有限单 …

以北京市阳坊地区地表新鲜花岗岩为实验介质,在含有天然裂隙面切割的花岗岩柱中进行了核素扩散实验。考虑了花岗基质扩散、裂隙表面吸附和基质吸附等因素对核素扩散的影响,着重探讨了花岗岩基质扩散对核素在裂隙中迁移的影响。建立了相应的二维扩散数学模型,运用有限单元法求得其数值解。     

虚拟共享存储系统中核外计算的实现

本文提出了在虚拟共享存储系统中实现核外计算的方法,对如何把核外计算与共享存储编程环境相结合进行了详细的讨论,提出了核外化页面表的概念,给出了相应的数据结构描述;同时,举例说明这种实现方法的优越性,并提出了实现过程中的一些优化方法。     

宁波地区中式菜名的英译研究

俗话说:民以食为天。中国饮食文化源远流长,在海外享有盛誉,令不少外国朋友赞不绝口。在这种情况下,中国菜的英译就有举足轻重的作用。然而事实上,中国菜的英语翻译非常混乱,没有统一的标准。这对向世界推广中国文化是不利的。本文以奈达的功能对等翻译理论为依据,以宁波地区的菜单为例,论述了中式菜名的英译。本文分析了中式菜肴的特点,重点讨论了中式菜名的有效翻译方法。     

SIMD指令集设计空间的形式化描述

SIMD (Single-Instruction-Multiple-Data)并行体系结构在现代处理器体系结构中扮演非常重要的角色.SI MD指令集已经成为处理器指令集中重要的子集.SIMD结构和指令集实现了短向量并行处理能力,SIMD指令集实现了对多种数据类型、多种操作模式的支持.采用形式化的方法,描述SIMD指令集的设计空间,从多个正交的维度刻画SIMD指令集的设计,基于此详细讨论了SIMD指令集的设计问题.该形式化方法有益于对SIMD指令集体系结构的分析和设计.     

典型编译器自动向量化效果评估与分析

SIMD(Single-Instruction-Multiple-Data)体系结构在现代处理器体系结构中扮演重要的角色。多种国产高性能通用处理器也大都实现了SIMD结构。SIMD体系结构提供了短向量数据并行处理能力,编译器自动向量化是应用程序获得性能提升的主要手段之一。使用成熟的支持SIMD的商用处理器平台评估典型编译器自动向量化的效果,对于处理器体系结构的设计以及编译器的分析和设计非常有益。采用SPECCPU2006和SPECOMPM2001基准测试程序,评估了典型编译器(包括Intel编译器、PGI编译器和GCC编译器)的自动向量化的效果。并且以产品级的开源编译器GCC为目标,用手工编写的程序片段(主要是多种类型的循环结构)评估了当前GCC编译器自动向量化的效果,并深入分析了GCC编译器中现有的自动向量化的能力和局限。此项工作为进一步研发高效的编译器自动向量化提供了有价值的参考。     

一种实用的自动代码划分算法

在编译器中进行自动代码划分然后采用代码重叠技术,是内存容量较小的处理器发挥性能的关键技术之一。随着异构多核处理器的出现,这类处理器通常作为协处理器。本文提出了一种实用的自动代码划分算法,并面向Cell处理器在GNU工具链中进行了实现。该算法首先根据调用频率发现调用热点,然后采用简化的聚类方法进行热点指导的分区聚集,最后进行容量指导的分区合并。实验结果表明,算法复杂度较低并能取得很好的效果。     

智能直流测试仪的测控系统

本利用软件工程的思想分析了测控系统的测试需求，介绍了测控系统的数据结构图，定义了数据结构图的所有元素。采用了面向对象的设计方法设计了测控系统，并且详细设计了系统的可靠性。     

利用探地雷达探测黄河弯道及桥墩周围冰层厚度

黄河河道冻结结冰过程是黄河防凌汛研究的一个重点,进行弯道和桥墩周围冰层厚度的探测对防治冰凌灾害具有重要的意义。探地雷达对冰厚探测具有便携、高效、连续、快速、实时等优势。雷达天线的频率决定雷达波的穿透深度和分辨率。从雷达图像上可以清楚的识别空气-冰界面和冰-水界面。通过现场打孔测量冰厚数据反算雷达波在冰层中的传播速度进一步提高了测量结果的准确性。测量结果清楚的显示了弯道及桥墩处冰厚分布不均匀。桥墩北侧冰层较厚,弯道主河道处冰层较厚。200 MHz天线的探地雷达可以穿透黄河冰层,雷达图像可以清楚地显示冰-水界面。冰层厚度测量为分析黄河冰的冻结、融化过程以及冬春开河期冰塞、冰坝的治理提供了基础数据。     

暴雨条件下小型水库预警模式研究

暴雨来临前,为提前预警小型水库坝前水位,充分准备防洪调度及抢险方案,基于历史降雨资料及设计资料,采用降雨-径流模型,预测不同暴雨强度条件下的坝前水位,分析水位变化对大坝的影响,最后构建气象预报-水位预警-防洪抢险三位一体的小型水库汛期安全预警模式。该模式可以解决小流域内水库安全度汛的问题。以花果山水库为例,根据该小流域内近50 a的降雨资料,预测基于灰色理论的流域内小尺度预报的2018年暴雨、设计暴雨和基于国家气象部门大尺度预报的极端暴雨等3种模式下的坝前水位,对比分析得出极端暴雨条件下会有漫坝风险,同时提出了该水库蓝色、黄色、红色三级水位预警方案以及应对不同水位预警的应急调度及抢险措施。