According to the construction of current coal mine monitoring and control systems in China, the paper proposes three kinds of applicable schemes of integrating PLC and DCS systems with field bus technology to digitize...According to the construction of current coal mine monitoring and control systems in China, the paper proposes three kinds of applicable schemes of integrating PLC and DCS systems with field bus technology to digitize the system and to improve the flexibility and extent of the system. Essentially, the paper introduces the integration of FCS on I/O layers. Based on a real coal mine safety-monitoring and control system applied with a CAN field bus, the major technology of system relays and extensions is discussed. We believe that one of the most applicable methods is currently replacing the connection between function-stations and field-sensors with a CAN bus on I/0 layers for system integration.展开更多
To guarantee bus priority with a minimum impact on car traffic at intersections, an optimal control system of the intermittent bus-only approach （IBA） was proposed. The problems of the existing system are first solv...To guarantee bus priority with a minimum impact on car traffic at intersections, an optimal control system of the intermittent bus-only approach （IBA） was proposed. The problems of the existing system are first solved through optimization： the judgment time of the IBA system was advanced to allow a bus to jump car queues if the bus was detected to arrive at the intersection, and the instant that the IBA lane became available to cars was controlled dynamically to increase the capacity of the IBA lane. The total car delay in one cycle was then analyzed quantitatively when implementing the optimal control system. The results show that in comparison with the existing system of the IBA, the car delay is greatly reduced and the probability of a car stopping twice is low after optimizing the IBA system.展开更多
The attacks on in-vehicle Controller Area Network(CAN)bus messages severely disrupt normal communication between vehicles.Therefore,researches on intrusion detection models for CAN have positive business value for veh...The attacks on in-vehicle Controller Area Network(CAN)bus messages severely disrupt normal communication between vehicles.Therefore,researches on intrusion detection models for CAN have positive business value for vehicle security,and the intrusion detection technology for CAN bus messages can effectively protect the invehicle network from unlawful attacks.Previous machine learning-based models are unable to effectively identify intrusive abnormal messages due to their inherent shortcomings.Hence,to address the shortcomings of the previous machine learning-based intrusion detection technique,we propose a novel method using Attention Mechanism and AutoEncoder for Intrusion Detection(AMAEID).The AMAEID model first converts the raw hexadecimal message data into binary format to obtain better input.Then the AMAEID model encodes and decodes the binary message data using a multi-layer denoising autoencoder model to obtain a hidden feature representation that can represent the potential features behind the message data at a deeper level.Finally,the AMAEID model uses the attention mechanism and the fully connected layer network to infer whether the message is an abnormal message or not.The experimental results with three evaluation metrics on a real in-vehicle CAN bus message dataset outperform some traditional machine learning algorithms,demonstrating the effectiveness of the AMAEID model.展开更多
Under the current situation, China＇ s rapid economic development, various new science, emerge in an endless stream of new technology, under the environment of coal mine industry, seize the opportunity, by virtue of i...Under the current situation, China＇ s rapid economic development, various new science, emerge in an endless stream of new technology, under the environment of coal mine industry, seize the opportunity, by virtue of its original advantages, coupled with technology introduction and innovation consciousness of the play, ushered in a new period of development, into the modern coal mining era. CAN bus technology is a new technology which has the typical data transmission in coal mining, the introduction of a certain degree of CAN bus technology, not only improve the efficiency of data transmission, at the same time, in terms of reliability and greatly enhance. In this paper, to a certain extent on the introduction of the CAN bus technology, and on this basis, based on the CAN bus in the coal mine field data transmission reliability research and analysis展开更多
The redundancy technology for the aircraft multi-channel DC electrical power supply system is studied. In this system, the key loads can obtain power from seven sources. The direct current bus power control unit （DC ...The redundancy technology for the aircraft multi-channel DC electrical power supply system is studied. In this system, the key loads can obtain power from seven sources. The direct current bus power control unit （DC BPCU） is put forward to manage the power supply system automatically. The redundancy innovation is also applied in both hardware and software of DC BPCU. Furthermore, redundancy fault diagnosis is discussed through the existing parts. Experiments and applications show that the proposed aircraft DC power supply system possesses many advantages of high reliability, high automation and so on.展开更多
Impedance analysis is an effective method to analyze the oscillation issue associated with grid-connected photovoltaic systems.However,the existing impedance modeling of a gridconnected photovoltaic inverter usually o...Impedance analysis is an effective method to analyze the oscillation issue associated with grid-connected photovoltaic systems.However,the existing impedance modeling of a gridconnected photovoltaic inverter usually only considers the effect of a single perturbation frequency,ignoring the coupling frequency response between the internal control loops of a grid-connected inverter,which severely affects the accuracy of the stability analysis.Hence,a method of impedance modeling and stability analysis for grid-connected photovoltaic inverters considering cross-coupling frequency is proposed in this paper.First,the generation mechanism of frequency coupling in gridconnected photovoltaic inverters,and the relationship between the coupling frequency and perturbation frequency are analyzed.Secondly,a sequence impedance model of grid-connected photovoltaic systems considering the coupling frequency is established by using the harmonic linearization method.The impact of DC bus voltage control strategy on frequency coupling characteristics of a grid-connected photovoltaic system is evaluated,and the impact of a coupling frequency term on system stability is quantitatively analyzed.Finally,the advantages of the proposed method are verified by several simulations.The results show that the proposed impedance model can accurately predict the potential resonance points of the system,and the coupling frequency characteristics will become much stronger with smaller DC bus capacitance or larger bandwidth of the DC bus controller.展开更多
Formal verification of VHSIC Hardware Description Language （VHDL） in Field-Programmable Gate Array （FPGA） design has been discussed for many years. In this paper we provide a practical approach to do so. We presen...Formal verification of VHSIC Hardware Description Language （VHDL） in Field-Programmable Gate Array （FPGA） design has been discussed for many years. In this paper we provide a practical approach to do so. We present a semi-automatic way to verify FPGA VHDL software deadlocks, especially those that reside in automata. A domain is defined to represent the VHDL modules that will be verified; these modules will be transformed into Verilog models and be verified by SMV tools. By analyzing the verification results of SMV, deadlocks can be found; after looking back to the VHDL code, the deadlocking code is located and the problem is solved. VHDL verification is particularly important in safety-critical software. As an example, our solution is applied to a Multifunction Vehicle Bus Controller （MVBC） system for a train. The safety properties were tested well in the development stage, but experienced a breakdown during the long-term software testing stage, which was mainly caused by deadlocks in the VHDL software. In this special case, we managed to locate the VHDL deadlocks and solve the problem by the FPGA deadlock detection approach provided in this paper, which demonstrates that our solution works well.展开更多
文摘According to the construction of current coal mine monitoring and control systems in China, the paper proposes three kinds of applicable schemes of integrating PLC and DCS systems with field bus technology to digitize the system and to improve the flexibility and extent of the system. Essentially, the paper introduces the integration of FCS on I/O layers. Based on a real coal mine safety-monitoring and control system applied with a CAN field bus, the major technology of system relays and extensions is discussed. We believe that one of the most applicable methods is currently replacing the connection between function-stations and field-sensors with a CAN bus on I/0 layers for system integration.
文摘To guarantee bus priority with a minimum impact on car traffic at intersections, an optimal control system of the intermittent bus-only approach （IBA） was proposed. The problems of the existing system are first solved through optimization： the judgment time of the IBA system was advanced to allow a bus to jump car queues if the bus was detected to arrive at the intersection, and the instant that the IBA lane became available to cars was controlled dynamically to increase the capacity of the IBA lane. The total car delay in one cycle was then analyzed quantitatively when implementing the optimal control system. The results show that in comparison with the existing system of the IBA, the car delay is greatly reduced and the probability of a car stopping twice is low after optimizing the IBA system.
基金supported by Chongqing Big Data Engineering Laboratory for Children,Chongqing Electronics Engineering Technology Research Center for Interactive Learning,Project of Science and Technology Research Program of Chongqing Education Commission of China. (No.KJZD-K201801601).
文摘The attacks on in-vehicle Controller Area Network(CAN)bus messages severely disrupt normal communication between vehicles.Therefore,researches on intrusion detection models for CAN have positive business value for vehicle security,and the intrusion detection technology for CAN bus messages can effectively protect the invehicle network from unlawful attacks.Previous machine learning-based models are unable to effectively identify intrusive abnormal messages due to their inherent shortcomings.Hence,to address the shortcomings of the previous machine learning-based intrusion detection technique,we propose a novel method using Attention Mechanism and AutoEncoder for Intrusion Detection(AMAEID).The AMAEID model first converts the raw hexadecimal message data into binary format to obtain better input.Then the AMAEID model encodes and decodes the binary message data using a multi-layer denoising autoencoder model to obtain a hidden feature representation that can represent the potential features behind the message data at a deeper level.Finally,the AMAEID model uses the attention mechanism and the fully connected layer network to infer whether the message is an abnormal message or not.The experimental results with three evaluation metrics on a real in-vehicle CAN bus message dataset outperform some traditional machine learning algorithms,demonstrating the effectiveness of the AMAEID model.
文摘Under the current situation, China＇ s rapid economic development, various new science, emerge in an endless stream of new technology, under the environment of coal mine industry, seize the opportunity, by virtue of its original advantages, coupled with technology introduction and innovation consciousness of the play, ushered in a new period of development, into the modern coal mining era. CAN bus technology is a new technology which has the typical data transmission in coal mining, the introduction of a certain degree of CAN bus technology, not only improve the efficiency of data transmission, at the same time, in terms of reliability and greatly enhance. In this paper, to a certain extent on the introduction of the CAN bus technology, and on this basis, based on the CAN bus in the coal mine field data transmission reliability research and analysis
文摘The redundancy technology for the aircraft multi-channel DC electrical power supply system is studied. In this system, the key loads can obtain power from seven sources. The direct current bus power control unit （DC BPCU） is put forward to manage the power supply system automatically. The redundancy innovation is also applied in both hardware and software of DC BPCU. Furthermore, redundancy fault diagnosis is discussed through the existing parts. Experiments and applications show that the proposed aircraft DC power supply system possesses many advantages of high reliability, high automation and so on.
文摘Impedance analysis is an effective method to analyze the oscillation issue associated with grid-connected photovoltaic systems.However,the existing impedance modeling of a gridconnected photovoltaic inverter usually only considers the effect of a single perturbation frequency,ignoring the coupling frequency response between the internal control loops of a grid-connected inverter,which severely affects the accuracy of the stability analysis.Hence,a method of impedance modeling and stability analysis for grid-connected photovoltaic inverters considering cross-coupling frequency is proposed in this paper.First,the generation mechanism of frequency coupling in gridconnected photovoltaic inverters,and the relationship between the coupling frequency and perturbation frequency are analyzed.Secondly,a sequence impedance model of grid-connected photovoltaic systems considering the coupling frequency is established by using the harmonic linearization method.The impact of DC bus voltage control strategy on frequency coupling characteristics of a grid-connected photovoltaic system is evaluated,and the impact of a coupling frequency term on system stability is quantitatively analyzed.Finally,the advantages of the proposed method are verified by several simulations.The results show that the proposed impedance model can accurately predict the potential resonance points of the system,and the coupling frequency characteristics will become much stronger with smaller DC bus capacitance or larger bandwidth of the DC bus controller.
文摘Formal verification of VHSIC Hardware Description Language （VHDL） in Field-Programmable Gate Array （FPGA） design has been discussed for many years. In this paper we provide a practical approach to do so. We present a semi-automatic way to verify FPGA VHDL software deadlocks, especially those that reside in automata. A domain is defined to represent the VHDL modules that will be verified; these modules will be transformed into Verilog models and be verified by SMV tools. By analyzing the verification results of SMV, deadlocks can be found; after looking back to the VHDL code, the deadlocking code is located and the problem is solved. VHDL verification is particularly important in safety-critical software. As an example, our solution is applied to a Multifunction Vehicle Bus Controller （MVBC） system for a train. The safety properties were tested well in the development stage, but experienced a breakdown during the long-term software testing stage, which was mainly caused by deadlocks in the VHDL software. In this special case, we managed to locate the VHDL deadlocks and solve the problem by the FPGA deadlock detection approach provided in this paper, which demonstrates that our solution works well.
