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

    关键词中包括 SAT 的文章

1 基于智能合约的微电网P2P能源交易策略研究
李刚1,2, 关雪1, 杨会峰3,4, 赵琳颖1, 辛锐3,4, 陈连栋3,4 2023年4期 [813-822][摘要](2285)[pdf 2117KB](1710)
2 天基遥感中航天器挠性对成像区域的影响
邹纫秋1, 张加友2, 宋祥帅2, 谢亚恩2, 吴限德2 2023年3期 [489-495][摘要](1034)[pdf 1913KB](902)
3 基于强化学习的水下高速航行体纵向运动控制研究
白涛, 董勤浩, 冯梓昆, 李雪华 2023年5期 [902-916][摘要](1400)[pdf 6231KB](975)
4 基于卫星图的小样本街区品质评估
郭茂祖1,2, 王偲佳1,2, 王鹏跃2,3, 赵玲玲4 2022年6期 [1254-1262][摘要](1439)[pdf 5467KB](1352)
5 共位监测卫星智能协同控制关键技术研究进展
杨靖宇1,2, 高亮1,2, 李迪1, 李辰1 2022年6期 [1063-1073][摘要](2428)[pdf 4794KB](1791)
6 航空领域机器人自动钻孔研究进展及关键技术综述
付鹏强1,2, 苗宇航1,2, 王义文1,2, 姜晓灿1,2, 许成阳3, 刘立佳2,4, 周丽杰1,2 2022年5期 [874-885][摘要](2887)[pdf 6613KB](2345)
7 星基数据采集系统多普勒定位反演模型研究
李申阳1, 蔡霞1,2, 孙从容3, 王海涛4, 崔鹤1,2 2022年3期 [576-584][摘要](1948)[pdf 5457KB](1329)
8 融合振幅随机补偿与步长演变机制的改进原子搜索优化算法
刘威1,2,3, 郭直清1,2,3, 刘光伟4, 靳宝1,2,3, 王东4 2022年3期 [602-616][摘要](2189)[pdf 5196KB](1536)
9 动态云台摄像机无人机检测与跟踪算法
谢家阳1, 王行健1, 史治国1, 吴均峰1, 陈积明1, 陈潜2, 王滨3 2021年5期 [858-869][摘要](6756)[pdf 6728KB](2528)
10 基于博弈论的预警卫星系统抗毁性研究
齐小刚1, 陈春绮1, 熊伟2, 刘立芳3 2021年2期 [338-345][摘要](4095)[pdf 3296KB](1893)
11 基于邻域系统的智能车辆最优轨迹规划方法
王星, 赵海良, 王志刚 2019年5期 [1040-1047][摘要](4782)[pdf 4400KB](1814)
12 一种面向任务的对地观测卫星Agent团队构建方法
杨舒, 陈浩, 李军, 景宁 2017年5期 [653-660][摘要](5394)[pdf 1927KB](2684)
13 基于加权边缘弱化引导滤波的人脸光照补偿
余拓, 陈莹 2018年3期 [373-379][摘要](5545)[pdf 1290KB](2098)
14 粗糙集的过饱和多交叉口协同优化模型研究
陈坚1,2, 陈健3, 邵毅明1,2, 邓天民1,2 2015年5期 [783-789][摘要](5651)[pdf 2003KB](2211)
15 命题逻辑的子句集中文字的分类
邓鹏1,2, 徐扬1,2 2015年5期 [736-740][摘要](4448)[pdf 640KB](1998)
16 末端F/T传感器的重力环境下大范围柔顺控制方法
张光辉, 王耀南 2015年5期 [675-683][摘要](4839)(2)
17 扩展断言知识检验一致的需求建模方法
郭新峰1, 马世龙2, 吕江花2, 李睿2 2015年1期 [81-89][摘要](2731)[pdf 606KB](2306)
18 扩展规则方法研究综述
王金艳1, 谷文祥2,3, 覃少华1, 殷明浩3 2014年1期 [1-11][摘要](2716)[pdf 2149KB](2614)
19 基于大脑情感学习的四轮驱动机器人速度补偿控制
陈建平1,王建彬2,杨宜民2 2013年4期 [361-366][摘要](3566)[pdf 924KB](3250)
20 带执行器饱和的柔性关节机器人位置反馈动态面控制
郭一,刘金琨 2013年1期 [21-27][摘要](3991)[pdf 539KB](2261)
21 基于分支回溯的NAE-3SAT问题求解算法
谷文祥1,2,傅琳璐1,周俊萍1,姜蕴晖1 2012年6期 [506-511][摘要](3271)[pdf 522KB](2159)
DOI:
22 最坏情况下Min-2SAT问题的上界
谷文祥1,2,姜蕴晖1,周俊萍1,殷明浩1 2012年3期 [241-245][摘要](2974)[pdf 474KB](2026)
DOI:
23 可满足问题中的模型计数
谷文祥,朱磊,黄平,殷明浩 2012年1期 [33-39][摘要](4623)[pdf 689KB](2917)
DOI:
24 舰载机纵向自动着舰控制
彭秀艳,王志文,吴鑫 2011年2期 [172-177][摘要](3710)[pdf 409KB](2219)
DOI:
25 Fiber optic strain twin-sensor-array ?for smart  structural health monitoring
赵士刚 1 ,苑立波2 2008年2期 [177-180][摘要](3634)[pdf 374KB](2537)
DOI:
26 具有一般化结构的分数阶超前校正器
汪纪锋,李元凯 2006年2期 [62-66][摘要](3551)[pdf 393KB](2453)
DOI: