基于语义网的节点关联的P2P搜索

分布式的无组织性的Peer-to—Peer（P2P）网络信息检索和查找系统由于不需要集中的目录管理和数据存储最近成为研究的热门。提出了一个高效的能增加搜索概率的P2P搜索算法，它的关键是把提供数据的节点聚合在一起组成一个关联网络。节点的关系由关联度来决定。     

程序切片技术在并发程序模型检查中的应用

模型检查技术在硬件和协议设计方面已经取得很大成功,但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切片技术的研究,来解决并发程序验证的建模问题,包括把验证公式映射到切片准则．并把得到的程序切片转化为验证所需的模型。经程序切片处理后,软件模型检查效率得到提高。     

TOC实验系统中运算器与解码器的同步技术

论述了一种实现百位量级三值光学计算机(TOC)实验系统中光学运算器及光学解码器同步的技术.该技术的原理是以光电传感器感应到的光强度变化来判断光学运算器的一次运算是否完成,若完成则通知光学解码器进行解码.受正在使用的三值光学计算机实验系统已有结构的限制,该技术采用了以光学解码器的控制器为核心、软件控制为主的方案.该方案虽然比纯硬件方案慢,但适合于目前的低速度实验平台,而且便于改进,本身也成为研究三值光学计算机部件间同步技术的一个实验子系统.描述了对当前的三值光学计算机实验平台和软硬件部件所进行的相应改造,实验结果表明了该同步系统的有效性和可靠性.     

扩展三值纠一检二码原理与设计

本文在三值汉明码一位检错纠错研究工作的基础上,对三值汉明码的检错纠错方法进行进一步研究.给出了扩展三值汉明码的形式,通过对扩展三值汉明码的错误分析获得了一位纠错和二位检错原理,给出了扩展三值汉明码的纠错码表,根据纠错码表提出了一位纠错方法,给出了基于三值光学计算机的扩展三值汉明码检错纠错概念结构图和功能部件,为检错纠错系统的光学设计提供一种途径.     

“Java语言程序设计”课程教学改革和探索

本文结合笔者多年的教学改革实践经验,从教学模式、教学手段、实验内容和考核方式多个方面探讨了Java程序设计的课程教学改革。经实践能提高学生的编程能力,自学能力,沟通能力和团队合作能力。     

基于模型检查的VHDL到FSM的转换

随着计算机软硬件系统规模的日益复杂,如何保证系统的正确和可靠,逐渐成为当前理论界和产业界共同关心的重要问题.为此提出的诸多理论和方法中,模型检查以其简洁明了和自动化程度高而引人注目.提出了一个针时时序电路VHDL设计的模型检查的解决方案.讨论了该方案的系统结构,将VHDL设计转化为有限状态机模型的算法,以及针对同步时序电路设计的模型化简,可有效减少FSM的状态空间,继而可以采用符号模型检查算法对需要检查的性质进行验证.     

基于网格的铸造凝固过程数值模拟系统

针对铸造凝固过程数值模拟技术存在的缺陷,研究了如何将计算机模拟技术与网格技术相结合,提供强大的网格计算服务,为企业节约生产成本.本系统采用了基于开放网格服务结构的网格体系结构和Globus3.0的网格工具包,构建了基于网格的并行模拟系统.     

对于网格计算工具包NetSolve的分析与研究

系统地研究了高性能计算的网格应用中间件NetSolve系统的结构和工作原理，并对服务器端进行了深入探讨，指出了现有实现存在的缺陷，对改进方案进行了分析。     

三值光学计算机中MSD加法器的理论和结构

在三值光学计算机中采用MSD加法器,将使这个光学计算机的"三值"和"数据位数众多"两大优势在数值计算中得以充分发挥.以降值设计理论为基础,三值光学计算机既可以随时构造出一个数千位的大加法器来满足计算超大数据的用户,也可以常备一个数据位数适中的加法器来满足普通用户的需要.引入流水计算技术和发明数据剪辑技术后,常备加法器的...