关键词中包括 SAT 的文章

1 基于智能合约的微电网P2P能源交易策略研究 李刚1,2, 关雪1, 杨会峰3,4, 赵琳颖1, 辛锐3,4, 陈连栋3,4 2023年4期 [813－822][摘要](2396)[pdf 2117KB](1803) DOI:10.11992/tis.202206006

2 天基遥感中航天器挠性对成像区域的影响 邹纫秋1, 张加友2, 宋祥帅2, 谢亚恩2, 吴限德2 2023年3期 [489－495][摘要](1117)[pdf 1913KB](950) DOI:10.11992/tis.202203043

3 基于强化学习的水下高速航行体纵向运动控制研究 白涛, 董勤浩, 冯梓昆, 李雪华 2023年5期 [902－916][摘要](1496)[pdf 6231KB](1055) DOI:10.11992/tis.202203024

4 基于卫星图的小样本街区品质评估 郭茂祖1,2, 王偲佳1,2, 王鹏跃2,3, 赵玲玲4 2022年6期 [1254－1262][摘要](1512)[pdf 5467KB](1413) DOI:10.11992/tis.202111049

5 共位监测卫星智能协同控制关键技术研究进展 杨靖宇1,2, 高亮1,2, 李迪1, 李辰1 2022年6期 [1063－1073][摘要](2539)[pdf 4794KB](1868) DOI:10.11992/tis.202107050

6 航空领域机器人自动钻孔研究进展及关键技术综述 付鹏强1,2, 苗宇航1,2, 王义文1,2, 姜晓灿1,2, 许成阳3, 刘立佳2,4, 周丽杰1,2 2022年5期 [874－885][摘要](3021)[pdf 6613KB](2516) DOI:10.11992/tis.202106049

7 星基数据采集系统多普勒定位反演模型研究 李申阳1, 蔡霞1,2, 孙从容3, 王海涛4, 崔鹤1,2 2022年3期 [576－584][摘要](2016)[pdf 5457KB](1376) DOI:10.11992/tis.202104007

8 融合振幅随机补偿与步长演变机制的改进原子搜索优化算法 刘威1,2,3, 郭直清1,2,3, 刘光伟4, 靳宝1,2,3, 王东4 2022年3期 [602－616][摘要](2260)[pdf 5196KB](1600) DOI:10.11992/tis.202103033

9 动态云台摄像机无人机检测与跟踪算法 谢家阳1, 王行健1, 史治国1, 吴均峰1, 陈积明1, 陈潜2, 王滨3 2021年5期 [858－869][摘要](6882)[pdf 6728KB](2593) DOI:10.11992/tis.202103032

10 基于博弈论的预警卫星系统抗毁性研究 齐小刚1, 陈春绮1, 熊伟2, 刘立芳3 2021年2期 [338－345][摘要](4159)[pdf 3296KB](1946) DOI:10.11992/tis.202002017

11 基于邻域系统的智能车辆最优轨迹规划方法 王星, 赵海良, 王志刚 2019年5期 [1040－1047][摘要](4854)[pdf 4400KB](1874) DOI:10.11992/tis.201805004

12 一种面向任务的对地观测卫星Agent团队构建方法 杨舒, 陈浩, 李军, 景宁 2017年5期 [653－660][摘要](5459)[pdf 1927KB](2738) DOI:10.11992/tis.201706017

13 基于加权边缘弱化引导滤波的人脸光照补偿 余拓, 陈莹 2018年3期 [373－379][摘要](5626)[pdf 1290KB](2150) DOI:10.11992/tis.201612011

14 粗糙集的过饱和多交叉口协同优化模型研究 陈坚1,2, 陈健3, 邵毅明1,2, 邓天民1,2 2015年5期 [783－789][摘要](5717)[pdf 2003KB](2256) DOI:10.11992/tis.201406045

15 命题逻辑的子句集中文字的分类 邓鹏1,2, 徐扬1,2 2015年5期 [736－740][摘要](4501)[pdf 640KB](2055) DOI:10.11992/tis.201410005

16 末端F/T传感器的重力环境下大范围柔顺控制方法 张光辉, 王耀南 2015年5期 [675－683][摘要](4880)(2) DOI:10.11992/tis.201411026

17 扩展断言知识检验一致的需求建模方法 郭新峰1, 马世龙2, 吕江花2, 李睿2 2015年1期 [81－89][摘要](2780)[pdf 606KB](2360) DOI:10.3969/j.issn.1673-4785.201409015

18 扩展规则方法研究综述 王金艳1, 谷文祥2,3, 覃少华1, 殷明浩3 2014年1期 [1－11][摘要](2773)[pdf 2149KB](2670) DOI:10.3969/j.issn.1673-4785.201308004

19 基于大脑情感学习的四轮驱动机器人速度补偿控制 陈建平1，王建彬2，杨宜民2 2013年4期 [361－366][摘要](3617)[pdf 924KB](3304) DOI:10.3969/j.issn.1673-4785.201303030

20 带执行器饱和的柔性关节机器人位置反馈动态面控制 郭一，刘金琨 2013年1期 [21－27][摘要](4041)[pdf 539KB](2315) DOI:10.3969/j.issn.1673-4785.201204012

21 基于分支回溯的NAE-3SAT问题求解算法 谷文祥1,2，傅琳璐1，周俊萍1，姜蕴晖1 2012年6期 [506－511][摘要](3327)[pdf 522KB](2205) DOI:

22 最坏情况下Min-2SAT问题的上界 谷文祥1,2，姜蕴晖1，周俊萍1，殷明浩1 2012年3期 [241－245][摘要](3029)[pdf 474KB](2076) DOI:

23 可满足问题中的模型计数 谷文祥，朱磊，黄平，殷明浩 2012年1期 [33－39][摘要](4673)[pdf 689KB](2967) DOI:

24 舰载机纵向自动着舰控制 彭秀艳，王志文，吴鑫 2011年2期 [172－177][摘要](3755)[pdf 409KB](2273) DOI:

25 Fiber optic strain twin-sensor-array ?for smart  structural health monitoring 赵士刚 1 ，苑立波2 2008年2期 [177－180][摘要](3666)[pdf 374KB](2587) DOI:

26 具有一般化结构的分数阶超前校正器 汪纪锋，李元凯 2006年2期 [62－66][摘要](3601)[pdf 393KB](2523) DOI: