机构

• 软件研究所 [56]
• 沈阳应用生态研究所 [2]
• 合肥物质科学研究院 [1]
• 西安光学精密机械研究... [1]

采集方式

• OAI收割 [60]

内容类型

• 期刊论文 [38]
• 会议论文 [21]
• 专利 [1]

发表日期

• 2020 [1]
• 2014 [1]
• 2013 [2]
• 2012 [1]
• 2011 [3]
• 2010 [7]
• 更多

学科主题

• Computer S... [3]
• Artificial... [1]
• Computer S... [1]
• Interdisci... [1]
• Operations... [1]
• Theory & M... [1]
• 更多

筛选

浏览/检索结果: 共60条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 A novel silicon nanoparticles-infilled capsule prepared by an oil-in-water emulsion strategy for high-performance Li-ion battery anodes 期刊论文  OAI收割 NANOTECHNOLOGY, 2020, 卷号: 31 作者:  Wu, Yong;  Han, Tianli;  Zhou, Ting;  Qiao, Xue;  Chen, Xi   |  收藏  |  浏览/下载：38/0  |  提交时间：2020/11/26 silicon nanoparticles  capsules  yolk-shell nanostructures  secondary batteries   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |  浏览/下载：31/0  |  提交时间：2014/12/16 结构化需求语言  形式化软件规约  自动生成系统  高可靠  范畴论语义  structural requirement language  formal software specification  automatic generation system  high reliability  category semantics   Radl 形式规格说明相对正确性研究 期刊论文  OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun   |  收藏  |  浏览/下载：22/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   Radl形式规格说明相对正确性研究 期刊论文  OAI收割 软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 形式规格说明  相对正确性  确认  扩展的逻辑系统  辅助证明算法   基于PAR的排序算法自动生成研究 期刊论文  OAI收割 软件学报, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 石海鹤; 薛锦云   |  收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17 排序算法  自动生成  领域特定语言  形式化模型  PAR方法   formal derivation of two algorithms involving sequences 会议论文  OAI收割 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20 Shi Haihe; Xue Jinyun   |  收藏  |  浏览/下载：23/0  |  提交时间：2013/10/08 Algorithms  Information science  Problem solving  Specifications   a generative approach to searching algorithmic programs development 会议论文  OAI收割 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29, Shi Haihe; Xue Jinyun   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/10/08 Productivity  Software engineering   组合优化问题简约与算法推演 期刊论文  OAI收割 Journal of Software, 2011, 卷号: 22, 期号: 9, 页码: 1985-1993 郑宇军; 薛锦云; 凌海风   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/10/08 组合优化问题  问题简约  算法推演  正确性证明   generating provably correct algorithmic programs from formal specifications 会议论文  OAI收割 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451 Shi Haihe; Xue Jinyun   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/31 Algorithmic languages  Computer programming  Computer software selection and evaluation   an algebraic approach to mechanical tabu search algorithm generation 会议论文  OAI收割 2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878 Zheng Yujun; Shi Haihe; Xue Jinyun   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/03/31 Algebra  Automatic programming  Combinatorial optimization  Information science  Learning algorithms  Machinery  Specifications