模型独立的移动演算理论 

并发计算是本质上不同于顺序计算的客观现象。许多并发计算模型相继被提出,试图能够像经典计算模型刻画顺序计算那样刻画并发计算。但是这些模型在许多方面缺乏统一的共识,比如基本运算符、操作语义、等价关系等等。这给并发计算的研究带来许多不便,特别是在程序等价、表达能力、图灵完备等领域,而这些又都是最基本的问题。...
上海交通大学  博士论文  2009年 下载次数(115)| 被引次数(2)

输尿管软镜手术辅助机器人系统的设计与应用研究 

研究背景近年来,输尿管软镜技术的出现与发展,为泌尿外科上尿路疾病的诊治提供一种新的微创诊疗手段,在临床上得到了越来越多的开展与应用。然而,传统输尿管软镜尚存在操作难度大、稳定性差、学习曲线长、镜体易损坏、手术姿势不符合人体工程学原理等缺点,极大地限制了其进一步推广和应用。研究目的本课题着眼于“医工结合”研究方向,将机器...
中国人民解放军医学院  博士论文  2017年 下载次数(206)| 被引次数()

形式化本体工程中若干问题的研究 

本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本体的建立和使用。 本文提出了形式化本体工程的思想,即在本体工程的各项活动中,充分利用形式化技术所具有的严密性、可验证、可推理、自动化等特点,提高本体工程各项活动的形式化程度,充分实...
吉林大学  博士论文  2008年 下载次数(670)| 被引次数(4)

基于STM32和uC/OS-Ⅱ的钬激光治疗机控制系统设计 

结石是泌尿外科的常见疾病,近年来发病率越来越高。传统的治疗方法一般是采取保守的手术治疗,但是手术治疗的弊端显而易见。而近年来不断发展的微创技术则可以很好的缓解以上问题。本文着重介绍一种治疗结石的新方法。随着激光技术的不断进步,将激光技术应用到医学领域上已经成为现实。在微创手术中,钬激光的一个非常重要的应用就...
太原理工大学  硕士论文  2010年 下载次数(1241)| 被引次数(26)

面向环境演算系统的模型检测算法的研究 

作为一种很重要的自动验证技术,模型检测已得到广泛研究,取得了丰硕的成果并应用到众多领域,引起学术界、工业界的密切关注。 模型检测的一般原理是用状态迁移系统( M )表示系统的行为,用模态逻辑公式(ψ)描述系统的属性。这样“系统是否具有所期望的性质?”就转化为数学问题“状态迁移系统M是否是公式ψ的一个模型?”。...
南京航空航天大学  硕士论文  2009年 下载次数(53)| 被引次数(1)

结合多方面空间关系的动态空间信息处理及其应用的研究 

定性空间推理经过近30年的发展,已经成为人工智能领域的重要研究方向。在实际应用中,大多的空间信息都是以结合多方面空间关系的形式存在的,而且这些空间信息大多是动态变化的。如何对这些复杂变化的空间信息表示和推理对定性空间推理的发展非常重要。本文针对这两个问题展开研究,主要工作包括: (1)提出了同对象多属性的结合不...
吉林大学  博士论文  2011年 下载次数(201)| 被引次数(1)

时空推理中一些问题的研究 

时空推理由时态推理和空间推理发展而来,近年来已成为人工智能、地理信息系统和时空数据库等相关领域的研究热点。本文围绕时空推理,尤其是空间推理中的一些热点问题,展开了研究和讨论。总结以往时空推理的研究工作,特别是时空逻辑方面的工作,研究如何建立更好的时空模型,并提出了可行的解决方案;重点研究了Allen的时态区间演算与RC...
吉林大学  博士论文  2005年 下载次数(1226)| 被引次数(27)

基于格值逻辑的α-多元线性归结自动推理研究 

人工智能领域中的一个极具有挑战性的研究方面是自动推理(定理机器证明),归结自动推理是自动推理的重要研究方向之一,其研究成果已被应用到很多重要领域,如人工智能、逻辑编程、问题求解、软件模型检测与测试、安全协议、程序自动验证、应答系统等方面。现实世界中经常遇到一些由于其多因素而产生不可比较性的问题,这类带有不可比较性信息的...
西南交通大学  博士论文  2017年 下载次数(67)| 被引次数()

基于tableau的自动推理研究 

自动定理证明的历史几乎与计算机科学的历史一样长,计算机科学中的尖端领域——人工智能的研究也是从自动定理证明开始的。自动推理作为自动定理证明的扩展是人工智能研究的基础工作,许多重要的人工智能系统,都是以推理系统为其核心部分,所以自动推理的研究,将对人工智能的其它分枝产生深远的影响,它所提出的推理方法已被应用于人工智能的各...
吉林大学  博士论文  2004年 下载次数(535)| 被引次数(3)

基于动态逻辑的Agent的形式化模型 

随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为 人工智能领域中一个新的研究热点,也成为分布式人工智能的重要研究方向。基于Agent 的技术被认为是软件领域中的一次重大突破。 ...
云南师范大学  硕士论文  2000年 下载次数(289)| 被引次数(4)

机器人辅助输尿管软镜手术系统的研制及试验评价 

目的:为解决目前输尿管软镜(flexible ureteroscopy,FURS)手术过程中存在的操作难度大、稳定性差、手术姿势及协作空间不符人体工程学原理等问题,设计并研发机器人辅助FURS手术系统。方法:设计机器人辅助FURS手术系统,完成工业样机制备,应用3D打印结石肾脏模型及动物实验(猪)验证系统的可行性和使用...
《临床泌尿外科杂志》  2018年 第07期 下载次数(96)| 被引次数()

基于命题逻辑概率赋值的近似推理模式 

将命题逻辑的赋值域由二值{0,1}推广到给定的概率空间,引进命题公式的概率赋值,概率赋值是经典命题逻辑赋值及各种真度概念的推广.利用概率赋值引入命题公式的概率真度、不可靠度、基于独立事件赋值集的概率真度等概念,通过讨论概率真度的性质,表明概率真度在全体命题公式集F(S)上满足Kolmogorov公理.证明全部命题公式基...
《模式识别与人工智能》  2015年 第09期 下载次数(73)| 被引次数(1)

卢卡西维茨多值逻辑在模糊模态逻辑中的应用 

模态推理是人工智能研究的重要内容.已有的推理方法,由于计算复杂等原因,使用范围受到限制.将模态逻辑转换为卢卡西维茨多值逻辑,再将卢卡西维茨多值逻辑转换为布尔逻辑的推理机计算简单,而且还能用于模糊模态和模糊谓词推理中.基于此,验证了模态逻辑和卢卡西维茨的三值逻辑的相符性,并将推理机应用于模糊模态逻辑中.
《湖北民族学院学报(自然科学版)》  2016年 第02期 下载次数(91)| 被引次数(0)

输尿管软镜机器人的研发与应用 

随着医疗技术设备的不断进步,输尿管软镜在过去十年发展迅速。但是,输尿管软镜在操作技术上的临床应用和普及方面仍然具有挑战性。输尿管软镜机器人目前尚在探索阶段,但已有临床研究结果证实机器人辅助输尿管软镜能够弥补传统输尿管软镜的不足,而且可以获得临床治疗上良好的疗效和安全保障。输尿管软镜机器人是一种结石治疗领域未来发展的全新...
《医学与哲学(B)》  2016年 第08期 下载次数(107)| 被引次数(1)

基于卢卡西维茨多值演算的模态逻辑推理机 

模态逻辑广泛应用于人工智能领域,但没有实际有效的推理机.针对上述问题,研究了模态逻辑中演绎推理的方法,该方法用必要的形式化方法将模态逻辑转换为卢卡西维茨多值逻辑,再将卢卡西维茨多值逻辑转换为布尔逻辑.结果表明和其他方法相比,该推理机在模态逻辑中具有普适性、计算简单性、推理规则应用的非限制性.
《湖北民族学院学报(自然科学版)》  2015年 第03期 下载次数(61)| 被引次数(1)

共找到相关记录237条12345678910下一页