Authorware多媒体CAI课件中产生式错误诊断环节的实现

基于AI基本理论,利用Authorware的特殊编程功能,实现在交互式多媒体CAI课件中引入在线产生式错误诊断环节的方法。文章结合实例介绍了组成产生式错误诊断系统的三个主要部分的功能原理、工作过程及其实现方式和步骤等内容,探讨了Authorware的编程方式在人工智能方面的应用。     

嵌入式RTOS健康监控技术研究

在高度综合化、模块化的新一代航空电子系统中,高安全的实时操作系统和健康监控技术对提高系统的安全性、可靠性方面起了重用的作用。该文对一种嵌入式实时系统的健康性监控机制的设计原理进行了研究,讨论了错误诊断、错误注入、错误响应、错误恢复等健康监控技术关键点。     

适用于空间环境下的FPGA容错与重构体系

FPGA极大地提高了电子系统设计的灵活性和通用性，被广泛地应用在各个领域。在空间环境中，FPGA 容易受到SEU的影响而导致内部逻辑的紊乱，系统重构与故障恢复也比较困难。该文提出了一种在星载环境下，使用CPLD对FPGA进行基于错误诊断的容错体系结构设计，兼顾到了系统重构与故障恢复，在实验中取得了较好的效果。     

ICAI系统及其开发工具中的错误诊断环境

本文剖析了当今的智能计算机辅助教学(ICAI)系统及其开发工具的局限性,特别是在错误诊断方面的不足。提出一个在微机环境中实现的、支持多种类型的ICAI系统以及多种教学模式的学生错误诊断支持工具。该工具支持相关确认、个人持续系数、过程连接和差异比较四种诊断模型,同时,支持用户生成其它的诊断模型。     

具有诊断功能的16通道恒流LED驱动器

奥地利微电子公司(austriamicrosystems)推出具备先进的LED开路和短路错误诊断功能的16通道恒流LED驱动器AS1110,其输出通道数比AS1109增加了一倍。AS1110采用串行接口进行错误信息反馈,无需使用额     

静态栅栏分析中反例生成的改进

栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入。实验评估表明提出的方法比现有的技术更好地支持同步错误诊断。     

基于布尔可满足性的电路设计错误诊断算法

提出了一种组合电路设计错误诊断算法，该算法结合传统基于模拟的方法和可满足性问题求解技术，在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位．提出了基于布尔可满足性的增量式电路诊断方法，通过对可满足解依据电路结构信息筛选分级，提高了多错误诊断定位的分辨率和准确性；并提出多项启发式方法，避免了大量不必要的操作，使算法在时间和内存上保持有效性．实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率．     

一种决策论和人工智能相结合的非确定性规划方法

一、前言规划是人工智能中的一个重要分支。一个规划是一个动作序列,其执行的结果将世界从初始状态带到目标状态。在规划研究的历史中,一个重大的突破是七十年代初的STRIPS,它在解决“画面”问题(frame problem)中进行了成功的尝试。在STRIPS中,一个动作由一组条件、一个增加表和一个删除表描述。动作的后果包含在这两个表中。任何命题或谓词,只要不在这两个表中,则不受该动作的影     

基于知识的程序设计训练系统PES的研究与实现

针对程序设计的特点，本文提出了以示例教学和程序设计练习为核心的基于知识的程序设计训练系统ＰＥＳ。着重讨论其系统组成、知识表示、知识库组织、错误诊断、学生模型、教学策略、示例环境和练习环境等几个方面的关键技术。     

ICAI中的认知诊断系统

本文全面地介绍了一种新的基于ＡＣＴ理论（思维适应控制理论）的错误诊断方法－模型跟踪法，对这种方法的理论基础，基本内容作了深入的分析，设计并实现了这种诊断系统。     

MP-UNIX的故障恢复系统

MP-UNIX是将UNIX经改造和扩充移植到一个典型的紧耦合多机系统上的操作系统。本文将讨论它的故障恢复处理部分,并以原子动作概念为基础,提出一种同时适用于科学计算系统和数据处理系统故障恢复的系统结构描述,给出一个故障恢复方案及其实现方法。     

光学动作捕捉中缺失标记重建方法研究

光学动作捕捉技术是一种常用的动作捕捉方法,目前已经在各个行业内广泛应用.尤其是在体育竞技领域,已经成为了不可或缺的训练辅助手段.在光学动作捕捉中,最常见的问题是缺失标记,可能由外部遮挡、身体自遮挡或信号丢失等原因造成.对于缺失标记问题,在以往的研究中要么需要舍弃缺失的标记,要么需要大量后处理工作来恢复缺失标记.针对这种情况,本文提出一种用于光学动作捕捉中缺失标记的重建方法,该方法使用卡尔曼滤波框架,结合运动数据来预估缺失标记点的位置,实时重建人体运动模型.实验结果证明该方法能够快速有效的恢复缺失标记,重建人体运动.     

三维动作识别时空特征提取方法

针对传统的彩色视频中动作识别算法成本高,且二维信息不足导致动作识别效果不佳的问题,提出一种新的基于三维深度图像序列的动作识别方法。该算法在时间维度上提出了时间深度模型(TDM)来描述动作。在三个正交的笛卡尔平面上,将深度图像序列分成几个子动作,对所有子动作作帧间差分并累积能量,形成深度运动图来描述动作的动态特征。在空间维度上,用空间金字塔方向梯度直方图(SPHOG)对时间深度模型进行编码得到了最终的描述符。最后用支持向量机(SVM)进行动作的分类。在两个权威数据库MSR Action3D和MSRGesture3D上进行实验验证,该方法识别率分别达到了94.90%(交叉测试组)和94.86%。实验结果表明,该方法能够快速对深度图像序列进行计算并取得较高的识别率,并基本满足深度视频序列的实时性要求。     

一个程序设计训练环境的设计与实现

针对程序设计的特点，本文提出了以示例教学和程序设计练习为核心的基于知识的程序设计训练系统PTS，本文着重讨论它的系统组成、知识表示、知识库组织、错误诊断、学生模型、教学策略、示例环境和练习环境等几个方面的关键技术。     

UNIX平台上安装Sybase经验点滴

1.Sybase安装前的准备 (1)SQLserver需要三个设备master(存放系统数据)、syb-sysprocs(存放系统存储过程)、auditing(存放审计数据,即OS活动情况的记录、各表的使用频率、与保密有关的信息和系统过程)。Sybase的这几个设备可以用文件形式代之(系统管理用户对其有读写权),但这将冒很大的风险,在发生故障(如介质故障、电源故障或系统错乱)时,数据库有可能瘫痪、I/O缓冲区频繁丢失信息、SQLserver不能保证恢复。消除这种风险的方法是,对master数据库始终不断地作最新数据转储工作。因此,特别建议所有设备均采用物理设备,当然也包括为应用程序建立的data(存放应用数据)和log(存放对数据库操作的所有动作的流水信息,如果只有data而没有log,那么在故障恢复时,只能恢复数据而不能恢复当时的工作状态)。如     

西游后记之Excel函数篇(七) 火眼金睛,巧捉Excel公式里的“虫子”

学习Excel公式,按照杂志上、网上的教程一步一步做下来,可是计算结果总是出错,还找不着是什么原因,真是着急啊。其实,Excel自身就是一个随时可以请教的老师,通过它自带的公式审核等错误诊断工具,很快就能捉出公式里的“虫子”来。     

基于神经网络自学习的模拟电路故障诊断方法

由于传统方法在模拟电路故障诊断中应用效果不佳,不仅错误诊断数量较多,而且故障诊断用时较长,无法达到预期的故障诊断效果,提出基于神经网络自学习的模拟电路故障诊断方法。将模拟电路等效为一个双端口网络,利用便携式模拟仪器采集双端口网络运行数据,通过小波变换信号提取模拟电路信号时域特征和频域特征,利用神经网络自学习模型卷积运算信号特征,诊断并识别电路故障。经实验证明,设计方法错误诊断数量占总样本数量的比例较小,诊断用时较短,在模拟电路故障诊断方面具有良好的应用前景。     

组合电路中逻辑错误诊断方法研究*

介绍了近些年出现的几种错误诊断方法,它们在传统方法的基础上利用启发式对原有方法进行了不同程度的改进和提高,产生了较好的诊断结果.     

基于DI-Guy的单兵游戏动作设计与实现

介绍了Vega和DI-GUY(人体运动仿真工具包)的基本知识,对单兵游戏动作进行了分类研究。设计并实现了几个简单的单兵游戏动作。单兵游戏动作逼真,动作切换自然,可以应用到单兵作战类游戏中。     

基于参数比Petri网的主动数据库的行为研究

1 引言在主动数据库系统(Active Database System:简称ADS)中当特定的事件或某些条件成立时,ECA(Event-Condition-Action)便触发一些动作。形式上,一个ECA规则是由事件E、条件C和动作A组成的,事件可以是单个或组合的,条件可以是布尔表达式或产生True/False的数据库查询,动作可以是数据库操作的执行或应用程序的执行。尽管主动数据库