关键词中包括 SAT 的文章

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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