不确定性推理方法研究论文

知识库是人工智能的核心，而知识库中的知识既有规律性的一般原理，又有大量的不完全的专家知识，即知识带有模糊性、随机性、不可靠或不知道不确定因素。世界上几乎没有什么事情是完全确定的。不确定性推理即是通过某种推理得到问题的精确判断。不确定推理方法在人工智能系统中通常是不够严谨的，但尚能解决某些实际问题，符合人类专家的直觉，在概率上也可给出某种解释。

（专业办学优势） ●智能信息处理○主要研究内容：智能规划与自动推理、约束程序、智能决策支持系统等研究领域的科学研究与软件开发工作。○主要成果：研究成果居国内领先地位。有教师12人，其中教授（博士生导师）3人，两人获教育部“新世纪优秀人才支持计划”支持，不间断地承担过近20项国家自然科学基金课题，在研国家和省部级课题4项、横向软件开发项目4项。承担《人工智能原理》等研究生课程和《离散数学》等本科生课程，其中《离散数学》为国家精品课程。●软件形式化○主要研究内容：软件形式化方法、语义网、程序分析技术、各种程序设计语言与实现技术、移动代码安全、并发语义、软件检查等。○主要成果：承担并完成了国家自然科学基金项目4项、教育部博士点基金1项、省部级项目2项、协作项目3项、省级校级教改项目3项、发表学术论文70余篇、编著学术著作13部。承担研究生课程《形式语义学》、《程序分析》，本科生课程《编译原理(双语)》、《高级语言程序设计》和《C#程序设计(双语)》。《编译原理(双语)》课程被评为吉林大学精品课、吉林省精品课程和教育部-微软精品课程，获得三项省级奖励。由博士生导师张长海教授主讲的《高级语言程序设计》被评为国家级精品课。●软件工程○主要研究内容：组件技术和软件复用技术、基于软件体系结构的软件开发方法、软件维护和软件设计改进方法、软件演化方法和软件自动化技术、软件重构方法和技术、软件测试、面向方面的编程技术、基于移动代理的软件开发方法、软件工程环境和软件开发辅助工具等。○主要成果：研究组成员完成国家重点攻关项目和国家自然科学基金项目4项，在国内核心刊物或国际会议上发表论文50余篇。●数据库与web智能○主要研究内容：数据库理论、机器学习、数据挖掘与Web挖掘、网络搜索引擎。○主要成果：完成国家自然科学基金项目“基于Petri网的主动型面向对象数据库管理系统(1997-1999)”、吉林省科技发展计划项目“第二代网络搜索引擎的研制(2000-2003)”。承担国家自然科学基金项目“具有增量性质的移动式主题爬行系统(2004-2006)”。在国际会议和《软件学报》等核心刊物上发表论文40余篇，其中被三大检索结构检索论文9篇，出版教材和学术专著4部。获得国家级和部委级奖励5项。●数据库与智能网络○主要研究内容：面向高维、海量数据的智能处理理论，数据挖掘基础理论与应用，Internet组播路由技术，并行程序设计，并行工程与工程数据库系统，计算机支持协同工作与设计。○主要成果：承担国家攻关项目2项，国家863计划项目1项，国家自然科学基金项目5项，省部级及其它科研项目几十项。获国家科技进步二等奖1项，机械工业部科技进步一等奖1项，及多项省部级其它奖项。又在各种国内外刊物上发表数十篇的论文。 ●知识工程与专家系统○主要研究内容：不确定性推理方法与技术；多专家系统协作技术；贝叶斯网推理和学习；异构知识表示的相互转换；知识库求精和知识库一致性检测等。○主要成果：承担多项国家863项目，利用包括专家系统等多种技术开展面向农业信息化领域应用研究，开发了二十多个农业实用ES，并持续进行了大规模推广应用。97至04年，增收节支约亿元。研究工作先后获吉林省科技进步一等奖和二等奖各1项、长春市科技进步一等奖1项。●DAI、MAS、智能Agent和移动Agent○主要研究内容：DAI与多Agent系统主要包括：复杂任务求解方法；Agent感知方法；Agent规划方法；DAI规划识别、生成、优化方法；Agent派生与回收、动态组装方法；动态DAI体系结构模型。面向Agent程序设计主要包括：智能Agent体系结构、逻辑理论、程序设计方法和语言及多Agent协商方法。移动Agent技术主要包括: 移动Agent系统体系结构、理论模型、迁移规划、通信和安全。○主要成果：自1984年开始，完成国家863和自然科学基金项目10项，发表论文50余篇。提出了基于BDI组件式智能Agent模板结构模型。提出了扩展合同网协商模型ECNNM。提出了支持Agent通信和协商有分支时序结构的一阶多模态逻辑。提出基于模板模型、扩展BDI逻辑、支持多Agent协商模型ECNNM的Agent程序设计语言NOAPL。基于上述成果研制了“开放、自适应、分布式多Agent协作系统工具COT”，用COT开发了多ES石油测井解释系统。还提出了移动Agent系统模板结构、基于环境演算的移动Agent系统形式化模型、迁移规划模型、可靠性通信模型和通信性能优化模型，面向网络管理的安全模型和基于博弈论的电子商务虚拟市场模型，并将移动Agent技术应用于网络管理和电子商务领域。●时空信息表示和推理○主要研究内容：时间和空间是人类永恒的话题，时空推理在人工智能等领域中占据重要地位。该院的时空推理研究始自1996年，覆盖了很多研究方面，并应用到地理信息系统、精准农业等领域。研究内容主要包括：时空逻辑、时空代数、时空本体、时空数据挖掘、时空数据库、移动对象数据库等。获得了基金资助包括自然科学基金重大项目子课题1项、自然科学基金面上项目3项，省科技发展计划项目4项等。○主要成果：对区域连接演算进行了混合维扩展，并应用于定性空间遮蔽关系表示；提出了处理时空信息的不确定性、模糊性和粒度模型，并分别应用于GIS、空间数据挖掘和时空数据库；处理综合时空信息的模型；定性空间查询语言和时空查询语言；改进的公路网移动对象模型；栅格数据模型下模糊区域的拓扑关系分析。基于上述研究，独立开发了支持时空推理的组件式地理信息系统CGIS和多个农业应用系统，使测土施肥真正成为可能。共发表核心期刊以上论文60余篇，SCI索引7篇，EI索引15篇。●基于粗糙集和格机的数据挖掘○主要研究内容：传统的数据分析手段难以应付越来越多的数据。为使人们能理解并有效地使用这些数据，以数据挖掘为研究背景，该院展开了以基于格机和粗糙集的数据挖掘理论与方法为主的研究，主要研究内容包括：对当时的格机理论、方法进行深入研究，重点研究格机的标注与其分类特性；研究增量式格机的标注与其分类特性，给出增量式格机的严格形式化定义；面向文本等非结构化数据，研究基于格机理论的数据约简方法和分类方法。研究粗糙集理论公理组的极小化问题；研究基于粗糙集理论的属性约简方法和数据约简方法；研究基于格机理论和粗糙集理论的数据挖掘方法。○主要成果：学院在基于格机和粗糙集的数据挖掘理论与方法上取得了一定的成果。扩展了格机的等标注的思想，提出了交集标注的概念，用以解决多类别决策问题；将上述思想并应用于文本数据的多类别决策问题，取得了较好的效果；去除了粗糙集公理组中隐含着的冗余性, 得到了更为精练的两组粗糙集公理, 并证明了它们的可靠性; 定义了极小粗糙集公理组概念, 并证明了给出的两组粗集公理是极小的；在基于粗糙集理论的属性约简和数据约简方面，提出了基于信息熵和遗传算法的属性约简算法、基于特征矩阵的最小约简算法、增量式规则提取方法。●计算智能○主要研究内容：计算智能所涉足的神经网络、模糊系统和进化计算相关理论、模型和算法，以及计算智能方法在机器味觉和嗅觉、图象处理、商务智能、智能交通、现代物流、生物信息学和生物识别技术等领域的应用研究。○主要成果：承担国家自然科学基金重点项目1项、国家自然科学基金面上项目2项、十五攻关项目1项、“863”项目1项、省部级项目7项和多项横向科研项目，获得省部级科技进步二等奖2项、三等奖3项：发表学术论文100多篇；其中被SCI收录20多篇，SCI引用26次，被EI收录40多篇，被国内核心刊物引用116次；出版学术著作1部，获得国家发明专利1项，获得软件版权4项。●计算机图形学与数字媒体○主要研究内容：计算机绘画与动画，计算机动漫技术与应用，基于点的造型与绘制、几何造型中曲面拼接的基础理论和算法、分形的计算机生成，基于内容的多媒体检索，眼底三维图象组建和医学图像处理，图象超分辨率和图象配准，流媒体压缩、编码、解码及代理缓存技术，三维模型检索系统中利用聚类分析方法平台系统的开发，基于聚类分析的三维模型数据库分析与组织等。○主要成果：自八十年代初开始开展计算机图形学与数字媒体方面的教学、科研和开发工作，多年来承担与完成国家自然科学基金4项，省部级项目2项，其他各类科研项目10余项。发表学术论文200余篇，其中被三大检索收录50余篇。●计算机图像处理与虚拟现实○主要研究内容：计算机图像处理的理论与应用研究，主要有数字水印技术、图像检索技术、医学图像处理、基于图像的绘制技术，基于图像的3维重建技术等；虚拟现实技术和应用研究，主要有虚拟环境的模拟、自然景物的模拟、碰撞检测技术等；模式识别和机器视觉的研究，基于约束的几何模型研究，多媒体技术研究。○主要成果：承担国家自然科学基金项目2项、省部级项目4项及多项横向科研项目。发表学术论文130余篇，其中被SCI收录30余篇，EI收录25篇，ISTP 收录 30多篇。出版教材3部。●智能工程○主要研究内容：人工神经网络、模糊系统和进化计算相关理论、模型、算法，DNA计算，量子计算，人工免疫算法，群体优化算法，机器学习算法，基于计算智能的生物信息学中的相关理论与算法，蛋白质结构预测方法，基因表达数据分析，药物成份分析，以及智能计算方法在组合优化、数据挖掘、超声电机控制、微机电系统建模、金融时间序列预测、模式识别等领域的应用。○主要成果：自2001年起承担与完成国家自然科学基金项目2项、省部级项目2项，获省部级科技进步奖4项。发表学术论文100余篇，其中被SCI收录40余篇，EI收录50余篇。●移动通信与网络系统○主要研究内容：移动IP技术、移动计算网络理论、基于移动计算网络的各种应用，包括移动IP网络中的QoS管理、流量工程、基于策略的网络管理、安全理论与技术、入侵检测系统、防火墙技术以及网络体系结构、通信协议与接口、网络设备、网络通信软件和网络协议的实现。○主要成果：完成国家科技攻关项目1项，863项目1项，国家自然科学基金项目3项，省部级项目12项以及多项工业界委托项目，获省部级奖3次。主持国家发改委高新技术及产业化项目1项，国家自然科学基金面上项目1项和振兴东北老工业基地科技攻关项目1项。在国内外知名刊物上发表论文60余篇，出版教材(主编)8本。●智能控制与嵌入式系统○主要研究内容：工业控制计算机技术、嵌入式计算机系统、网络化嵌入式系统与安全、网络化控制技术与实时信号传输、嵌入式系统软硬件协同设计、故障自诊断与容错技术、普适计算、智能控制、光电混合信息处理技术，以及这些技术在汽车电子控制与信息系统、智能交通系统中的应用。○主要成果：完成863项目、“攻关”项目等3项，国家自然科学基金项目2项，省部级项目8项，获省部级科学技术进步奖4项，发表论文100余篇，出版教材8部。●计算机空间信息处理技术○主要研究内容：空间数据的采集、量测、分析、存贮、管理、显示、传播和应用方面的集成的信息科学与技术。重点研究油田多维信息和数字地球信息的大容量数据存储技术、多媒体数据库技术、压缩传输技术、智能化搜索算法、数据仓库与数据挖掘、空间数据的建模和模拟，3S集成理论与方法，科学计算可视化和虚拟现实技术，人机交互技术等。○主要成果：获国家863项目1项，国家自然科学基金项目2项，省部级项目16项，获省部级科技进步二等奖2项，三等奖8项，发表论文60余篇，出版专著3部。 ●分布式系统与网络软件○主要研究内容：机群操作系统及在分布并行计算和服务器群方面的应用；网格计算；网络安全；因特网技术及在IP电话、VPN、电子商务/政务等方面的应用。○主要成果：完成国家科技攻关项目5项，863项目3项，国家自然科学基金项目6项，国家教委博士点基金项目2项，吉林省自然科学基金项目3项以及若干工业界委托项目。在研项目有国家自然科学基金重大项目1项，国家自然科学基金面上项目1项，吉林省杰出青年项目1项以及国际合作项目1项。专著9部，在国内外知名刊物上发表论文100多篇。获省部级科技进步奖8次，包括原电子部特等奖1次、原国家教委二等奖1次和三等奖3次， 吉林省二等奖1次，吉林省三等奖2次。机群操作系统的研究处于国内领先、国际先进水平，因特网研究处于国内先进水平。●信息安全是中国最早进行PKI技术研究和开发的单位之一，在PKI技术方面的研究工作居国内领先行列。○主要研究内容：基于加密技术和黑客技术的信息与网络安全的研究；基于公共密钥和专用密钥的加密技术。○主要成果：承担国家、省部级项目20余项，发表学术文章50余篇。根据中国电子商务协会的统计数据，吉林大学研制的“数字证书认证系统SRQ05”在国内占有率已经达到70%以上。承建的“福建省数字证书认证系统暨SRQ05电子证书认证系统”获得国家密码科技进步一等奖。●计算机支持协同工作技术○主要研究内容：基于网络的分布式协作系统的原理与技术，典型应用包括基于工作流的协作工作框架、通信网络网络性能协同监测系统及协作作战指挥系统等。○主要成果：国家科技攻关项目1项，国家863项目1项（子课题），国家科技成果推广项目1项，国防科工委项目1项，省重大项目1项，省重点项目1项，省部级项目6项，企业联合项目20余项。在国内外发表论文36篇，EI检索5篇。撰写教材和专著7部。获专利1项。●通信软件与协议工程○主要研究内容：电信通信网由封闭式集中控制环境转向开放式分布控制环境后的网络智能理论和软件技术；电信通信网环境中的感知通信、自适应业务提供、可重配置网络和可视化；网络管理智能化；以IP为核心的下一代网络（NGN）结构、模型和关键技术等。○主要成果：完成省部级以上纵向课题10余项及多项横向课题。其中部级重大项目2项，教育部博士点基金项目1项；累计完成科研经费近千万元；获省级教学成果奖二等奖、省级教学软件一等奖和吉大教学成果奖一等奖各一项。在国内外核心刊物上发表学术论文70余篇，著书2部。其中SCI检索论文5篇、EI检索论文10篇、ISTP论文2篇。 ●生物信息技术○主要研究内容：计算生物学与生物特征识别，主要包括基于计算智能的生物信息学中的相关理论与算法，生物数据中的数据挖掘算法，蛋白质结构预测方法，基因表达数据分析，药物成份分析，以及基于小波理论、粗集理论、模糊神经网络和具有混合进化机制的生物特征识别方法与应用等。○主要成果：承担与完成国家自然科学基金项目3项、省部级项目4项，获省部级科技进步奖5项。发表学术论文90余篇，其中被SCI收录30余篇，EI收录50余篇。●生物信息识别与信息安全技术○主要研究内容：提出了一些基于虹膜、指纹、人像生物特征识别的相关理论、技术、算法与系统，以及基于生物特征与水印相融合的信息安全技术。○主要成果：自2001年起，获得省部级科研项目4项，获省部级科技进步一等奖1项，获国家专利3项。发表论文50多篇，其中，SCI、EI、ISTP检索25篇。

人工智能毕业设计（论文）课题简介JHF1 基于VGA采集卡的VGA信号实时采集技术的研究传统VGA信号采集通常采用软件抓屏或VGA转AV方式，但两者都面临着各种自身无法克服的弱点。软件抓屏方式通过在计算机上安装软件方式实现，通过软件进行抓屏和压缩，严重影响采集计算机的性能；在播放视频文件时，无法实时采集到画面，出现视频卡壳或者黑屏的现象。采用VGA转AV方式，VGA信号转换为视频以后，即使不压缩，清晰度也大大降低，文字、网页等内容几乎无法看清，再经过压缩，信号质量可能会更差，很难满足实际教学的需求。传统VGA信号的采集方式严重制约着多媒体教学及远程教育的发展。采用基于VGA采集卡的VGA信号实时采集技术，即直接采集设备的VGA数据，既能保证信号的连续实时，又能保证清晰不失真，从而完美解决了VGA信号的实时采集压缩这一难题。JHF2 基于PC的网络视频服务器的设计视频服务器可以看作是不带镜头的网络摄像机，或是不带硬盘的DVR，它的结构也大体上与数字硬盘录像机相似，是由一个或多个模拟视频输入口、图像数字处理器、压缩芯片和一个具有网络连接功能的服务器所构成。视频服务器将输入的模拟视频信号数字化处理后，以数字信号的模式传送至网络上，从而实现远程实时监控的目的。由于视频服务器将模拟摄像机成功地“转化”为网络摄像机，因此它也是网络监控系统与当前CCTV模拟系统进行整合的最佳途径。网络视频服务器除了可以达到与网络摄像机相同的功能外，在设备的配置上更显灵活，克服了网络摄像机通常受到本身镜头与机身功能较弱等不足。JHF3 教育资源库管理系统的设计教育资源库是教育信息化中的主要组成部分，教育资源库的建设包括软硬件平台、资源和服务等方面的建设。教育资源库软件平台是支撑教育资源管理和使用的基础平台，是整个软件平台的核心。系统平台支持基于B/S结构的各类Web应用，通过“Web Service”技术提供了一整套接口机制实现跨平台、跨服务器的系统耦合，实现统一用户、统一登录、统一产品入口等重要功能。从资源使用和管理的流程出发，平台的功能包括资源目录浏览、资源检索、资源前台服务管理、系统后台管理、计费管理、资源统计、个人知识管理器等主要功能，对八类标准资源子库实施操作。SSD1 ▲应用不确定性推理评估交通流及安全性城市交通拥已经成为社会急需解决的迫切问题，也是当前个学科协同作战的重大课题。拟采用人工智能中的不确定性推理方法评估交通流及安全性问题，并提出合理的建议。SSD2 ▲大学校园安全报警系统研制根据校具体情况，联系公安部处、学生处等有关部门，研制该系统软件，对于解决灾害和突发事件等建立安全预警专家系统有实际意义，且能通过计算机软件和人工智能的工具实现理论与实际相结合。SSD3 基于PC的数字硬盘录像机的设计数字硬盘录像机硬件组成上采用PC机，通用性强；软件采用了嵌入式LINUX操作系统，以及在此基础上开发的应用软件，没有版权问题的困扰。既无需购买昂贵的操作系统，又遗弃了使用盗版软件的尴尬。操作系统为嵌入式LINUX系统，操作系统可以做的相对比较小，既可以加载在硬盘上，也可以固化在优盘、CF卡、电子硬盘上，写入数据后永不丢失，便于系统本身的稳定以及方便升级。系统稳定性好、通用性强、适用性广，对断电、非法操作、病毒等均不受影响。GSY1 基于支持向量机行人检测模板匹配的方法在行人检测问题中也是适用,用于匹配的模板的形状类似棒棒糖。多数清况下,行人会在手放在身体两侧,这意味在多数清况下,行人是有可能被检测,此外行人的运动也具有特征,同样也可被检测出来.有多种特征选择算法可供选择,选择了小波系数作为窗口的局部特征,这里小波系数是对特定滤波器的响应.特征选定以后,可以按照训练支持向量机方法,诸如自举方法进一步改善系统性能。GSY2 基于行人检测的WEB服务探测技术1）感知界面 互联网出现使人为中心的人机交互逐步演变为人网交互,用计算机代替人实现对多媒体数据流自动分析,进而实现网络多媒体数据有效的管理,查询和组织,交互检索,可视化反馈界面,网络交互.面向WWW的多媒体的检索系统.2）多媒体推理 从智能和推理地角度,任何涉及多媒体处理的活动,如多媒体展示,多媒体著作,视觉设计,都可以当作多媒体推理.GSY3 地理信息系统的设计与实现将地理信息系统技术应用决策和管理,论述系统的设计方法,实现方案和技术特点.GSY4 一种自适应逃逸微粒群算法针对收敛速度慢,容易陷入局部最小等缺点,给出一种自适应逃逸微粒群算法,逃逸行为是一种变异操作,逃逸微粒群能有效进行全局和局部搜索,收敛速度快,采用复杂函数优化仿真自适应逃逸微粒群算法结果.GSY5 几何配准与立体观察几何配准是图象空间叠加,镶嵌,加网格的前题,是分析和比较同一类型或不同类型的成像系统在同一时间摄取同一景物的图象的首要条件,否则就不可能正确绘出各类型(平面和立体)的复合图象或时间上变化图形。