To improve data distribution efficiency a load-balancing data distribution LBDD method is proposed in publish/subscribe mode.In the LBDD method subscribers are involved in distribution tasks and data transfers while r...To improve data distribution efficiency a load-balancing data distribution LBDD method is proposed in publish/subscribe mode.In the LBDD method subscribers are involved in distribution tasks and data transfers while receiving data themselves.A dissemination tree is constructed among the subscribers based on MD5 where the publisher acts as the root. The proposed method provides bucket construction target selection and path updates furthermore the property of one-way dissemination is proven.That the average out-going degree of a node is 2 is guaranteed with the proposed LBDD.The experiments on data distribution delay data distribution rate and load distribution are conducted. Experimental results show that the LBDD method aids in shaping the task load between the publisher and subscribers and outperforms the point-to-point approach.展开更多
Publish/subscribe paradigm paves a way to integrate and serve many scalable, inter-operable Internet of Things(IoT) applications. The increasing IoT applications require new properties of publish/subscribe communicati...Publish/subscribe paradigm paves a way to integrate and serve many scalable, inter-operable Internet of Things(IoT) applications. The increasing IoT applications require new properties of publish/subscribe communication model, for example, strict quality of service(Qo S) guarantees, supporting a large number of widely distributed devices, etc. Software Defined Networking(SDN) enables personalized programming and individualized QoS supports for different applications. The combination of the two will have a good prospect. In this paper, we present an IoT-oriented communication platform which combines the publish/subscribe paradigm with SDN, aiming at establishing an IoT ecosystem to facilitate IoT services/applications accessing internet. We design the interaction logic of topic-based publish/subscribe middleware, and describe the setup and maintenance of topology information as well as event routing in detail, considering the characteristics of SDN. Finally, we exemplify its practicability with a deployed District Heating Control and Information Service System(DHCISS) and validity the effectiveness with some experiments.展开更多
Publish/subscribe paradigm is often adopted to create the communication infrastructure of the Internet of Things(IoT)for many clients to access enormous real-time sensor data.However,most current publish/subscribe mid...Publish/subscribe paradigm is often adopted to create the communication infrastructure of the Internet of Things(IoT)for many clients to access enormous real-time sensor data.However,most current publish/subscribe middlewares are based on traditional ossified IP networks,which are difficult to enable Quality of Service(QoS).How to design the next generation publish/subscribe middleware has become an urgent problem.The emerging Software Defined Networking(SDN)provides new opportunities to improve the QoS of publish/subscribe facilities for delivering events in IoT owing to its customized programmability and centralized control.We can encode event topics,priorities and security policies into flow entries of SDN-enabled switches to satisfy personalized QoS needs.In this paper,we propose a cross-layer QoS enabled SDN-like publish/subscribe communication infrastructure,aiming at building an IoT platform to seamlessly connect IoT services with SDN networks and improving the QoS of delivering events.We first present an SDN-like topic-oriented publish/subscribe middleware architecture with a cross-layer QoS control framework.Then we discuss prototype implementation,including topic management,topology maintenance,event routing and policy management.In the end,we use differentiated services and cross-layer access control as cross-layer QoS scenarios to verify the prototype.Experimental results show that our middleware is effective.展开更多
Cooperation allows wireless network users to benefit from various gains such as an in- crease in the achieved rate or an improvement in the bit error rate. In the paper, we propose a distributed Hierarchical Game （HG...Cooperation allows wireless network users to benefit from various gains such as an in- crease in the achieved rate or an improvement in the bit error rate. In the paper, we propose a distributed Hierarchical Game （HG） theoretic framework over multi-user cooperative communication networks to stimulate cooperation and improve the network performance. First, we study a two- user decision making game in the OFDMA based subscriber cooperative relaying network, in which subscribers transmit their own data in the first phase, while helping to retransmit their partner＇s or choosing to freeride in the second phase. Instead of consulting to a global optimal solution, we decouple the cooperation resource allocation into two level subproblems： a user level Nash game for distributed cooperation decision and a Base Station （BS） level coalition game for centralized resource allocation. In the proposed HG algorithm, where mutual cooperation is preferred and total payoff is transferable, we prove it converges to a unique optimal equilibrium and resolve the subcarrier as-signment and power allocation among the couples. Besides, we discuss the existence of the publishing and rewarding coefficients in order to encourage cooperation. Then, we extend the HG to multi-user cases by coupling among subscribers according to the location information. The simulation results show that the proposed scheme with the distributed HG game achieves a well tradeoff between fairness and efficiency by improving the transmission efficiency of adverse users and outperforms those employing centralized schemes.展开更多
The margin maximization problem in digital subscriber line（DSL） systems is investigated.The particle swarm optimization（PSO） theory is applied to the nonconvex margin optimization problem with the target power and...The margin maximization problem in digital subscriber line（DSL） systems is investigated.The particle swarm optimization（PSO） theory is applied to the nonconvex margin optimization problem with the target power and rate constraints.PSO is a new evolution algorithm based on the social behavior of swarms, which can solve discontinuous, nonconvex and nonlinear problems efficiently.The proposed algorithm can converge to the global optimal solution, and numerical example demonstrates that the proposed algorithm can guarantee the fast convergence within a few iterations.展开更多
With the rapid development of wireless local area network （WLAN） technology, an important target of indoor positioning systems is to improve the positioning accuracy while reducing the online calibration effort to o...With the rapid development of wireless local area network （WLAN） technology, an important target of indoor positioning systems is to improve the positioning accuracy while reducing the online calibration effort to overcome signal time-varying. A novel fingerprint positioning algorithm, known as the adaptive radio map with updated method based on hidden Markov model （HMM）, is proposed. It is shown that by using a collection of user traces that can be cheaply obtained, the proposed algorithm can take advantage of these data to update the labeled calibration data to further improve the position estimation accuracy. This algorithm is a combination of machine learning, information gain theory and fingerprinting. By collecting data and testing the algorithm in a realistic indoor WLAN environment, the experiment results indicate that, compared with the widely used K nearest neighbor algorithm, the proposed algorithm can improve the positioning accuracy while greatly reduce the calibration effort.展开更多
Providing end-to-end delay guarantees in traditional Internet is a complex task due to the distributed nature of TCP/IP protocols. Software Defined Networking(SDN) gives a new dimension to improve QoS(Quality of Servi...Providing end-to-end delay guarantees in traditional Internet is a complex task due to the distributed nature of TCP/IP protocols. Software Defined Networking(SDN) gives a new dimension to improve QoS(Quality of Service) as it can benefit from its flexibility, programmability and centralized view. In this paper, we provide delay-guaranteed data transmission service instead of "best efforts" service for a topic-based publish/subscribe system by means of exploring these specific features of SDN. We attribute this routing problem in such conditions to Delay-Constraint Lowest Cost Steiner Tree(DCLCST) problem. To solve it, we compute the shortest delay paths from source node to every subscribe node and the shortest cost paths from every subscribe node to any other node using dijkstra algorithm. Then we construct a delay-constraint least cost steiner tree for per-topic based on these paths as multicast tree. We also present experimental results to demonstrate the effectiveness of the algorithms and methods we proposed.展开更多
Transactions of Nanjing University of Aeronautics & Astronautics (TNUAA, in English) is a comprehensive academic publication which deals mainly with the research achievements in aeronautics, civil aviation, astron...Transactions of Nanjing University of Aeronautics & Astronautics (TNUAA, in English) is a comprehensive academic publication which deals mainly with the research achievements in aeronautics, civil aviation, astronautics and their theoretical basis. It is published by Nanjing University of Aeronautics & Astronautics, and has started its publication since Oct.展开更多
Standard based Pub/Sub middleware, such as OMG Data Distribution Service (DDS), could assume a key role in supporting computer communications requiring continuous state information updating, deterministic deadline to ...Standard based Pub/Sub middleware, such as OMG Data Distribution Service (DDS), could assume a key role in supporting computer communications requiring continuous state information updating, deterministic deadline to data delivering and real time information adjourning. This kind of capability could be well ex-ploited by Peer-To-Peer (P2P) systems, Internet-wide as long as private ones, like in Public Safety or Civil Protection Communication Systems;but Pub/Sub specifications, and DDS/RTPS (Real Time Publish Sub-scribe) as well, usually do not provide Authentication & Authorization (AA) mechanisms. In the present work two important novelties are assessed: a possible scheme to implement AA in DDS/RTPS networks and a time performance evaluation study about embedded Authentication in RTPS.展开更多
Wireless sensor network nodes have only limited resources concerning memory and battery life-time. Mem- ory can be efficiently used by sharing data, and the life-time of a battery can be extended, when the node has lo...Wireless sensor network nodes have only limited resources concerning memory and battery life-time. Mem- ory can be efficiently used by sharing data, and the life-time of a battery can be extended, when the node has long power saving sleep-phases. We propose a publish/subscribe architecture that achieves these two aims. The results of our work are of great interest for sensor application developers, giving them now the opportu- nity to use our architecture for sharing data among different applications on the node as well as the different layers of the operating system. We introduce a blackboard which is used for centrally storing published val- ues, like measured data from a monitored sensor. This makes it possible to share stored data without monitoring the sensors once again, which is advantageously concerning power consumption, memory space, and reaction time. Beside the proposed publish/subscribe method for sensor nodes with its notification possibili- ties, our architecture fulfills also real-time requirements. We show how the well-known sensor operating system MANTIS OS can be extended by a real-time enabled, blackboard-based publish/subscribe architect- ture. This architecture and first of all its implementation is of special interest for cross layer optimization of sensor applications. Cross-layer approaches benefit from our architecture because the available implementa- tion can be used as an efficient framework for central storing and managing of shared values.展开更多
WS-Notification bundle of standards, WS-BaseNotification, WS-Topics, and WS-BrokeredNotification, can be used as a general purpose publish/subscribe interface for Service Oriented Architectures. We provide an overview...WS-Notification bundle of standards, WS-BaseNotification, WS-Topics, and WS-BrokeredNotification, can be used as a general purpose publish/subscribe interface for Service Oriented Architectures. We provide an overview of the WS-Notification specification and describe a modified publish and subscribe model based on WS-Notification. The model is an adaptive policy-driven notification framework that can help enterprises to meet the flexibility and respon-siveness requirements of the enterprise. With the modified publish/subscribe model, information consumers can dy-namically and declaratively create and configure entities on their behalves to manage their distribution requirements.展开更多
Journal of Rock Mechanics and Geotechnical Engineering（JRMGE）is a new academic publication in English launched in 2009,co-sponsored by Institute of Rock and Soil Mechanics,China Academy of Sciences,Chinese Society f...Journal of Rock Mechanics and Geotechnical Engineering（JRMGE）is a new academic publication in English launched in 2009,co-sponsored by Institute of Rock and Soil Mechanics,China Academy of Sciences,Chinese Society for Rock Mechanics and Engineering and Wuhan University.展开更多
Machinery of China is an export-oriented authoritative magazine of the Ministry of Machinebuilding Industry, read by tens of thousands of directors and managers of electrical and machinery enterprises in China. It is ...Machinery of China is an export-oriented authoritative magazine of the Ministry of Machinebuilding Industry, read by tens of thousands of directors and managers of electrical and machinery enterprises in China. It is published at home and abroad. It offers introductions to national and ministry policies and regulations concernmg the industry,provides authoritative industry statistics and accurately forecasts market trends for electrical and machinery products. In addition,展开更多
Finance and Trade Economics (monthly) is sponsored bythe Institute of Finance and Trade Economics, and directedby the Chinese Academy of Social Sciences.It is one of theoldest and most prestigious journals in economic...Finance and Trade Economics (monthly) is sponsored bythe Institute of Finance and Trade Economics, and directedby the Chinese Academy of Social Sciences.It is one of theoldest and most prestigious journals in economics in China,featuring sound unification of both theoretical and empiricalresearch.Since 1980, FTE has presented vast展开更多
The Third Plenary Session of the 2oth Central Committee of the Communist Party of China has proposed"deepening reform of the business registration system based on subscribed registered capital"as a crucial s...The Third Plenary Session of the 2oth Central Committee of the Communist Party of China has proposed"deepening reform of the business registration system based on subscribed registered capital"as a crucial strategic initiative.This reform aims to strengthen corporate credit foundations,enhance transaction security,stimulate business investment,promote high-quality corporate development,and implement the core value system established by the Company Law(2023 Revision).Corporate credit,comprising capital credit,assets credit,and personality credit,serves as the material foundation for high-quality corporate development.However,the current system faces significant challenges due to vulnerabilities in three key areas:capital credit,asset credit,and personality credit.This study proposes a comprehensive framework with several crucial dimensions for reform implementation.First,it is necessary to rationalize shareholders'capital subscription commitments by enhancing the presumptive validity of public disclosure thereof,facilitating a smooth transition to the new five-year maximum subscription period,implementing flexible administrative guidance,and strengthening judicial remedies.Second,it is essential to reinforce the justiciability of shareholders'paidin capital obligations through multiple mechanisms:improving the rule for accelerated maturity of capital contribution obligations,strengthening civil liability of shareholders for defective capital contributions,enhancing the supervisory function of joint and several liabilities among founding shareholders,establishing presumptive rules for fullchain joint and several liability in multi-tier transfers of defectively contributed equity,and enhancing the shareholders'obligations on paid-in capital guarantee for transfer of equities corresponding to subscribed capital but not paid-in capital.Third,it is crucial to enhance transparency in capital subscription and contribution information through four major disclosure channels:business license documentation,articles of association filing,registration authority records,and the National Enterprise Credit Information Publicity System.The nature of corporate registration is a public information service that provides corporate registration information to the public.The disclosure of registered capital information has the effect of presumptive validity of public disclosure.It is recommended to convert all filing information into registration information to achieve a comprehensive integration of corporate registration matters and filing matters and to classify registration information into three categories:absolutely necessary,relatively necessary,and optional registrationitems.展开更多
Real-Time Publish and Subscribe (RTPS) protocol is a protocol for implementing message exchange over an unreliable transport in data distribution service (DDS). Formal modelling and verification of the protocol provid...Real-Time Publish and Subscribe (RTPS) protocol is a protocol for implementing message exchange over an unreliable transport in data distribution service (DDS). Formal modelling and verification of the protocol provide stronger guarantees of its correctness and efficiency than testing alone. In this paper, we build formal models for the RTPS protocol using UPPAAL and Simulink/Stateflow. Modelling using Simulink/Stateflow allows analyzing the protocol through simula-tion, as well as generate executable code. Modelling using UPPAAL allows us to verify properties of the model stated in TCTL (Timed Computation Tree Logic), as well as estimate its performance using statistical model checking. We further describe a procedure for translation from Stateflow to timed automata, where a subset of major features in Stateflow is supported, and prove the soundness statement that the Stateflow model is a refinement of the translated timed automata model. As a consequence, any property in a certain fragment of TCTL that we have verified for the timed automata model in UPPAAL is preserved for the original Stateflow model.展开更多
Chinese Herbal Medicines (CHM) is an official international journal sponsored by Tianjin Institute of Pharmaceutical Research and Institute of Medicinal Plant Development, Chinese Academy of Medical Sciences. The edit...Chinese Herbal Medicines (CHM) is an official international journal sponsored by Tianjin Institute of Pharmaceutical Research and Institute of Medicinal Plant Development, Chinese Academy of Medical Sciences. The editorial committee is composed of 49 experts, and 10 of them are academician of Chinese Academy of Engineering and 19 are foreigners. The editor-in-chief is Academician XIAO Pei-gen, associate editors-in-chief are Academician LIU Chang-xiao, Prof.展开更多
A vehicular ad-hoc network （VANET） can be visualized as a network of moving vehicles communicating in an asynchronous and autonomous fashion. Efficient and scalable information dissemination in VANET applications is...A vehicular ad-hoc network （VANET） can be visualized as a network of moving vehicles communicating in an asynchronous and autonomous fashion. Efficient and scalable information dissemination in VANET applications is a major challenge due to the movement of vehicles which causes unpredictable changes in network topology. The publish/subscribe communication paradigm provides decoupling in time, space, and synchronization between communicating entities, and presents itself as an elegant solution for information dissemination for VANET like environments. In this paper, we propose our approach for information dissemination which utilizes publish/subscribe and distributed hash table （DHT） based overlay networks. In our approach, we assume a hybrid VANET consisting of stationary info-stations and moving vehicles. These info-stations are installed at every major intersection of the city and vehicles can take the role of publisher, subscriber, or broker depending upon the context. The info-stations form a DHT based broker overlay among themselves and act as rendezvous points for related publications and subscriptions. Further, info-stations also assist in locating vehicles that have subscribed to information items. We consider different possible deployments of this hybrid VANET with respect to the number of info-stations and their physical connectivity with each other. We perform simulations to assess the performance of our approach in these different deployment scenarios and discuss their applicability in urban and semi-urban areas.展开更多
基金The National Key Basic Research Program of China(973 Program)
文摘To improve data distribution efficiency a load-balancing data distribution LBDD method is proposed in publish/subscribe mode.In the LBDD method subscribers are involved in distribution tasks and data transfers while receiving data themselves.A dissemination tree is constructed among the subscribers based on MD5 where the publisher acts as the root. The proposed method provides bucket construction target selection and path updates furthermore the property of one-way dissemination is proven.That the average out-going degree of a node is 2 is guaranteed with the proposed LBDD.The experiments on data distribution delay data distribution rate and load distribution are conducted. Experimental results show that the LBDD method aids in shaping the task load between the publisher and subscribers and outperforms the point-to-point approach.
基金supported by National Hightech R&D Program of China (863 Program) under Grant (No. 2013AA102301)Natural Science Foundation of China under Grant (No. U1536112)
文摘Publish/subscribe paradigm paves a way to integrate and serve many scalable, inter-operable Internet of Things(IoT) applications. The increasing IoT applications require new properties of publish/subscribe communication model, for example, strict quality of service(Qo S) guarantees, supporting a large number of widely distributed devices, etc. Software Defined Networking(SDN) enables personalized programming and individualized QoS supports for different applications. The combination of the two will have a good prospect. In this paper, we present an IoT-oriented communication platform which combines the publish/subscribe paradigm with SDN, aiming at establishing an IoT ecosystem to facilitate IoT services/applications accessing internet. We design the interaction logic of topic-based publish/subscribe middleware, and describe the setup and maintenance of topology information as well as event routing in detail, considering the characteristics of SDN. Finally, we exemplify its practicability with a deployed District Heating Control and Information Service System(DHCISS) and validity the effectiveness with some experiments.
基金the National Key Research and Development Program of China(No.2018YFB1003800).
文摘Publish/subscribe paradigm is often adopted to create the communication infrastructure of the Internet of Things(IoT)for many clients to access enormous real-time sensor data.However,most current publish/subscribe middlewares are based on traditional ossified IP networks,which are difficult to enable Quality of Service(QoS).How to design the next generation publish/subscribe middleware has become an urgent problem.The emerging Software Defined Networking(SDN)provides new opportunities to improve the QoS of publish/subscribe facilities for delivering events in IoT owing to its customized programmability and centralized control.We can encode event topics,priorities and security policies into flow entries of SDN-enabled switches to satisfy personalized QoS needs.In this paper,we propose a cross-layer QoS enabled SDN-like publish/subscribe communication infrastructure,aiming at building an IoT platform to seamlessly connect IoT services with SDN networks and improving the QoS of delivering events.We first present an SDN-like topic-oriented publish/subscribe middleware architecture with a cross-layer QoS control framework.Then we discuss prototype implementation,including topic management,topology maintenance,event routing and policy management.In the end,we use differentiated services and cross-layer access control as cross-layer QoS scenarios to verify the prototype.Experimental results show that our middleware is effective.
基金Acknowledgements This work is supported by the National Natural Science Foundation of China under Grant No. 60971083, National High-Tech Research and Development Plan of China under Grant No. 2009AA01Z206 and National International Science and Technology Cooperation Project under Granted NO.2008DFA12090.
文摘Cooperation allows wireless network users to benefit from various gains such as an in- crease in the achieved rate or an improvement in the bit error rate. In the paper, we propose a distributed Hierarchical Game （HG） theoretic framework over multi-user cooperative communication networks to stimulate cooperation and improve the network performance. First, we study a two- user decision making game in the OFDMA based subscriber cooperative relaying network, in which subscribers transmit their own data in the first phase, while helping to retransmit their partner＇s or choosing to freeride in the second phase. Instead of consulting to a global optimal solution, we decouple the cooperation resource allocation into two level subproblems： a user level Nash game for distributed cooperation decision and a Base Station （BS） level coalition game for centralized resource allocation. In the proposed HG algorithm, where mutual cooperation is preferred and total payoff is transferable, we prove it converges to a unique optimal equilibrium and resolve the subcarrier as-signment and power allocation among the couples. Besides, we discuss the existence of the publishing and rewarding coefficients in order to encourage cooperation. Then, we extend the HG to multi-user cases by coupling among subscribers according to the location information. The simulation results show that the proposed scheme with the distributed HG game achieves a well tradeoff between fairness and efficiency by improving the transmission efficiency of adverse users and outperforms those employing centralized schemes.
基金supported by the National Natural Science Foundation of China for Distinguished Young Scholars (60525303)the National Natural Science Foundation of China (60904048+2 种基金 60404022 60604012)the Natural Science Foundation of Hebei province (F2005000390)
文摘The margin maximization problem in digital subscriber line（DSL） systems is investigated.The particle swarm optimization（PSO） theory is applied to the nonconvex margin optimization problem with the target power and rate constraints.PSO is a new evolution algorithm based on the social behavior of swarms, which can solve discontinuous, nonconvex and nonlinear problems efficiently.The proposed algorithm can converge to the global optimal solution, and numerical example demonstrates that the proposed algorithm can guarantee the fast convergence within a few iterations.
基金supported by the National Natural Science Foundation of China(61571162)the Major National Science and Technology Project(2014ZX03004003-005)
文摘With the rapid development of wireless local area network （WLAN） technology, an important target of indoor positioning systems is to improve the positioning accuracy while reducing the online calibration effort to overcome signal time-varying. A novel fingerprint positioning algorithm, known as the adaptive radio map with updated method based on hidden Markov model （HMM）, is proposed. It is shown that by using a collection of user traces that can be cheaply obtained, the proposed algorithm can take advantage of these data to update the labeled calibration data to further improve the position estimation accuracy. This algorithm is a combination of machine learning, information gain theory and fingerprinting. By collecting data and testing the algorithm in a realistic indoor WLAN environment, the experiment results indicate that, compared with the widely used K nearest neighbor algorithm, the proposed algorithm can improve the positioning accuracy while greatly reduce the calibration effort.
基金supported in part by the National Natural Science Foundation of China under Grants U1804164, 61902112 and U1404602in part by the Science and Technology Foundation of Henan Educational Committee under Grants 19A510015, 20A520019 and 20A520020the Doctoral Research Project of Henan Normal University under Grant 5101119170149
文摘Providing end-to-end delay guarantees in traditional Internet is a complex task due to the distributed nature of TCP/IP protocols. Software Defined Networking(SDN) gives a new dimension to improve QoS(Quality of Service) as it can benefit from its flexibility, programmability and centralized view. In this paper, we provide delay-guaranteed data transmission service instead of "best efforts" service for a topic-based publish/subscribe system by means of exploring these specific features of SDN. We attribute this routing problem in such conditions to Delay-Constraint Lowest Cost Steiner Tree(DCLCST) problem. To solve it, we compute the shortest delay paths from source node to every subscribe node and the shortest cost paths from every subscribe node to any other node using dijkstra algorithm. Then we construct a delay-constraint least cost steiner tree for per-topic based on these paths as multicast tree. We also present experimental results to demonstrate the effectiveness of the algorithms and methods we proposed.
文摘Transactions of Nanjing University of Aeronautics & Astronautics (TNUAA, in English) is a comprehensive academic publication which deals mainly with the research achievements in aeronautics, civil aviation, astronautics and their theoretical basis. It is published by Nanjing University of Aeronautics & Astronautics, and has started its publication since Oct.
文摘Standard based Pub/Sub middleware, such as OMG Data Distribution Service (DDS), could assume a key role in supporting computer communications requiring continuous state information updating, deterministic deadline to data delivering and real time information adjourning. This kind of capability could be well ex-ploited by Peer-To-Peer (P2P) systems, Internet-wide as long as private ones, like in Public Safety or Civil Protection Communication Systems;but Pub/Sub specifications, and DDS/RTPS (Real Time Publish Sub-scribe) as well, usually do not provide Authentication & Authorization (AA) mechanisms. In the present work two important novelties are assessed: a possible scheme to implement AA in DDS/RTPS networks and a time performance evaluation study about embedded Authentication in RTPS.
文摘Wireless sensor network nodes have only limited resources concerning memory and battery life-time. Mem- ory can be efficiently used by sharing data, and the life-time of a battery can be extended, when the node has long power saving sleep-phases. We propose a publish/subscribe architecture that achieves these two aims. The results of our work are of great interest for sensor application developers, giving them now the opportu- nity to use our architecture for sharing data among different applications on the node as well as the different layers of the operating system. We introduce a blackboard which is used for centrally storing published val- ues, like measured data from a monitored sensor. This makes it possible to share stored data without monitoring the sensors once again, which is advantageously concerning power consumption, memory space, and reaction time. Beside the proposed publish/subscribe method for sensor nodes with its notification possibili- ties, our architecture fulfills also real-time requirements. We show how the well-known sensor operating system MANTIS OS can be extended by a real-time enabled, blackboard-based publish/subscribe architect- ture. This architecture and first of all its implementation is of special interest for cross layer optimization of sensor applications. Cross-layer approaches benefit from our architecture because the available implementa- tion can be used as an efficient framework for central storing and managing of shared values.
文摘WS-Notification bundle of standards, WS-BaseNotification, WS-Topics, and WS-BrokeredNotification, can be used as a general purpose publish/subscribe interface for Service Oriented Architectures. We provide an overview of the WS-Notification specification and describe a modified publish and subscribe model based on WS-Notification. The model is an adaptive policy-driven notification framework that can help enterprises to meet the flexibility and respon-siveness requirements of the enterprise. With the modified publish/subscribe model, information consumers can dy-namically and declaratively create and configure entities on their behalves to manage their distribution requirements.
文摘Journal of Rock Mechanics and Geotechnical Engineering（JRMGE）is a new academic publication in English launched in 2009,co-sponsored by Institute of Rock and Soil Mechanics,China Academy of Sciences,Chinese Society for Rock Mechanics and Engineering and Wuhan University.
文摘Machinery of China is an export-oriented authoritative magazine of the Ministry of Machinebuilding Industry, read by tens of thousands of directors and managers of electrical and machinery enterprises in China. It is published at home and abroad. It offers introductions to national and ministry policies and regulations concernmg the industry,provides authoritative industry statistics and accurately forecasts market trends for electrical and machinery products. In addition,
文摘Finance and Trade Economics (monthly) is sponsored bythe Institute of Finance and Trade Economics, and directedby the Chinese Academy of Social Sciences.It is one of theoldest and most prestigious journals in economics in China,featuring sound unification of both theoretical and empiricalresearch.Since 1980, FTE has presented vast
文摘The Third Plenary Session of the 2oth Central Committee of the Communist Party of China has proposed"deepening reform of the business registration system based on subscribed registered capital"as a crucial strategic initiative.This reform aims to strengthen corporate credit foundations,enhance transaction security,stimulate business investment,promote high-quality corporate development,and implement the core value system established by the Company Law(2023 Revision).Corporate credit,comprising capital credit,assets credit,and personality credit,serves as the material foundation for high-quality corporate development.However,the current system faces significant challenges due to vulnerabilities in three key areas:capital credit,asset credit,and personality credit.This study proposes a comprehensive framework with several crucial dimensions for reform implementation.First,it is necessary to rationalize shareholders'capital subscription commitments by enhancing the presumptive validity of public disclosure thereof,facilitating a smooth transition to the new five-year maximum subscription period,implementing flexible administrative guidance,and strengthening judicial remedies.Second,it is essential to reinforce the justiciability of shareholders'paidin capital obligations through multiple mechanisms:improving the rule for accelerated maturity of capital contribution obligations,strengthening civil liability of shareholders for defective capital contributions,enhancing the supervisory function of joint and several liabilities among founding shareholders,establishing presumptive rules for fullchain joint and several liability in multi-tier transfers of defectively contributed equity,and enhancing the shareholders'obligations on paid-in capital guarantee for transfer of equities corresponding to subscribed capital but not paid-in capital.Third,it is crucial to enhance transparency in capital subscription and contribution information through four major disclosure channels:business license documentation,articles of association filing,registration authority records,and the National Enterprise Credit Information Publicity System.The nature of corporate registration is a public information service that provides corporate registration information to the public.The disclosure of registered capital information has the effect of presumptive validity of public disclosure.It is recommended to convert all filing information into registration information to achieve a comprehensive integration of corporate registration matters and filing matters and to classify registration information into three categories:absolutely necessary,relatively necessary,and optional registrationitems.
基金This work was partially supported by the National Natural Science Foundation of China under Grant Nos.61625206,61972385 and 61732001the Chinese Academy of Sciences Pioneer 100 Talents Program under Grant No.Y9RC585036.
文摘Real-Time Publish and Subscribe (RTPS) protocol is a protocol for implementing message exchange over an unreliable transport in data distribution service (DDS). Formal modelling and verification of the protocol provide stronger guarantees of its correctness and efficiency than testing alone. In this paper, we build formal models for the RTPS protocol using UPPAAL and Simulink/Stateflow. Modelling using Simulink/Stateflow allows analyzing the protocol through simula-tion, as well as generate executable code. Modelling using UPPAAL allows us to verify properties of the model stated in TCTL (Timed Computation Tree Logic), as well as estimate its performance using statistical model checking. We further describe a procedure for translation from Stateflow to timed automata, where a subset of major features in Stateflow is supported, and prove the soundness statement that the Stateflow model is a refinement of the translated timed automata model. As a consequence, any property in a certain fragment of TCTL that we have verified for the timed automata model in UPPAAL is preserved for the original Stateflow model.
文摘Chinese Herbal Medicines (CHM) is an official international journal sponsored by Tianjin Institute of Pharmaceutical Research and Institute of Medicinal Plant Development, Chinese Academy of Medical Sciences. The editorial committee is composed of 49 experts, and 10 of them are academician of Chinese Academy of Engineering and 19 are foreigners. The editor-in-chief is Academician XIAO Pei-gen, associate editors-in-chief are Academician LIU Chang-xiao, Prof.
文摘A vehicular ad-hoc network （VANET） can be visualized as a network of moving vehicles communicating in an asynchronous and autonomous fashion. Efficient and scalable information dissemination in VANET applications is a major challenge due to the movement of vehicles which causes unpredictable changes in network topology. The publish/subscribe communication paradigm provides decoupling in time, space, and synchronization between communicating entities, and presents itself as an elegant solution for information dissemination for VANET like environments. In this paper, we propose our approach for information dissemination which utilizes publish/subscribe and distributed hash table （DHT） based overlay networks. In our approach, we assume a hybrid VANET consisting of stationary info-stations and moving vehicles. These info-stations are installed at every major intersection of the city and vehicles can take the role of publisher, subscriber, or broker depending upon the context. The info-stations form a DHT based broker overlay among themselves and act as rendezvous points for related publications and subscriptions. Further, info-stations also assist in locating vehicles that have subscribed to information items. We consider different possible deployments of this hybrid VANET with respect to the number of info-stations and their physical connectivity with each other. We perform simulations to assess the performance of our approach in these different deployment scenarios and discuss their applicability in urban and semi-urban areas.
