英语试卷自动命题系统(ATMS)

本文简述了利用微机M_(24)(IBM—PC/XT兼容机)进行英语辅助教学,建立英语试卷自动命题系统(ATMS即Automatic Test—Making System的简称。);说明了ATMS的基本构成原理,给出了主要框图。     

对偶函数的性质及其应用

布尔代数广泛应用于数字网络的分析和设计.对于每一个逻辑函数,根据对偶原理可以找出它的对偶函数.它也和狄·摩根定理一样可以用来对逻辑函数的化简. 本文讨论了对偶函数的性质及其在逻辑设计中的应用.     

希尔伯特变换器优化设计研究

提出了一种基于神经网络算法的希尔伯特变换器优化设计方法，证明了神经网络算法的收敛性，提出了希尔伯特变换器的优化设计实例。仿真结果表明了该网络模型是高效的神经网络模型。     

TLC549 A/D转换电路在EDA实验系统上的实现

介绍了TLC5 4 9带串行控制的 8位、4 0MHz单通道模数转换器的设计方法。常用的A D转换器件多数是并行输出 ,应用电路成熟 ,而带串行控制的转换器的设计方法少见。本文提出的串行控制单通道模数转换器设计方法在EDA实验系统上得到了验证 ,对相关电路设计具有一定参考价值     

剪切机机架最大剪切能力的估计

利用ANSYS有限元分析软件的结构分析模块和后处理模块计算并搜索出机架的第一主应力的最大值,在此基础上,通过ANSYS程序参数化语言APDL的功能编制了确定机架剪切能力的循环程序,为解决和评估工程结构的承载能力等问题提供了参考.     

微量分析系统测定微量全血中的锌、铁、钙

提出了一种用微量分析系统测定微量全血中的锌、铁、钙的分析方法 ,该系统是利用软件来记录吸光度随时间的变化率 ,即导数原子吸收值来提高原子吸收分析灵敏度的一种新技术 .该方法灵敏度高 ,检出限低 ,重视性好 ,直接用于测定微量全血中的微量元素 ,结果满意     

利用单元状态的改变模拟采场破坏规律

采用能较好反映混凝土等脆性材料破坏特征的五参数Wilianm-Warnke强度准则破坏模型，利用有限单元法单元“处死”的功能模拟回采过程和相似材料模拟试验研究，初步总结出缓倾斜厚煤层悬移支架放顶煤顶板活动及矿压显现规律，为缓倾斜厚煤层悬移支架放顶煤制定较为合理的方案、安全技术措施等提供重要的依据和指导作用。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

钢筋混凝土框架抗震模型分析

介绍了分离式、组合式、整体式3种钢筋混凝土有限元模型，通过对整体式模型的详细分析，推导出适舍该模型的线性单元矩阵，并得出一些工程中有用的结论。