《智能系统学报》 过刊查询页面

    关键词中包括 SAT 的文章

1 基于邻域系统的智能车辆最优轨迹规划方法
王星, 赵海良, 王志刚 2019年05期 [1040-1047][摘要](479)[pdf 4400KB](161)
2 一种面向任务的对地观测卫星Agent团队构建方法
杨舒, 陈浩, 李军, 景宁 2017年05期 [653-660][摘要](1008)[pdf 1927KB](961)
3 基于加权边缘弱化引导滤波的人脸光照补偿
余拓, 陈莹 2018年03期 [373-379][摘要](804)[pdf 1290KB](469)
4 粗糙集的过饱和多交叉口协同优化模型研究
陈坚1,2, 陈健3, 邵毅明1,2, 邓天民1,2 2015年5期 [783-789][摘要](1665)[pdf 2003KB](715)
5 命题逻辑的子句集中文字的分类
邓鹏1,2, 徐扬1,2 2015年5期 [736-740][摘要](1238)[pdf 640KB](623)
6 末端F/T传感器的重力环境下大范围柔顺控制方法
张光辉, 王耀南 2015年5期 [675-683][摘要](1612)(2)
7 扩展断言知识检验一致的需求建模方法
郭新峰1, 马世龙2, 吕江花2, 李睿2 2015年01期 [81-89][摘要](906)[pdf 606KB](639)
8 扩展规则方法研究综述
王金艳1, 谷文祥2,3, 覃少华1, 殷明浩3 2014年01期 [1-11][摘要](731)[pdf 2149KB](669)
9 基于大脑情感学习的四轮驱动机器人速度补偿控制
陈建平1,王建彬2,杨宜民2 2013年04期 [361-366][摘要](1837)[pdf 924KB](1684)
10 带执行器饱和的柔性关节机器人位置反馈动态面控制
郭一,刘金琨 2013年01期 [21-27][摘要](2195)[pdf 539KB](873)
11 基于分支回溯的NAE-3SAT问题求解算法
谷文祥1,2,傅琳璐1,周俊萍1,姜蕴晖1 2012年06期 [506-511][摘要](1794)[pdf 522KB](854)
DOI:
12 最坏情况下Min-2SAT问题的上界
谷文祥1,2,姜蕴晖1,周俊萍1,殷明浩1 2012年03期 [241-245][摘要](1681)[pdf 474KB](792)
DOI:
13 可满足问题中的模型计数
谷文祥,朱磊,黄平,殷明浩 2012年01期 [33-39][摘要](2584)[pdf 689KB](1378)
DOI:
14 舰载机纵向自动着舰控制
彭秀艳,王志文,吴鑫 2011年02期 [172-177][摘要](2150)[pdf 409KB](951)
DOI:
15 Fiber optic strain twin-sensor-array  for smart  structural health monitoring
赵士刚 1 ,苑立波2 2008年02期 [177-180][摘要](2385)[pdf 374KB](1151)
DOI:
16 具有一般化结构的分数阶超前校正器
汪纪锋,李元凯 2006年02期 [62-66][摘要](2206)[pdf 393KB](1142)
DOI: