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

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

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

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

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

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

一种改进的三值光学计算机MSD无进位加法器的原理与实现

三值光学处理器是三值光学计算机中最重要的器件,人们对此进行了许多研究。目前,基于MSD的三值光学计算机加法器主要是将加数和被加数改写为MSD数,进行T,W变换,再进行丫,W,变换,然后进行T变换,实现无进位加法运算。针对这一种计算方法进行改进,提出了以先进行1', W变换,再进行,T',W'变换,然后进行w'变换的方式进行无进位加法运算的方法。理论和实验证明了此方法的可行性与正确性。通过这种方式,从某种角度看可以减少光学加法器中基元的数量,降低实现的难度,为设计光学加法器提供了的新思路。     

研究型大学本科教学创新团队建设的探索与思考

在学院实施的创新人才培养战略基础上,本文重点探讨了研究型和应用型创新人才培养模式。同时结合计算机专业的实际情况,提出了以教师创新团队、学生团队以及教学管理团队的研究型本科教学团队建设思路。以学院的课程组建设为例,提出了实施研究型教学模式下课程组教师团队建设的具体方案,为实现研究型本科教学模式和方法的改革提供借鉴和帮助。     

针对Java语言中间形式的谓词抽象算法

谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对Java语言面向对象的特性,描述了一种对Java程序语言中间形式的谓词抽象算法,该算法将Java程序抽象成为布尔程序,抽象过程中处理的Java数据结构包括:赋值语句、条件语句、类对象引用、成员方法和方法调用等.用一个Java程序实例说明了该算法的抽象过程和结果.     

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

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

自适应数据库连接池的研究

该文在分析传统数据库连接池的基础上,指出了传统数据库连接池的不足,提出了自适应数据库连接池的概念,详细给出了一个切实可行的构建自适应数据库连接池的实施方案。实际运行的结果表明它能大大改善系统响应时间、降低系统资源的开销,从而提升系统整体性能,满足大型应用的需要。     

基于on-the-fly的Petri网模型检查技术研究与实现

Petri网是一种应用非常广泛的建模工具,它能深刻、简洁地描述控制系统,特别是能较好地描述并发系统的结构,并能对系统的动态性质进行分析。在探讨了Petri网的模型检查的基础上,采用双DFS算法,对基于Petri网的模型检查的算法进行了改进,提出了针对Petri网的on-the-fly算法,同时给出了基于on-the-fly的Petri网模型检查的实现和测试,从而可以有效地对Petri网表示的系统模型进行模型检查。     

计算机专业教学质量评估机制的改革与探索

本文从课程教学体系、教学质量动态监控、重点课程建设以及实践教学和实验环节等四个方面,分析了计算机学院教学质量考评体系的改革与实践过程。