This paper introduces the system structure and work principle of the upgraded real time information system in Wangting Power Plant, and then expounds the realization way and function features of this system on B/S co...This paper introduces the system structure and work principle of the upgraded real time information system in Wangting Power Plant, and then expounds the realization way and function features of this system on B/S computing mode. The results of field application show the new system has good capability, reliability and expandability.展开更多
For the inefficiency and inaccuracy of appraisal method of traditional estate appraisal theory, the real estate appraisal system based on GIS and BP neural network was established. The structure of the system was desi...For the inefficiency and inaccuracy of appraisal method of traditional estate appraisal theory, the real estate appraisal system based on GIS and BP neural network was established. The structure of the system was designed which includes appraisal model, trade case, GIS database and query analysis module. With the help of the L-M algorithm in MATLAB software, BP neural network was improved and the trade cases were trained, then the BP neural network which has already been trained was tested. At the same time, the BP neural and GIS were put together to construct the hedonic price estimate model. The C# and ArcGIS9.3 were used to achieve the system in VS2008. City basic geographic data and real estate related information were used as the basic data in practice. The results show that the functions of querying, adding and editing the spatial data and attribute data are achieved and also the efficiency and accuracy of real estate are improved, so that the new method of real estate is provided by the system.展开更多
In the construction of Metaverses,sensors that are referred to as the“bridge of information transmission”,play a key role.The functionality and efficiency of today’s sensors,which operate in a manner similar to phy...In the construction of Metaverses,sensors that are referred to as the“bridge of information transmission”,play a key role.The functionality and efficiency of today’s sensors,which operate in a manner similar to physical sensing,are frequently constrained by their hardware and software.In this research,we proposed the Parallel Sensing framework,which includes background,concept,basic methods and typical application of parallel sensing.In our formulation,sensors are redefined as the integration of real physical sensors and virtual software-defined sensors based on parallel intelligence,in order to boost the performance of the sensors.Each sensor will have a parallel counterpart in the virtual world within the framework of parallel sensing.Digital sensors serve as the brain of sensors and maintain the same properties as physical sensors.Parallel sensing allows physical sensors to operate in discrete time periods to conserve energy,while cloud-based descriptive,predictive,and prescriptive sensors operate continuously to offer compensation data and serve as guardians.To better illustrate parallel sensing concept,we show some example applications of parallel sensing such as parallel vision,parallel point cloud and parallel light fields,both of which are designed by construct virtual sensors to extend small real data to virtual big data and then boost the performance of perception models.Experimental results demonstrate the effective of parallel sensing framework.The interaction between the real and virtual worlds enables sensors to operate actively,allowing them to intelligently adapt to various scenarios and ultimately attain the goal of“Cognitive,Parallel,Crypto,Federated,Social and Ecologic”6S sensing.展开更多
The neutron flux monitor(NFM)system is an important diagnostic subsystem introduced by large nuclear fusion devices such as international thermonuclear experimental reactor(ITER),Japan torus-60,tokamak fusion test rea...The neutron flux monitor(NFM)system is an important diagnostic subsystem introduced by large nuclear fusion devices such as international thermonuclear experimental reactor(ITER),Japan torus-60,tokamak fusion test reactor,and HL-2 A.Neutron fluxes can provide real-time parameters for nuclear fusion,including neutron source intensity and fusion power.Corresponding to different nuclear reaction periods,neutron fluxes span over seven decades,thereby requiring electronic devices to operate in counting and Campbelling modes simultaneously.Therefore,it is crucial to design a real-time NFM system to encompass such a wide dynamic range.In this study,a high-precision NFM system with a wide measurement range of neutron flux is implemented using realtime multipoint linear calibration.It can automatically switch between counting and Campbelling modes with variations in the neutron flux.We established a testing platform to verify the feasibility of the NFM system,which can output the simulated neutron signal using an arbitrary waveform generator.Meanwhile,the accurate calibration interval of the Campbelling mode is defined well.Based on the above-mentioned design,the system satisfies the requirements,offering a dynamic range of 10~8 cps,temporal resolution of 1 ms,and maximal relative error of 4%measured at the signal-to-noise ratio of 15.8 dB.Additionally,the NFM system is verified in a field experiment involving HL-2 A,and the measured neutron flux is consistent with the results.展开更多
Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to prese...Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.展开更多
A laser scanning confocal imaging-surface plasmon resonance (LSCI-SPR) instrument integrated with a wavelength-dependent surface plasmon resonance (SPR) sensor and a laser scanning confocal microscopy (LSCM) is ...A laser scanning confocal imaging-surface plasmon resonance (LSCI-SPR) instrument integrated with a wavelength-dependent surface plasmon resonance (SPR) sensor and a laser scanning confocal microscopy (LSCM) is built to detect the bonding process of human IgG and fluorescent-labeled affinity purified antibodies in real time. The shifts of resonant wavelength at different reaction time stages are obtained by SPR, corresponding well with the changes of the fluorescence intensity collected by using LSCM. The instrument shows the merits of the combination and complementation of the SPR and LSCM, with such advantages as quantificational analysis, high spatial resolution and real time monitor, which are of great importance for practical applications in biosensor and life science.展开更多
This paper describes a multi-threat real-time separating system for broadband anti-radiation missile seeker. It presents a method, with a dual-port memory as comparer, to perform PF and PW hardware real-time separatio...This paper describes a multi-threat real-time separating system for broadband anti-radiation missile seeker. It presents a method, with a dual-port memory as comparer, to perform PF and PW hardware real-time separation and to determine the time-of-arrival (TOA) by use of sequential difference histogram (SDIF). The method has been applied to practice, which has achieved good results.展开更多
The strict bounded real lemma for linear system with finite discrete jumps was considered. Especially, the case where D matrices in the system are not assumed to be zero was dealt. Several versions of the bounded real...The strict bounded real lemma for linear system with finite discrete jumps was considered. Especially, the case where D matrices in the system are not assumed to be zero was dealt. Several versions of the bounded real lemma are presented in terms of solution to Riccati differential equations or inequalities with finite discrete jumps. Both the finite and infinite horizon cases are considered. These results generalize the existed bounded real lemma for linear systems.展开更多
The three dimensional variable cross-section roll forming is a kind of new metal forming technol- ogy which combines large forming force, multi-axis linkage movement and space synergic movement, and the sequential syn...The three dimensional variable cross-section roll forming is a kind of new metal forming technol- ogy which combines large forming force, multi-axis linkage movement and space synergic movement, and the sequential synergic movement of the ganged roller group is used to complete the metal sheet forming according to the shape of the complicated and variable forming part data. The control system should meet the demands of quick response to the test requirements of the product part. A new kind of real time data driving multi-axis linkage and synergic movement control strategy of 3D roll forming is put forward in the paper. In the new control strategy, the forming data are automatically generated according to the shape of the parts, and the multi-axis linkage movement together with cooperative motion among the six stands of the 3D roll forming machine is driven by the real-time information, and the control nodes are also driven by the forming data. The new control strategy is applied to a 48 axis 3D roll forming machine developed by our research center, and the control servo period is less than 10ms. A forming experiment of variable cross section part is carried out, and the forming preci- sion is better than + 0.5mm by the control strategy. The result of the experiment proves that the control strategy has significant potentiality for the development of 3D roll forming production line with large scale, multi-axis ganged and svner^ic movement展开更多
Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with exp...Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with explicitly. Based on these results, a new recursive approach is proposed in the necessity proof of strict bounded real lemma for generalized linear system with finite discrete jumps.展开更多
This paper describes specific constraints of vision systems that are dedicated to be embedded in mobile robots. If PC-based hardware architecture is convenient in this field because of its versatility, flexibility, pe...This paper describes specific constraints of vision systems that are dedicated to be embedded in mobile robots. If PC-based hardware architecture is convenient in this field because of its versatility, flexibility, performance, and cost, current real-time operating systems are not completely adapted to long processing with varying duration, and it is often necessary to oversize the system to guarantee fail-safe functioning. Also, interactions with other robotic tasks having more priority are difficult to handle. To answer this problem, we have developed a dynamically reconfigurable vision processing system, based on the innovative features of Cleopatre real-time applicative layer concerning scheduling and fault tolerance. This framework allows to define emergency and optional tasks to ensure a minimal quality of service for the other subsystems of the robot, while allowing to adapt dynamically vision processing chain to an exceptional overlasting vision process or processor overload. Thus, it allows a better cohabitation of several subsystems in a single hardware, and to develop less expensive but safe systems, as they will be designed for the regular case and not rare exceptional ones. Finally, it brings a new way to think and develop vision systems, with pairs of complementary operators.展开更多
This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this m...This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.展开更多
An introduction is made to the composition, design method and engineering application of a remote real time monitoring system of power quality in substations based on internet. With virtual instrument and network tec...An introduction is made to the composition, design method and engineering application of a remote real time monitoring system of power quality in substations based on internet. With virtual instrument and network technique adopted, this system is characterized by good real time property, high reliability, plentiful functions, and so on. It also can be used to monitor the load of a substation, such as electric locomotives.展开更多
This paper describes a simulation-based intelligent decision support system (IDSS) for real time control of a flexible manufacturing system (FMS) with machine and tool flexibility. The manufacturing processes involved...This paper describes a simulation-based intelligent decision support system (IDSS) for real time control of a flexible manufacturing system (FMS) with machine and tool flexibility. The manufacturing processes involved in FMS are complicated since each operation may be done by several machining centers. The system design approach is built around the theory of dynamic supervisory control based on a rule-based expert system. The paper considers flexibility in operation assignment and scheduling of multi-purpose machining centers which have different tools with their own efficiency. The architecture of the proposed controller consists of a simulator module coordinated with an IDSS via a real time event handler for implementing inter-process synchronization. The controller’s performance is validated by benchmark test problem.展开更多
As the popularization of dual ring fieldbus, the optimized dual ring synchronization methods are still in short. The current synchronization methods are generally established in traditional industrial fieldbus, in whi...As the popularization of dual ring fieldbus, the optimized dual ring synchronization methods are still in short. The current synchronization methods are generally established in traditional industrial fieldbus, in which transmission is commonly considered in single track, the two-way transmitting cannot take full effect, and would result in unwanted idle load on equipment lines. In stamp-transferring part, the synchronizing algorithm is not properly processed to diminish the latency, so the real-time performance of entire system cannot be ensured. To support the synchronization control of stations in the CNC system, a real-time time synchronization method for dual ring fieldbus in the CNC system is designed in this paper. In this method a synchronizing message transmission scheme based on dual ring architecture and the synchronization algorithm between master and secondary stations are integrated. In the scheme, the clock models of both master and secondary stations are optimized with corresponding modules and the stamp data transmission based on the dual ring fieldbus is devised exclusively, so the transmitting efficiency improves with less idle work. In the algorithm, all the secondary stations can accomplish the consistent state with master station by updating clock discrepancy information in one communication cycle, and it takes the advantage of two-way transmitting and makes the best use of dual ring structure, so the real-time performance of the system can be promoted while retaining the precision of synchronization. To evaluate the performance, the costs of the method and errors during synchronizing are noted and analyzed based on the actual running environment in the industrial fieldbus. The results show that it reduces communication cost and ensures the smoothness of the system with low lag effects under heavy load. The proposed time synchronization method optimizes the architecture of sync message transmission in dual ring fieldbus, and improves the efficiency of time synchronization in the stations of CNC system.展开更多
In the era of Big Data, typical architecture of distributed real-time stream processing systems is the combination of Flume, Kafka, and Storm. As a kind of distributed message system, Kafka has the characteristics of ...In the era of Big Data, typical architecture of distributed real-time stream processing systems is the combination of Flume, Kafka, and Storm. As a kind of distributed message system, Kafka has the characteristics of horizontal scalability and high throughput, which is manly deployed in many areas in order to address the problem of speed mismatch between message producers and consumers. When using Kafka, we need to quickly receive data sent by producers. In addition, we need to send data to consumers quickly. Therefore, the performance of Kafka is of critical importance to the performance of the whole stream processing system. In this paper, we propose the improved design of real-time stream processing systems, and focus on improving the Kafka's data loading process.We use Kafka cat to transfer data from the source to Kafka topic directly, which can reduce the network transmission. We also utilize the memory file system to accelerate the process of data loading, which can address the bottleneck and performance problems caused by disk I/O. Extensive experiments are conducted to evaluate the performance, which show the superiority of our improved design.展开更多
In this paper a class of real-time parallel modified Rosenbrock methods of numerical simulation is constructed for stiff dynamic systems on a multiprocessor system, and convergence and numerical stability of these met...In this paper a class of real-time parallel modified Rosenbrock methods of numerical simulation is constructed for stiff dynamic systems on a multiprocessor system, and convergence and numerical stability of these methods are discussed. A-stable real-time parallel formula of two-stage third-order and A(α)-stable real-time parallel formula with o ≈ 89.96° of three-stage fourth-order are particularly given. The numerical simulation experiments in parallel environment show that the class of algorithms is efficient and applicable, with greater speedup.展开更多
A real-time pricing system of electricity is a system that charges different electricity prices for different hours of the day and for different days, and is effective for reducing the peak and flattening the load cur...A real-time pricing system of electricity is a system that charges different electricity prices for different hours of the day and for different days, and is effective for reducing the peak and flattening the load curve. In this paper, using a Markov decision process (MDP), we propose a modeling method and an optimal control method for real-time pricing systems. First, the outline of real-time pricing systems is explained. Next, a model of a set of customers is derived as a multi-agent MDP. Furthermore, the optimal control problem is formulated, and is reduced to a quadratic programming problem. Finally, a numerical simulation is presented.展开更多
In order to provide predictable runtime performante for text categorization (TC) systems, an innovative system design method is proposed for soft real time TC systems. An analyzable mathematical model is established...In order to provide predictable runtime performante for text categorization (TC) systems, an innovative system design method is proposed for soft real time TC systems. An analyzable mathematical model is established to approximately describe the nonlinear and time-varying TC systems. According to this mathematical model, the feedback control theory is adopted to prove the system's stableness and zero steady state error. The experiments result shows that the error of deadline satisfied ratio in the system is kept within 4 of the desired value. And the number of classifiers can be dynamically adjusted by the system itself to save the computa tion resources. The proposed methodology enables the theo retical analysis and evaluation to the TC systems, leading to a high-quality and low cost implementation approach.展开更多
文摘This paper introduces the system structure and work principle of the upgraded real time information system in Wangting Power Plant, and then expounds the realization way and function features of this system on B/S computing mode. The results of field application show the new system has good capability, reliability and expandability.
基金Project(41061041)supported by the National Natural Science Foundation of ChinaProject(2010gzs0084)supported by the Natural Science Foundation of Jiangxi Province,China
文摘For the inefficiency and inaccuracy of appraisal method of traditional estate appraisal theory, the real estate appraisal system based on GIS and BP neural network was established. The structure of the system was designed which includes appraisal model, trade case, GIS database and query analysis module. With the help of the L-M algorithm in MATLAB software, BP neural network was improved and the trade cases were trained, then the BP neural network which has already been trained was tested. At the same time, the BP neural and GIS were put together to construct the hedonic price estimate model. The C# and ArcGIS9.3 were used to achieve the system in VS2008. City basic geographic data and real estate related information were used as the basic data in practice. The results show that the functions of querying, adding and editing the spatial data and attribute data are achieved and also the efficiency and accuracy of real estate are improved, so that the new method of real estate is provided by the system.
基金supported by the National Key R&D Program of China(2018AAA0101502)the Science and Technology Project of SGCC(State Grid Corporation of China):Fundamental Theory of Human-in-the-Loop Hybrid-Augmented Intelligence for Power Grid Dispatch and Control。
文摘In the construction of Metaverses,sensors that are referred to as the“bridge of information transmission”,play a key role.The functionality and efficiency of today’s sensors,which operate in a manner similar to physical sensing,are frequently constrained by their hardware and software.In this research,we proposed the Parallel Sensing framework,which includes background,concept,basic methods and typical application of parallel sensing.In our formulation,sensors are redefined as the integration of real physical sensors and virtual software-defined sensors based on parallel intelligence,in order to boost the performance of the sensors.Each sensor will have a parallel counterpart in the virtual world within the framework of parallel sensing.Digital sensors serve as the brain of sensors and maintain the same properties as physical sensors.Parallel sensing allows physical sensors to operate in discrete time periods to conserve energy,while cloud-based descriptive,predictive,and prescriptive sensors operate continuously to offer compensation data and serve as guardians.To better illustrate parallel sensing concept,we show some example applications of parallel sensing such as parallel vision,parallel point cloud and parallel light fields,both of which are designed by construct virtual sensors to extend small real data to virtual big data and then boost the performance of perception models.Experimental results demonstrate the effective of parallel sensing framework.The interaction between the real and virtual worlds enables sensors to operate actively,allowing them to intelligently adapt to various scenarios and ultimately attain the goal of“Cognitive,Parallel,Crypto,Federated,Social and Ecologic”6S sensing.
基金supported by the National Natural Science Foundation of China(Nos.11475131,11975307,and 11575184)the National Magnetic Confinement Fusion Energy Development Research(No.2013GB104003)。
文摘The neutron flux monitor(NFM)system is an important diagnostic subsystem introduced by large nuclear fusion devices such as international thermonuclear experimental reactor(ITER),Japan torus-60,tokamak fusion test reactor,and HL-2 A.Neutron fluxes can provide real-time parameters for nuclear fusion,including neutron source intensity and fusion power.Corresponding to different nuclear reaction periods,neutron fluxes span over seven decades,thereby requiring electronic devices to operate in counting and Campbelling modes simultaneously.Therefore,it is crucial to design a real-time NFM system to encompass such a wide dynamic range.In this study,a high-precision NFM system with a wide measurement range of neutron flux is implemented using realtime multipoint linear calibration.It can automatically switch between counting and Campbelling modes with variations in the neutron flux.We established a testing platform to verify the feasibility of the NFM system,which can output the simulated neutron signal using an arbitrary waveform generator.Meanwhile,the accurate calibration interval of the Campbelling mode is defined well.Based on the above-mentioned design,the system satisfies the requirements,offering a dynamic range of 10~8 cps,temporal resolution of 1 ms,and maximal relative error of 4%measured at the signal-to-noise ratio of 15.8 dB.Additionally,the NFM system is verified in a field experiment involving HL-2 A,and the measured neutron flux is consistent with the results.
基金supported by TATA Consultancy Servies(TCS)Research Fellowship Program,India
文摘Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.
基金supported by the Instrument Developing Project of the Chinese Academy of Sciences (Grant No.YZ200740)the National Natural Science Foundation of China (Grant Nos.60978034 and 10974019)the National High Technology Research and Development Program of China (Grant No.2009AA03Z318)
文摘A laser scanning confocal imaging-surface plasmon resonance (LSCI-SPR) instrument integrated with a wavelength-dependent surface plasmon resonance (SPR) sensor and a laser scanning confocal microscopy (LSCM) is built to detect the bonding process of human IgG and fluorescent-labeled affinity purified antibodies in real time. The shifts of resonant wavelength at different reaction time stages are obtained by SPR, corresponding well with the changes of the fluorescence intensity collected by using LSCM. The instrument shows the merits of the combination and complementation of the SPR and LSCM, with such advantages as quantificational analysis, high spatial resolution and real time monitor, which are of great importance for practical applications in biosensor and life science.
文摘This paper describes a multi-threat real-time separating system for broadband anti-radiation missile seeker. It presents a method, with a dual-port memory as comparer, to perform PF and PW hardware real-time separation and to determine the time-of-arrival (TOA) by use of sequential difference histogram (SDIF). The method has been applied to practice, which has achieved good results.
基金National Natural Science Foundation of China(No.60274058)
文摘The strict bounded real lemma for linear system with finite discrete jumps was considered. Especially, the case where D matrices in the system are not assumed to be zero was dealt. Several versions of the bounded real lemma are presented in terms of solution to Riccati differential equations or inequalities with finite discrete jumps. Both the finite and infinite horizon cases are considered. These results generalize the existed bounded real lemma for linear systems.
基金Supported by National Key Technology R&D Program(No.2011BAG03B03)
文摘The three dimensional variable cross-section roll forming is a kind of new metal forming technol- ogy which combines large forming force, multi-axis linkage movement and space synergic movement, and the sequential synergic movement of the ganged roller group is used to complete the metal sheet forming according to the shape of the complicated and variable forming part data. The control system should meet the demands of quick response to the test requirements of the product part. A new kind of real time data driving multi-axis linkage and synergic movement control strategy of 3D roll forming is put forward in the paper. In the new control strategy, the forming data are automatically generated according to the shape of the parts, and the multi-axis linkage movement together with cooperative motion among the six stands of the 3D roll forming machine is driven by the real-time information, and the control nodes are also driven by the forming data. The new control strategy is applied to a 48 axis 3D roll forming machine developed by our research center, and the control servo period is less than 10ms. A forming experiment of variable cross section part is carried out, and the forming preci- sion is better than + 0.5mm by the control strategy. The result of the experiment proves that the control strategy has significant potentiality for the development of 3D roll forming production line with large scale, multi-axis ganged and svner^ic movement
基金This work was supported by the National Natural Science Foundation of China (No. 60274058).
文摘Some preliminary results on strict bounded real lemma for time-varying continuous linear systems are proposed, where uncertainty in initial conditions, terminal cost and extreme of the cost function are dealt with explicitly. Based on these results, a new recursive approach is proposed in the necessity proof of strict bounded real lemma for generalized linear system with finite discrete jumps.
基金This work was supported by the French research office(No.01 K 0742)under the Cléopatre project.
文摘This paper describes specific constraints of vision systems that are dedicated to be embedded in mobile robots. If PC-based hardware architecture is convenient in this field because of its versatility, flexibility, performance, and cost, current real-time operating systems are not completely adapted to long processing with varying duration, and it is often necessary to oversize the system to guarantee fail-safe functioning. Also, interactions with other robotic tasks having more priority are difficult to handle. To answer this problem, we have developed a dynamically reconfigurable vision processing system, based on the innovative features of Cleopatre real-time applicative layer concerning scheduling and fault tolerance. This framework allows to define emergency and optional tasks to ensure a minimal quality of service for the other subsystems of the robot, while allowing to adapt dynamically vision processing chain to an exceptional overlasting vision process or processor overload. Thus, it allows a better cohabitation of several subsystems in a single hardware, and to develop less expensive but safe systems, as they will be designed for the regular case and not rare exceptional ones. Finally, it brings a new way to think and develop vision systems, with pairs of complementary operators.
基金Supported by the National Natural Science F oundation of China(6 98730 35 ) and the Research Fund for the Doctoral Program of Hi
文摘This paper presents a model specifying requirements of real-time systems. Different from existing researches, this model mainly uses rules and templates to represent hierarchical FSMs (Finite State Machine). In this model, one rule corresponds to one state transition of FSM and one template corresponds to one FSM. Rules and information with respect to a FSM can be written in a template. So templates include not only state diagrams, but also information that can not be described by FSM, such as performance requirements. The specification using this model consists of a collection of templates and it is easy for users to understand and to review. After introduced the related researches and principles of the model, this paper specifies requirements of a real-time system with this model, and discusses characters of this model in the end.
文摘An introduction is made to the composition, design method and engineering application of a remote real time monitoring system of power quality in substations based on internet. With virtual instrument and network technique adopted, this system is characterized by good real time property, high reliability, plentiful functions, and so on. It also can be used to monitor the load of a substation, such as electric locomotives.
文摘This paper describes a simulation-based intelligent decision support system (IDSS) for real time control of a flexible manufacturing system (FMS) with machine and tool flexibility. The manufacturing processes involved in FMS are complicated since each operation may be done by several machining centers. The system design approach is built around the theory of dynamic supervisory control based on a rule-based expert system. The paper considers flexibility in operation assignment and scheduling of multi-purpose machining centers which have different tools with their own efficiency. The architecture of the proposed controller consists of a simulator module coordinated with an IDSS via a real time event handler for implementing inter-process synchronization. The controller’s performance is validated by benchmark test problem.
基金supported by National Projects for Science and Technology Development of China(Grant No.2011ZX04016-071)National Basic Research Program of China(973 Program,Grant No.2011CB302400-G,the mathematical mechanization method and its application in digital design and manufacturing)
文摘As the popularization of dual ring fieldbus, the optimized dual ring synchronization methods are still in short. The current synchronization methods are generally established in traditional industrial fieldbus, in which transmission is commonly considered in single track, the two-way transmitting cannot take full effect, and would result in unwanted idle load on equipment lines. In stamp-transferring part, the synchronizing algorithm is not properly processed to diminish the latency, so the real-time performance of entire system cannot be ensured. To support the synchronization control of stations in the CNC system, a real-time time synchronization method for dual ring fieldbus in the CNC system is designed in this paper. In this method a synchronizing message transmission scheme based on dual ring architecture and the synchronization algorithm between master and secondary stations are integrated. In the scheme, the clock models of both master and secondary stations are optimized with corresponding modules and the stamp data transmission based on the dual ring fieldbus is devised exclusively, so the transmitting efficiency improves with less idle work. In the algorithm, all the secondary stations can accomplish the consistent state with master station by updating clock discrepancy information in one communication cycle, and it takes the advantage of two-way transmitting and makes the best use of dual ring structure, so the real-time performance of the system can be promoted while retaining the precision of synchronization. To evaluate the performance, the costs of the method and errors during synchronizing are noted and analyzed based on the actual running environment in the industrial fieldbus. The results show that it reduces communication cost and ensures the smoothness of the system with low lag effects under heavy load. The proposed time synchronization method optimizes the architecture of sync message transmission in dual ring fieldbus, and improves the efficiency of time synchronization in the stations of CNC system.
基金supported by the Research Fund of National Key Laboratory of Computer Architecture under Grant No.CARCH201501the Open Project Program of the State Key Laboratory of Mathematical Engineering and Advanced Computing under Grant No.2016A09
文摘In the era of Big Data, typical architecture of distributed real-time stream processing systems is the combination of Flume, Kafka, and Storm. As a kind of distributed message system, Kafka has the characteristics of horizontal scalability and high throughput, which is manly deployed in many areas in order to address the problem of speed mismatch between message producers and consumers. When using Kafka, we need to quickly receive data sent by producers. In addition, we need to send data to consumers quickly. Therefore, the performance of Kafka is of critical importance to the performance of the whole stream processing system. In this paper, we propose the improved design of real-time stream processing systems, and focus on improving the Kafka's data loading process.We use Kafka cat to transfer data from the source to Kafka topic directly, which can reduce the network transmission. We also utilize the memory file system to accelerate the process of data loading, which can address the bottleneck and performance problems caused by disk I/O. Extensive experiments are conducted to evaluate the performance, which show the superiority of our improved design.
基金This project was supported by the National Natural Science Foundation of China (No. 19871080).
文摘In this paper a class of real-time parallel modified Rosenbrock methods of numerical simulation is constructed for stiff dynamic systems on a multiprocessor system, and convergence and numerical stability of these methods are discussed. A-stable real-time parallel formula of two-stage third-order and A(α)-stable real-time parallel formula with o ≈ 89.96° of three-stage fourth-order are particularly given. The numerical simulation experiments in parallel environment show that the class of algorithms is efficient and applicable, with greater speedup.
文摘A real-time pricing system of electricity is a system that charges different electricity prices for different hours of the day and for different days, and is effective for reducing the peak and flattening the load curve. In this paper, using a Markov decision process (MDP), we propose a modeling method and an optimal control method for real-time pricing systems. First, the outline of real-time pricing systems is explained. Next, a model of a set of customers is derived as a multi-agent MDP. Furthermore, the optimal control problem is formulated, and is reduced to a quadratic programming problem. Finally, a numerical simulation is presented.
基金Supported by the National Natural Science Foun-dation of China (90104032) ,the National High-Tech Research andDevelopment Plan of China (2003AA1Z2090)
文摘In order to provide predictable runtime performante for text categorization (TC) systems, an innovative system design method is proposed for soft real time TC systems. An analyzable mathematical model is established to approximately describe the nonlinear and time-varying TC systems. According to this mathematical model, the feedback control theory is adopted to prove the system's stableness and zero steady state error. The experiments result shows that the error of deadline satisfied ratio in the system is kept within 4 of the desired value. And the number of classifiers can be dynamically adjusted by the system itself to save the computa tion resources. The proposed methodology enables the theo retical analysis and evaluation to the TC systems, leading to a high-quality and low cost implementation approach.