机构

• 软件研究所 [2]
• 心理研究所 [1]
• 生态环境研究中心 [1]

采集方式

• OAI收割 [4]

内容类型

• 学位论文 [2]
• 期刊论文 [2]

发表日期

• 2009 [1]
• 2006 [1]
• 2000 [1]
• 1998 [1]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 心理测验中项目表述效应的特点、机制和预测因素研究 学位论文  OAI收割 心理研究所: 中国科学院心理研究所, 2009 作者:  王淑娟   |  收藏  |  浏览/下载：32/0  |  提交时间：2011/06/23 项目表述效应  因素分析  交互验证  评定等级模型  全信息双因素项目分析   需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割 中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/13 Web服务  环境本体  自动组合  π演算  形式化验证  需求驱动  Web服务  建模  验证算法  本体  组合模型  环境变化  能力描述  进程表达式  转换机制  验证方法  可满足性  操作  形式化  概念化  π演算  语义  行为  框架  交互   遗传算法对QSAR研究中变量选择的应用 期刊论文  OAI收割 环境化学, 2000, 卷号: 1, 期号: 3, 页码: 209-214 张大仁; 赵立新 收藏  |  浏览/下载：28/0  |  提交时间：2015/06/11 遗传算法  定量结构活性关系  变量选择  交互验证   交互系统及其基于XYZ／E的规范与逐步求精 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 郑小立 收藏  |  浏览/下载：21/0  |  提交时间：2011/03/17 交互  算法  输入  输出  状态转换  交互对象  交互程序设计语言Li  开放系统  封闭系统  时间  人机交互  时序逻辑  不变式  XYZ系统  规范  验证  逐步求精