首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  完全免费   1篇
工业技术   4篇
  2012年   1篇
  2009年   1篇
  2008年   1篇
  2000年   1篇
排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
以中学几何证明题为例,介绍了一个运用计算机帮助学生在 解题过程中自动查错的软件设计方法,系统克服了以往的CAI软件不能检查学生解题过程的 正误及只能让学生做题库中的题的缺点,还可将其改为倒推法,实现自动解题的设想。  相似文献   
2.
电路计算中通常需要进行大量的矩阵计算。现已广泛使用计算机对电路进行辅助分析和设计。平台采用具有通用性的列表法,利用Matlab的强大的计算功能和它的GUI界面开发的功能,实现了对稳态电路的自动求解。用户不需要编程,只需输入电路的相关信息,便可直接计算出电路中的各个结点电压、支路电压、支路电流,并且画出各种所需波形图。平台为稳态电路的分析提供了有效的辅助工具,特别是能应用在模拟电路的教学中。  相似文献   
3.
可满足性问题全部解的求解算法   总被引:1,自引:0,他引:1       下载免费PDF全文
SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究。利用一个简单的变换,将可满足性(SAT)问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT问题所有解的算法。实验结果显示该算法是有效和可行的  相似文献   
4.
文章介绍了一种网络智能辅导系统,给出了该系统的总体框图和工作原理,侧重论述了服务器端的数据库系统实现技术和平面几何自动解题系统部分。平面几何自动解题系统属于一种专家系统,采用Daok语言编写,文章给出了该自动解题系统的构成、工作原理、知识表示等。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号