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

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

基于FPGA实现的计算机与HDTV显示器测试信号发生器

为产生满足 14种计算机并兼容 4种高清晰度电视 (HDTV)视频标准的 13种测试图案信号,研究开发了计算机与高清晰度电视显示器测试信号发生器.采用现场可编程门阵列(FPGA)完成测试图案数据存储、各种视频标准时序产生及系统控制信号产生等核心功能.利用FPGA的现场可编程功能,采用多个EPROM存储FPGA配置.采用频率发生器技术为多种视频标准提供时钟信号.实践表明,以上方法可行,且成本降低,尺寸从 15cm×21. 5cm减小到11cm×14cm.     

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

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

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

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

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

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

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

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

新时期大学生成长观教育面临的主要问题

社会主义市场经济的建立和发展使人的主体性意识进一步增强,为大学生的发展提供了更加广阔的空间,对大学生的素质提出了更高的要求,也给教育工作者提出了新的要求.从个人才干增长与社会需要、奉献与索取、成长中的自由与必然三个方面阐述新时期大学生成长观教育中所面临的主要问题,以期在教育工作中做到有的放矢.     

有关健康的一些思考--新疆高校研究生体育活动现状的调查报告

文章通过对新疆高校在校研究生参加体育活动现状的问卷调查,分析了新疆高校研究生体育意识和健康观念以及所存在的问题,在此基础上,提出对研究生进行“健康第一”的意识教育以及从事体育活动的必要性教育.     

基于VBA三角网格土石方开挖的三维模型

利用VBA技术实现对离散高程点的三角构网,快速定位三角形。将其用于土方开挖边线处理,在此基础上重新构网。实际计算结果表明,将三角网格用于土方工程填挖量计算,可以提高计算精度并可实现填挖后的三维显示。     

煤矿井下主排水设备的计算机辅助设计

本文阐述了煤矿井下排水设备的计算机辅助设计中选型程序的编制及绘图,介绍了程序的功能,若干技术问题的处理和绘图方法与要点.