PROLOG运行机制的辅助理解工具 被引量：4

1

作者 刘育刚 吕光楣 《小型微型计算机系统》 CSCD 北大核心 1993年第10期49-53,共5页

用表意图形的方法研究了人工智能语言PROLOG的各种语法成份,找出一套有效的辅助理解工具,它能准确清晰地图解PROLOG程序,如目标和子句,谓词FAIL和回溯,以及截断谓词等内容。文中特别用两个例子详述了在PROLOG语言中最难理解的递归过程... 用表意图形的方法研究了人工智能语言PROLOG的各种语法成份,找出一套有效的辅助理解工具,它能准确清晰地图解PROLOG程序,如目标和子句,谓词FAIL和回溯,以及截断谓词等内容。文中特别用两个例子详述了在PROLOG语言中最难理解的递归过程。最后,简述了矩形表示法,该工具的图册和配套的图形动画软件。 展开更多

关键词 PROLOG语言 辅助理解工具

下载PDF 职称材料

格拉司琼和托烷司琼预防开胸术后镇痛患者恶心呕吐的疗效观察 被引量：2

2

作者 刘育刚 张锦英 沈途 《新医学》 2010年第10期670-672,共3页

目的：比较格拉司琼和托烷司琼对胸部手术后镇痛患者术后恶心与呕吐（PONV）的预防作用。方法：术前美国麻醉师协会（ASA）分级Ⅰ-Ⅱ级行择期开胸手术患者100例，男55例、女45例，随机分为两组各50例，在开始缝皮前分别静脉注射格拉司琼... 目的：比较格拉司琼和托烷司琼对胸部手术后镇痛患者术后恶心与呕吐（PONV）的预防作用。方法：术前美国麻醉师协会（ASA）分级Ⅰ-Ⅱ级行择期开胸手术患者100例，男55例、女45例，随机分为两组各50例，在开始缝皮前分别静脉注射格拉司琼3mg（G组）、托烷司琼5mg（T组），术毕即开启镇痛泵行持续静脉自控镇痛，观察两组术后24、48h内PONV的发生情况并进行比较。结果：24h内T组PONV发生率明显低于C组（P〈0．05），而48h内PONV发生率两组比较差异无统计学意义（P〉0．05）。结论：格拉司琼和托烷司琼都可以预防术后镇痛患者PONV的发生，但24h内托烷司琼的效果优于格拉司琼。 展开更多

关键词 恶心 呕吐 开胸手术 术后镇痛 格拉司琼 托烷司琼

下载PDF 职称材料

Pro树与Prolog程序追踪 被引量：2

3

作者 刘育刚 吕光楣 《计算机研究与发展》 EI CSCD 北大核心 1995年第7期17-20,共4页

本文介绍了Ｐｒｏ树的生成规则，并以一个递归程序为例，对追踪过程和由Ｐｒｏ树图解的运行机制进行了详细比较，说明Ｐｒｏ树可作为一种直现、形象、易于理解的辅助工具，用于Ｐｒｏｌｏｇ程序的设计和调试。

关键词 PROLOG语言 程序追踪 程序调试 Por树

下载PDF 职称材料

一种电磁手枪的基本原理及性能分析 被引量：1

4

作者 刘育刚 张波 《四川兵工学报》 CAS 2010年第5期8-10,13,共4页

介绍了线圈式电磁手枪的基本工作原理,从驱动线圈匝数、弹丸壁厚、电容器电容值、电容器充电电压等方面分析了其对弹丸电磁力、出口速度及能量利用率等方面的影响。利用电磁场有限元分析软件Maxwell2D进行建模仿真,借助Matlab强大的计... 介绍了线圈式电磁手枪的基本工作原理,从驱动线圈匝数、弹丸壁厚、电容器电容值、电容器充电电压等方面分析了其对弹丸电磁力、出口速度及能量利用率等方面的影响。利用电磁场有限元分析软件Maxwell2D进行建模仿真,借助Matlab强大的计算功能,分析电磁手枪各参数对弹丸的影响。 展开更多

关键词 电磁手枪 有限元 MAXWELL

下载PDF 职称材料

双重递归 Prolog 程序的运行机制

5

作者 刘育刚 《哈尔滨工程大学学报》 EI CAS CSCD 1998年第1期99-101,共3页

使用Ｐｒｏ图作为工具对一个双重递归的Ｐｒｏｌｏｇ程序进行图解，给出了该程序的Ｐｒｏ图，该图激活时各谓词和参量的变化情况。

关键词 程序设计 逻辑程序 PROLOG程序 运行机制

下载PDF 职称材料

递归Prolog程序的正确性证明 被引量：2

6

作者 刘育刚 《计算机学报》 EI CSCD 北大核心 1996年第1期64-67,共4页

本文提出了一种称为Ｐｒｏ图的图形方法，并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明．文中包括Ｐｒｏ图的基本概念及生成规则，Ｐｒｏ图上各节点的关系，Ｐｒｏ图的激活过程，并给出了关于递归程序正确性证明的公理和定理．

关键词 PROLOG语言 正确性证明 递归程序

下载PDF 职称材料

指控系统中的数据融合与人工神经网络 被引量：1

7

作者 刘大昕 刘群 +1 位作者 印桂生 刘育刚 《舰船指挥控制系统》 1997年第2期28-30,共3页

本文研究了数据融合模型,分析了数据融合的方法,说明了数据融合在指控系统中的作用,最后对人工神经网络技术应用于数据融合作了初步探讨。

关键词 舰艇 指挥控制系统 数据融合 人工神经网络

下载PDF 职称材料

支撑喉镜压迫胸骨产生窦性心动过缓2例分析

8

作者 刘育刚 李春艳 《中国误诊学杂志》 CAS 2007年第29期7199-7200,共2页

关键词 喉镜/副作用 心动过缓/病因学 病例报告[文献类型] 人类

下载PDF 职称材料

蛛网膜下腔注射含新斯的明局麻药的术后镇痛效果观察

9

作者 刘育刚 吴强 《中国麻醉与镇痛》 2003年第4期244-245,共2页

目的：探讨蛛网膜下腔局麻药加入新斯的明的术后镇痛效果与不良反应。方法：选择60例择期下腹部手术病人，随机分为三组，每组20例，均采用单次腰麻：A组腰麻药为0．75％重比重布比卡因15mg；B组0．75％重比重布比卡因15mg中+新斯的明0... 目的：探讨蛛网膜下腔局麻药加入新斯的明的术后镇痛效果与不良反应。方法：选择60例择期下腹部手术病人，随机分为三组，每组20例，均采用单次腰麻：A组腰麻药为0．75％重比重布比卡因15mg；B组0．75％重比重布比卡因15mg中+新斯的明0．2mg；C组0．75％重比重布比卡因15mg中+新斯的明0．2mg+东莨菪碱0．Img。术后采用视觉模拟评分(VAS)观察镇痛效果及不良反应。结果：B、C组术后完全无痛时间和持续镇痛时间明显长于A组，VAS评分明显低于A组(P<0．01)；B组的恶心呕吐不良反应率高，C组仅l例恶心呕吐。结论：蛛网膜下腔注射新斯的明的术后镇痛效果确切，持续镇痛时间长，加用东莨菪碱后恶心呕吐不良反应显着减少。 展开更多

关键词 蛛网膜下腔 新斯的明 局部麻醉 麻醉药物 术后镇痛 东莨菪碱 效果观察

下载PDF 职称材料

硝酸甘油联合地尔硫用于鼻内镜术中控制性降压的临床观察

10

作者 刘育刚 沈途 张锦英 《中国药房》 CAS CSCD 2012年第48期4554-4556,共3页

目的:观察硝酸甘油联合地尔硫在鼻内镜术中控制性降压的效果及对血流动力学的影响。方法:选择择期行鼻内镜手术的患者60例,随机均分为A组(未降压)、B组(硝酸甘油)、C组(硝酸甘油+地尔硫),比较各组麻醉前,插管后,降压后15、30min和降压... 目的:观察硝酸甘油联合地尔硫在鼻内镜术中控制性降压的效果及对血流动力学的影响。方法:选择择期行鼻内镜手术的患者60例,随机均分为A组(未降压)、B组(硝酸甘油)、C组(硝酸甘油+地尔硫),比较各组麻醉前,插管后,降压后15、30min和降压结束后10min的心率(HR)、平均动脉压(MAP)、手术时间和出血量,评估术野质量。结果:B、C组术中出血量、手术时间和术野质量评分均较A组减少,差异有统计学意义(P<0.05);控制性降压后15、30min,B、C组MAP均较A组显著降低,B组HR较A组显著增加,C组HR较A、B组显著降低,差异均有统计学意义(P<0.05)。2组患者均未见严重不良反应发生。结论:硝酸甘油联合地尔硫控制性降压应用于鼻内镜手术,可实现平稳降压,与硝酸甘油比较,可防止反射性的HR增快。 展开更多

关键词 控制性降压 硝酸甘油 地尔硫 鼻内镜手术

原文传递

PRO树及其剪枝问题的研究 被引量：1

11

作者 刘育刚 吕光楣 《哈尔滨船舶工程学院学报》 CSCD 1994年第3期45-52,共8页

介绍了静态和动态两种ＰＲＯ树的生成及为求出目标解在ＰＲＯ树上搜索、匹配和回溯的过程．针对截断谓词可能出现的各种位置，着重讨论了两种ＰＲＯ树的剪枝。

关键词 PROLOG语言 回溯 PRO树 剪枝

下载PDF 职称材料

求最小生成树的邻接矩阵法 被引量：1

12

作者 刘育刚 《哈尔滨船舶工程学院学报》 EI CAS CSCD 1989年第2期217-223,共7页

求图的最小生成树,目前已有多种算法.今介绍一种新的算法——邻接矩阵法,叙述该算法的步骤,进行理论证明,并给出一个说明本算法的实例所述算法形象直观、容易理解、求解过程简便、易于在计算机上实现.特别是它为求解工程上经常遇到的某... 求图的最小生成树,目前已有多种算法.今介绍一种新的算法——邻接矩阵法,叙述该算法的步骤,进行理论证明,并给出一个说明本算法的实例所述算法形象直观、容易理解、求解过程简便、易于在计算机上实现.特别是它为求解工程上经常遇到的某种“受限最小生成树”提供了新的途径.比如,当PLAN型计算机网络的拓扑结构和其限制条件较为复杂时,使用邻接矩阵法编制其求解的计算机程序结构清晰,调试容易. 展开更多

关键词 邻接矩阵法 最小生成树 图论 软件

下载PDF 职称材料

装配式剪力墙住宅结构设计探讨 被引量：1

13

作者 刘育刚 《住宅产业》 2018年第7期24-26,共3页

随着时代与经济不断发展,我国的建筑行业也快速发展起来,这对促进我国现代社会主义建设具有良好的作用。尤其是在住宅产业加快发展的背景下,更多建筑施工者开始重视装配式剪力墙的建设。本文通过具体分析装配式剪力墙住宅的结构设计,以... 随着时代与经济不断发展,我国的建筑行业也快速发展起来,这对促进我国现代社会主义建设具有良好的作用。尤其是在住宅产业加快发展的背景下,更多建筑施工者开始重视装配式剪力墙的建设。本文通过具体分析装配式剪力墙住宅的结构设计,以便为深入了解装配式剪力墙住宅的结构提供可参考的依据。 展开更多

关键词 装配式剪力墙 住宅 结构设计

下载PDF 职称材料

一种用Pro树测试和辅助设计Prolog程序的方法 被引量：1

14

作者 刘育刚 《哈尔滨工程大学学报》 EI CAS CSCD 1995年第3期59-65,共7页

按着Ｐｒｏｌｏｇ语言创立者ＡｌａｉｎＣｏｌｍｅｒａｕｅｒ的思路￣［２］，本文提出一种称为Ｐｒｏ树的图形方法。它既可用于程序的理解￣［６］，又可用于程序的测试和辅助设计。文中包括该方法的生成规则，各节点间及谓词参量间的... 按着Ｐｒｏｌｏｇ语言创立者ＡｌａｉｎＣｏｌｍｅｒａｕｅｒ的思路￣［２］，本文提出一种称为Ｐｒｏ树的图形方法。它既可用于程序的理解￣［６］，又可用于程序的测试和辅助设计。文中包括该方法的生成规则，各节点间及谓词参量间的关系等内容，并以实例说明了Ｐｒｏ树的应用。 展开更多

关键词 Prolgo语言 程序设计 程序测试

下载PDF 职称材料

从一起低保领域渎职案件看城镇低保审批管理中的问题及对策

15

作者 刘亮亮 刘育刚 《中国检察官》 2013年第20期19-20,共2页

[基本案情]娄烦县民政局某副局长李某某、娄烦县民政局低保中心某主任(副科级)高某某,在担任职务期间,玩忽职守,严重不负责任,违规给不符合领取城市低保条件的退休人员、死亡人员、购车人员、购买商品房人员、开办注册工商企业和经营个... [基本案情]娄烦县民政局某副局长李某某、娄烦县民政局低保中心某主任(副科级)高某某,在担任职务期间,玩忽职守,严重不负责任,违规给不符合领取城市低保条件的退休人员、死亡人员、购车人员、购买商品房人员、开办注册工商企业和经营个体工商户人员等共计近273户违规发放累计低保金额达四百多万元,给国家造成巨大的损失. 展开更多

关键词 低保 问责制度 收入 最低生活保障 财政管理 低保待遇 低保户 领域

原文传递

Prolog语言的过程式编程问题

16

作者 吕光楣 刘育刚 《应用科技》 CAS 1995年第4期19-23,共5页

本文以对比的方法介绍了如何用陈述式语言Prolog解决过程式结构的各种程序设计问题,其中包括过程式语言Pascal的过程、CASE结构、循环结构和嵌套结构等情况.同时对这两类程序语言在解决上述各种问题时的优缺点进行了比较.

关键词 程序设计 陈述式语言 过程式语言

下载PDF 职称材料

计算机监控系统中采样值的处理

17

作者 刘育刚 《黑龙江自动化技术与应用》 1990年第2期48-50,共3页

本文以一个湿度监控分系统为例,介绍了如何对采样值进行处理。文中分析了测量过程中产生的各种误差;指出小样本测量时,采样值误差服从的t分布规律;如何根据t分布规律,对采样值进行取舍;最后给出了对采样值处理的程序框图。

关键词 计算机 监控系统 采样

下载PDF 职称材料

Pro图与Prolog尾递归删除技术

18

作者 刘育刚 《应用科技》 CAS 1996年第4期14-17,共4页

介绍Pro图的基本概念和生成规则、各节点和节点参量间的关系及Pro图的激活过程.按着递归程序Pro图的生成过程不同,分析了三类递归程序的特点,并根据这些特点分别叙述了各类程序实现尾递归删除的基本技术.

关键词 PROLOG 递归程序 尾递归删除 图 Pro图

下载PDF 职称材料

程序图形工具PRO树及其应用

19

作者 王燕 刘育刚 李宁 《电脑学习》 1996年第5期24-25,48,共3页

关键词 程序图形工具 PRO树 PROLOG语言 应用程序

下载PDF 职称材料

热管性能测试系统的软件设计

20

作者 刘育刚 封革新 《微处理机》 1994年第2期42-45,共4页

本文介绍热管测试系统的基本组成，热管测试的主要技术，并以风冷实验台为例详细说明了该系统的软件设计与实现，以及该软件的某些特点。

关键词 热管 性能 测试 程序设计

下载PDF 职称材料