地下管线雷达探测图像处理及解释系统

针对非开挖施工的特点及需要,开发了地下管线雷达探测图像处理解释软件系统;通过对若干关键问题的研究,实现了不同类型雷达数据的共享数据处理、基于人工神经网络技术的探地雷达剖面的智能解释、解释成果的三维可视化等功能,并可根据解释获得地下管线分布数据,系统自动设计非开挖钻进轨迹;现场验证及试用结果表明,该软件系统对地下管线的判别具有较高的可信度,可为非开挖施工提供准确的资料及指导非开挖施工.     

用MMC扩展技术实现活动目录扩展属性的管理

首先简要介绍了微软的活动目录及如何实现活动目录的访问。然后介绍了微软的控制台技术和控制台的开发，尤其是对已有控制台的扩展。最后介绍了如何开发一个扩展的snap-in来实现控制台的扩展。     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

糖尿病血管内皮细胞功能异常及其机理

糖尿病血管病变（Diabetic vasculopathy）是糖尿病患者致残死亡的首要原因，多种因素参与了这一病理过程，其中血管内皮细胞功能异常起重要作用。随着糖尿病患者血糖升高，患者血管内皮功能受损逐渐加重，与脂代谢紊乱、胰岛素抵抗、氧化应激等多种因素相互影响。认识血管功能的异常，探索其发病机理，对有效预防糖尿病大血管病变，提高患者生存率及生存质量是十分重要的。     

采用CPLD的智能型多功能数字测频仪

介绍以89C51为CPU，采用CPLD作测试电路的智能型多功能数字测频仪。系统具有频率／周期测试、脉宽／占空比测试及显示功能。文中详尽介绍了系统的工作原理及硬件电路和软件设计。     

利用排队论探讨多层拦截巡航导弹的问题

以多层拦截巡航导弹为军事背景 ,建立了相应的排队论模型。通过此模型可以对多层拦截的效果进行评估 ,从而使整体拦截效果达到最优。此方法切实、有效 ,对研究多层拦截的兵力配置及拦截效率 ,提供了理论支持 ,具有指导意义。     

地球化学异常对白银市供水水源影响预测

白银地区为多金属成矿区.因其特殊的地球化学环境,拟建的城市生活用水供水工程区,铜、铅、锌、砷、锰、镉等元素的背景值较高.本文通过对水源库的水环境分析,以镉元素水库水质影响设计出未来水源库运行条件下的水质模型,预测了在水库设计运行方案下近期和远景水库水质可满足生活饮用水卫生标准的结论.     

用AUTHORWARE开发多媒体教学软件

以一类常见的函数图像为例，用AUTHORWARE实现编程，使用设计窗口中的框架、交互、导航连接等图标以及超文本应用的来完成这类曲线的绘制及相关的课件(CAI)制作过程，同时使用自定义函数和引入外部函数来完善Authorware的图形类函数。     

界面裂纹奇异积分方程的极限法推导

采用Muskhelishivili复变函数的方法,将两相材料中倾斜裂纹应力场基本解,直接退化得到两相材料界面裂纹的应力场基本解,并尝试性地采用极限分析方法导出了两相材料界面裂纹的奇异积分方程。     

整体无阀机构太阳能冰箱的应用研究

在太阳能固体吸附循环制冷的基础上，采用无阀机构连接优化设计后的吸附床、冷凝器、蒸发器，构建成新型无阀机构的太阳能冰箱．将该太阳能冰箱分别在实验室内及实验室外进行静态实验及动态实验，得出了系统在一定辐射能量后的对外性能特性．所开展的研究工作为实用化的太阳能冰箱奠定了基础．