ACKERMANN函数递归计算中实参的约束范围估计

ＡＣＫＥＲＭＡＮＮ函数是一典型的递归函数,若采用递归方法计算其值,如其实在参数选择不当易造成死机,主要原因是递归计算过程中递归工作栈深度需求超过最大限度,造成堆栈溢出。文中给出了如何确定ＡＣＫＥＲＭＡＮＮ函数的实参取值范围的方法。     

基于拓扑搜索的配电网故障重构系统的实现

分析了配网重构两类方式的优缺点,主要研究了集中式配网重构的方法,提出了基于拓扑搜索的配电网故障重构算法.该方法的特点是直观,计算速度快,可得出多种故障恢复方案供调度员选择.同时,也给出最优方案建议.基于该算法,采用VC 6.0编程和图模一体化技术,开发了配网故障重构系统.     

基于广度优先搜索的虚拟网络映射算法

针对虚拟网络映射中的资源分配问题,通过建立节点资源度量模型,采用图的广度优先搜索遍历方法和节点同步遍历策略,依次将虚拟网络中相邻的虚拟节点映射到物理网络中邻接的物理顶点上,协调完成虚拟节点和虚拟链路的映射操作,降低虚拟链路的映射路径长度。仿真实验表明,提出的BFS-VNM算法有效地降低了虚拟链路扩张因子,提高了网络收益与开销比和虚拟网络请求接受率。     

基于冲突指派集求解作业排序问题的深度优先搜索方法

通过研究作业排序问题的特点，引入冲突指派集的概念，提出了基于冲突指派集的深度优先搜索方法，缩小了搜索范围，提高了搜索效率．     

基于AI问题的一种“最优”解方法及实现

基于AI的搜索方法包括深度优先搜索、最低成本法搜索等,可以从众多的解决方案中寻找一个“最优”的解决方案。文章以列车信息搜索为例,采用路径删除法生成多种解,然后再用改进的深度优先搜索与最低成本法搜索相结合的方法从中寻找一个最优解。     

中文聊天机器人原型系统的设计

探讨了中文聊天机器人原型系统的设计方式,提出了采用中文分词与关键词语匹配算法。从中文句子中抽取关键词,形成规则库与规则树。聊天时,采用带回溯的深度优先算法,找到最佳匹配路径,给出回答。     

基于Transputer并行网络的结构测试算法及实现

基于Ｔｒａｎｓｐｕｔｅｒ并行网络，给出了一种测试并行结构的算法。该算法用堆栈作为核心数据结构，采用类似于图的深度优先搜索遍历方式，快速而准确地测试出各种Ｔｒａｎｓｐｕｔｅｒ并行网络的结构。该算法的实现对硬件调试者在其调试过程中及对用户或编程员在其软件调试过程中都有着十分重要的意义。     

基于有向图的柔性公文流转模型设计

分析了企业文书管理的特点,对几种较为流行的公文流转方案作出比较,从而引出基于有向图的柔性公文流转设计思路。根据有向图理论,给出了公文流转信息流的处理模型。该模型可以在保证公文管理安全和高效的同时提供管理者最大的操作灵活性和适用性。     

基于JPF的Java程序验证

形式化方法是提高并发系统的安全性与可靠性的重要手段。JPF（Java Pathfinder）是一种精确的Java字节码状态模型检测工具。在阐述JPF工作原理的基础上,提出了一种适用于JPF的Java程序模型检测方法,包括Java程序模型的建立、状态空间搜索算法的扩展和配置,开发了Java程序反例轨迹轻量级的输出监听器。对Java程序实例进行验证,结果表明：该方法能有效地检测出多线程Java应用程序中难以检测到的并行漏洞。     

基于度量值的球形检测算法改进

为了减少多用户检测的误码率和降低算法复杂度,在传统球形检测算法的基础上提出一种基于度量值的球形检测算法.改进算法通过最小度量获得初始半径,在确保得到非空解的情况下,结合深度优先搜索策略,使得误码率接近于最大似然检测性能.仿真结果表明,改进算法比传统算法在访问节点个数上可降低一个数量级.     

基于面向对象的钻井模拟器图形系统设计

钻井模拟器图形系统是钻井模拟器的一个子系统,主要以三维图形的方式,在脱离钻井现场的情况下向用户展示钻井现场的实物以及各操作的过程.由于系统复杂,以起钻工艺为例讲述如何运用面向对象的思想进行钻井模拟器图形系统的设计.介绍了起钻的工艺流程,着重分析了该工艺中的提取动画动作和元素.阐述了如何针对该工艺进行类和程序的设计.实践证明,该系统在运用了面向对象的方法设计之后,具有扩展性强、灵活性高等特点.     

低轨道红外地球模拟器设计

大型地球模拟器是标校红外地球敏感器的重要设备和仪器,本文针对低轨道地球模拟器的方案进行了设计,通过理论分析确定了描述地球张角大小的光阑尺寸和描述地球红外光谱辐射的黑体热源温度范围,为保证黑体热源表面的温差范围不大于±1.5℃,采用了多点反馈式温度控制的方法,该方法满足了大型地球模拟器红外辐射面源的技术要求。     

McCarthy 91-函数的推广

首先给出了McCarthy91－函数性质的一个证明，然后给出该函数的两种推广。     

某型飞机飞行训练器的设计与实现

针对当前某型飞机训练器研制成本很高、难以配置多台以实现多机协同飞行模拟训练的现状,从现有仿真技术水平出发,设计和实现了基于HLA的分布式某型飞机飞行训练器.介绍了此训练器的硬件结构和工作原理,并着重介绍了系统中各软件模块的开发与实现.实践证明,该训练器作为全任务模拟器的配套训练系统,在满足正常训练要求的条件下,系统成本低,使用费效比高,并具有良好的可扩展性.     

浅谈C++中的虚函数

虚函数是C++中用于实现多态的机制,其核心理念就是通过基类来访问派生类定义的函数。虚函数在类中必须用virtual关键字来声明.虚函数只能借助于指针或者引用来实现多态。在基类中可以通过将虚函数声明为纯虚函数的手段来定义抽象类,强制派生类在自己的类定义中实现虚函数的具体功能。在C++编译时通过虚函数表机制来达到运行时根据调用对象来决定要执行的虚函数的版本,从而实现多态。     

EWB虚拟电子仪器的教学应用与功能开发

对EWB虚拟电子仪器的教学应用与功能开发进行了初步研究，开发了有噪声的调幅、调频信号源等有特殊功能的虚拟电子仪器，进一步增强了计算机仿真教学的功能．     

虚拟设计发展现状及未来发展方向

虚拟设计技术是数字化时代最重要的技术之一，本文介绍了目前虚拟设计技术研究达到的理论水平及实现应用水平，介绍了虚拟概念设计，虚拟装配设计，虚拟环境中的声音系统，接触及力量反馈及相应的软件，并对虚拟设计未来发展方向做了初步的展望。     

分布式虚拟现实技术在驾驶模拟器中的应用

将分布式虚拟现实技术应用于汽车驾驶模拟器中,使得多用户可以同时在一个场景中进行驾驶模拟交互,达到更好的训练目的.首先介绍了分布式虚拟现实的相关理论,而后在系统实现过程中使用SOCK-ET技术,采取面向对象的方法,设计通用数据包,简化了网络编程中的各种问题,达到了良好的通信效果.并介绍了分布式汽车驾驶模拟器系统实现的核心技术.     

基于虚拟仪器平台的全数字自动控制实验仪器研制

研制了一台应用于自动控制实验教学的虚拟仪器,其具体实现是以NI公司PCI-6024E为数据采集卡(DAQ卡),以LabVIEW为开发软件平台,编写了信号发生程序、信号采集程序和取代电子模拟仿真仪的传递函数仿真程序,从而实现了该全数字自动控制实验仪器所要求的各项功能.该仪器将信号生成、信号记录功能集成在一块DAQ卡上,特别是用传递函数仿真器取代了电路系统.     

用母函数理论分析递归算法的时间复杂度

对算法进行时间复杂度分析是算法分析与研究的重要内容,而对递归算法分析其时间复杂度时往往比较困难．提出了用组合数学中的母函数与递推关系理论来分析一些特殊的递归算法的时间复杂度,并同时得出三个推论,在算法的分析与研究方面具有一定的参考价值．