机构

• 软件研究所 [11]
• 文献情报中心 [2]
• 计算技术研究所 [1]
• 过程工程研究所 [1]
• 海洋研究所 [1]
• 自动化研究所 [1]
• 更多

采集方式

• OAI收割 [17]

内容类型

• 期刊论文 [12]
• 学位论文 [3]
• CNKI期刊论文 [1]
• 研究报告 [1]

发表日期

• 2021 [1]
• 2013 [2]
• 2009 [1]
• 2008 [2]
• 2007 [1]
• 2006 [1]
• 更多

学科主题

• 图书馆、情报与文献学 [1]
• 情报研究 [1]
• 计算机软件 [1]
• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共17条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序作者升序作者降序题名升序题名降序发表日期升序发表日期降序 基于共被引强度和语义聚类识别研究前沿方法研究与应用 研究报告  OAI收割 2021 作者:  付爽;  靳军宝;  郑玉荣;  曹琨;  孟欢欢   |  收藏  |  浏览/下载：69/0  |  提交时间：2021/12/23 共被引强度  语义聚类  研究前沿  方法研究   按功能搜索的遗产代码复用平台的实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 牛冬   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/05/31 动态方法等级  静态文件分析  语义拓展  分词  词根表   面向科技文献的混合语义信息抽取方法研究 期刊论文  OAI收割 图书情报工作, 2013, 期号: 11, 页码: 112-119 作者:  冷伏海;  冷伏海;  祝清松;  冷伏海;  祝清松 收藏  |  浏览/下载：28/0  |  提交时间：2014/01/02 科技文献  混合语义信息  抽取方法   吝啬语义信任协商 期刊论文  OAI收割 计算机学报, 2009, 卷号: 32, 期号: 10 张妍; 冯登国   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/05/27 自动信任协商  语义方法  隐私保护  协商策略  符合性检测   基于视平面上特征计算的视点选择 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2008, 卷号: 20, 期号: 9, 页码: 1097-1103 杨利明; 王文成; 吴恩华   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/06/10 视点选择  视平面  曲率  熵  三维模型  特征计算  选择方法  视点相关  语义计算  显著特征  曲率特征  几何特征  观察习惯  工作效率  度量模型  状况  实验  人眼  分布   BPMN到BPEL2.0的模型转换方法 期刊论文  OAI收割 计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻   |  收藏  |  浏览/下载：28/0  |  提交时间：2011/06/10 业务流程管理  模型转换  业务流程建模符号  业务流程执行语言  模型  中国科学院  组件  转换方法  支持  实际运用  软件  建模工具  规范标准  工程中心  错误处理  研究所  可用性  语义  特性  适用  事务  设计  扩展  检验   双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：38/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/13 Web服务  环境本体  自动组合  π演算  形式化验证  需求驱动  Web服务  建模  验证算法  本体  组合模型  环境变化  能力描述  进程表达式  转换机制  验证方法  可满足性  操作  形式化  概念化  π演算  语义  行为  框架  交互   结合纹理特征的模型简化误差度量算子 期刊论文  OAI收割 计算机学报, 2005, 卷号: 28, 期号: 6, 页码: 1054-1061 郭力真; 费广正; 王文成; 吴恩华   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/07/28 误差度量算子  纹理  视觉特征  模型简化  绘制  纹理特征  简化模型  误差度量算子  Model Simplification  纹理图像  视觉信息  简化方法  几何特征  成像质量  语义信息  用户主导  研究方向  虚拟漫游  图像相关  简化技术  基于模型  成像速度  图形学  层次化  处理Image processing  Image quality  Textures   时态逻辑形式化描述并发系统性质 期刊论文  OAI收割 海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/29 形式化方法  并发系统  时态逻辑  模型检测  时态逻辑  形式化描述  系统性质  并发系统  状态迁移序列  形式化方法  逻辑描述  反应式  运用  语义  语法  应用  验证  模型  检测  基础