Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Kougen Zheng"'
Publikováno v:
Sensors, Vol 9, Iss 8, Pp 6150-6170 (2009)
Localization is one of the most important subjects in Wireless Sensor Networks (WSNs). To reduce the number of beacons and adopt probabilistic methods, some particle filter-based mobile beacon-assisted localization approaches have been proposed, such
Externí odkaz:
https://doaj.org/article/44b80f7c7c364b67b2ac11f8fad53e0c
Publikováno v:
Sensors, Vol 9, Iss 4, Pp 2760-2779 (2009)
The ability to automatically locate sensor nodes is essential in many Wireless Sensor Network (WSN) applications. To reduce the number of beacons, many mobile-assisted approaches have been proposed. Current mobile-assisted approaches for localization
Externí odkaz:
https://doaj.org/article/84b2e47890154deab588b3d2daa4fdbc
Publikováno v:
International Journal of Distributed Sensor Networks, Vol 7 (2011)
Determining the physical positions of sensors has been a fundamental and crucial problem in wireless sensor networks (WSNs). Due to the inherent characteristics of WSNs, extremely limited resources available at each low-cost and tiny sensor node, con
Externí odkaz:
https://doaj.org/article/e6790bdced8443e98b2473280ba019dd
Publikováno v:
International Journal of Distributed Sensor Networks, Vol 7 (2011)
As many Wireless Sensor Networks (WSNs) applications require sensor position information, localization has been an important problem in WSNs. To reduce the number of seeds, a number of mobile-assisted approaches have been proposed. Current proposed m
Externí odkaz:
https://doaj.org/article/d8e8ded7f4e346f4bc803888fb95a741
Autor:
Chunyan Fu, Kougen Zheng
Publikováno v:
International Journal on Software Tools for Technology Transfer. 21:165-181
Ad hoc routing protocols are responsible for searching a route from the source to the destination under the dynamic network topology. Hybrid routing protocols combine the features of proactive and reactive approaches. So, the formal specification of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78287b3944effca5e4e769f6677d69be
https://doi.org/10.1007/s10009-017-0463-4
https://doi.org/10.1007/s10009-017-0463-4
Autor:
Xinxin Shen, Kougen Zheng
Publikováno v:
Computer Science & Information Technology (CS & IT ).
The operation of substitution in ”3×6-calculus is treated as an atomic operation. It makes that substitution operation is complex to be analyzed. To overcome this drawback, explicit substitution systems are proposed. They bridge the gap between th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::970cd0199c291d77fdbb468e38e9d37c
https://doi.org/10.5121/csit.2019.90313
https://doi.org/10.5121/csit.2019.90313
Autor:
Kougen Zheng, Chunyan Fu
Publikováno v:
2018 IEEE 9th International Conference on Software Engineering and Service Science (ICSESS).
Specification and verification of timing properties is a critical but error-prone issue in the development of real-time systems. Event-B is a formalism with the aim of modeling and analyzing systems. But it does not directly support the modeling of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d46038261a9f4a52bf8ba0496968fd6b
https://doi.org/10.1109/icsess.2018.8663926
https://doi.org/10.1109/icsess.2018.8663926
Autor:
Kougen Zheng, Chunyan Fu
Publikováno v:
2018 2nd IEEE Advanced Information Management,Communicates,Electronic and Automation Control Conference (IMCEC).
R177-time systems rely on components that have time constraints to be met. Specification and verification of time constraints is a critical issue of developing such systems. Event-B is a formalism for system modeling and analysis with advantages of m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4fb010c76cf7b3e3970e88fc7a4b4834
https://doi.org/10.1109/imcec.2018.8469225
https://doi.org/10.1109/imcec.2018.8469225
Autor:
Xinxin Shen, Kougen Zheng
Publikováno v:
Journal of Physics: Conference Series. 1187:042046
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec895c528ef4f7cc299d5df7d2b9ff5f
https://doi.org/10.1088/1742-6596/1187/4/042046
https://doi.org/10.1088/1742-6596/1187/4/042046
Publikováno v:
Sensors (14248220). 2009, Vol. 9 Issue 8, p6150-6170. 21p. 2 Diagrams, 4 Charts, 10 Graphs.