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

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

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

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

CAI及其简易实现

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

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

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

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

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

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

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

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

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

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

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

看数轴写程序VF6．0中双向分支及其嵌套的教学

本文介绍用数轴方法辅助教学VF6．0中的双向分支及其嵌套。     

松下FP1-C40型PLC常见故障维修

本次对松下FP1—C40型PLC常见故障进行了成功的维修，遇到常见的两个故障，—是因为电池失效引起PLC面板上的ERR指示灯常亮，造成系统无法正常运行；二是PLC的RS232通讯口与PC无法通信。