QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 An algorithm on fairness verification of mobile sink routing in wireless sensor network 期刊论文 PERSONAL AND UBIQUITOUS COMPUTING, 2013, 卷号: 17, 页码: 851-864 作者:  Xu, Guangquan[1];  Li, Weisheng[2];  Xu, Rui[3];  Xiao, Yingyuan[4];  Gao, Honghao[5] 收藏  |  浏览/下载：11/0  |  提交时间：2019/04/30 Wireless sensor network  Labeled Kripke Transition System  Bounded model checking  Strong connected components   State/Action-based Fairness Verification for Non-determinism 期刊论文 CHINESE JOURNAL OF ELECTRONICS, 2011, 卷号: 20, 页码: 603-606 作者:  Xu, Guangquan[1];  Pang, Shanchen[2];  Gao, Honghao[3];  Xiao, Yingyuan[4];  Li, Xiaohong[5] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30 Labeled Kripke transition system  Parallel composition  Fairness  Extended Kripke structure   Surveillance report of bacterial resistance from hospitals in Shanghai in 2009 期刊论文 Chinese Journal of Infection and Chemotherapy, 2010, 卷号: 10, 期号: 6 作者:  Zhu, Demei/7403599269[0];  Zhang, Yingyuan/8440405300[1];  Wang, Fu/36077436100[2];  Guo, Yan/55712476300[3];  Jiang, Xiaofei/7404627683[4] 收藏  |  浏览/下载：19/0  |  提交时间：2019/12/19 Antimicrobial agent  Bacterial resistance  Bacterial susceptibility testing  Pan-resistant organism   On Parameter Function of Field-a Register Variable in Translating Reconstructing Textual Coherence 会议论文 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EDUCATION, LANGUAGE, ART AND INTERCULTURAL COMMUNICATION 作者:  Li Yingyuan[1];  Yang Chunlin[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/12 translating  register variables  parameter function of field  textual coherence reconstruction   A Study on the Relevance of Register Variables to Textual Coherence Reconstruction - A Case Study Based on E-C Translations of the Initial Ut 会议论文 PROCEEDINGS OF INTERNATIONAL SYMPOSIUM ON GLOBALIZATION: CHALLENGES FOR TRANSLATORS AND INTERPRETERS 作者:  Li Yingyuan[1];  Xie Baoxia[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/12 textual translation  RVs  TCR  contextual parameters