Visual Prolog智能集成开发环境评述

Visual Prolog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。本文全面评述其功能特点，包括Visual Prolog的由来与发展，可视化开发环境，可视化编程接口，语言与编译器，运行环境等。     

三维三分量采区地震勘探应用效果

论述了三维三分量地震勘探的工作方法及利用该方法在小断层、薄煤层及煤层裂隙探测等方面取得的地质成果     

北方地区淡水危机与湖泊生态恢复

把水资源危机严重的北方地区作为研究区域，分析了北方地区湖泊生物多样性的历史与现状，阐述了长期以来北方地区湖泊管理的误区，建立了湖泊生态安全评价指标体系，提出了北方地区湖泊恢复与可持续发展对策：以确定湖泊生态环境需水量为核心，为湖泊实施科学管理；加强湿地保护和恢复、重建；大力发展适合我国国情的生态环境工程。     

高校体育课程设置的策略研究

从构建体育素质教育体系出发,对体育院系、普通院校、成人院校的体育课程设置进行宏观探讨,提出改变几十年一贯制苏式体育课程模式,对于创建全新的体育课程体系提出了总体思路.     

圆锥面截交线投影特性的研究

运用解析方法对圆锥面曲线为椭圆时的投影进行了分析研究，明确了截交线投影在特殊情况下可以为圆，并确定了不同情况下截平面相对于轴线的位置。     

面向产品族规划的核心平台数学描述及确定方法

提出了解决在面向产品族开发中核心平台 (面向产品族规划时的核心部件 )的定量确定和分析方法。通过分析面向产品族的用户需求和基于功能的产品开发过程 ,应用质量功能配置 (quality functional deployment)矩阵进行关系映射 ,利用数学描述模型完成定量化表示 ,实现功能和实体部件层次的关联表达 ,给出了确定和分析核心平台的方法。提出的理论模型适用于面向产品族规划的新产品开发和老产品整理中核心平台的确定和分析问题 ,对于企业扩展产品频谱以更好适应市场需求具有重要的指导意义。     

利用模拟退火算法对200 MW供热堆堆芯核设计的优化

对 2 0 0 MW核供热堆装载模式 (燃料组件布置、可燃毒物棒根数和可燃毒物质量分数配置 )进行了优化。利用模拟退火算法和先进格林函数节块法进行多步燃耗优化计算。引入敏感性系数 ,并通过敏感性分析的方法决定优化参数 ,因此在单目标和多目标优化时均取得了明显的效果。对组件布置和可燃毒物质量分数的优化计算结果表明 ,在不改变原有的富集度和组件类型的前提下 ,与参考值相比 ,优化后的循环长度、功率峰因子和卸料燃耗均有明显的改善。该燃料管理方法不仅可用于低温堆而且也可以推广到压水堆     

矮岩羊种群的生态学资料

利用路线调查方法分别于1998年7-8月和2000年7-8月对巴塘县的矮岩羊（Pseudois schaeferi）种群进行了初步研究，结果显示，从20世纪50年代以来，矮岩羊的种群数量下降很快，目前主要栖息在巴塘县的竹笆笼到苏阿龙一带河谷及支流两侧陡峭的、难以攀越的悬崖绝壁上的岩壁草丛环境中，面积大约200km^2的范围内，数量大约在141只左右，活动群体的大小为2-10只，种群平均密度为0.705只/km^2，矮岩羊生性胆小，易受惊吓，休息时喜欢用前脚刨地，约占休息时间的1/3。森林面积的锐减，人为猎杀，过渡放牧是影响矮岩羊种群数量和生存环境的主要原因。     

调度指挥在铁路安全生产中的作用

从确保安全生产和提高铁路运输效率两个方面，阐述了调度指挥在整个铁路运输中具有的重要作用，提出了搞好铁路运输调度工作的措施。     

亚纯函数族正规性的进一步结果

20多年前，L.Zalcman证明了一个刻化平面域上全纯与亚纯函数族正规性的引理。多年来，许多作者改进了这个引理，并用这类引理在函数论及相关领域中证明了许多重要的结果。本文综述这类引理在近几年的发展和它们的惊人应用。