机构

• 计算技术研究所 [5]
• 软件研究所 [3]
• 高能物理研究所 [1]
• 自动化研究所 [1]
• 西安光学精密机械研究... [1]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [7]
• 学位论文 [4]

发表日期

• 2023 [1]
• 2018 [1]
• 2015 [2]
• 2013 [1]
• 2010 [1]
• 2009 [1]
• 更多

学科主题

• 计算机软件::软件工... [2]
• 信号与信息处理 [1]
• 电子、通信与自动控制... [1]
• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 大规模无人机协同目标覆盖方法研究 学位论文  OAI收割 2023 作者:  陶忠良   |  收藏  |  浏览/下载：21/0  |  提交时间：2023/06/14 大规模无人机  目标覆盖  通信连通  多约束条件  实物验证   硬X射线调制望远镜卫星系统级自主功能设计与在轨验证 期刊论文  OAI收割 航天器工程, 2018, 卷号: 27, 期号: 05, 页码: 14-19 作者:  顾荃莹;  潘腾;  倪润立;  张龙;  梁中坚   |  收藏  |  浏览/下载：19/0  |  提交时间：2019/07/12 硬X射线调制望远镜卫星  多任务多约束  自主功能  设计与在轨验证   PCIE协议栈模拟验证平台的设计和实现 期刊论文  OAI收割 计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287 作者:  张良;  王天成;  王健;  李华伟;  郭建   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 功能验证  PCIE协议栈  协议栈验证  功能覆盖率  约束随机模拟  激励生成   基于指令模板的通用处理器约束随机指令生成方法 期刊论文  OAI收割 计算机工程, 2015, 卷号: 41.0, 期号: 010, 页码: 309 作者:  刘婧;  王天成;  王健;  李华伟   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 功能验证  通用处理器  指令模板  指令生成  约束随机指令   面向Web应用的软件部署关键技术研究 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2013 陈伟   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/05/30 Web应用  部署  配置  约束验证  部署描述   基于模型的面向服务应用部署工具设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2010 孙崝   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/06/09 部署模型，服务，约束验证，冲突消解，基于流程的部署   基于CLP模型的HDL设计可观测性分析 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2009, 卷号: 21, 期号: 5 作者:  李晓维;  李华伟;  吕涛;  赵阳   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/11/05 功能验证  模拟验证  可观测性  逻辑约束编程   回溯法求解多约束分配问题 期刊论文  OAI收割 江西师范大学学报（自然科学版）, 2008, 卷号: 32, 期号: 6, 页码: 729-732 王文发; 马燕; 李宏达 收藏  |  浏览/下载：66/4  |  提交时间：2011/06/10 回溯算法  约束条件  多约束分配  时间复杂度  流程图  回溯法  求解  多约束条件  分配问题  有效算法  学生宿舍  实际应用  时间效率  结果验证  回溯算法  有效性  合理性  复杂度  矩阵  过程  方法  存储  背景   基于EraSoC的模块级验证平台的设计 期刊论文  OAI收割 微电子学与计算机, 2008, 卷号: 25.0, 期号: 1.0, 页码: 181 作者:  龚艳丽;  张志敏;  傅亮   |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04 事务验证平台  功能覆盖率  断言  约束随机   数字同步技术的片上可编程实现 学位论文  OAI收割 硕士: 中国科学院西安光学精密机械研究所, 2007 黄蕾 收藏  |  浏览/下载：19/0  |  提交时间：2011/10/09 同步计数  触发晃动  片上可编程系统  系统内验证  时序约束