中医专家系统MONKEY的实现方法与技术

本文探讨了中医专家系统的理论,分析了中医专家系统医学知识库的组成,讨论了电脑中医辨证的数学模型、推理机及医学知识库管理系统的功能,给出了中医专家系统的抽象模型.最后介绍了作者用dBASE Ⅲ开发的一个中医专家系统设计的通用软件.     

基于模型的故障树自动生成方法

基于模型的安全性分析方法能够提高复杂安全关键系统的建模与分析能力.目前故障树被广泛应用于系统安全及可靠性分析中.故障树分析(Fault Tree Analysis,FTA)是一种自上而下的演绎式失效方法,根据故障树分析系统中不希望出现的状态,系统工程中可以尽早确定当前系统模型可能出现的问题并及时避免.面向一类安全关键性系统领域中的系统安全性建模语言AltaRica,基于其语义模型卫士转换系统(Guarded Transition Systems,GTS),设计了从平展化的GTS模型自动构造系统故障树的方法,节省了人工构造故障树的时间,从而加快了系统分析的进度.根据AltaRica3.0语言的语义规则,提取平展化GTS模型的数据构建实例对象;设计了GTS模型划分算法,得到一组独立GTS模型与一个独立断言,通过邻接矩阵构建独立GTS的可达图并获取关键事件序列.最后将处理结束的独立GTS与独立断言相结合,通过断言传播算法得到整个系统的状态及关键事件序列,生成系统故障树.最后通过实例来检验算法的有效性,结果表明,该算法能有效完成从平展化GTS模型自动生成故障树.     

基于人工神经元网络的中医专家系统外壳NNS

本文用人工神经元网络的结构和算法,建造了一个中医专家系统外壳NNS。在NNS中我们构造了对中医专家经验进行自动知识获取的工具,并尝试建造了部分中医深层模型。基于NNS我们还实现了一个基于人工神经元网络的中医儿科咳喘诊疗系统NCCS。     

LASER 310中医专家咨询系统在上海计算所开发成功

为了把中医专家咨询系统向农村及边缘地区、工矿基层医疗单位推广,上海计算所与武夷地段医院合作在低价的LASER310微机系统上模拟老中医的医理及经验,完成了中医专家咨询系统的开发。系统采用黑盒子原理作为系统的抽象模型,把机体等效为一个未知的黑盒子。通过对黑盒子输入、输出信息——四诊(望、闻、问、切)。经辨证推理——模式识别     

中医专家系统技术综述及新系统实现研究*

对中医专家系统二十多年来的发展进行了简单的概括,总结了专家系统应用在中医领域的技术特点。基于中医诊断专家系统的发展现状,分别从系统建模、知识获取和知识库构建等方面提出了新的思路和实现技术,例如认知模型的建立、领域本体的应用、自然语言理解、数据挖掘、知识网络、多智体agent技术等,并设计了一种新型中医专家系统,为中医专家系统的发展提供了有价值的参考方向。     

AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

中医专家系统工具的研究与设计

本文针对中医特点,提出了一个通用中医专家系统工具的系统结构,论述了该工具系统的设计与实现方法,最后对本系统的特点进行了分析,并提出了进一步研究的课题。利用该工具已初步建立了一个功能较强的中医专家系统,该专家系统目前正处于调试之中。     

一种基于梯形自调度技术的集群任务调度的实现

通过比较目前几种集群任务调度算法,选择基于集中队列的动态调度算法——梯形自调度算法（TSS）,实现了一个基于集群的任务调度系统GTS。GTS是一个用户级的任务调度系统,它建立于Linux之上,主要负责对用户任务的调度。通过测试,GTS系统可以胜任集群工作站中的任务调度并在结点数较多的情况下大幅度提高应用问题的性能。     

中医专家系统工具YHW-CTMEST

YHW-CTMEST是一个用于建立中医专家系统的通用工具,它提出了既满足中医知识结构和中医诊断理论又适合计算机诊断处理的知识表示结构和推理方法,支持一个方便、舒适的中医知识智能获取环境,并提供一个友善的人/机界面。采用该工具,可大大减少构造特定中医专家系统花费的时间和造价,提高了专家系统软件生产率。YHW-CTMEST系统在IBM-PC及其兼容机上用YHW-PROLOG实现。     

一种AltaRica 3.0模型中类的平展化方法

AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System,GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤。文中提出了一种AltaRica 3.0模型中类的平展化优化方法。首先,设计专用的数据结构来存储AltaRica 3.0模型中类的语义结构,并对原有的ANTLR(Another Tool for Language Recognition)元语言描述的AltaRica 3.0模型颗粒度进行重新精化和定义;其次基于ANTLR生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。     

模糊专家系统的结构与设计

本文概述基于使用模糊逻辑和模糊推理的模糊专家系统的一般结构,并举出一个应用例子,最后给出一个实用模糊中医专家系统的设计思想。     

模型驱动的嵌入式系统设计安全性验证方法研究

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。     

基于IEEE 802.15.4民航地面设备监控网络时延优化

机场地面设备(包括地面电源和地面空调)计量系统利用IEEE 802.15.4协议无线传感器网络WSN对地面设备的许多参数进行监测,这些数据因采集的位置不同,其重要性也不同,对实时传输和大量数据快速传输上有不同的等级要求。利用IEEE802.15.4 GTS机制,在原有的先来先服务FCFS算法的基础上,在PAN节点维护GTS请求队列,对GTS分配采取按终端节点数据重要性进行优先级抢占分配GTS,同时针对GTS请求和GTS响应的特点,对GTS Allocate请求采取保留的方式,直至GTS Deallocate到来,以保证重要数据的优先传输。仿真结果表明,采用GTS优先级调节和GTS请求保留相对于FCFS算法在数据传输快速性能上有明显的提升。     

中医专家咨询系统——ZRK82

本文介绍了一个名为ZRK82的中医专家咨询系统。本项研究有两个目的:1)较详细地研究和较全面地应用人工智能领域的子域专家系统的理论和技术。2)研制一个中医皮肤科专家咨询系统。这项研究不仅注重于辨证施治要与专家相吻合,而且更加致力于模拟专家的整个辨证施治思维过程。本系统具有初诊、复诊、解释、理解限定的自然语言和初步的学习功能。系统在WANG 2200 MVP计算机上运行。诊断正确率为97％。并于1983年4月通过了计算机专家和中医专家的联合鉴定。     

国际气象通信系统传输模型研究

国家气象信息中心承担世界气象组织（WMO）全球电信系统（GTS）区域通信枢纽（RTH）的职责,目前由第三代国际气象通信系统具体实施。通过对该系统的框架结构和数据传输流程的分析,描绘出此系统传输处理的分层模型。通过此模型能够为分析、维护和改进国际气象通信系统的提供支撑。更进一步,介绍了WMO信息系统（WIS）全球信息系统北京中心（GISC Beijing）的传输模型,描述该模型如何演化和发展。     

IEEE802.15.4多时隙下GTS性能分析及配置优化

IEEE802.15.4标准的保障时隙(GTS)机制可分配多个时隙,用于保障实时性数据的传输。针对非竞争接入期多时隙下GTS性能分析的不足,利用网络微积分法分析时延和吞吐量服务曲线及其与能耗的关系,改进IEEE802.15.4传感器节点模型,建模仿真研究GTS参数对网络性能(时延、吞吐量及能耗)的影响。仿真结果表明：根据高低突发性数据率的情况,最优化配置下的GTS可以满足实时性数据的传输。     

中医专家系统生成工具MEST

MEST是我们用micro-prolog语言在IBM-PC机及兼容机上开发的中医专家系统生成工具。本文介绍了MEST的设计与实现的特点,探讨了中医专家辩证施治的数学模型以及适合中医专家系统通用性工具的知识表示,推理机制,知识库设计。我们用MEST实现了著名老中医、沈阳市中医研究所刘绍勋主任医师咳喘诊断专家系统,证明了该工具是完全行之有效的。     

谁的GTS芯片是假货

现在的显卡高端市场上,GeForce2 GTS系列芯片已将成为主流。GTS以其极快的图形处理速度,和极高的填充率赢得了人们的信任,加上采用DDR显存搭配,性能已经不可同日而语,于是市场上一片GTS的叫好声,大有成为高端芯片霸主之势。大家不断追求高端技术产品本身是个好的发展趋势,但同时也存在一个问题,即当GTS扑到DIYer面前时,我们究竟对它了解多少呢,会不会因为一些概念掌握的准确性为个别JS所利用,来个偷梁换柱省省成本呢?当然笔者相信大多数商家是善良的,只是基于大众的角度考虑,对GTS做以下介绍。 首先介绍一下GTS家族: Nvidia公司GTS一共有三种型号,早期研发代号为NV15的Geforce2 GTS芯片组,和接下来研发代号     

一个多媒体专家系统的实现

结合多媒体家庭中医专家系统《家庭中医保健博士》的开发,讨论多媒体专家系统开发中必须注意问题。     

高质高价 华硕新款GF8800GTS游戏显卡

[800-820-66553788元]华硕日前推出了型号为EN8800GTS/HTDP/320M的GeForce8800GTS显卡,采用了最新的G80显示核心,拥有强大的显示性能,不仅为目前最热门的游戏和应用软件提供了强大的系统性能,