首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   2篇
  自动化技术   3篇
  2011年   1篇
  2010年   1篇
  2009年   1篇
排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
Einstein谜的SAT求解   总被引:1,自引:1,他引:0       下载免费PDF全文
Einstein谜,亦称Zebra谜,是爱因斯坦在20世纪初提出的,他说世界上有98%的人答不出来。该问题是一个典型的逻辑推理题,可以通过SAT求解给出问题的答案。现将Einstein谜转换成SAT求解问题,并使用当前流行的SAT求解器,如MinSat,对Einstein谜进行自动求解。  相似文献
2.
随着人们物质水平的提高,儿童玩具市场已经日益受到重视,越来越多良莠不齐的玩具充斥着市场,而在如今提倡节能环保以及资源有效利用的大环境下,绿色设计也越来越成为一个热门话题。本文通过将两者融合进行考虑,并结合实例阐述了如何使儿童玩具设计安全人机化,耐用化并且绿色化等问题。  相似文献
3.
田聪  段振华 《软件学报》2011,22(2):211-221
提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系统期望的性质,通过SPIN验证系统模型是否满足性质,从而得知一个任务组在RMS下是否可调度.同时,RMS算法控制下的任务调度系统的其他性质也可以得到验证.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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