用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.     

用AUTHORWARE开发多媒体教学软件

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

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

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

EPP模式下并口在数据采集中的应用

基于各种并口的比较，介绍了EPP模式下并口的数据采集过程、硬件的连接、软件的实现，分析了该系统的技术特点，提出利用EPP模式下并口采集数据的优点和适用范围．     

储蓄凭条中手写体的提取与净化系统

给出了储蓄凭条手写体提取系统的设计与实现,包括预处理,建立模板,基线定位与去除,倾斜校正 处理,定位格去除和手写体净化分割等。重点讲述了图像二值化,手写体分割与净化算法。     

论FDI对西部制度变迁的影响及对策

本文首先对我国西部地区利用FDI的现状进行了描述 ,然后运用回归分析的方法分析了FDI和制度变迁的关系 ,指出FDI是影响区域制度变迁的重要因素 ,FDI在区域分布上的不均衡严重制约着西部地区制度变迁的进程。西部地区应该加快体制改革的步伐 ,改善投资环境 ,吸引FDI ,进而通过FDI带动西部地区制度变迁的进程 ,最终形成FDI和制度变迁相互推动、相互促进的良性循环。     

阿尔金断裂的研究现状及其控油意义

阿尔金断裂是中国西北一条巨型的NEE断裂构造,也是青藏高原的西北边界,它在青藏高原的隆升及中国大陆动力学演化方面有着及其重要的地位,一直成为国内外地学界研究的热点.断裂活动的时间、方式、速度及规模等是阿尔金断裂问题争论的焦点.针对目前国内外研究现状,结合柴达木盆地一些实际资料,认为阿尔金断裂带的活动具有多期次性,而至少在中新世时期开始阿尔金总体呈左行走滑的趋势;阿尔金断裂带对柴达木盆地与塔里木盆地的沉积构造演化起着重要的作用,从而对西部大陆构造格架及两侧盆地油气运聚具有重要的控制意义.     

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念，采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理，为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法．通过一个“过热警报”的应用实例说明了模糊事件-条件一动作(ECA)触发器的建立及其实现方法．     

几类图的独立约束数及独立加强数

利用归纳假设方法及图的独立数的一些定理，研究几类图——路、完全二分图、圈、树中的独立约束数及独立加强数．求出路、圈的独立约束数和独立加强数及完全二分图的独立约束数，并给出树独立加强数的界．