论"数字校园"建设与系统设计

随着我国信息化建设步伐的加快，“数字城市”建设日益受到政府和社会各界的普遍关注和重视。“数字校园”作为“数字城市”的一个缩影，具有“数字城市”的基本特点和功能，对于我国高等教育的现代化建设具有重要意义。文中介绍了“数字校园”系统的建设原则和结构设计，并利用Visual C＋＋和地理信息控件MapX，实现了“数字校园”系统中的地理信息基本功能子系统。     

深过冷Cu-20Wt%Pb亚偏晶合金的凝固行为

采用熔融玻璃净化和循环过热相结合的方法，使Cu-20wt％Pb亚偏晶合金获得了208K的深过冷，在宽过冷范围内研究了Cu-Pb亚偏晶合金的组织演化规律。结果表明，过冷合金熔体初生相为α(Cu)，在0～146K的过冷度范围内，均有两次再辉现象；在183～208K的过冷范围内，只出现一次再辉。当△T≤98K时，合金凝固组织为粗大枝晶α 枝晶间Pb相；当116K△≤T≤146K时，凝固组织已无明显的枝晶形貌，组织由细密α基体 细小的Pb颗粒组成；当△T≥183K时，凝固组织与中等过冷度下的组织相似，只是Pb相更细小，分布更均匀。当△T≥133K时试样出现裂纹。     

改进二甲醚燃料润滑性能的研究

在国内首次研究了二甲醚(DME)燃料中加入不同种类和配比的润滑改进剂后两者的互溶特性、发动机排放性能的变化以及燃油系统偶件润滑性能和磨损的改进,从而为 DME发动机选择合适的燃料润滑改进剂提供重要依据.实验给出了3种润滑改进剂与DME的临界互溶温度曲线,可据此在不同季节和地区为DME发动机选择合适比例的不同润滑改进剂来使燃油系统获得足够润滑,同时保证润滑改进剂与 DME能完全互溶.实验结果表明:植物油作为润滑改进剂效果较好;DME中加入少量的润滑改进剂后不会使发动机的排放性能恶化.     

开放式架构的设备故障虚拟诊断中心的实现

针对远程诊断中缺乏会诊管理和协调机制的问题，提出了基于Internet，开放式架构的虚拟诊断中心的概念，设计了虚拟诊断中心的结构方案和专家协作机制．围绕被诊断对象构建了故障案例、基于ActiveX的分析工具和多媒体会议为一体的会诊环境，提高了会诊效率，并通过WebService接口实现了远程专家设备状态数据和案例的共享，支持了专家的协作研究工作．同时，通过采用设备信息管理开放系统联盟提出的机械信息数据库结构，克服了以往会诊系统只针对特定企业监测系统的缺点，并利用SQLServer。的推订阅技术上传企业Intranet，设备数据库的状态数据，保障了企业设备状态数据库的安全性．该诊断中心已在武钢大型轧钢厂加热风机、西安交通大学检测所的转子实验台上进行了初步应用，结果表明其系统结构合理，运行稳定，使用方便．     

用FCGA优化的四辊冷轧机恒张力模糊控制系统的设计

为了保证冷轧机轧制中带钢恒张力这一特点，设计了四辊冷轧机恒张力模糊控制系统。该系统含有电压、电流和速度三个内环，最外环为张力环；电压环和电流环采用一维模糊控制器控制，速度环和张力环采用二维模糊控制器控制。为了加强模糊控制的自适应性，采用了一种模糊控制的遗传算法将外张力模糊控制器的隶属参数进行优化。理论分析和仿真结果都表明该系统对带钢恒张力控制具有很强的鲁棒性和实时性，即使在变工况下（大范围变负荷下）也保持了良好的控制性能。     

水合活化固硫装置脱硫效率试验研究

通过建立水合活化固硫试验装置，研究装置的工艺特性对装置脱硫率的影响规律．试验结果表明，各因子对脱硫率的影响程度由大到小依次是：水钙摩尔比、钙硫摩尔比、二氧化硫量、烟气入口温度和停留时间；在其他因子保持不变的前提下，装置的脱硫率分别随各单项因子的增加而有不同程度的提高．试验研究的结果验证了本文中探讨的水合活化固硫机理——反应发生在气、液、固三相之间，雾化水滴和吸收剂颗粒碰撞并在其表面形成液膜是固硫反应的前提．     

一种新型双层PBG结构带阻滤波器

本文介绍了一种双层结构的基于村底打孔的PBG结构带阻滤波器，采用了周期结构与微带电路分离的设计。解决了传统的打孔结构的导带加工问题，并且有利于电路的加工和修改。最后给出了利用HFSS理论仿真和实际测量的结果，论证了这种结构的可行性     

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.     

西部民族地区在大开发中所面临的生态环境问题与思考——以内蒙古自治区鄂托克旗为例

实施西部大开发战略，加快中西部地区发展，是党中央面向新世纪做出的战略决策。位于内蒙古自治区西部的鄂托克旗，是一个典型的蒙古族聚居地区，自然资源丰富、生态环境脆弱，具有我国西部民族地区的典型特征。鄂托克旗所面临的生态环境问题在我国西部民族地区具有较强的代表性，其形成原因及解决方法对于我国西部大开发中的西部民族地区具有普遍意义。     

在网络监控软件中利用钩子函数监控系统

以教学网络监控软件为例,介绍了网络监控软件设计中利用钩子函数监控系统或事件进程的编程方法和技巧.