一种基于时态描述逻辑的工资智能决策支持系统的实现

分析指出了现阶段工资智能决策支持系统的不足之处,即工资政策是通过人工编程实现,没有将其形式化,不能适应工资政策的易变性特点.根据工资政策的需求和特点,在时态描述逻辑ALCmon旆的基础上,扩展得到了新的时态描述逻辑EALCmon旆,并分析了其时间复杂度,然后讨论了工资智能决策支持系统基于该时态描述逻辑的实现方法,并给出了工资系统中工资政策的形式化和推理方法,最后讨论了该方法的优点和不足,并指出了以后的工作方向.     

工资智能决策支持系统SIDSS的设计与实现

根据工资政策的特点,在此提出一种三库结构的智能工资决策支持系统,即规则库、方法库和数据库。与四库结构相比,它具有独立性较好,易于实现的特点。本文介绍工资智能决策支持系统SIDSS系统结构和主要功能,讨论了事件处理器、规则处理器及方法库与数据库等关键技术。     

膝关节镜微创清理术中的手术刀具

膝关节镜微创清理术是国内外最常用的对膝关节生物组织进行手术切除的方法。由于膝关节镜微创手术视野小、操作空间狭窄,因此对手术器械的依赖程度远大于传统外科手术,常用的膝关节镜微创手术治疗工具种类繁多、结构精巧复杂,其合理设计、制造和使用,关系着手术切除生物组织的效率和切削损伤的程度,对于手术的成败及术后康复起着至关重要的作用。就膝关节镜微创清理术中生物组织的切除特性,简要介绍了国内外主流膝关节镜刨削刀具和刨削磨头的结构类型、切除机理和应用,指出了目前关节镜微创手术刀具存在的主要问题以及后续研究的主要方向。     

医疗手术机器人发展概况

手术机器人是一种智能外科手术工具,借助精确的干预措施、本体结构和智能控制系统等技术的突破解放医生的手和眼,提高临床操作准确性和手术成功率。目前手术机器人已广泛应用于神经外科、腹腔外科、胸外科、骨外科、眼科、耳鼻喉、血管介入及颅面外科等医疗中。本文从功能模块、定位导航等关键技术、国内外医疗手术机器人发展、趋势等方面对手术机器人的发展概况进行了介绍。     

QoS映射与自适应协商机制的研究与实现

TCP/IP协议本身只提供“Best-Effort”级别的服务,而对QoS支持很少.基于此,提出一种基于TCP/IP协议的自适应QoS协商机制,其基本思想是基于资源预留协议RSVP(resource reservation protocol).在提出QoS请求时进行QoS映射,然后启动适应性函数和资源管理函数进行协商,直到获得一组在当前资源状况下最佳的QoS指标为止.然后介绍了应用GQoS实现自适应QoS协商的基本步骤以及重要数据结构和函数.实验结果表明,应用该方法可以根据网络资源的变化,自适应地调整QoS参数.