切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
[!--class.name--]论文
[!--title--]
[!--title--]
来源 :哈尔滨工程大学学报 | 被引量 : [!--cite_num--]次 | 上传用户:[!--user--]
【摘 要】
:
按着Prolog语言创立者Alain Colmerauer的思路^[2],本文提出一种称为Pro树的图形方法。它既可用于程序的理解^[6],又可用于程序的测试和辅助设计。文中包括该方法的生成规则,各节点及谓词参量间的关系等内容,并以
【作 者】
:
刘育刚
【出 处】
:
哈尔滨工程大学学报
【发表日期】
:
1995年3期
【关键词】
:
Prolgo语言
程序设计
程序测试
Prolog
Program testing
Programming
Graphic tool
【基金项目】
:
黑龙江省自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
[!--newstext--]
其他文献
甲状腺良、恶性病变鉴别诊断中各种CT征象的诊断价值
目的 研究各种CT征象在甲状腺良、恶性病变鉴别诊断中的价值。方法 根据患者病理检查结果将84例甲状腺病变患者分为良性组46例,恶性组38例。统计分析所有患者CT扫描结果,并计算
期刊
甲状腺疾病
计算机断层成像
鉴别诊断
Thyroid disease Computed tomography Differential diagnosis
基于割集分析与回路分析的撕裂方程的直接生成方法
基于割集分析与回路分析的撕裂方程直接生成方法,是一咱能避免撕裂方程生成过程中大量阵运算的一种方法,具有计算简单、便于编制计算程序的特点。
期刊
割集分析
回路分析
撕裂法
电力网络
潮流
计算
cut-set analysis
loop analysis
tearing method
基因芯片技术在睾丸支持细胞方面的应用进展
当前,基因芯片技术凭借其高通量、高敏感度、高度自动化和高效快速等特点,在不同领域得到了广泛应用和迅速发展。就男性不育的研究中,芯片技术可以直接快速、精准的反映与精子发
期刊
睾丸支持细胞
基因芯片
血睾屏障
研究进展
犀角散对肝衰竭小鼠肝脏固有免疫的影响
目的:通过观察犀角散对肝衰竭模型小鼠肝脏固有免疫的作用,探讨犀角散治疗肝衰竭的可能途径。方法:将60只小鼠按数字表法随机分为犀角散组(A组)、对照组(B组)、生理盐水组(C
期刊
肝衰竭
固有免疫
犀角散
Liver failure
Innate immune
Xijiaosan decoction
聚丙烯三元共混体力学性能的研究
研究了乙丙橡胶(EPR)对于乙丙橡胶、高密度聚乙烯(HDPE)和聚丙烯(PP)三元共混体的增韧作用和共混体混炼时间对力学性能的影响.试验表明,该共混体简支梁缺口冲击强度比纯聚丙烯提高5倍以上①.
期刊
聚丙烯
聚乙烯
共混
力学性质
polypropylene
polyethylene
ethylene propylene rubber
blend
mecha
反射相移对光学玻璃电流互感器灵敏度影响的理论分析
光学玻璃电流互感器传感器传感头内全反射产生的相移会降低互感器的灵敏度。
期刊
电流传感器
反射相移
灵敏度
光学玻璃
optical current sensors
reflection-induced retardance
sensit
Hopfield网络的稳定性优化计算研究
通过对阈值进行适当的设置,分析了权值矩阵对角元为任意实数时Hopfield网络的稳定性,并以此为基础给出了一种新的网络优化计算算法。
期刊
稳定性
HOPFIELD网络
神经网络
优化计算
stability
Hopfield network
neural network optimization
长期服用抗精神病药物患者超声下肝胆改变探究
目的:对长期服用抗精神病药物的精神分裂症患者肝胆进行超声下观察并分析。方法:我院2011年1月—2013年8月收治的精神分裂症患者共300例,所有患者均采取肝胆B超检查,对以上患者
期刊
精神分裂症
抗精神病药物
超声检查
schizophrenia
antipsychotic drugs
ultrasound
双齿轮—六杆机构的研究
对双齿轮——六杆机构进行了系统地研究.建立了输出运动方程,简要介绍了该机构所能实现的六种运动特性,把两个间歇条件联立解方程,解决了间歇机构的综合问题,推荐了选取机构
期刊
组合机构
连杆机构
齿轮传动
combined mechanisms
linkages
gear drives
利用流体中温度噪声信号的相关分析进行流速测量
通过对流体中存在的温度噪声信号的相关分析,进行相关技术用于测量气体流速的实验研究与理论分析.首先,利用相关测量系统的数学模型在PC机上进行了仿真研究,为分析各参数对相
期刊
相关流速测量
单相流体
热线风速仪
correlation flow velocity measurement
one-phase
temperatur
与本文相关的学术论文