发汗冷却湍流换热过程的数值模拟

为了验证湍流二方程模型在数值模拟发汗冷却过程的适用性,在PHEONICS3.3软件平台上采用两层k-ε湍流模型对无发汗冷却和有发汗冷却时的矩形槽道内湍流流动和换热进行了数值模拟。计算结果表明:发汗冷却使得边界层显著增厚,壁面摩擦阻力因数大为减小;随着冷却气体流量的增加,壁面温度和局部对流换热系数都大大下降。在注入率为1%左右时,发汗冷却段的壁面温度相对值降到了20%左右,局部对流换热系数相对值降到了50%以下。所得到的计算结果与已有关系式符合得很好:注入率在2%以内时误差小于10%。     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

三维网格的生成

采用轴向拉伸法生成三维三棱柱网格．首先生成二维网格基面，选取三维场域的最复杂截面进行二维剖分，然后再将三维网格拉伸成三维网格．并画出了三维网格生成的流程图．     

m序列优选对及平衡Gold序列的产生与搜索

扩频通信系统需要相关性好的扩频码，因此，在分析m序列优选对，平衡Gold序列的产生方法和相关特性基础上，提出了一种采用C语言搜索m优选对和平衡Gold序列的计算机实现方法，给出了搜索程序流程图．该方法可以正确、快速地完成平衡Glod码的搜索，对扩频码的优选具有参考价值．     

再论生物安全

生物安全是指既要避免或减轻由现代生物技术对生物多样性保护和其持续利用以及人类健康可能带来的不利影响，同时也承认现代生物技术在提高人类生活质量，特别是在满足食物、农业及卫生保健方面所具有的极大潜力。认为重视生物安全的人都是对转基因生物的反对派，甚至提到是坚决的反对派，这种观点是极端错误的、有害的。基因污染事件已经在加拿大及墨西哥发生，对转基因作物及其产品使用得最多的美国，事实上也是在采用预先防范的原则来处理生物安全，因此，发展生物技术应强调生物安全。     

土地使用证管理计算机辅助系统设计

介绍了《土地使用证申报、调查、审核与颁发计算机辅助系统》(软件 )的开发背景 ,软件的需求 .功能、特点及实施过程 ,并提出土地管理信息系统建设的一点思考 .     

高雷诺数情况下钝体绕流的数值模拟

在高雷诺数 (Re=1× 1 0 4)情况下 ,利用流函数———涡量法在二维空间对半圆半椭圆的拼接体 (新月形覆冰导线的截面 )绕流流场的流动结构、涡的变化及气动力特性进行数值模拟 .将模拟过程用于圆柱体和半圆半椭圆拼接体 ,结果与前人的研究结果及试验值相吻合 ,验证了此数值模拟过程的合理性     

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

数字量水堰的应用研究

通过对原理和试验数据的分析，指出了入堰流量和溢流水库的形式是数字量水堰在应用中影响精度的主要因素，并对它们做了定量的分析研究。结果表明，使用数字量水堰能够获得零至足够大的非恒定流，流量精度可以达到5％的全量程，并具有理想的稳定性。     

长江口流场数值模拟中流速开边界条件的处理

建立了长江口平面二维流场数学模型，上游开边界取在徐六泾断面，外海开边界在余山以东。上游流速开边界条件采用新的流量过程校正法进行订正，较好地反映了上游径流对河口流场的效应，弥补了当缺乏上游实测流速资料时，用普通的流速开边界处理方法所引起的计算偏差。