机构

• 软件研究所 [6]
• 心理研究所 [2]
• 高能物理研究所 [2]
• 力学研究所 [1]
• 金属研究所 [1]
• 计算技术研究所 [1]
• 更多

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [15]
• 学位论文 [1]

发表日期

• 2013 [1]
• 2006 [2]
• 2005 [2]
• 2004 [1]
• 2003 [2]
• 2000 [2]
• 更多

学科主题

• 网络心理学 [1]
• 老年心理学 [1]

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 走向统一的自然力 爱因斯坦:试图统一电磁力和引力未能如愿(Ⅰ) 期刊论文  OAI收割 现代物理知识, 2013, 期号: 4, 页码: 41-46 作者:  厉光烈;  赵洪明 收藏  |  浏览/下载：18/0  |  提交时间：2015/12/10 广义相对论  狭义相对论  电磁力  电磁理论  牛顿引力理论  数学形式  相对性原理  世界物理年  等效原理  统一场论   模式匹配问题的描述框架与算法模型 期刊论文  OAI收割 模式识别与人工智能, 2006, 卷号: 19, 期号: 6, 页码: 715-721 张治; 车皓阳; 施鹏飞   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/13 模式匹配  同态  模式同态  模式匹配  匹配问题  数学描述  框架  代数理论  结构  证明模式  映射关系  研究模式  算法模型  数学理论  数学基础  求解模式  建立模式  等价关系  形式化  应用  归约   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/07/13 BLP模型  MLS策略  安全不变式  Z语言  Z/EVES定理证明器  多级安全模型  安全性  形式化分析  不变式  验证模型  形式化规范  验证工具  系统安全  策略  表述形式  分析表  语言  思想  理论  客体  方法Computer programming languages  Formal languages  Functions  Mathematical models  Security of data  Security systems  Specifications  Theorem prov   UML的形式化及其应用 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32, 期号: 3, 页码: 136-140 周瑾; 马应龙; 李巍; 吴志林   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/28 UML  形式化  形式化  设计错误  数表  框架  检测  优化建议  优化方案  设计模型  软件设计  进化过程  基础  状态图  序列图  应用  人员  理论  度量   OWL—S的形式语义 期刊论文  OAI收割 计算机科学, 2005, 卷号: 32.0, 期号: 007, 页码: 5 作者:  蒋运承;  史忠植   |  收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04 形式语义  OWL  Web服务  web服务  语义Web  研究现状  理论基础  服务提供   高安全级操作系统形式设计的研究 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 季庆光 收藏  |  浏览/下载：24/0  |  提交时间：2011/03/17 形式模型  机密性策略  完整性策略  极小特权原理  无干扰理论  信息流  权能  模型层次结构   UNITY与典型程序设计模型的比较 期刊论文  OAI收割 计算机工程与应用, 2003, 卷号: 39, 期号: 32, 页码: 52-54,104 肖美华; 薛锦云; 化志章   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/29 程序设计模型  UNITY  形式语义  程序转换  Seuss  程序转换  证明系统  设计模型  结构模式  计算模型  程序映射  新策略  命令式  逻辑式  计算机  函数式  规则式  体系  能力  理论  基础  机理   A FRAMEWORK OF FUZZY LANDSCAOE THEORY WITH AN APPLICATION TO ALLIANCE ANALYSIS 期刊论文  OAI收割 系统科学与复杂性：英文版, 2003, 卷号: 16.0, 期号: 1.0, 页码: 1-12 作者:  Suganuma S;  Huynh V N;  Nakamori Y;  Wang S Y;  Lai K K   |  收藏  |  浏览/下载：24/0  |  提交时间：2021/01/14 Fuzzy  landscape  theory  模糊地形理论  欧洲  第二次世界大战  形式理论  遗传算法  应用  政治  经济  联合分析  UNIX操作系统  军事   厚、薄膜电阻激光快速微调技术 期刊论文  OAI收割 光机电信息, 2000, 期号: 07, 页码: 23-26 张景旭; 田兴志 收藏  |  浏览/下载：25/0  |  提交时间：2013/03/11 薄膜电阻:5647  微调技术:5296  激光快速:4037  激光调阻:2987  光束定位:2213  能量传递:1802  激光微调:1635  切口形式:1290  理论分析:1132  计算机系统:1029   移动计算形式理论分析与研究 期刊论文  OAI收割 计算机研究与发展, 2000, 卷号: 37, 期号: 2, 页码: 129-139 魏峻; 冯玉琳   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/07/29 移动计算  形式方法  移动性  交互  位置  动态配置重构  移动计算  理论分析  形式模型  环境演算  网络计算平台  方法  态配置重构  移动环境  特征  时序逻辑  扩充模型  控制机制  技术发展  本质特点  新计算  代数类  资源  系统  位置  评价