QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：北京大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Model checking fuzzy computation tree logic 期刊论文 fuzzy sets and systems, 2015 Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou 收藏  |  浏览/下载：7/0  |  提交时间：2015/11/11 Model checking  Temporal logic  Computation tree logic  Fuzzy logic  Triangular norm  TEMPORAL LOGIC  MULTIVALUED LOGICS  RESIDUATED LATTICE  AUTOMATA  BISIMULATIONS  SYSTEMS   Phase Transformation Behavior and Mechanical Properties of Thermomechanically Treated K3XF Nickel-Titanium Instruments 期刊论文 journal of endodontics, 2013 Shen, Ya; Zhou, Hui-min; Wang, Zhejun; Campbell, Les; Zheng, Yu-feng; Haapasalo, Markus 收藏  |  浏览/下载：4/0  |  提交时间：2015/11/11 Bending  K3XF  nickel-titanium instrument  phase transformation  thermomechanical treatment  torsion  ROTARY ENDODONTIC INSTRUMENTS  CONTROLLED MEMORY  CYCLIC FATIGUE  CLINICAL-USE  METALLURGICAL CHARACTERIZATION  SHAPE-MEMORY  DEFECTS  RESISTANCE  FAILURE  SURFACE   Ergodic properties of invariant measures for C1+alpha non-uniformly hyperbolic systems 其他 2013-01-01 Liang, Chao; Sun, Wenxiang; Tian, Xueting 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/16 DIFFEOMORPHISMS WITH VARIOUS C-1 STABLE PROPERTIES 其他 2012-01-01 Tian Xueting; Sun Wenxiang 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/16 Specification property  hyperbolic basic set  topologically transitive  shadowing property   O-表达式的性质定义与规范 期刊论文 计算机科学与探索, 2010 袁崇义; 赵文; 高昕; 黄雨 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12 O-表达式 独立O-表达式 安全性 进展性 不变性 程序规范 O-expression stand-alone O-expression (saloe) safety progress property invariant program specification   Torsion property and cyclic fatigue fracture behavior of nickel-titanium endodontic instruments 会议论文 Zheng, YF; Li, C; Huang, C; Zhao, LC 收藏  |  浏览/下载：7/0  |  提交时间：2015/11/13 NiTi alloy  torsion  cyclic fatigue  endodontic instrument   Torsion property and cyclic fatigue fracture behavior of nickel-titanium endodontic instruments 会议论文 Zheng, Yufeng; Li, Chao; Huang, Chen; Zhao, Liancheng 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13