路径前缀软件测试策略

本文提出一种新的软件测试策略，这种策略是一种自适应性的方法，它利用前面的测试路径引导新的输入选择，并能保证对具有n个判定节点的程序只需经过O（n)级测试，就能达到总的分支复盖。     

丙烯氨氧化催化剂物化性能研究：Ⅰ.程序升温脱附

应用程序升温脱附技术研究新鲜，失活和再生三种丙烯腈催化剂上ＮＨ３，Ｏ２和丙烯吸附后的脱附行为。结果表明，三种催化剂表面都只有一种酸中心存在三种氧化物种可能是：Ｏ＾－，弱结合的表面晶格氧Ｏ＾２－和强结合的体相晶格氧Ｏ＾２－；新鲜和再生催化剂表面都有三个吸附丙烯活性中心，而失活催化剂只有一个较弱的与主产物关系不甚密切吸附中心。     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

大跨度多肋式拱桥荷载横向分布系数计算程序设计与算例分析

对福建省第一座钢管砼肋拱桥———福清市玉融大桥上部构造静力计算中荷载横向分布系数计算问题进行探讨．编制了多肋式拱桥荷载横向分布系数计算程序，并通过实桥静载试验验证了计算模式与计算理论的可靠性     

CAI及其简易实现

<正>计算机辅助教学(Computer Asisted lnstruction,简称CAl)作为一种崭新的教育技术,近30年来在一些发达国家得到了迅速的发展,国内CAI的开发和应用近几年也呈澎湃发展之势.不少高校、中小学建成了CAI教室;国家教委组织开发成功了数部大型CAI课件;…….尽     

TNF和OA诱发人神经母细胞瘤SK细胞程序死亡

肿瘤坏死因子（ＴＮＦ）和Ｏｋａｄａｉｃａｃｉｄ（ＯＡ）能诱发人神经母细胞瘤ＳＫ细胞死亡，死亡细胞缩小变圆，细胞质凝聚，ＤＮＡ断裂形成以２００ｂＰ左右为单位的梯形分布，且上述过程可由蛋白质合成抑制剂亚胺环己酮（ＣＨＸ）抑制，显示ＴＮＦ和ＯＡ诱发的ＳＫ细胞死亡为细胞程序死亡．     

情绪的实验诱发及其分类系统浅析

本文重点介绍了情绪的实验诱发机理及其具体程序，并且依照用以诱发情绪的刺激的性质将之划分为五种类型。在此基础上分析和比较了各种具体程序的功能及效标，进而总结出诱发欣喜情绪时电影／故事程序及礼物程度效果最佳；想象程度、沃尔登程序、电影／故事程序以及成功／失败程序对诱发压抑情绪具有较好的功效的一般原则。     

适于SPICE仿真,拓扑不变的数字电路模型

本文提出了适于ＳＰＩＣＥ程序仿真、拓扑不变的组合逻辑电路模型。采用这种模型，ＳＰＩＣＥ程序就可以直接分析组合逻辑电路，甚至模糊逻辑电路。这种方法扩展了ＳＰＩＣＥ程序的使用范围。     

可编程序控制器在船闸控制中的应用

电气控制是船闸控制中的关键技术之一,根据船闸运行的特点,本文介绍了可编程序控制器应用于船闸自动控制的可行性和优越性,设计了可编程序控制器船闸控制系统中的软、硬件。     

多级计算机控制系统可行性方案探讨

该文提出了一种应用于煤码头的计算机多级分布式控制系统的模式,论述了系统各级功能、软件配置、系统联连方式及数据通信。方案是可行的。