地理信息的超图时空数据挖掘

论文主要研究了在超图模型的支持下,基于Arcinfo的完全关系地理型数据库Geodatabase,建立面向属性归纳的地理信息超图时空数据挖掘方法。     

Q博士诊所

我年初买了一台联想品牌机，一直使用正常，上个月出现每次开机都要重设系统时间的问题。虽然我每次开机都进入BIOS设定并按了F10保存，但下次开机问题依旧，后业经销商帮我换了主板的电池。问题解决了，但过了半个月，问题又出现了，经销商说可能是主板的问题，请问到底是主板的问题，还是BIOS里的设置有问题？     

基于模型的诊断问题分解及其算法

对诊断问题的分解进行了研究，给出了基于模型诊断问题分解的判定定理，刻画了利用系统观测值和参量假定例化值分解诊断问题，提出了有条件可分解诊断问题的概念，进一步刻画了基于模型的诊断问题分解，对如何利用参量假定例化值分解诊断问题给出了最可能优先算法，并对该算法的正确性、完备性及复杂性进行了证明，文中的工作为具有树型结构的系统诊断效率的提高提供了理论依据。     

遗传算法的收敛性研究

本文讨论了遗传算法的收敛性问题，提出了一个收敛的充分条件，证明了对任何问题，只要其问题空间编码和遗传操作的组合满足这个条件，就可以用遗传算法求解，由此得到了ＧＧＡ－难题珠新定义，解释了现有模式理论所不能解释的最小欺骗问题，并讨论了它的可操作性。     

论信息化教育中值得省思的教学问题

在推进信息化教育的进程中，教学问题逐渐成为人们关注的焦点，这是事物演进过程的必然，也是教育教学规律的体现。教学问题是信息化教育中的关键问题。如果有效地解决了信息化教育中的教学问题，那么其它一系列的问题就可迎刃而解。由此可见，只有发现了问题，才能解决问题，在这个大的问题系统中，存在很多值得研究和讨论的各类问题。     

Set Packing问题的研究进展

Set Packing问题起源于分割问题的应用，是在强约束条件对元素进行划分。在复杂性理论中，此问题是一类重要的NP难问题，被广泛应用于调度、代码优化和生物信息学等领域。特别是在参数计算理论产生后，此问题再次成为研究的热点问题。依据所研究问题的差异，本文将Set Packing问题分成5类，并给出了具体的定义。在此基础上，分别介绍了求解这5类问题的相关算法，着重分析和比较了参数算法中所运用的各项技术，并提出了该问题算法研究的一些发展方向。     

基于问题生命周期的软件问题管理平台--SPMP

软件整个生命周期中的软件问题管理及各种软件质量保证活动的核心，文中介绍了一个基于问题生命周期的软件问题管理平台－SPMP，文章深入讨论了软件问题的生命周期，指出软件问题的状态控制与变更追踪构成了软件问题管理的基础。然后介绍了该平台的体系结构，关键技术和应用实例，最后给出结论。     

巧妙解决系统“假死机”故障

系统使用时间长了，其中安装的软件多了，就难免出现各种问题，更为麻烦的是，有的时候问题出现之后，系统就处于“死机”状态，还很难诊断问题之所在。     

一类循环问题的处理方法

在计算机应用编程中，为了更好地处理循环问题，文章分析了一类循环重数具有一般性的循环问题，探讨了此类问题的解决方法，并给出了具体的程序编码，用此方法，在软件开发中可取得良好的效果。     

遗传算法的若干理论问题研究

本文研究了Ｗａｌｓｈ模式变换与ＧＡ的模式处理关系，讨论了分析，ＧＡ欺骗问题与困难问题，研究了ＧＡ－欺骗问题与解空间的表过之间的关系，给出了ＧＡ－欺骗问题与问题搜索空间的编码方式相关的结论。     

Reuse-based software production technology

Software reuse is viewed as a key technology to improve software product quality and productivity. This paper discusses a series of technologies related with software reuse and software component technology: component model, which describes component's essential characteristics; component acquisition technology, of which domain engineering is the main approach; component management technology, of which component library is the kernel; application integration and composition technology, of which application engineering is the main approach; software evolution technology, of which software reengineering is the main approach, etc. This paper introduces the software development environment: JadeBird Software Production Line System, which effectively integrates the above-mentioned technologies.     

LabVIEW数据拟合

目前数学只能解决含二个未知数的数据拟合，而经常面临含三个未知数的数据拟合则无法解决。论述了这种解题思路并用LabVIEW软件实现。并论述了提高运行速度的分步计算法以及计算精度高的特点，同时介绍了幂函数全象限拟合的解决方法。     

基于灰色神经网络的装备计量预测研究与实现

基于装备计量数据历史样本数据较少的特点,将适合小样本的灰色理论GM(1,1)模型应用于基于计量数据的装备状态预测,同时为提高GM(1,1)模型精度,提出了基于RBF神经网络优化GM(1,1)传统模型的灰色神经网络模型。装备计量数据实例应用分析表明,上述模型均可获得该装备计量数据的合理预测值,且相对于GM(1,1)传统模型,GM(1,1)优化模型具有更优的模型精度和预测效果,基于MATLAB开发的装备计量预测软件,实现了GM(1,1)传统及优化模型下装备计量状态预测及比较的可视化操作,为装备计量保障提供了可参考的技术方案。     

链表式区域填充算法在三维油藏模型中的应用

分析不同填充方法的特点,针对传统种子填充算法需要静态分配存储空间而造成空间利用率低和不断进出栈操作浪费时间的问题,对种子填充算法进行改进,提出了采用链表存储且对像素点先着色再入链的新方法。该方法根据实际需求动态的分配空间,减少了空间浪费,避免了一些不必要的操作,解决了计算机对大数据处理时由于内存不足而造成死机或处理时间过长的的问题。此方法应用于大模型油藏模型的高速显示系统,提高了空间利用率,实现了三维油藏模型的快速显示。     

基于贝叶斯算法和费舍尔算法的垃圾邮件过滤系统设计与实现

贝叶斯过滤算法和费舍尔过滤算法均是利用统计学知识对于垃圾邮件进行过滤的算法,有着良好的过滤效果。该文设计将某一词组(单词)出现概率使用加权计算的方法,改善了朴素贝叶斯算法和朴素费舍尔的邮件过滤算法对于出现较少的单词误判情况,使系统对于垃圾邮件判断的准确率上升。设计可以使用个性化的垃圾邮件过滤方案,支持使用邮件下载协议(POP3、IMAP协议)从邮件服务器下载邮件,以及使用邮件解析协议(MIME协议)对于邮件进行解析,支持邮件发送协议(SMTP协议)帮助用户发送邮件。     

数字人彩色图像的交互分割平台设计

采用ITK提供的各类高效分割算法,利用MATLAB图像处理工具包,实现了一个针对数字人彩色图像交互分割平台。根据所需分割的器官,先从原始数据中裁剪出包含该器官的最小体数据,减少所需处理的数据量。然后根据提出的交互分割步骤,逐一对每层图片进行交互分割,最终获得该器官的三维轮廓。该交互分割平台为数字人的深入应用和其它类似图像分割应用提供了一个高效的工具。     

Optimizing Procedure Calls for Delayed Non-local Execution Protocol

This work originated from the challenge to strengthen a C-like language compiler developed to support the compilation of sleepers, which are tools which allow complete access to the run-time stack in a delayed non-local execution protocol. Sleepers use a specialized form of procedure call, for which the gain in time execution and space memory allocation becomes a crucial need. These two objectives have been attained thanks to a methodology which generalizes the traditional distinction between tail-calls and normal-calls, introducing the orthogonal distinction between calls in which the calling environment is needed after the call site and calls in which it is not. These two dichotomies divide the space of calls into four classes. The strategy described in this paper is a simple and general framework which can be used to optimize the call-procedure statement in C compilers. The paper discusses optimization techniques appropriate to each class in turn, providing code details for SPARC and ALPHA processors.     

嵌入式Nucleus系统中驱动接口的实现

Nucleus是一种实时的嵌入式操作系统。深入全面地探讨了Nucleus中驱动通用接口的实现方法。首先对Nucleus的内核进行了概述;其次阐述了Nucleus的系统层和驱动层解决方法;最后给出Nucleus解决后的接口函数。     

A New Model of Computation for Learning Vision Modules from Examples

This paper addresses an important class of mimicry problems, where the goal is to construct a computer program which is functionally equivalent to an observed behaviour. Computer vision research can be considered such a challenge, where a researcher attempts to impart human visual abilities to a computer. Unfortunately this has proved a difficult task, not least because our vision processes occur mostly at a subconscious level. It is therefore useful to study the general mimicry problem in order to develop tools which may assist computer vision research.This paper formalises a mimicry problem as one in which a computer learning system (L) constructs a solution from a given program structure (i.e. template or outline) by posing questions to an Oracle. The latter is an entity which, when given an input value, produces the corresponding output of the function which is to be mimicked.In order to define a program's structure, particularly one which can be extracted from any computer program automatically, a new model of computation is developed. Based on this a fast algorithm which determines the best questions to pose to the Oracle is then described. Thus L relieves the human programmer of the difficulties faced in choosing the examples from which to learn. This is important because a human programmer might inadvertently choose biased, redundant or otherwise unhelpful examples. Results are shown which demonstrate the utility of a complete learning system (L) based on this work.This paper represents background theory and initial algorithms which further work will extend into powerful automatic learning systems, examples of which are found in [36] and [38].     

一种新型PID调节器的硬件电路设计

本论文讨论的是数字PID调节器。该调节器具有3路电压输入和1路电流输入,1路经过隔离的电流输出。面板上还具有4个按键,可以方便地进行操作。面板上的数码管可以显示两排数字,人机交互性强。微处理器采用89C52,并且串行接口采用了RS-485,可以进行在线下载和调试,以及与其它设备的连接。