我国星载合成孔径雷达应用研究跨入世界先进行列

由我国著名遥感专家徐冠华院士和郭华东研究员负责主持的863星载SAR（合成孔径雷达）应用研究，已在北京中科院遥感所通过了有关专家的鉴定和验收，该项研究成果的完成，标志着我国星载SAR的应用研究跨入了世界先进行列。星载合成孔径雷达具有不受云雨天气和黑夜影响的成像能力及对某些地物的穿透性，是90年代迅速发展起来的一项对地观测的高技术，在许多领域具有广阔的应用前景。该研究项目由国家遥感中，C组织实施，有来自林业部、中科院，地质矿产部、海洋局、农业部、水利部和测绘局等7个部委50余名专家参加，内容包括星戴SAR的成像…     

苏联焊接科学技术的成就

随着科学技术的飞快发展,焊接越来越显示出它是一种先进的重要的工艺方法。在机械制造、建筑工程、国防工业及修理工作等部门中,焊接日益被广泛的应用。可以深信,在我国社会主义工业化的过程中,焊接亦将显示出重要的作用。近年来,我国在苏联的大力帮助和我国焊接工作者     

基于java的物流综合信息管理平台的实现

物流综合信息管理平台是没个企业必须拥有而且要重视的一个环节,对于企业的发展来讲发挥着不可替代的作用,没有这一平台,企业的信息管理便不能流畅的进行,用户也无法从中获取详细完整的信息和便捷的查询方式,一直以来人们固守于传统的人工管理信息的方式,殊不知这种方式缺点太多,而把Java语言运用于物流信息管理可以实现系统数据的一致性和安全性,其应用程序功能也非常适用于物流信息综合管理,本文就Java的物流综合信息管理平台的实现发表一下笔者自己的看法。     

Logic Programs,Compatibility and Forward Chaining Construction

Logic programming under the stable model semantics is proposed as a non-monotonic language for knowledge representation and reasoning in artificial intelligence. In this paper, we explore and extend the notion of compatibility and the Λ operator, which were first proposed by Zhang to characterize default theories. First, we present a new characterization of stable models of a logic program and show that an extended notion of compatibility can characterize stable submodels. We further propose the notion of weak auto-compatibility which characterizes the Normal Forward Chaining Construction proposed by Marek, Nerode and Remmel. Previously, this construction was only known to construct the stable models of FC-normal logic programs, which turn out to be a proper subclass of weakly auto-compatible logic programs. We investigate the properties and complexity issues for weakly auto-compatible logic programs and compare them with some subclasses of logic programs.     

湖州南太湖奥体中心工程

<正>湖州南太湖奥体中心位于湖州仁皇山新区,体育场外形如同湖州市花百合花,圆形外壳直径为260米,体育场屋面为两个交错叠合的空间网壳结构体系,为国内采用的第二例大跨度巨型网壳结构。高低两个屋面均由圆弧线沿着屋面水平投影轮廓旋转一周形成,并通过边界线切割而成双层开口网壳。在高低屋面之间,沿着中间椭圆洞口边缘一圈形成观光走廊。     

横流中单圆孔紊动射流计算与特性分析

给出了横流中单圆孔紊动射流的数学模型，采用k-ε紊流模式来封闭模型，运用壁函数处理近壁面的流动.对不同流速比的流动，结合混合有限分析法及交错网格进行了计算，其结果与试验资料吻合较好，进而给出了该类流动的特性，有趣地发现在这类流动中存在着分叉现象和马蹄涡结构     

悬臂方向对TLV空化抑制效果的影响及其机理

该文综合利用实验及数值模拟方法细致研究了悬臂式沟槽叶顶间隙泄漏涡(tip-leakage vortex, TLV)空化抑制器的悬臂凸出方向对抑制TLV空化效果的影响,并对其原因进行了深入讨论。研究表明:相比于原始水翼叶顶处的TLV空化,无论悬臂凸出方向指向水翼的吸力面还是压力面,悬臂式沟槽TLV空化抑制器在各个间隙大小下均能产生显著的抑制效果。相对而言,当所采用的悬臂凸出方向为压力面时,该装置对TLV空化的抑制效果更为显著,且可更有效地抑制TLV空化体积脉动。测量结果表明:悬臂凸出方向对水翼升、阻力系数影响均很小。数值结果则进一步表明:当采用悬臂凸出方向为指向压力面时,悬臂式沟槽TLV空化抑制器能更好地抑制流体从压力面流向吸力面,干扰TLV的生长,进而可以更加有效地抑制TLV空化的发展。     

刚性淹没双层植被明渠水流紊流特性研究

文章采用标准 紊流模型,结合雷诺平均Navier-Stokes方程,对刚性淹没双层植被明渠水流特性进行了研究。计算所得的流速值与实测值吻合良好,表明计算方法可行。进而根据空间及时间的双平均理论,给出了双平均条件下的明渠流速,雷诺应力及紊动能分布,并对紊动能平衡方程中的各项进行了分析。结果可以看出,刚性双层淹没植被作用下,垂向流速分布曲线由三个拐点将其划分为四个区域;雷诺应力及紊动能分布在植被顶端明显增强,高植被顶端各项值均大于低植被顶端相应值;紊动能平衡方程中的紊动耗散项及压力耗散项在紊动能平衡方程中起着主导作用;植被顶端区域产生的涡,通过喷射和扫掠作用使其附近水体发生质量及动量交换。     

浅水横流中底部水平热水射流近区的初始稀释--(Ⅱ)特性分析

对多种不同的流速比、不同的喷口密度佛汝德数的浅水横流中水平热水浮力射流进行了大量的数值试验，对整个流场的流动特性作了详尽的分析，得出流速比和密度佛汝德数是影响流场和温度场的主要因素。在大流速比情况下，射流存在分叉现象，流速比R=0．10为附壁（底）流动现象的临界值，并给出了最大入侵深度与流速比的拟合关系式。     

同流热污水排放的三维数学模型及计算方法

重点给出了这同轴单孔热浮力射流流动的三维数学模型和相应的计算方法，考虑了浮力对热排放的影响，最后结合典型且有效的试验资料进行计算，两者的对比表明，该模型和计算方法是可行的、有效的、从计算的表面压强分布看，采用“刚盖假定”来描述自由表面的边界条件，可以满足工程计算的要求。