QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于逻辑的形式化验证方法:进展及应用 其他 2016-01-01 陈钢; 于林宇; 裘宗燕; 王颖 收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03 形式化方法  逻辑系统  验证技术  formal methods  logic systems  verification techniques   基于xMAS模型的SpaceWire信誉逻辑的形式化验证 期刊论文 计算机科学, 2016, 卷号: 43, 页码: 113-117,134 作者:  李艳春;  李晓娟;  关永;  王瑞;  张杰 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 xMAS模型  信誉逻辑  SpaceWire  形式化验证  ACL2   运用定理证明器ACL2验证机器人操作系统ROS节点间通信 期刊论文 小型微型计算机系统, 2014, 卷号: 35, 页码: 2126-2130 作者:  高雅;  李晓娟;  关永;  王瑞;  张杰 收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06 ROS  ACL2  定理证明  参数化  自动验证   Overexpression of acl1 (abaxially curled leaf 1) increased bulliform cells and induced abaxial curling of leaf blades in rice 期刊论文 Molecular plant, 2010, 卷号: 3, 期号: 5, 页码: 807-817 作者:  Li, Ling;  Shi, Zhen-Ying;  Li, Lin;  Shen, Ge-Zhi;  Wang, Xin-Qi 收藏  |  浏览/下载：24/0  |  提交时间：2019/05/10 Cell expansion  Leaf  Vegetative development  Rice  Acl1  Acl2  Lri  T-dna  Bulliform cells   活性分子在甲醇毕赤酵母pichia pastoris中的表达及特异性DNA蛋白结合因子的纯化及鉴定 学位论文 2002, 2002 潘登 收藏  |  浏览/下载：2/0  |  提交时间：2016/02/14 Pichia pastoris expression system  TNF Related Apototsis Induced Ligand  Artificial Antibacterial Peptide  Shrimp White Spot Bacilliform Virus  Affinity Chromatography  Peptide Fingerprint  毕赤酵母表达系统  肿瘤坏死因子相关的凋亡诱导配体  人工合成抗菌CEME基因  对虾白斑杆状病毒  亲和层析  肽指纹图谱