一种基于SOM的中文文本两阶段快速聚类方法应用研究

研究了一种基于自组织神经网络的中文文档聚类方法,按照提出的中文聚类模型,该方法首先对文档进行SOM训练产生初步的聚类结果,然后对第一次聚类结果进行基于参考点和密度的快速聚类,理论分析和实验结果也证明了该方法适合高维中文文档的聚类,与直接聚类方法相比,该方法提高了聚类的效果,减少了计算时间。     

Static extensivity analysis for λ-definable functions over lattices

We employ a static analysis to examine the extensivity (∀x:x≤f(x)) of functions defined over lattices in a λ-calculus augmented with lattice operations. The need for such a verification procedure has arisen in our work on a generator system (called Zoo) of static program-analyzers. The input to Zoo is a static analysis specification that consists of lattice definitions and function definitions over the lattices. Once the extensivity of the functions is ascertained, the generated analyzer is guaranteed to terminate when the lattices have finite-heights. The extensivity analysis consists of a sound syntax-driven deductive rules whose satisfiability check is done by a constraint solving procedure. Hyunjun Eo: He is a Ph.D. candidate of Computer Science Dept. at KAIST (Korea Advanced Institute of Science and Technology). He received his B.S. and M.S. in Computer Science from KAIST in 1996 and 1998, respectively. For 1998–2003, he was a research assistant of the National Creative Research Initiative Center for Research On Program Analysis System. His research interest has been on static program analysis, program logics, and higher-order and typed languages. He is currently working on developing a tool for automatic generation of program analyzers. Kwangkeun Yi, Ph.D.: His research interest has been on semantic-based program analysis and systems application of language technologies. After his Ph.D. from University of Illinois at Urbana-Champaign he joined the Software Principles Research Department at Bell Laboratories, where he worked on various static analysis approaches for higher-order and typed programming languages. For 1995–2003, he was a faculty member in the Department of Computer Science, Korea Advanced Institute of Science and Technology. Since Fall 2003, he has been a faculty member in the School of Computer Science and Engineering, Seoul National University. Kwang-Moo Choe, Ph.D.: He is a professor of Computer Science at Korea Advanced Institute of Science and Technology. He received his B.S. from Seoul National University in 1976, and his M.S. and Ph.D. from Korea Advanced Institute of Science and Technology in 1978 and 1984, respectively. For 1985–1986, he was a technical staff of AT&T Bell Labs at Murray Hill. His research interest is formal language theory, parallel evaluation of logic programs, and optimizing compilers.     

关于在城建类专业中开设地理信息系统课程的思考

介绍了地理信息系统的基础知识，包括地理信息系统的概念、基本组成和主要功能，阐述了地理信息系统的发展及应用前景，分析了开设该课程的意义，并结合天津城市建设学院的实际，提出了加强该课程建设的具体建设和人才培养目标。     

斜盘式锥齿少齿差行星传动的运动分析

介绍一种新型斜斜盘式锥齿少齿差行星传动的传动比、角速度与角加速度等分析计算，这种传动装置尤其适用于低转速大扭矩的作业机械中。     

地源水——水热泵冬夏暖冷联供实验研究

介绍了地热源水－水热泵全年冬夏暖冷联供的实验结果，分析了系统流量对热泵性能参数的影响，获得了最佳运行流量为1000L／h。并实测得到单位管深换热率及埋管的有关性能指标。对比分析了冬季吸热曲线和夏季放热曲线。     

基于粗糙集理论的模糊模型及其在复杂控制系统中的应用

将粗糙集理论与模糊逻辑技术相结合,提出一种建立粗糙模糊模型的建模方法.运用粗糙集理论的基本概念和简约计算方法,从大量原始数据中发现精简的、概略化的规则来建立粗糙模糊模型,并提出了对模型进行扩充与完备化的概念.将该方法应用于化纤工业中抽丝冷却侧吹风非线性控制过程的仿真实验研究表明了该建模方法的有效性和可行性.     

SystemView自定义控件的实现

采用自定义控件是将SystemView仿真软件广泛应用于各种复杂或专用算法的有效手段，在分析SystemView特点和控件的基础上，给出了SystemView自定义控件的设计方法，并利用VC＋＋设计VCO（压控振荡器）的实例，为一般用户实现专用功能模块提供了一个方便的途径。     

网上计算机系统虚拟实验室的研究

该文论述了网上计算机系统虚拟实验室的实现研究，介绍计算机组成及整机系统设计虚拟实验以及虚拟实验室网络化的实现方法。     

XP与RUP的比较与分析

在软件过程领域中 ,RationalUnifiedProcess统一过程被认为是“重量级”的过程 ,而把ExtremePro gramming极端编程称为“轻量级”的过程。目前两者都很流行。确切地说 ,XP是RUP的最小实现 ,但是XP还提出了一些很有用的但又不同于RUP的方法。首先对RUP和XP的背景进行了介绍 ,并对两种方法分别作了简要概述 ,然后针对XP中的几种方法来比较与RUP有什么相同和不同之处 ,并进一步提出在RUP中结合XP来优化开发过程的建议 ,达到适合不同规模、不同类型的开发组织的目的。     

高活性的PtRu/C抗CO催化剂

采用共沉积还原法制备了高分散度的催化剂PtRu/C。对此催化剂进行的XRD晶相分析表明 ,PtRu/C中的双金属形成了合金 ,并具有较高的分散度。通过EMFC中单电池的伏安曲线和循环伏安法考察了自制PtRu/C催化剂的活性 ,并与Pt/C和Johnson Matthey公司的PtRu/C进行了比较。由循环伏安中氢的氧化脱附峰的面积和电池纯氢燃料的性能 ,得到催化剂对H2 的活性顺序是 :Pt/C >自制的PtRu/C >Johnson MattheyPtRu/C ,而对H2 / (5× 10 -5)CO燃料的活性顺序是 :自制的PtRu/C >Johnson MattheyPtRu/C >Pt/C。通过对循环伏安中CO氧化过程的研究认为 ,CO的氧化通过双功能机理 (Bifunctionalmechanism)进行 ,Ru的加入提高了催化剂对H2 O的活性 ,使PtRu表面容易形成吸附态的含氧物种 (OH ) ads,从而降低了催化剂氧化CO的电势。