一种FFT并行处理机的设计与实现

专用指令集处理器具有数字信号处理器的可编程性和专用处理电路的高速性,以专用指令集处理器为核心构成的阵列式并行处理系统在高速实时处理方面有着非常重要的应用．为此,提出了一种基于专用指令集处理器的快速傅里叶变换并行处理机实现方法．设计了基于精简指令集处理器体系结构的可编程处理单元,以其为核心构成并行处理系统,采用通信矩阵解决了并行系统内各个处理单元间的数据交换问题,实现了1024点快速傅里叶变换的并行处理．实验结果表明,在快速傅里叶变换处理方面,其处理速度比典型数字信号处理器提高30％,且具有系统并行规模大、功能灵活可变、设计复杂程度适当、设计重复利用性好的优点,非常适合在现场可编程逻辑门阵列中以SoC的形式实现．     

AltiVec指令集模拟器的建模和实现

指令集模拟器（ISS）是研究新处理器架构必不可少的方法,研究基于AltiVec指令集建立SystemC模型,提出利用底层虚拟机技术来实现AltiVec ISS.实验表明,该模式比目前实现ISS的几种方法,如解释型编译、静态型编译、动态翻译技术等性能更为优化,且具有一定的灵活性.     

基于PVS的飞机订票系统的形式化描述与验证

形式化方法主要应用于安全性第一的系统的规范与形式验证。原型证明系统PVS为开发和分析形式化规范和验证提供了一个集成化环境。本文介绍PVS系统的证明方法和特点 ,并利用PVS系统对飞机订票系统的需求给出了形式化规范 ,对部分关键属性完成了证明 ,说明了使用PVS系统的某些经验和技巧     

Hardware-Software Co-Simulation for SOC Functional Verification

A hardware-software co-simulation method for system on chip (SOC) design is discussed. It is based on an instruction set simulator (ISS) and an event-driven hardware simulator, and a bus interface model that is described in C language provides the interface between the two. The bus interface model and the ISS are linked into a singleton program the software simulator, which communicate with the hardware simulator through Windows sockets. The implementation of the bus interface model and the synchronization between hardware and software simulator are discussed in detail. Co-simulation control of the hardware simulator is also discussed.     

可视化UML模型验证环境研究

针对非形式化的描述可能导致的不明确和不一致问题,提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE,使得在编写代码之前就能很好地验证类之间的关联关系,以及约束条件是否与实际的要求相符合,降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价。     

智能教学系统中教学策略的设计与实现

教学策略的研究是智能计算机辅助教学系统的重要课题之一．本文给出了根据教学知识之间的关系和学生知识水平产生最佳教学序列的方法及其适合编程的算法,进行了教学规则的设计,并综述该教学策略在智能计算机辅助教学系统中的应用．     

系统芯片的混合验证方法

阐述系统芯片 (SOC)的设计验证特点。综述目前流行的验证方法 ,指出所存在的问题。论述了形式化验证方法和半形式化验证方法的发展状况及新的发展方向和趋势     

半导体激光器弹道测试瞄准装置的设计

针对弹道测试系统靶距可变、枪膛几何中心线和靶面交点与瞄准指示点重合等使用要求，设计了一种弹道测试所需的半导体激光器瞄准装置。设计方案摆脱了普通“三点一线”的瞄准设计模式，实现了瞄准、射击和验靶整个测试过程中瞄准指示点与理想目标点的重合。本装置结构简单、瞄准精度高、操作方便，以较低的成本实现了弹道测试系统对瞄准、指示的要求，在实际应用中达到了很好的使用效果。     

MSVL语言的公理系统的程序验证

MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言．为了证明区间时序逻辑程序的正确性,提出了MSVL语言的一个公理系统:包括正则形转换的状态公理和状态推演规则,以及将程序从一个状态转换到另一个状态的区间公理和区间推演规则．最后给出验证实例说明基于该公理系统的程序验证方法．     

A unified linear-time temporal logic solution to the steam-boiler control specification problem

The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.     

中美混凝土结构设计规范安全度设置水平的比较研究

根据中美两国现行混凝土结构设计规范GB 50010-2002和ACI 318-08关于承载能力极限状态的有关设计规定,以GB 50010-2002规范结构安全级别为二级的基本构件为基准,从分项系数设计表达式的相当安全系数的角度,对GB 50010-2002和ACI 318-08规范中的轴心受拉、轴心受压、大偏心受压、小偏心受压、正截面受弯、斜截面受剪、受扭、板受冲切等8种典型基本构件的安全度设置水平进行了计算分析和比较,并对我国混凝土结构设计规范提出了若干修改意见和建议,可供工程应用及我国混凝土结构设计规范今后修订时参考.     

基于XML的类规约实现和重用研究

将XML技术应用到类规约描述和重用中,提出了一种基于XML的类规约重用方法．使用XML描述可重用的类规约,设计类规约重用的一般流程以及需要遵守的准则,然后在类规约库中查找符合需求的类规约进行重用．实践证明,重用XML描述的类规约可以使软件分析效率得以大幅提高．     

计算机辅助教学的特点及模式

本文论述了计算机辅助教育的意义、特点及模式,并对我校各专业中加强计算机辅助教育提出建议。     

平顶山地区大规格广玉兰移植技术初探

根据绿化工程的需要,平顶山市鹰城广场移栽了一批大规格广玉兰,在工程实践中总结出一套提高成活率的技术措施。     

基于Uppaal的移动IPv6协议的模型检测

采用形式化方法对移动IPv6协议系统建立了时间自动机模型,使用实时模型检测工具Uppaal对所建模型的关键性质：活性、移动性和平滑切换等进行了分析和检测. 检测结果证明,移动IPv6协议在切换时存在丢包现象. 通过分析丢包产生的原因,提出了移动IPv6实现平滑切换的理想时间约束条件,并在理想条件下重新验证了协议的性质. 结合模型在理想约束条件下的检测结果指出了提高移动IPv6移动性能的设想.     

逆指令流与指令队列预取反跟踪技术

介绍一种逆指令流的实现方法，同时把它与指令队列预取法结合在一起实现了反跟踪，使其成为一种综合性的威力较强的反动态跟踪技术     

计算机专业教改初探──体现高职高专特色,培养合格人才

计算机专业教改初探从专业教改的背景、目标、思路、方案及人才培养途径等几个方面就计算机专业如何培养计算机应用性人才,体现高职高专特色,培养合格人才进行了有益的探讨,旨在抛砖引玉。     

多媒体技术在计算机辅助教学中的应用

随着现代教育技术的发展,多媒体教学以其直观、形象、灵活生动的教学形式已成为一重要的教学辅助手段,也成为大学教学改革的基本方向.通过对多媒体及多媒体教学中存在的问题进行研究,分析了多媒体技术及其在教学领域的开发和应用现状,探讨了开发CAI课件的重要性,对CAI课件的制作流程、开发方法、注意问题进行了分析,并就我国如何制作高水平的CAI课件提出了自己的看法和建议.     

自适应计算机辅助教学系统XDCAI

阐述了计算机辅助教学系统的现状和实现方法，并介绍了ＢｏｒｌａｎｄＣ＾＋＋环境下研制的计算机辅助教学系统ＸＤＣＡＩ。给ＸＤＣＡＩ的设计思想和实现技巧。该系统与课件有良好的接口，易于扩充新课件。     

SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。