中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
建立国家科技报告体系势在必行 期刊论文
科技导报北京, 2011, 卷号: 029, 期号: 021, 页码: 15
作者:  冯长根;  饶子和;  王陇德;  姚建年;  邓中翰;  陈赛娟;  李大鹏;  许智宏;  刘德培;  程津培;  钟南山;  袁驷;  彭先觉;  姒建敏;  龚克;  郑南宁;  陈运泰;  杜祥琬;  张泽;  干勇;  朱道本;  韦钰;  沈岩;  旭日干;  詹文龙;  赵忠贤;  杨卫;  郭雷;  王光谦;  姚献平;  王鸣;  徐秋芳;  陆大道;  郑度;  刘旭;  魏复盛;  柯炳生;  谢俊奇;  肖金城;  王金南
收藏  |  浏览/下载：248/0  |  提交时间：2020/01/10
Quasi-physical algorithm for protein folding in an off-lattice model 期刊论文
COMMUNICATIONS IN THEORETICAL PHYSICS, 2007, 卷号: 47, 期号: 1, 页码: 181-185
作者:  Lu Zhi-Peng;  Huang Wen-Qi;  Shi He
收藏  |  浏览/下载：138/0  |  提交时间：2018/07/30
quasi-physical algorithm  conjugate gradient method  protein folding  off-lattice model  
Handling non-canonical software requirements based on Annotated Predicate Calculus 期刊论文
KNOWLEDGE AND INFORMATION SYSTEMS, 2007, 卷号: 11, 期号: 1, 页码: 85-104
作者:  Mu, Kedian;  Jin, Zhi;  Lu, Ruqian;  Peng, Yan
收藏  |  浏览/下载：119/0  |  提交时间：2018/07/30
software requirements  inconsistency  redundancy  incompleteness  vagueness  paraconsistent logic