B/S模式智能考试系统的研究与设计

文章给出的考试系统模型采用浏览器/服务器模式，提供了用户信息管理、试题库信息管理、在线联机考试和公共站点管理四大功能模块，具有强大的试题库建设管理、智能组卷、综合智能评价和学习指导等功能，学科通用性强，是改革传统考试形式和实现考试系统智能化控制的一种新的探索。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

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

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

双风机双电源自动切换技术的应用

针对北山煤业有限公司矿井机械化升级改造,采掘工艺由炮采炮掘变为综采综掘,原有通风系统已经不能满足安全生产的需要,为了提高矿井的安全性并满足生产实际的需要,根据《煤矿安全规程》第128条规定,提出了双风机双电源自动切换技术。实践证明,双风机双电源自动切换技术在瓦斯浓度保持在0.3%以下时,可达到规定要求,并降低了通风故障率,杜绝了无计划停风现象。     

变电站电压和无功的控制方法

随着电力市场商业化运营的逐步推行,对电能质量的要求不断提高,以节能降损的迫切需要,电压无功综合控制问题日益得到人们的广泛重视。充分利用电压无功自动调节装置,实现电压无功综合控制对于提高电压合格率和降低网损有很大的作用,能带来经济效益和社会效益。     

基于BP神经网络的单病种质量控制自动预警系统模型

为了进行单病种控制预警模型研究,采用了BP人工神经网络工具,建立了单病种质量控制自动预警模型,经过对样本的反复训练和学习,BP神经网络对单病种质量预警的计算机仿真计算的结果与其实际情况是基本上一致的。研究结果表明,基于BP神经网络的单病种质量控制预警的模型能够对单病种质量控制出现危机时为医院管理者提供及时的预警,使得相关管理者提前采取相应的方法来应对。     

计算机辅助设计软件在SCC4F-548型圆机上的应用

通过计算机辅助设计软件Adobe公司的Photoshop5．0和corel公司的Coredraw9．0在SCC4F-548型圆机上的应用，扩大了其花型图案设计空间，创造更美观、更有时尚气息的花型图案．     

自动数控编程教学探讨

本文提出了职校教学及数控教学过程中,如何平衡数控技术学习的专精与博通,老师要帮助学生不仅在自动数控编程上掌握切削三要素、在软件、工艺上的专精,并且全面深度了解数控机床维修与其它学科之间的深入联系,这样才能培养出受企业欢迎的数控博通人才,老师更好的教学,学生有针对性的学习,对教与学都有着很大益处。     

建筑工程施工中消防自动喷淋系统的应用分析

随着我国经济建设出现跨越式的不断推进,城市的现代化和工业业化进程不断加快,建筑工程也呈现出大型化和综合化的发展形势。在现代的建筑工程施工中,应用消防自动喷淋系统,非常有利于解决建筑工程施工中的防火问题,它作为建筑工程综合的布局核心内容,应严格按照国家和部门的标准来执行,在实际的建筑工程中,采用灵活的设计和新技术,做好各个消防自动喷淋系统中的工作。     

自动充气轮胎

如果开着轮胎没气或气压不足的汽车外出上路,不仅会多耗燃油,而且可能会因爆胎而发生车祸。因此,不少车主会定期检测汽车轮胎的胎压。然而,胎压不足可能会因为各种偶然因素而随时出现。统计数据表明,50%以上的轮胎磨损都是胎压不足造成的,这会导致大量的汽油和橡胶浪费,甚至可能引发车祸。美国汽车燃油研究结构的统计数据显示,美国平均每户家庭每年因胎压不足而损失的汽油费多达627美元。为此,美国一家轮胎公司的研究