排序方式: 共有29条查询结果,搜索用时 15 毫秒
1.
基于消点法的几何自动推理系统实现 总被引:5,自引:2,他引:3
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。 相似文献
2.
网络时代期刊编辑的发展趋势 总被引:4,自引:0,他引:4
网络技术的发展给期刊编辑带来了新的生命。网络作为一种方便、快捷、高效的工具在期刊的编辑工作中大有可为。利用网络信息量大、交互性强、时效性快、查询方便的特点,编辑可以开展网上选题组稿、论文初审、选择审稿人、稿件管理与加工、期刊上网和发行等工作。这不仅是一种编辑模式的转变,对于编辑者而言更是一种编辑理念的转变,并由此提出了电子编辑的概念,电子编辑必将成为期刊编辑的发展方向。 相似文献
3.
设备的管理一直是我国现代企业管理中非常重要的一部分,对于大型企业来说,这一点显得更为重要。我国煤炭企业的设备管理长期以来采用手工模式进行,过程繁琐,错误百出,给企业带来损失。本文在分析我国煤炭企业的设备管理现状的基础上,提出一种基于Eclipse RCP架构的设备管理信息系统的设计与实现,并且通过试用,效果良好,值得推广。 相似文献
4.
5.
6.
解决计算机机房数量巨大、操作繁琐的管理问题是保证高校正常教学的重要前提,传统人工管理和维护机房的方法效率低、误差大,必须充分利用现代信息管理技术来实现高效、稳固的计算机机房管理。本文阐述了机房管理的重要性,提出了系统日常维护、数据备份为主的系统管理措施,通过利用局域网来实现计算机机房系统保护和病毒防护,防止人为的破坏系统文件,真正意义上实现计算机机房的有效管理。 相似文献
7.
罗慧敏 《计算机光盘软件与应用》2011,(8)
计算机实验室是作为提高一所学校教学和实验水平的基本设施之一,它能够培养学生的创新精神、实践能力.因此,建立先进科学的实验室管理制度、具有扎实过硬的专业技能的实验室管理人员,是为高效管理与维护实验室的软件硬件,加强安全管理意识,保障计算机实验室正常有序的运行必不可少的. 相似文献
8.
计算机技术的快速发展带动了电脑设备进入各行各业,学校正常教学过程中需要使用计算机的次数也越来越多,在正常使用的过程中针对机房的管理维护问题也逐渐凸显,成为高校管理的重要分支之一。本文针对计算机机房硬件管理提出了系列措施,舒适的机房环境、稳定的电压能很好的保持电脑寿命,要保持硬件设备的更新速度,不断降低快速恢复系统软件的使用频率,保证机房的正常运行。制定完善的机房制度、聘用合格的管理人员等措施同样是保证机房硬件设施优异性能的重要前提。 相似文献
9.
10.
经过长时间的准备,厦新推出了世界首台光盘录像机-- VDR2000。厦新将先进的计算机技术集成到超级 VCD中,使 VDR2000具备了普通影碟机不具备的录像功能。这项功能使普通消费者实现了随时将自己喜爱的节目灌录在光盘上的梦想。 VDR200具有"实时录像"功能,依靠实时解码编码技术,能将所需灌录的节目"实时"刻录在特定的光盘上。目前可使用一次性的 CD- R光盘和可重复使用的 CD- RW光盘进行刻录。消费者可以一边正常观赏影碟的内容或精彩的电视节目,一边使用 VDR进行录制工作,当节目播放完毕以后,一张录制了节目内容的碟… 相似文献