Editor's Desk:The Internet of Things is an important part of the emerging high-tech industry and has been recognized as one of the important technologies for addressing global financial crisis and revitalizing the e...Editor's Desk:The Internet of Things is an important part of the emerging high-tech industry and has been recognized as one of the important technologies for addressing global financial crisis and revitalizing the economy. Therefore, at the beginning of the new year, we are honored to have invited Mr. Samuel Qi (Qi Qingzhong), a famous Chinese communication technology expert and GM of Shanghai Symphony Telecommunications Co., Ltd., to give his views on the development strategy of the Internet of Things and Machine to Machine (M2M) Communications.展开更多
The Internet of Things (IoT) has received much attention over the past decade. With the rapid increase in the use of smart devices, we are now able to collect big data on a daily basis. The data we are gathering (a...The Internet of Things (IoT) has received much attention over the past decade. With the rapid increase in the use of smart devices, we are now able to collect big data on a daily basis. The data we are gathering (and related problems) are becoming more complex and uncertain. Researchers have therefore turned to artificial intelligence (AI) to efficiently deal with the problems ereated by big data.展开更多
From 26 to 27 October 2017, the Centre for Cross-Border Commercial Law in Asia of Singapore Management University (SMU) Law School held an international conference entitled "Future of Law Conference: The Internet ...From 26 to 27 October 2017, the Centre for Cross-Border Commercial Law in Asia of Singapore Management University (SMU) Law School held an international conference entitled "Future of Law Conference: The Internet of Things, Smart Contracts and Intelligent Machines" in Singapore. The conference brought together the leading thinkers in academia and practice in the field of information technology law to discuss the legal and regulatory implications of recent technological developments. Associate Professor ZHANG Jiyu and Associate Professor DING Xiaodong of the Law and Technology Institute of Renmin Law School were invited to attend the conference.展开更多
In recent years,the Internet of Things technology has developed rapidly,and smart Internet of Things devices have also been widely popularized.A large amount of data is generated every moment.Now we are in the era of ...In recent years,the Internet of Things technology has developed rapidly,and smart Internet of Things devices have also been widely popularized.A large amount of data is generated every moment.Now we are in the era of big data in the Internet of Things.The rapid growth of massive data has brought great challenges to storage technology,which cannot be well coped with by traditional storage technology.The demand for massive data storage has given birth to cloud storage technology.Load balancing technology plays an important role in improving the performance and resource utilization of cloud storage systems.Therefore,it is of great practical significance to study how to improve the performance and resource utilization of cloud storage systems through load balancing technology.On the basis of studying the read strategy of Swift,this article proposes a reread strategy based on load balancing of storage resources to solve the problem of unbalanced read load between interruptions caused by random data copying in Swift.The storage asynchronously tracks the I/O conversion to select the storage with the smallest load for asynchronous reading.The experimental results indicate that the proposed strategy can achieve a better load balancing state in terms of storage I/O utilization and CPU utilization than the random read strategy index of Swift.展开更多
PLC control cabinet is mainly used in the construction of oil field Internet of things. PLC is short for “programmer logic controller” in English, and we call it the programmable logic controller. The programmable c...PLC control cabinet is mainly used in the construction of oil field Internet of things. PLC is short for “programmer logic controller” in English, and we call it the programmable logic controller. The programmable controller mainly defers to, it which the mature effective black-white control concept and the design concept complete in at present is one kind of new technology, the core electronic device gradual is already invested each domain, became one to have the characteristic series new product that was one can carry on the digital operation and the digital operation computer effectively. So this study control PLC control cabinet in oil , eld application value of construction of the Internet of things, we hope that the content can provide effective reference for the related areas.展开更多
The Internet of Things(IoT)can realize the interconnection of people,machines,and things anytime,anywhere.Most of the existing research mainly focuses on the practical applications of IoT,and there is a lack of resear...The Internet of Things(IoT)can realize the interconnection of people,machines,and things anytime,anywhere.Most of the existing research mainly focuses on the practical applications of IoT,and there is a lack of research on modeling and reasoning about IoT systems from the perspective of formal methods.Thus,the Calculus of the Internet of Things(CaIT)has been proposed to specify and analyze IoT systems before the actual implementation,which can effectively improve development efficiency,and enhance system quality and reliability.To verify the correctness of IoT systems described by CaIT,this paper presents a proof system for CaIT,in which specifications and verifications are based on the extended Hoare Logic with time.Furthermore,we explore the cooperation between isolated proofs to validate the postconditions of the communication actions occurring in these proofs,with a particular focus on broadcast communication.We also demonstrate the soundness of our proof system.A simple“smart home”is given to illustrate the availability of our proof system.展开更多
Horticultural products such as fruits,vegetables,and tea offer a range of important nutrients such as protein,carbohydrates,vitamins and lipids.However,the present yield and quality do not meet the requirements of the...Horticultural products such as fruits,vegetables,and tea offer a range of important nutrients such as protein,carbohydrates,vitamins and lipids.However,the present yield and quality do not meet the requirements of the rapid population growth associated with global climate change,the decline in horticultural practitioners,poor automation,and epidemic diseases such as COVID-19.In this context,smart horticulture is expected to greatly improve the land output rates,resource-use efficiency,and productivity,all of which should facilitate the sustainable development of the horticulture industry.Emerging technologies,such as artificial intelligence,big data,the Internet of Things,and cloud computing,play an important role.This paper reviews past developments and current challenges,offering future perspectives for horticultural chain management.We expect that the horticulture industry would benefit from integration with smart technologies.This requires the use of novel solutions to build a new advanced system encompassing smart breeding,smart cultivation,smart transportation,and smart sales.Finally,a new development approach combining precise perception,smart operation,and smart control should be instituted in the horticulture industry.Within 30 years,we expect that the industry will embrace mechanical,automatic,and informational production to transform into a smart industry.展开更多
Despite intensive efforts,there are still enormous challenges in provision of healthcare services to the increasing aging population.Recent observations have raised concerns regarding the soaring costs of healthcare,t...Despite intensive efforts,there are still enormous challenges in provision of healthcare services to the increasing aging population.Recent observations have raised concerns regarding the soaring costs of healthcare,the imbalance of medical resources,inefficient healthcare system administration,and inconvenient medical experiences.However,cutting-edge technologies are being developed to meet these challenges,including,but not limited to,Internet of Things(IoT),big data,artificial intelligence,and 5G wireless transmission technology to improve the patient experience and healthcare service quality,while cutting the total cost attributable to healthcare.This is not an unrealistic fantasy,as these emerging technologies are beginning to impact and reconstruct healthcare in subtleways.Although the technologies mentioned above are integrated,in this review we take a brief look at cases focusing on the application of 5G wireless transmission technology in healthcare.We also highlight the potential pitfalls to availability of 5G technologies.展开更多
This paper studies a dynamic multi-user wireless network,where users have no knowledge of the arrival rate and size of data block and suffer from a constraint on long-term average power consumption.Considering such a ...This paper studies a dynamic multi-user wireless network,where users have no knowledge of the arrival rate and size of data block and suffer from a constraint on long-term average power consumption.Considering such a network,we address the problem of dynamically optimizing channel/power allocation,so as to minimize the long-term average data backlog.The design problem is shown to be a constrained Markov decision process.In order to solve the problem without knowledge on dynamics of the system,we introduce post-decision states and propose a resource allocation algorithm based on reinforcement learning.Since the channel/power allocation problem is coupled,the multiuser decision problem suffers from curses of dimensions(of state/action/outcome space).This makes centralized decision-making and optimization on channel/power allocation suffer from a long convergence time.As a countermeasure,a partially distributed resource allocation framework is proposed.The multiuser power allocation problem is decoupled into single-user decision problems,while channel allocation optimization is performed in a centralized manner.In order to further reduce computational complexity,we propose a low-complexity reinforcement learning method.Simulation results reveal that the proposed algorithm outperforms the state-of-the-art myopic optimizations in terms of energy efficiency and the backlog performance.展开更多
Since the Internet of Things(IoT) secret information is easy to leak in data transfer,a data secure transmission model based on compressed sensing(CS) and digital watermarking technology is proposed here. Firstly,...Since the Internet of Things(IoT) secret information is easy to leak in data transfer,a data secure transmission model based on compressed sensing(CS) and digital watermarking technology is proposed here. Firstly, for node coding end, the digital watermarking technology is used to embed secret information in the conventional data carrier. Secondly, these data are reused to build the target transfer data by the CS algorithm which are called observed signals. Thirdly, these signals are transmitted to the base station through the wireless channel. After obtaining these observed signals, the decoder reconstructs the data carrier containing privacy information. Finally, the privacy information is obtained by digital watermark extraction algorithm to achieve the secret transmission of signals. By adopting the watermarking and compression sensing to hide secret information in the end of node code, the algorithm complexity and energy consumption are reduced. Meanwhile, the security of secret information is increased.The simulation results show that the method is able to accurately reconstruct the original signal and the energy consumption of the sensor node is also reduced significantly in consideration of the packet loss.展开更多
文摘Editor's Desk:The Internet of Things is an important part of the emerging high-tech industry and has been recognized as one of the important technologies for addressing global financial crisis and revitalizing the economy. Therefore, at the beginning of the new year, we are honored to have invited Mr. Samuel Qi (Qi Qingzhong), a famous Chinese communication technology expert and GM of Shanghai Symphony Telecommunications Co., Ltd., to give his views on the development strategy of the Internet of Things and Machine to Machine (M2M) Communications.
文摘The Internet of Things (IoT) has received much attention over the past decade. With the rapid increase in the use of smart devices, we are now able to collect big data on a daily basis. The data we are gathering (and related problems) are becoming more complex and uncertain. Researchers have therefore turned to artificial intelligence (AI) to efficiently deal with the problems ereated by big data.
文摘From 26 to 27 October 2017, the Centre for Cross-Border Commercial Law in Asia of Singapore Management University (SMU) Law School held an international conference entitled "Future of Law Conference: The Internet of Things, Smart Contracts and Intelligent Machines" in Singapore. The conference brought together the leading thinkers in academia and practice in the field of information technology law to discuss the legal and regulatory implications of recent technological developments. Associate Professor ZHANG Jiyu and Associate Professor DING Xiaodong of the Law and Technology Institute of Renmin Law School were invited to attend the conference.
基金This work is supported by the Fundamental Research Funds for the Central Universities(Grant No.HIT.NSRIF.201714)Weihai Science and Technology Development Program(2016DXGJMS15)+1 种基金Key Research and Development Program in Shandong Provincial(2017GGX90103)Weihai Scientific Research and Innovation Fund(2020).
文摘In recent years,the Internet of Things technology has developed rapidly,and smart Internet of Things devices have also been widely popularized.A large amount of data is generated every moment.Now we are in the era of big data in the Internet of Things.The rapid growth of massive data has brought great challenges to storage technology,which cannot be well coped with by traditional storage technology.The demand for massive data storage has given birth to cloud storage technology.Load balancing technology plays an important role in improving the performance and resource utilization of cloud storage systems.Therefore,it is of great practical significance to study how to improve the performance and resource utilization of cloud storage systems through load balancing technology.On the basis of studying the read strategy of Swift,this article proposes a reread strategy based on load balancing of storage resources to solve the problem of unbalanced read load between interruptions caused by random data copying in Swift.The storage asynchronously tracks the I/O conversion to select the storage with the smallest load for asynchronous reading.The experimental results indicate that the proposed strategy can achieve a better load balancing state in terms of storage I/O utilization and CPU utilization than the random read strategy index of Swift.
基金the project named: Development of Energy-saving “Contour Environment” Internet of Things System Based on PLC (NO. B2015270).
文摘PLC control cabinet is mainly used in the construction of oil field Internet of things. PLC is short for “programmer logic controller” in English, and we call it the programmable logic controller. The programmable controller mainly defers to, it which the mature effective black-white control concept and the design concept complete in at present is one kind of new technology, the core electronic device gradual is already invested each domain, became one to have the characteristic series new product that was one can carry on the digital operation and the digital operation computer effectively. So this study control PLC control cabinet in oil , eld application value of construction of the Internet of things, we hope that the content can provide effective reference for the related areas.
基金supported by the National Key Research and Development Program of China (No.2022YFB3305102)the National Natural Science Foundation of China (Grant Nos.62032024,61872145)+1 种基金the"Digital Silk Road"Shanghai International Joint Lab of Trustworthy Intelligent Software (No.22510750100)Shanghai Trusted Industry Internet Software Collaborative Innovation Center,and the Dean's Fund of Shanghai Key Laboratory of Trustworthy Computing (East China Normal University).
文摘The Internet of Things(IoT)can realize the interconnection of people,machines,and things anytime,anywhere.Most of the existing research mainly focuses on the practical applications of IoT,and there is a lack of research on modeling and reasoning about IoT systems from the perspective of formal methods.Thus,the Calculus of the Internet of Things(CaIT)has been proposed to specify and analyze IoT systems before the actual implementation,which can effectively improve development efficiency,and enhance system quality and reliability.To verify the correctness of IoT systems described by CaIT,this paper presents a proof system for CaIT,in which specifications and verifications are based on the extended Hoare Logic with time.Furthermore,we explore the cooperation between isolated proofs to validate the postconditions of the communication actions occurring in these proofs,with a particular focus on broadcast communication.We also demonstrate the soundness of our proof system.A simple“smart home”is given to illustrate the availability of our proof system.
基金funded by the Science and Technology Plan Projects of Tibetan Autonomous Region(Grant No.XZ202201JX0001N)Hubei Provincial Key Research and Development Program(Grant No.2021BBA239)+2 种基金the Huazhong Agricultural University/Agricultural Genomics Institute of Shenzhen Chinese Academy of Agricultural Sciences Cooperation Fund(Grant No.SZYJY2022006)the Fundamental Research Funds for the Central Universities(Grant Nos.2662022YLYJ010 and BC2022111)Shannan City Science and Technology Plan Project(Grant No.SNSBJKJJHXM2023004)。
文摘Horticultural products such as fruits,vegetables,and tea offer a range of important nutrients such as protein,carbohydrates,vitamins and lipids.However,the present yield and quality do not meet the requirements of the rapid population growth associated with global climate change,the decline in horticultural practitioners,poor automation,and epidemic diseases such as COVID-19.In this context,smart horticulture is expected to greatly improve the land output rates,resource-use efficiency,and productivity,all of which should facilitate the sustainable development of the horticulture industry.Emerging technologies,such as artificial intelligence,big data,the Internet of Things,and cloud computing,play an important role.This paper reviews past developments and current challenges,offering future perspectives for horticultural chain management.We expect that the horticulture industry would benefit from integration with smart technologies.This requires the use of novel solutions to build a new advanced system encompassing smart breeding,smart cultivation,smart transportation,and smart sales.Finally,a new development approach combining precise perception,smart operation,and smart control should be instituted in the horticulture industry.Within 30 years,we expect that the industry will embrace mechanical,automatic,and informational production to transform into a smart industry.
基金Thisworkwas supported by National Institutes of Health(Grant No.UL1TR001881).
文摘Despite intensive efforts,there are still enormous challenges in provision of healthcare services to the increasing aging population.Recent observations have raised concerns regarding the soaring costs of healthcare,the imbalance of medical resources,inefficient healthcare system administration,and inconvenient medical experiences.However,cutting-edge technologies are being developed to meet these challenges,including,but not limited to,Internet of Things(IoT),big data,artificial intelligence,and 5G wireless transmission technology to improve the patient experience and healthcare service quality,while cutting the total cost attributable to healthcare.This is not an unrealistic fantasy,as these emerging technologies are beginning to impact and reconstruct healthcare in subtleways.Although the technologies mentioned above are integrated,in this review we take a brief look at cases focusing on the application of 5G wireless transmission technology in healthcare.We also highlight the potential pitfalls to availability of 5G technologies.
基金This work was supported in part by National Natural Science Foundation of China under Grant 61901216,61631020 and 61827801Natural Science Foundation of Jiangsu Province under Grant BK20190400+1 种基金Open Research Fund of National Mobile Communications Research Laboratory,Southeast University(No.2020D08)Foundation of Graduate Innovation Center in NUAA under Grant kfjj20190408。
文摘This paper studies a dynamic multi-user wireless network,where users have no knowledge of the arrival rate and size of data block and suffer from a constraint on long-term average power consumption.Considering such a network,we address the problem of dynamically optimizing channel/power allocation,so as to minimize the long-term average data backlog.The design problem is shown to be a constrained Markov decision process.In order to solve the problem without knowledge on dynamics of the system,we introduce post-decision states and propose a resource allocation algorithm based on reinforcement learning.Since the channel/power allocation problem is coupled,the multiuser decision problem suffers from curses of dimensions(of state/action/outcome space).This makes centralized decision-making and optimization on channel/power allocation suffer from a long convergence time.As a countermeasure,a partially distributed resource allocation framework is proposed.The multiuser power allocation problem is decoupled into single-user decision problems,while channel allocation optimization is performed in a centralized manner.In order to further reduce computational complexity,we propose a low-complexity reinforcement learning method.Simulation results reveal that the proposed algorithm outperforms the state-of-the-art myopic optimizations in terms of energy efficiency and the backlog performance.
基金Supported by the Foundation of Tianjin for Science and Technology Innovation(10FDZDGX00400,11ZCKFGX00900)Key Project of Educational Reform Foundation of Tianjin Municipal Education Commission(C03-0809)
文摘Since the Internet of Things(IoT) secret information is easy to leak in data transfer,a data secure transmission model based on compressed sensing(CS) and digital watermarking technology is proposed here. Firstly, for node coding end, the digital watermarking technology is used to embed secret information in the conventional data carrier. Secondly, these data are reused to build the target transfer data by the CS algorithm which are called observed signals. Thirdly, these signals are transmitted to the base station through the wireless channel. After obtaining these observed signals, the decoder reconstructs the data carrier containing privacy information. Finally, the privacy information is obtained by digital watermark extraction algorithm to achieve the secret transmission of signals. By adopting the watermarking and compression sensing to hide secret information in the end of node code, the algorithm complexity and energy consumption are reduced. Meanwhile, the security of secret information is increased.The simulation results show that the method is able to accurately reconstruct the original signal and the energy consumption of the sensor node is also reduced significantly in consideration of the packet loss.