已选(0)清除
条数/页: 排序方式: |
| 线性均方一致性问题的偏差估计 期刊论文 自动化学报, 2017, 卷号: 43, 期号: 4, 页码: 568 作者: 窦全胜; 刘柏枫; 厉玉蓉; 史忠植 收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04 集群智能 多智能体系统 一致性协议 均方一致 |
| 基于布尔语义的Gentzen推导模型 期刊论文 计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 布尔代数 命题逻辑 不等式 完备性 |
| 无权访问的条目 期刊论文 作者: 李志欣; 施智平; 李志清; 史忠植 Adobe PDF(1120Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/22 |
| 无权访问的条目 期刊论文 作者: 丁世飞; 史忠植; 靳奉祥; 夏士雄 Adobe PDF(323Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 基于广义信息距离的直接聚类算法 期刊论文 计算机研究与发展, 2007, 卷号: 44.0, 期号: 004, 页码: 674 作者: 丁世飞; 史忠植; 靳奉祥; 夏士雄 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 离散量 离散增量 广义信息距离 直接聚类 |
| 无权访问的条目 期刊论文 作者: 谷春江; 徐朝农; 张浩; 徐勇军; 李晓维 Adobe PDF(538Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/22 |
| 无权访问的条目 期刊论文 作者: 邵明; 李光辉; 李晓维 Adobe PDF(303Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/01 |
| 无权访问的条目 期刊论文 作者: 刘 波; 王贞松; 姚 萍; 李明峰 Adobe PDF(415Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 一类构造性几何不等式的机器证明 期刊论文 计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769 作者: 杨路; 夏时洪 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 构造性几何不等式 机器证明 自动证明 半代数系统 |
| 考虑网络流量的最优路径求解模型和算法 期刊论文 小型微型计算机系统, 2003, 卷号: 24.0, 期号: 011, 页码: 1927 作者: 谭国真; 张永强; 高文 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 最优路径 交通分配 变分不等式 路径选择 |