QQ客服 官方微博 反馈留言

浏览/检索结果: 共16条，第1-10条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Symbolic model checking for discrete real-time systems 期刊论文 2018, 卷号: 61, 期号: 5, 页码: 199 作者:  Xiangyu LUO[1,2];  Lijun WU[3];  Qingliang CHEN[4];  Haibo LI[1];  Lixiao ZHENG[1] 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/13 模型检查  变系统  即时  线性时间  分离  逻辑检查  应用程序  输出变量   Systematic Exposition of Mesenchymal Stem Cell for Inflammatory Bowel Disease and Its Associated Colorectal Cancer 期刊论文 BIOMED RESEARCH INTERNATIONAL, 2018, 卷号: 2018, 页码: 9652817 作者:  Kang, Jingjing[1];  Zhang, Li[2];  Luo, Xiao[3];  Ma, Xiangyu[4];  Wang, Gaoying[5] 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/24 Separation and detection of free D- and L-amino acids in tea by off-line two-dimensional liquid chromatography 期刊论文 2017, 卷号: 9, 期号: 43, 页码: 6131 作者:  Wang, Xiangyu[1];  Wu, Huihui[2];  Luo, Rongying[1];  Xia, Donghai[1];  Jiang, Zhengjin[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10 Interactions between auxin and quercetin during grape berry development 期刊论文 SCIENTIA HORTICULTURAE, 2016, 卷号: 205, 页码: 45-51 作者:  Luo, Mei[1];  Wan, Sibao[2];  Sun, Xiangyu[3];  Ma, Tingting[4];  Huang, Weidong[5] 收藏  |  浏览/下载：6/0  |  提交时间：2019/04/26 Auxin  Flavonoids  Grape berry  Interaction   A first-order coalition logic for BDI-agents 期刊论文 2016, 卷号: 10, 期号: 2, 页码: 233 作者:  Chen, Qingliang[1];  Su, Kaile[1,2];  Sattar, Abdul[2];  Luo, Xiangyu[3];  Chen, Aixiang[4] 收藏  |  浏览/下载：14/0  |  提交时间：2019/12/17 A first-order coalition logic for BDI-agents 期刊论文 2016, 卷号: 0, 期号: 2, 页码: 233 作者:  Qingliang CHEN[1];  Kaile SU[1,2];  Abdul SATTAR[2];  Xiangyu LUO[3];  Aixiang CHEN[4] 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/23 一阶逻辑  BDI  Agent  联盟  多智能体系统  语义模型  PSPACE  计算复杂度   Quantified coalition logic for bdi-agents: Completeness and complexity 期刊论文 2014, 卷号: 8862, 页码: 871 作者:  Chen, Qingliang[1];  Li, Qun[1];  Su, Kaile[2];  Luo, Xiangyu[3] 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/17 Effect of Equilibrium Moisture Contents on Insulating Performance of Autoclaved Aerated Concrete Blocks (CPCI-S收录) 会议论文 OPTICAL, ELECTRONIC MATERIALS AND APPLICATIONS, PTS 1-2 作者:  Jin Xueli[1];  Luo Xiangyu[2,3];  Meng Qinglin[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 autoclaved aerated concrete blocks  equilibrium moisture content  thermal conductivity  Pearl River Delta region  correction coefficient   The relation between ceramsite concrete and its sound absorbing property (EI收录) 会议论文 Applied Mechanics and Materials, Shangri-La, China, August 22, 2011 - August 23, 2011 作者:  Jin, Xueli[1];  Luo, Xiangyu[2];  Meng, Qingling[2];  Zeng, Lingke[2] 收藏  |  浏览/下载：5/0  |  提交时间：2019/04/15 Absorption  Civil engineering  Microstructure  Porosity  Sound insulating materials  Thermoplastics   Effect of aggregate size and gradation on the ceramsite sound-absorbing materials (EI收录) 会议论文 Advanced Materials Research, Chongqing, China, March 4, 2011 - March 6, 2011 作者:  Luo, Xiangyu[1,2];  Li, Wenfang[1];  Jin, Xueli[3] 收藏  |  浏览/下载：10/0  |  提交时间：2019/04/15 Acoustic wave absorption  Aggregates  Cements  Frequency bands  Heat resistance  Mechanical properties  Pore structure  Sound insulating materials  Thermal insulation  Water absorption  Water content  Waves