QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 专题：兰州理工大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Formal modeling and analysis in a logic for mobile Ad Hoc networks 期刊论文 Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition), 2011, 卷号: 41, 期号: 2, 页码: 258-265 作者:  Guo, Xian;  Feng, Tao;  Yuan, Zhanting;  Ma, Jianfeng 收藏  |  浏览/下载：59/0  |  提交时间：2020/11/14 Ad hoc networks  Computation theory  Computer circuits  Mobile ad hoc networks  Mobile security  Network security  Semantics  Correctness properties  Formal modeling and analysis  Logic  Logic of secure systems  Mobile iP  Network evolution  Physical locations  Wireless broadcast   Research on remote control system based on field-bus and internet 会议论文 Manchester, United kingdom, May 21, 2009 - May 22, 2009 作者:  Sun, Wei;  Li, Baodong 收藏  |  浏览/下载：0/0  |  提交时间：2020/11/15 Automation  Buses  Common object request broker architecture (CORBA)  Control systems  Information management  Internet  Network architecture  Remote control  Automation systems  Field bus  Field bus systems  IP-based networks  Management information base  Modular approach  Realization model  Three-layer models   Network control system of welding machines based on Ethernet 期刊论文 Hanjie Xuebao/Transactions of the China Welding Institution, 2005, 卷号: 26, 期号: 4, 页码: 21-24 作者:  Shi, Yu;  Fan, Ding;  Song, Jian 收藏  |  浏览/下载：15/0  |  提交时间：2020/11/14 Control systems  Database systems  Gateways (computer networks)  Network protocols  Embedded gateway  Ethernet  Network controlled welding machine  Remote diagnosis  SQL Server software  TCP/IP