基于算子空间的公式发现算法研究

在FDD提出的人工智能技术与曲线拟合技术结合的公式发现系统的基础上 ,提出了新的基于算子空间的公式发现算法 ,并在算法研究的基础上设计实现基于算子空间的可视化公式发现系统 ,该系统通过算子空间概念的引入 ,简化了算子空间的规则 ,同时引入导数规则、误差规则以及终止规则 ,丰富了知识库内容。通过以上改进 ,和BACON和FDD相比 ,公式发现的形式更广 ,复杂度更高。文章最后给出了应用实例以及公式发现的结果。     

分阶段执行策略及其查询处理技术的研究

针对面向对象数据库及其查询的特点 ,提出了查询处理的分阶段执行策略及其数据操作并行执行算法 ,理论分析和模拟结果都验证了它们的实用性和有效性。     

正确处理教员队伍建设中的几个关系

我院在加强教员队伍建设的过程中,应该处理好几个关系:一是正确处理政治思想素质与业务素质的关系,坚持德与才的统一;二是正确处理优化教员队伍整体素质与提高教员个体素质的关系,坚持整体与个体的统一;三是正确处理激发内在动力与优化外部环境的关系,坚持内因与外因的统一。     

南非地探明致命的战争遗留物中领先

对世界上战后重建的国家来说,防步兵地雷是一个持久的威胁。这些武器每年都得夺去数以千计的无辜平民的生命即使是在那些冲突已经停止了国家也是如此。     

自适应光学波前实时处理机结构设计

本文介绍的波前处理机是１．２ｍ望远镜自适应光学系统的关键部件之一,吞吐率高,延时小,是具有高速数据处理能力的实时处理系统。为满足系统的高速度性能,系统设计在实时性、并发性的基础上,将图象数据采集加入流水线,并对波前处理中自然存在的子任务作“去相关”’处理,建立了图象采集、斜率计算、波前复原间流水线操作。图象读出时间的利用及流水线的建立,大大减少了时延,降低了系统实时性要求。流水线处理与高度并行处理相结合,也是本处理机设计的一大特色。     

一个战术软件测试编码一体化系统的设计与实现

战术应用软件 (以下简称战术软件 )是舰载指控系统的重要组成部分 ,是舰艇作战系统的灵魂。为了确保战术软件的质量与可靠性 ,提高战术软件的开发效率 ,必须实现战术软件测试的自动化 ,战术软件测试和编码的一体化。本文结合战术软件测试编码一体化系统 (以下简称一体化系统 )的研制 ,说明了该系统的研究意义及设计思想 ,研究方法与关键技术     

SIM—LISP:一个通信网络管理专家系统外壳的设计与实现

本文介绍了笔者为开发名为OONMES的网络管理专家系统所实现的一个简单专家系统工具SIM-LISP。SIM-LISP是一个用C/C++语言来实现的模拟LISP语言的可调用函数集,它短小精巧,速度快,可以完成针对网管专家系统的事实或规则知识的表示、匹配、合一和推理等基本操作,并有与知识对象的连接功能,是网管专家系统内核实现的支撑环境。     

自动化作战:一个可行的梦想

作者着眼于现在技术的激增,研究未来指挥官如何才能获取敌军情报;如何才能处理大量的情报以定下准确的决心;如何才能运用火力压制敌军。     

语音识别技术综述

本文综述了语音识别领域里的主要技术。首先,系统地介绍了孤立词识别系统中的算法和技术。然后,简要介绍了连续语音识别系统中的主要处理方法。最后,说明了语音理解系统中的特殊问题。     

线性分式规划原始单纯形算法有限性问题

本文用一个数值例子说明用[1] 和[2] 中的原始单纯形算法求解退化的线性分式规划(LFP) 可能会出现基循环,从而得不到最优解。于是就此情形引入了Bland规则,并建立了有限性算法。