机构

• 软件研究所 [5]
• 地理科学与资源研究所 [2]
• 电子学研究所 [1]
• 自动化研究所 [1]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [5]
• 学位论文 [4]
• 中文期刊论文 [1]

发表日期

• 2020 [1]
• 2017 [1]
• 2010 [2]
• 2009 [1]
• 2008 [2]
• 2006 [2]
• 更多

学科主题

• 计算机科学与技术 [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于特征矩阵的工控协议模糊测试方法 期刊论文  OAI收割 信息与控制, 2020, 卷号: 49, 期号: 4, 页码: 433-443 作者:  尚文利;  李文轩;  陈春雨;  和晓军;  曾鹏   |  收藏  |  浏览/下载：21/0  |  提交时间：2020/07/11 工控协议  模糊测试  特征矩阵  约束规则  组合测试   约束驱动的建筑分析与建模 学位论文  OAI收割 北京: 中国科学院研究生院, 2017 作者:  姜海勇   |  收藏  |  浏览/下载：17/0  |  提交时间：2017/06/12 建筑建模  布局规则化  约束分析  过程建模  选择表达式   面向空间特征的虚拟树木建模方法与应用 中文期刊论文  OAI收割 2010 作者:  庄大方 收藏  |  浏览/下载：17/0  |  提交时间：2012/05/22 虚拟树木模型  规则  约束  三维建模   面向空间特征的虚拟树木建模方法与应用 期刊论文  OAI收割 地球信息科学学报, 2010, 卷号: 12, 期号: 2, 页码: 167-173 作者:  王占刚;  庄大方   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/12/09 虚拟树木模型  规则  约束  三维建模   基于抛物方程的电波传播问题与电离层成像研究 学位论文  OAI收割 博士, 电子学研究所: 中国科学院电子学研究所, 2009 刘艳丽 收藏  |  浏览/下载：71/0  |  提交时间：2011/07/19 电波传播  抛物方程  对流层  电离层  电离层不规则体  双频双点互相干函数  GPS信标  电离层层析成像  稀疏约束  统计逆散射   语义Web中的自动推理和主动规则终止性分析 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 徐贵红   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/03/17 语义Web  自动推理  描述逻辑  一阶逻辑推理  自动定理证明  有限模型查找  ECA规则  终止性  约束  约束求解   基于ECA规则的工作流时间约束分析 期刊论文  OAI收割 中国管理科学, 2008, 卷号: 16, 期号: 5, 页码: 110-117 李德芳; 刘鲁; 张朝俊; 乔颖; 王宏安   |  收藏  |  浏览/下载：14/0  |  提交时间：2010/07/29 工作流  时间约束  ECA规则  活动  事件   以活动为中心的软件过程模型的验证工具研究 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 胡旷 收藏  |  浏览/下载：15/0  |  提交时间：2011/03/17 软件过程  过程建模  过程分析  数据语义约束规则   基于约束的主动规则终止性分析 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: 5, 页码: 894-900 徐贵红; 张健   |  收藏  |  浏览/下载：20/0  |  提交时间：2010/08/11 主动规则  终止性  数据库状态  约束  约束求解   面向装备联勤保障的约束程序设计框架 期刊论文  OAI收割 南京大学学报（自然科学版）, 2005, 卷号: 41, 期号: z1, 页码: 30-34 郑宇军; 王连来; 薛锦云   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/28 联勤  约束程序设计  规约  问题求解  装备联勤保障  约束程序设计框架  问题求解剖面  保障资源  保障任务  保障对象  问题规约剖面  装备保障  正交组合  领域驱动  抽象描述  保障规划  启发式  选择  算法  目标  规则