基于本体的语义分析过程与方法的研究应用*

为了提高信息化环境下语义分析能力,将本体引入语义分析。通过对典型本体构建方法的比较与综合,形成一种持续优化的本体构建方法,在此基础上进行概念分析、关系推理。进一步对比基于本体的语义分析和其它语义分析方法,指出基于本体的语义分析更具系统性、针对性,推理能力强。最后,将基于本体的语义分析应用到软件缺陷分析系统中。结果表明,它能够集成到原有系统中并有效进行关系推理和冲突识别。     

基于优势-直觉模糊粗糙模型的IT项目绩效审计评价规则获取

针对我国政府审计机关对政府投资的I`I}项目进行绩效审计评价规则知识获取的困难,考虑了条件属性取值 为优势精确值、分类结果为直觉模糊值的决策系统规则获取问题。首先比较条件属性值的大小,构建对象的优势部 域,再由对象邻域的直觉模糊值确定对象的上下近似;根据对象的上下近似和不同对象的直觉模糊值确定对象间的区 分关系,利用分辫矩阵给出知识约简和规则提取算法;最后将直觉模糊粗糙模型应用于政府I"I'项目绩效审计评价规 则的获取,得到了较为合理的IT项目绩效评价规则。     

一类并发实时系统的自动验证

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率.     

基于域理论的自适应谐振神经网络研究

提出了一种基于域理论的自适应谐振神经网络算法 FTART,有机结合了自适应谐振理论和域理论的优势 ,以一种独特的方式解决了示例间冲突和分类区域的动态扩展 ,不仅不需要手工设置隐层神经元 ,可以还获得了较快的训练速度和较高的预测精度 .同时还提出了一种可以从训练好的 FTART网络中抽取可理解性好、精度高的符号规则的方法 ,即基于统计的产生测试法 .实验结果表明 ,用该方法抽取的符号规则可以较好地描述FTART的功能.     

GIS互操作性初探

互操作性是ＧＩＳ发展的趋势,它实现窨数据和系统操作的共享。实现互操作性是ＧＩＳ用户的要求,万维网的发展为ＧＩＳ互操作性提供了技术基础。分布式空间数据模型和ＧＩＳ部件化是互操作笥ＧＩＳ的特征,Ｏｐｅｎ ＧＩＳ政致力于互操作性ＧＩＳ的空间标准。     

Win9x通用数据采集设备驱动开发

简述了Ｗｉｎ９Ｘ虚拟设备驱动的基本概念和ＶｉｔｏｏｌｓＤ类库使用方法提出一种通用数据采集设备驱解决方案。     

快捷WebGIS模型

ＷｅｂＧＩＳ是ＧＩＳ技术在Ｉｎｔｅｒｎｅｔ领域的应用。快捷ＷｅｂＧＩＳ模型是一组运用ＡｃｔｉｖｅＸ和ＧＩＳ技术在网络环境下运行的程序。它支持所有通用的地图操作。介绍了快捷ＷｅｂＧＩＳ模型的结构、地图数据库的组织和模型的实现等。     

基于ARC/INFO的企业级GIS的实现研究--以南京市房产测绘系统研究与实现为例

企业级GIS是GIS技术和应用走入社会生活的必由之路。介绍了一个基于ARC/INFO和ORACLE的南京市房产测绘系统设计与实现,深入探讨了其中若干关键技术,并在此基础上提出了房产测绘系统的一个企业级GIS的解决方案。     

车用尾气催化转化器结构的计算辅助设计与分析系统

采用ＡｕｔｏＬＩＳＰ语言,编制了运行于ＡｕｔｏＣＡＤ平台上的车用尾催化转化器结构的计算辅助设计与分析系统。该系统结合了参数化设计与性能分析功能,并采用对话框驱动执行的方式,使系统的使用具有直观、方便的特点,可为车用尾气催化转化器的研制工作提供有益帮助。,     

20世纪最伟大的智者之一Alan Turing

美国TIME杂志在1999年出版了专卷介绍20世纪100个最伟大的智者,数学有Kurt Godel,物理有Albert Einstem,后来Einstein列为The person of the 20th century。在计算机科学领域中英国数理逻辑学家Alan Turing被列入其中。Turing对于人类的杰出贡献,使他成为20世纪最有影响的科学家和思想家之一。本文介绍Alan Turing的生平和主要工作,以此纪念计算机科学的奠基人。