数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

盖梁粘钢法加固的效果分析评价

针对某座桥梁下部结构盖梁采用粘钢法进行加固，对其加固效果采用有限元模型进行仿真分析计算．并通过现场荷载试验进行验证。理论分析与荷载试验结果的一致性表明采用有限元仿真分析方法能够对桥梁加固效果进行准确的评价。     

基于通用接口母线的自动测试方法

论述基于GPIB智能化测试系统的原理和设计开发方法。通过高级语言封装，统一发送命令、接收执行结果和执行结果提取函数，系统建立了逻辑规则库，在测试过程中根据测试结果与设置的报警阈值等参数进行比较，根据设定的判断规则，对测试流程进行动态调整。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

对区间估计与假设检验的关系的思考

研究了区间估计与假设检验的内在联系及其区别，探讨了这两种方法各自适用范围和应用条件及应注意的问题．     

载荷板尺寸效应的试验研究

在试验室模拟路基现场的工况,建立平板载荷试验模型,进行了地基系数与载荷板尺寸的相关性试验,并与理论公式进行了对比。根据试验成果归纳出不同载荷板尺寸的地基系数间的换算公式。     

风洞实验中多通道测压管路系统的参数分析

为了掌握风洞实验中多通道测压管路系统的特性，基于耗散模型，分析了影响系统频率响应函数的各个参数，总结了多通道管路系统频响函数的定性规律，并指出在常用的几何尺寸范围内，影响频响函数的因素主要有PVC管的长度、内径和限制器的尺寸及位置，为设计多通道测压管路系统提供了依据．     

环境素养评价体系与模型的构建及实证分析

结合国内外环境素养的研究成果 ,指出环境素养的概念应主要包括环境知识、环境行为和环境意识 3方面 ,并具有 3个特征·以此为基础 ,注意相关性、简洁性、可操作性等原则 ,构建出 3级 4层的环境素养评价指标体系和对应的数学评价模型 ,并进行了实证分析·该文有助于人们重视环境素养及其现代研究方法的构建与应用 ,增进交流 ,促进环境素养的提高·     

通辽地区春季上市蔬菜农药残留速测与分析

采用CL-l残留农药测定仪，对通辽市科尔沁区春季上市蔬菜进行定性速测与分析．结果表明：该区春季上市的蔬菜，阳性率为18．0％．科尔沁区4个蔬菜销售市场，阳性率为18．2％，其中黄瓜、茄子、豆角、芹菜农药残留阳性率相对其它蔬菜较高．蔬菜基地成菜为167％，芹菜等叶菜类的叶片农药残留量显著本区的蔬菜相对区外的低些并对蔬菜农药残留问题提出建议.     

成绩录入系统确保数据正确性的策略

主要讨论如何在成绩录入系统中确保输入数据的正确性，提出从客户端的数据录入应用程序和数据录入后校验两个方面确保录入数据正确性的策略，并详细介绍了双工输入比较法、过滤按键、数据实时检验及数据录入后进行的即时检查和总结性校验等具体方法。