-
题名一个归纳推理模型及其应用
- 1
-
-
作者
庞万林
-
出处
《微型计算机》
北大核心
1989年第2期13-15,共3页
-
-
关键词
归纳推理
模型
r
-
分类号
O14
[理学—数学]
-
-
题名Ada语言的数据抽象方法
- 2
-
-
作者
庞万林
-
机构
国防科技大学
-
出处
《计算机应用与软件》
CSCD
1989年第3期1-9,共9页
-
文摘
数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包定义了一个抽象数据类型的实例,并以此例讨论了抽象数据类型的正确性验证方法和步骤以及抽象类型的自动实现方法。
-
关键词
ADA语言
数据抽象
软件设计
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名计算机网络系统雷电侵害及防护
被引量：3
- 3
-
-
作者
庞万林
-
机构
甘南县气象局
-
出处
《黑龙江科技信息》
2008年第34期26-26,共1页
-
文摘
分析了雷电侵害计算机网络设备的几种途径,对电源系统、信号系统的防雷措施作了详细介绍,并对机房的接地系统和静电防护作了阐述。
-
关键词
计算机网络
雷电侵害
防雷设备
静电防护
电涌保护器(SPD)
-
分类号
TN07
[电子电信—物理电子学]
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名谨防安全阀弹簧断裂
- 4
-
-
作者
庞万林
-
机构
抚顺市锅炉检验所
-
出处
《锅炉压力容器安全》
1990年第4期56-56,共1页
-
文摘
液化石油气槽车,应每年进行一次年检,三年进行一次内外检,五年进行一次全面检验。同时,规定安全阀每年至少校验一次。,本人在检验工作中发现两起安全阀弹簧断裂实例。一例为槽车内外检验,将安全阀拆卸下来以后,看不出破绽,但仔细检查发现弹簧已断4处,全部为脆断,另一例为年检时,安全阀拆卸后断了一处。
-
关键词
安全阀
弹簧断裂
槽车
液化石油气
安全检验
-
分类号
TE976
[石油与天然气工程—石油机械设备]
-
