The present study used electroencephalography to examine mu rhythm suppression （a putative index of human mirror neuron system activation） at frontal sites （F3, Fz and F4）, central sites （C3, Cz and C4）, parieta...The present study used electroencephalography to examine mu rhythm suppression （a putative index of human mirror neuron system activation） at frontal sites （F3, Fz and F4）, central sites （C3, Cz and C4）, parietal sites （P3, Pz and P4） and occipital sites （O1 and O2）, while subjects observed real hand motion （real hand motion condition） and illustrative depictions of hand motion （drawn hand motion condition）. Experimental data revealed that mu rhythm suppression was exhibited in the mirror neuron system when subjects observed both real and drawn hand motion. Moreover, the mu rhythm recorded at the F3, Fz, F4, and Pz poles was significantly suppressed while observing both stimulus types, but no obvious mu suppression occurred at the O1, 02 and 03 poles. These results suggest that the observation of drawings of human hand actions can activate the human mirror neuron system. This evidence supports the hypothesis that the mirror neuron system may be involved in intransitively abstract action understanding.展开更多
Predictive Business Process Monitoring(PBPM)is a significant research area in Business Process Management(BPM)aimed at accurately forecasting future behavioral events.At present,deep learning methods are widely cited ...Predictive Business Process Monitoring(PBPM)is a significant research area in Business Process Management(BPM)aimed at accurately forecasting future behavioral events.At present,deep learning methods are widely cited in PBPM research,but no method has been effective in fusing data information into the control flow for multi-perspective process prediction.Therefore,this paper proposes a process prediction method based on the hierarchical BERT and multi-perspective data fusion.Firstly,the first layer BERT network learns the correlations between different category attribute data.Then,the attribute data is integrated into a weighted event-level feature vector and input into the second layer BERT network to learn the impact and priority relationship of each event on future predicted events.Next,the multi-head attention mechanism within the framework is visualized for analysis,helping to understand the decision-making logic of the framework and providing visual predictions.Finally,experimental results show that the predictive accuracy of the framework surpasses the current state-of-the-art research methods and significantly enhances the predictive performance of BPM.展开更多
Intelligent reflecting surface(IRS)assisted with the wireless powered communication network(WPCN)can enhance the desired signal energy and carry out the power-sustaining problem in ocean monitoring systems.In this pap...Intelligent reflecting surface(IRS)assisted with the wireless powered communication network(WPCN)can enhance the desired signal energy and carry out the power-sustaining problem in ocean monitoring systems.In this paper,we investigate a reliable communication structure where multiple buoys transmit data to a base station(BS)with the help of the unmanned aerial vehicle(UAV)-mounted IRS and harvest energy from the base station simultaneously.To organically combine WPCN with maritime data collection scenario,a scheduling protocol that employs the time division multiple access(TDMA)is proposed to serve multiple buoys for uplink data transmission.Furthermore,we compare the full-duplex(FD)and half-duplex(HD)mechanisms in the maritime data collection system to illustrate different performances under these two modes.To maximize the fair energy efficiency under the energy harvesting constraints,a joint optimization problem on user association,BS transmit power,UAV’s trajectory and IRS’s phase shift is formulated.To solve the non-convex problem,the original problem is decoupled into several subproblems,and successive convex optimization and block coordinate descent(BCD)methods are employed obtain the near-optimal solutions alternatively.Simulation results demonstrate that the UAV-mounted IRS can significantly improve energy efficiency in our considered system.展开更多
A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal m...A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal matching problem was modeled based on the hypergraph theory,and solved by computing the minimal transversals of the hypergraph.Meanwhile,two optimization algorithms were designed to discard some useless states at the intermediary steps of the composition algorithm.The effectiveness of the composition method was tested by a set of experiments,in addition,an example regarding the travel services composition was also given.The experimental results show that this method not only can automatically generate composition tree whose leaf nodes correspond to services composition solutions,but also has better performance on execution time and solution quality by adopting two proposed optimization algorithms.展开更多
More and more biological evidences have been found that neural networks in the spinal cord, referred to as ＂central pattern generators＂ （CPGs）, govern locomotion. CPGs are capable of producing rhythmic movements, ...More and more biological evidences have been found that neural networks in the spinal cord, referred to as ＂central pattern generators＂ （CPGs）, govern locomotion. CPGs are capable of producing rhythmic movements, such as swimming, flying, and walking, even when isolated from the brain and sensory inputs. If we could build up any models that have similar functions as CPGs, it will be much easier to design better locomotion for robots. In this paper, a self-training environment is designed and through genetic algorithm （GA）, walking trajectories for every foot of AIBO are generated at first. With this acquired walking pattern, AIBO gets its fastest locomotion speed. Then, this walking pattern is taken as a reference to build CPGs with Hopf oscillators. By changing corresponding parameters, the frequencies and the amplitudes of CPGs＇ outputs can be adjusted online. The limit cycle behavior of Hopf oscillators ensures the online adjustment and the walking stability against perturbation as well. This property suggests a strong adaptive capacity to real environments for robots. At last, simulations are carried on in Webots and verify the proposed method.展开更多
An adaptive output feedback control was proposed to deal with a class of nonholonomic systems in chained form with strong nonlinear disturbances and drift terms. The objective was to design adaptive nonlinear output f...An adaptive output feedback control was proposed to deal with a class of nonholonomic systems in chained form with strong nonlinear disturbances and drift terms. The objective was to design adaptive nonlinear output feedback laws such that the closed-loop systems were globally asymptotically stable, while the estimated parameters remained bounded. The proposed systematic strategy combined input-state-scaling with backstepping technique. The adaptive output feedback controller was designed for a general case of uncertain chained system. Furthermore, one special case was considered. Simulation results demonstrate the effectiveness of the proposed controllers.展开更多
A class of models for activity-driven networks is proposed in which nodes vary in two states： active and inactive. Only active nodes can receive links from others which represent instantaneous dynamical interactions....A class of models for activity-driven networks is proposed in which nodes vary in two states： active and inactive. Only active nodes can receive links from others which represent instantaneous dynamical interactions. The evolution of the network couples the addition of new nodes and state transitions of old ones. The active group changes with activated nodes entering and deactivated ones leaving. A general differential equation framework is developed to study the degree distribution of nodes of integrated networks where four different schemes are formulated.展开更多
The present study utilized motor imaginary-based brain-computer interface technology combined with rehabilitation training in 20 stroke patients. Results from the Berg Balance Scale and the Holden Walking Classificati...The present study utilized motor imaginary-based brain-computer interface technology combined with rehabilitation training in 20 stroke patients. Results from the Berg Balance Scale and the Holden Walking Classification were significantly greater at 4 weeks after treatment （P 〈 0.01）, which suggested that motor imaginary-based brain-computer interface technology improved balance and walking in stroke patients.展开更多
Decision rules mining is an important issue in machine learning and data mining.However,most proposed algorithms mine categorical data at single level,and these rules are not easily understandable and really useful fo...Decision rules mining is an important issue in machine learning and data mining.However,most proposed algorithms mine categorical data at single level,and these rules are not easily understandable and really useful for users.Thus,a new approach to hierarchical decision rules mining is provided in this paper,in which similarity direction measure is introduced to deal with hybrid data.This approach can mine hierarchical decision rules by adjusting similarity measure parameters and the level of concept hierarchy trees.展开更多
The rapid development of location-based social networks(LBSNs) provides people with an opportunity of better understanding their mobility behavior which enables them to decide their next location.For example,it can he...The rapid development of location-based social networks(LBSNs) provides people with an opportunity of better understanding their mobility behavior which enables them to decide their next location.For example,it can help travelers to choose where to go next,or recommend salesmen the most potential places to deliver advertisements or sell products.In this paper,a method for recommending points of interest(POIs)is proposed based on a collaborative tensor factorization(CTF)technique.Firstly,a generalized objective function is constructed for collaboratively factorizing a tensor with several feature matrices.Secondly,a 3-mode tensor is used to model all users' check-in behaviors,and three feature matrices are extracted to characterize the time distribution,category distribution and POI correlation,respectively.Thirdly,each user's preference to a POI at a specific time can be estimated by using CTF.In order to further improve the recommendation accuracy,PCTF(Partitionbased CTF) is proposed to fill the missing entries of a tensor after clustering its every mode.Experiments on a real checkin database show that the proposed method can provide more accurate location recommendation.展开更多
This paper presents a central pattern generator （CPG） and vestibular reflex combined control strategy for a quadruped robot. An oscillator network and a knee-to-hip mapping function are presented to realize the rhyt...This paper presents a central pattern generator （CPG） and vestibular reflex combined control strategy for a quadruped robot. An oscillator network and a knee-to-hip mapping function are presented to realize the rhythmic motion for the quadruped robot. A two-phase parameter tuning method is designed to adjust the parameters of oscillator network. First, based on the numerical simulation, the influences of the parameters on the output signals are analyzed, then the genetic algorithm （GA） is used to evolve the phase relationships of the oscillators to realize the basic animal-like walking pattern. Moreover, the animal＇s vestibular reflex mechanism is mimicked to realize the adaptive walking of the quadruped robot on a slope terrain. Coupled with the sensory feedback information, the robot can walk up and down the slope smoothly. The presented bio-inspired control method is validated through simulations and experiments with AIBO. Under the control of the presented CPG and vestibular reflex combined control method, AIBO can cope with slipping, falling down and walk on a slope successfully, which demonstrates the effectiveness of the proposed walking control method.展开更多
In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so o...In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.展开更多
Advanced information and communication technolo-gies can be used to facilitate traffic incident management.If an incident is detected and blocks a road link,in order to reduce the incident-induced traffic congestion,a...Advanced information and communication technolo-gies can be used to facilitate traffic incident management.If an incident is detected and blocks a road link,in order to reduce the incident-induced traffic congestion,a dynamic strategy to deliver incident information to selected drivers and help them make detours in urban areas is proposed by this work.Time-dependent shortest path algorithms are used to generate a subnetwork where vehicles should receive such information.A simulation approach based on an extended cell transmission model is used to describe traffic flow in urban networks where path information and traffic flow at downstream road links are well modeled.Simulation results reveal the influences of some major parameters of an incident-induced congestion dissipation process such as the ratio of route-changing vehicles to the total vehicles,operation time interval of the proposed strategy,traffic density in the traffic network,and the scope of the area where traffic incident information is delivered.The results can be used to improve the state of the art in preventing urban road traffic congestion caused by incidents.展开更多
Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence...Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence has become a problem. For this condition, we should analyze unknown correspondence due to the influence of different correspondences.In this paper we obtain the relations of transitions based on event relations using branching processes, and build a behavioral matrix of relations. Based on the permutation of behavioral matrix, we express different correspondences, and define a new formula to compute the maximal consistency degree of two workflow nets. Additionally, this paper utilizes an example to show these definitions, computation as well as the advantages.展开更多
We address a special kind of Internet of Things (IoT) systems that are also real-time. We call them real-time IoT (RT-IoT) systems. An RT-IoT system needs to meet timing constraints of system delay, clock synchronizat...We address a special kind of Internet of Things (IoT) systems that are also real-time. We call them real-time IoT (RT-IoT) systems. An RT-IoT system needs to meet timing constraints of system delay, clock synchronization, deadline, and so on. The timing constraints turn to be more stringent as we get closer to the physical things. Based on the reference architecture of IoT (ISO/IEC 30141), the RT-IoT conceptual model is established. The idea of edge subsystem is introduced. The sensing & con-trolling domain is the basis of the edge subsystem, and the edge subsystem usually must meet the hard real-time constraints. The model includes four perspectives, the time view, computation view, communication view, and control view. Each view looks, from a different angle, at how the time parameters impact an RT-IoT system.展开更多
For rate control (RC) of hierarchical structure coding, an independent rate-quantization (R-Q) model was proposed based on mean absolute differences (MADs) in different temporal levels (TLs). In the proposed R-Q model...For rate control (RC) of hierarchical structure coding, an independent rate-quantization (R-Q) model was proposed based on mean absolute differences (MADs) in different temporal levels (TLs). In the proposed R-Q model, a novel MAD model was developed according to the hierarchical structure. The experimental results demonstrate that the proposed algorithm provides better performance, in terms of average peak signal-to-noise ratio (PSNR) and quality smoothness, than the H.264 reference model, JM14.2, under various sequences.展开更多
The passwords for unlocking the mobile devices are relatively simple,easier to be stolen,which causes serious potential security problems.An important research direction of identity authentication is to establish user...The passwords for unlocking the mobile devices are relatively simple,easier to be stolen,which causes serious potential security problems.An important research direction of identity authentication is to establish user behavior models to authenticate users.In this paper,a mobile terminal APP browsing behavioral authentication system architecture which synthesizes multiple factors is designed.This architecture is suitable for users using the mobile terminal APP in the daily life.The architecture includes data acquisition,data processing,feature extraction,and sub model training.We can use this architecture for continuous authentication when the user uses APP at the mobile terminal.展开更多
基金the Grants from the National Natural Science Foundation of China, No. 60775019, 60970062the Shanghai Pujiang Program, No. 09PJ1410200the Project-sponsored by SRF for ROCS, SEM
文摘The present study used electroencephalography to examine mu rhythm suppression （a putative index of human mirror neuron system activation） at frontal sites （F3, Fz and F4）, central sites （C3, Cz and C4）, parietal sites （P3, Pz and P4） and occipital sites （O1 and O2）, while subjects observed real hand motion （real hand motion condition） and illustrative depictions of hand motion （drawn hand motion condition）. Experimental data revealed that mu rhythm suppression was exhibited in the mirror neuron system when subjects observed both real and drawn hand motion. Moreover, the mu rhythm recorded at the F3, Fz, F4, and Pz poles was significantly suppressed while observing both stimulus types, but no obvious mu suppression occurred at the O1, 02 and 03 poles. These results suggest that the observation of drawings of human hand actions can activate the human mirror neuron system. This evidence supports the hypothesis that the mirror neuron system may be involved in intransitively abstract action understanding.
基金Supported by the National Natural Science Foundation,China(No.61402011)the Open Project Program of the Key Laboratory of Embedded System and Service Computing of Ministry of Education(No.ESSCKF2021-05).
文摘Predictive Business Process Monitoring(PBPM)is a significant research area in Business Process Management(BPM)aimed at accurately forecasting future behavioral events.At present,deep learning methods are widely cited in PBPM research,but no method has been effective in fusing data information into the control flow for multi-perspective process prediction.Therefore,this paper proposes a process prediction method based on the hierarchical BERT and multi-perspective data fusion.Firstly,the first layer BERT network learns the correlations between different category attribute data.Then,the attribute data is integrated into a weighted event-level feature vector and input into the second layer BERT network to learn the impact and priority relationship of each event on future predicted events.Next,the multi-head attention mechanism within the framework is visualized for analysis,helping to understand the decision-making logic of the framework and providing visual predictions.Finally,experimental results show that the predictive accuracy of the framework surpasses the current state-of-the-art research methods and significantly enhances the predictive performance of BPM.
基金supported in part by the National Key R&D Program of China 2023YFC3806000 and 2023YFC3806002in part by the National Natural Science Foundation of China under Grant 61936014,62201388 and 62371342+2 种基金in part by Shanghai Municipal Science and Technology Major Project No.2021SHZDZX0100in part by Shanghai Science and Technology Innovation Action Plan Project 22511105300in part by Natural Science Foundation of Shanghai:22ZR1463400.
文摘Intelligent reflecting surface(IRS)assisted with the wireless powered communication network(WPCN)can enhance the desired signal energy and carry out the power-sustaining problem in ocean monitoring systems.In this paper,we investigate a reliable communication structure where multiple buoys transmit data to a base station(BS)with the help of the unmanned aerial vehicle(UAV)-mounted IRS and harvest energy from the base station simultaneously.To organically combine WPCN with maritime data collection scenario,a scheduling protocol that employs the time division multiple access(TDMA)is proposed to serve multiple buoys for uplink data transmission.Furthermore,we compare the full-duplex(FD)and half-duplex(HD)mechanisms in the maritime data collection system to illustrate different performances under these two modes.To maximize the fair energy efficiency under the energy harvesting constraints,a joint optimization problem on user association,BS transmit power,UAV’s trajectory and IRS’s phase shift is formulated.To solve the non-convex problem,the original problem is decoupled into several subproblems,and successive convex optimization and block coordinate descent(BCD)methods are employed obtain the near-optimal solutions alternatively.Simulation results demonstrate that the UAV-mounted IRS can significantly improve energy efficiency in our considered system.
基金Supported by National High Technology Research and Development Program of China （863 Program） （2007AA11Z221）, International Cooperation Project of Shanghai （08210707500）, and Natural Science Foundation of Shanghai.（08ZR1420600） . _
基金Project(2010CB328101) supported by the National Basic Research Program of ChinaProject(2009AA01Z401) supported by the National High Technology Research and Development Program of China+4 种基金Projects(60803032,90818023) supported by the National Natural Science Foundation of ChinaProjects(09510701300,09JC1414200,09DZ1120403) supported by the Shanghai Science and Technology Commission,China"Shu Guang" Project(10SG23) supported by Shanghai Municipal Education Commission and Shanghai Education Development Foundation,ChinaProject(09QA1405800) supported by Shanghai Science and Technology Commission Rising-Star Program,ChinaProject(NCET-10-0598) supported by Program for New Century Excellent Talents in Chinese University
文摘A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal matching problem was modeled based on the hypergraph theory,and solved by computing the minimal transversals of the hypergraph.Meanwhile,two optimization algorithms were designed to discard some useless states at the intermediary steps of the composition algorithm.The effectiveness of the composition method was tested by a set of experiments,in addition,an example regarding the travel services composition was also given.The experimental results show that this method not only can automatically generate composition tree whose leaf nodes correspond to services composition solutions,but also has better performance on execution time and solution quality by adopting two proposed optimization algorithms.
基金supported by National Natural Science Foundation of China (Grant No. 60875057)National Hi-tech Research and Development Program of China(863 Program, Grant No. 2009AA04Z213)
文摘More and more biological evidences have been found that neural networks in the spinal cord, referred to as ＂central pattern generators＂ （CPGs）, govern locomotion. CPGs are capable of producing rhythmic movements, such as swimming, flying, and walking, even when isolated from the brain and sensory inputs. If we could build up any models that have similar functions as CPGs, it will be much easier to design better locomotion for robots. In this paper, a self-training environment is designed and through genetic algorithm （GA）, walking trajectories for every foot of AIBO are generated at first. With this acquired walking pattern, AIBO gets its fastest locomotion speed. Then, this walking pattern is taken as a reference to build CPGs with Hopf oscillators. By changing corresponding parameters, the frequencies and the amplitudes of CPGs＇ outputs can be adjusted online. The limit cycle behavior of Hopf oscillators ensures the online adjustment and the walking stability against perturbation as well. This property suggests a strong adaptive capacity to real environments for robots. At last, simulations are carried on in Webots and verify the proposed method.
基金Project(60704005) supported by the National Natural Science Foundation of China Project(07ZR14119) supported by Natural Science Foundation of Shanghai Science and Technology Commission Project(2009AA04Z213) supported by the National High-Tech Research and Development Program of China
文摘An adaptive output feedback control was proposed to deal with a class of nonholonomic systems in chained form with strong nonlinear disturbances and drift terms. The objective was to design adaptive nonlinear output feedback laws such that the closed-loop systems were globally asymptotically stable, while the estimated parameters remained bounded. The proposed systematic strategy combined input-state-scaling with backstepping technique. The adaptive output feedback controller was designed for a general case of uncertain chained system. Furthermore, one special case was considered. Simulation results demonstrate the effectiveness of the proposed controllers.
基金supported by the National Natural Science Foundation of China(Grant No.11665009)the Natural Science Research Project of Guizhou Provincial Education Bureau(Grant No.KY[2015]355)
文摘A class of models for activity-driven networks is proposed in which nodes vary in two states： active and inactive. Only active nodes can receive links from others which represent instantaneous dynamical interactions. The evolution of the network couples the addition of new nodes and state transitions of old ones. The active group changes with activated nodes entering and deactivated ones leaving. A general differential equation framework is developed to study the degree distribution of nodes of integrated networks where four different schemes are formulated.
基金supported by National Natural Science Foundation of China(61374148,61472361,61374005)Natural Science Foundation of Zhejiang Province(LY15F030003,LY15F030002,LR14F020001)+3 种基金the National Science Foundation of USA(CMMI-1162482)the Opening Project of State Key Laboratory for Manufacturing Systems Engineering(sklms2014011)Zhejiang NNST Key Laboratory(2015C31064)the State Scholarship Fund of China
基金the National Natural Science Foundation of China,No.60970062the Shanghai Pujiang Program,No.09PJ1410200
文摘The present study utilized motor imaginary-based brain-computer interface technology combined with rehabilitation training in 20 stroke patients. Results from the Berg Balance Scale and the Holden Walking Classification were significantly greater at 4 weeks after treatment （P 〈 0.01）, which suggested that motor imaginary-based brain-computer interface technology improved balance and walking in stroke patients.
基金The research was supported by the National Natural Science Foundation of China under grant No:60775036, 60970061the Higher Education Nature Science Research Fund Project of Jiangsu Province under grant No: 09KJD520004.
文摘Decision rules mining is an important issue in machine learning and data mining.However,most proposed algorithms mine categorical data at single level,and these rules are not easily understandable and really useful for users.Thus,a new approach to hierarchical decision rules mining is provided in this paper,in which similarity direction measure is introduced to deal with hybrid data.This approach can mine hierarchical decision rules by adjusting similarity measure parameters and the level of concept hierarchy trees.
基金supported in part by the National Nature Science Foundation of China(91218301,61572360)the Basic Research Projects of People's Public Security University of China(2016JKF01316)Shanghai Shuguang Program(15SG18)
文摘The rapid development of location-based social networks(LBSNs) provides people with an opportunity of better understanding their mobility behavior which enables them to decide their next location.For example,it can help travelers to choose where to go next,or recommend salesmen the most potential places to deliver advertisements or sell products.In this paper,a method for recommending points of interest(POIs)is proposed based on a collaborative tensor factorization(CTF)technique.Firstly,a generalized objective function is constructed for collaboratively factorizing a tensor with several feature matrices.Secondly,a 3-mode tensor is used to model all users' check-in behaviors,and three feature matrices are extracted to characterize the time distribution,category distribution and POI correlation,respectively.Thirdly,each user's preference to a POI at a specific time can be estimated by using CTF.In order to further improve the recommendation accuracy,PCTF(Partitionbased CTF) is proposed to fill the missing entries of a tensor after clustering its every mode.Experiments on a real checkin database show that the proposed method can provide more accurate location recommendation.
基金supported by the National Natural Science Foundation of China (No. 61203344)the International Technology Cooperation Project (No.2010DFA12210)+2 种基金the China Postdoctoral Science Foundation (No. 2011M500627)the Shanghai Science and Technology Committee Talent Program(No. 11XD1404800)the ‘Dawn Tracking’ Program of Shanghai Education Commission, China (No. 10GG11)
文摘This paper presents a central pattern generator （CPG） and vestibular reflex combined control strategy for a quadruped robot. An oscillator network and a knee-to-hip mapping function are presented to realize the rhythmic motion for the quadruped robot. A two-phase parameter tuning method is designed to adjust the parameters of oscillator network. First, based on the numerical simulation, the influences of the parameters on the output signals are analyzed, then the genetic algorithm （GA） is used to evolve the phase relationships of the oscillators to realize the basic animal-like walking pattern. Moreover, the animal＇s vestibular reflex mechanism is mimicked to realize the adaptive walking of the quadruped robot on a slope terrain. Coupled with the sensory feedback information, the robot can walk up and down the slope smoothly. The presented bio-inspired control method is validated through simulations and experiments with AIBO. Under the control of the presented CPG and vestibular reflex combined control method, AIBO can cope with slipping, falling down and walk on a slope successfully, which demonstrates the effectiveness of the proposed walking control method.
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)
文摘In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.
基金supported by the National Natural Science Foundation of China(61374148)
文摘Advanced information and communication technolo-gies can be used to facilitate traffic incident management.If an incident is detected and blocks a road link,in order to reduce the incident-induced traffic congestion,a dynamic strategy to deliver incident information to selected drivers and help them make detours in urban areas is proposed by this work.Time-dependent shortest path algorithms are used to generate a subnetwork where vehicles should receive such information.A simulation approach based on an extended cell transmission model is used to describe traffic flow in urban networks where path information and traffic flow at downstream road links are well modeled.Simulation results reveal the influences of some major parameters of an incident-induced congestion dissipation process such as the ratio of route-changing vehicles to the total vehicles,operation time interval of the proposed strategy,traffic density in the traffic network,and the scope of the area where traffic incident information is delivered.The results can be used to improve the state of the art in preventing urban road traffic congestion caused by incidents.
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)the National Natural Science Foundation of China(61572360)
文摘Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence has become a problem. For this condition, we should analyze unknown correspondence due to the influence of different correspondences.In this paper we obtain the relations of transitions based on event relations using branching processes, and build a behavioral matrix of relations. Based on the permutation of behavioral matrix, we express different correspondences, and define a new formula to compute the maximal consistency degree of two workflow nets. Additionally, this paper utilizes an example to show these definitions, computation as well as the advantages.
基金Project supported by the MITT Intelligent Manufacturing Project of Chinathe Study of Interconnection Standard and Experimental Verification in the Intelligent Manufacturing Plant for Naval Architecture and Marine Engineeringthe Science and Technology Program of Jiangxi Province,China(No.20161BBE50062)
文摘We address a special kind of Internet of Things (IoT) systems that are also real-time. We call them real-time IoT (RT-IoT) systems. An RT-IoT system needs to meet timing constraints of system delay, clock synchronization, deadline, and so on. The timing constraints turn to be more stringent as we get closer to the physical things. Based on the reference architecture of IoT (ISO/IEC 30141), the RT-IoT conceptual model is established. The idea of edge subsystem is introduced. The sensing & con-trolling domain is the basis of the edge subsystem, and the edge subsystem usually must meet the hard real-time constraints. The model includes four perspectives, the time view, computation view, communication view, and control view. Each view looks, from a different angle, at how the time parameters impact an RT-IoT system.
基金National Natural Science Foundations of China (No. 60972035,No. 61074009)Natural Science Foundation Program of Shanghai,China ( No. 10ZR1432800)
文摘For rate control (RC) of hierarchical structure coding, an independent rate-quantization (R-Q) model was proposed based on mean absolute differences (MADs) in different temporal levels (TLs). In the proposed R-Q model, a novel MAD model was developed according to the hierarchical structure. The experimental results demonstrate that the proposed algorithm provides better performance, in terms of average peak signal-to-noise ratio (PSNR) and quality smoothness, than the H.264 reference model, JM14.2, under various sequences.
基金partially supported by the National Key Research and Development Program of China(2018YFB2100801)。
文摘The passwords for unlocking the mobile devices are relatively simple,easier to be stolen,which causes serious potential security problems.An important research direction of identity authentication is to establish user behavior models to authenticate users.In this paper,a mobile terminal APP browsing behavioral authentication system architecture which synthesizes multiple factors is designed.This architecture is suitable for users using the mobile terminal APP in the daily life.The architecture includes data acquisition,data processing,feature extraction,and sub model training.We can use this architecture for continuous authentication when the user uses APP at the mobile terminal.
