Based on laser-scanned measuring technology, a met ho d of on-line dynamic non-contact measurement and feedback control of processin g dimension, i.e. the double edges laser-scanned large diameter on-line dynami c mea...Based on laser-scanned measuring technology, a met ho d of on-line dynamic non-contact measurement and feedback control of processin g dimension, i.e. the double edges laser-scanned large diameter on-line dynami c measurement and control system is presented, which can be used to measure diam eter in large-scale machine part processing. In this paper, the working princip le, overall structure and microcomputer real-time control and data processing s ystem of the system are discussed in detail, the method of double edges scanned large diameter dimension measurement and control is theoretically analyzed, its possibility has been verified by experiments of lathing large diameters machine parts by a vertical lathe. The system adopts the measuring scheme of double edge s laser-scanned combined with grating displacement measurement. The two edges c haracteristic information of the measured diameter is given by the double edges laser-scanned measuring system, the non-contact measurement of large diameter dimension is realized to combine with the grating displacement measuring systems . The main controller gives out feedback control signal by means of measured res ults, and controls advance and retreat of lathe tool by the servo-control syste m of a vertical lathe to realize on-line dynamic non-contact measurement and c ontrol in processing.展开更多
The iterative learning control (ILC) has been demon-strated to be capable of considerably improving the tracking perfor-mance of systems which are affected by the iteration-independent disturbance. However, the achi...The iterative learning control (ILC) has been demon-strated to be capable of considerably improving the tracking perfor-mance of systems which are affected by the iteration-independent disturbance. However, the achievable performance is greatly degraded when iteration-dependent, stochastic disturbances are pre-sented. This paper considers the robustness of the ILC algorithm for the nonlinear system in presence of stochastic measurement disturbances. The robust convergence of the P-type ILC algorithm is firstly addressed, and then an improved ILC algorithm with a decreasing gain is proposed. Theoretical analyses show that the proposed algorithm can guarantee that the tracking error of the nonlinear system tends to zero in presence of measurement dis-turbances. The analysis is also supported by a numerical example.展开更多
Internet of things has been widely applied to industrial control, smart city and environmental protection, in these application scenarios, sensing node needs to make real-time response to the feedback control of the a...Internet of things has been widely applied to industrial control, smart city and environmental protection, in these application scenarios, sensing node needs to make real-time response to the feedback control of the application layer. Therefore, it is necessary to monitor whether or not awareness nodes are trusted in real time, but the existing mechanisms for trusted certification lack the real-time measurement and tracking of the sensing node. To solve the above problems,this paper proposes a dynamic metric based authentication mechanism for sensing nodes of Internet of things. Firstly, the dynamic trustworthiness measure of the sensing nodes is carried out by introducing the computational function such as the trust function, the trustworthiness risk assessment function, the feedback control function and the active function of the sensing node. The dynamic trustworthiness measure of sensing nodes from multiple dimensions can effectively describe the change of trusted value of sensing nodes. Then, on the basis of this, a trusted attestation based on node trusted measure is realized by using the revocable group signature mechanism of local verifier. The mechanism has anonymity, unforgeability and traceability, which is proved the security in the standard model. Simulationexperiments show that the proposed trusted attestation mechanism is flexible, practical and efficient and has better attack resistance. It can effectively guarantee the reliable data transmission of nodes and realize the dynamic tracking of node reliability, which has a lower impact on system performance.展开更多
With the development of cloud computing, virtualization technology has been widely used in our life. Meanwhile, it became one of the key targets for some attackers. The integrity measurement in virtual machine has bec...With the development of cloud computing, virtualization technology has been widely used in our life. Meanwhile, it became one of the key targets for some attackers. The integrity measurement in virtual machine has become an urgent problem. Some of the existing virtualization platform integrity measurement mechanism introduces the trusted computing technology, according to a trusted chain that the Trusted Platform Module(TPM) established for trusted root to measure the integrity of process in static. But this single chain static measurement cannot ensure the dynamic credible in platform running. To solve the problem that the virtual trusted platform can not guarantee the dynamic credibility, this paper put forward Dynamic Integrity Measurement Model(DIMM) based on virtual Trusted Platform Module(v TPM) which had been implemented with typical virtual machine monitor Xen as an example. DIMM combined with virtual machine introspection and event capture technology to ensure the security of the entire user domain. Based on the framework, this paper put forward Self-modify dynamic measurement strategy which can effectively reduce the measurement frequency and improve the measurement performance. Finally, it is proved that the validity and feasibility of the proposed model with comparison experiments.展开更多
Decision modeling is an essential part of the combat system effectiveness simulation (CoSES), which needs to cope with the cognitive quality, diversity, flexibility, and higher abstraction of decision making. In this ...Decision modeling is an essential part of the combat system effectiveness simulation (CoSES), which needs to cope with the cognitive quality, diversity, flexibility, and higher abstraction of decision making. In this paper, a multi-paradigm decision modeling framework is proposed to support decision modeling at three levels of abstraction based on domain-specific modeling (DSM). This framework designs a domain-specific modeling language (DSML) for decision modeling to raise the abstraction level of modeling, transforms the domain-specific models to formalism-based models to enable formal analysis and early verification and validation, and implements the semantics of the DSML based on a Python scripts framework which incorporates the decision model into the whole simulation system. The case study shows that the proposed approach incorporates domain expertise and facilitates domain modeler's participation in CoSES to formulate the problem using DSML in the problem domain, and enables formal analysis and automatic implementation of the decision model in the solution domain.展开更多
Junction temperature of alternating current light-emitting-diode (AC-LED) has a significant effect on its stable light output and lifetime. The threshold voltage measurement is employed to characterize the junction ...Junction temperature of alternating current light-emitting-diode (AC-LED) has a significant effect on its stable light output and lifetime. The threshold voltage measurement is employed to characterize the junction temperature of AC-LED, due to its excellent merits in high efficiency and accuracy. The threshold voltage is measured when the driving current of an AC-LED rises to a reference on-set value from the zero-crossing node. Based on multiple measurements of threshold voltage at different temperatures, a linear relationship was uncovered between the threshold voltage and the junction temperature of AC- LED with the correlating factor of temperature sensitive parameter (TSP). Thereby, we can calculate the junction temperature with the TSP and threshold voltage once the AC-LED stays at thermal equilibrium state. The accuracy of the proposed junction temperature measurement technique was found to be +3.2℃ for the reference current of 1 mA. It is concluded that the method of threshold voltage is accurate and simple to implement, making it highly suitable for measuring the junction temperature of AC-LED in industry.展开更多
文摘Based on laser-scanned measuring technology, a met ho d of on-line dynamic non-contact measurement and feedback control of processin g dimension, i.e. the double edges laser-scanned large diameter on-line dynami c measurement and control system is presented, which can be used to measure diam eter in large-scale machine part processing. In this paper, the working princip le, overall structure and microcomputer real-time control and data processing s ystem of the system are discussed in detail, the method of double edges scanned large diameter dimension measurement and control is theoretically analyzed, its possibility has been verified by experiments of lathing large diameters machine parts by a vertical lathe. The system adopts the measuring scheme of double edge s laser-scanned combined with grating displacement measurement. The two edges c haracteristic information of the measured diameter is given by the double edges laser-scanned measuring system, the non-contact measurement of large diameter dimension is realized to combine with the grating displacement measuring systems . The main controller gives out feedback control signal by means of measured res ults, and controls advance and retreat of lathe tool by the servo-control syste m of a vertical lathe to realize on-line dynamic non-contact measurement and c ontrol in processing.
基金supported by the National Natural Science Foundation of China (61203065 60834001)the Program of Open Laboratory Foundation of Control Engineering Key Discipline of Henan Provincial High Education (KG 2011-10)
文摘The iterative learning control (ILC) has been demon-strated to be capable of considerably improving the tracking perfor-mance of systems which are affected by the iteration-independent disturbance. However, the achievable performance is greatly degraded when iteration-dependent, stochastic disturbances are pre-sented. This paper considers the robustness of the ILC algorithm for the nonlinear system in presence of stochastic measurement disturbances. The robust convergence of the P-type ILC algorithm is firstly addressed, and then an improved ILC algorithm with a decreasing gain is proposed. Theoretical analyses show that the proposed algorithm can guarantee that the tracking error of the nonlinear system tends to zero in presence of measurement dis-turbances. The analysis is also supported by a numerical example.
基金supported by the National Natural Science Foundation of China (The key trusted running technologies for the sensing nodes in Internet of things: 61501007, The research of the trusted and security environment for high energy physics scientific computing system: 11675199)General Project of science and technology project of Beijing Municipal Education Commission: KM201610005023+2 种基金the outstanding personnel training program of Beijing municipal Party Committee Organization Department (The Research of Trusted Computing environment for Internet of things in Smart City: 2014000020124G041)The key technology research and validation issue for the emergency treatment telemedicine public service platform which integrates the military and civilian and bases on the broadband wireless networks (No.2013ZX03006001-005)the issue belongs to Major national science and technology projects
文摘Internet of things has been widely applied to industrial control, smart city and environmental protection, in these application scenarios, sensing node needs to make real-time response to the feedback control of the application layer. Therefore, it is necessary to monitor whether or not awareness nodes are trusted in real time, but the existing mechanisms for trusted certification lack the real-time measurement and tracking of the sensing node. To solve the above problems,this paper proposes a dynamic metric based authentication mechanism for sensing nodes of Internet of things. Firstly, the dynamic trustworthiness measure of the sensing nodes is carried out by introducing the computational function such as the trust function, the trustworthiness risk assessment function, the feedback control function and the active function of the sensing node. The dynamic trustworthiness measure of sensing nodes from multiple dimensions can effectively describe the change of trusted value of sensing nodes. Then, on the basis of this, a trusted attestation based on node trusted measure is realized by using the revocable group signature mechanism of local verifier. The mechanism has anonymity, unforgeability and traceability, which is proved the security in the standard model. Simulationexperiments show that the proposed trusted attestation mechanism is flexible, practical and efficient and has better attack resistance. It can effectively guarantee the reliable data transmission of nodes and realize the dynamic tracking of node reliability, which has a lower impact on system performance.
基金supported by National Natural Science Foundation of China (61170254,61379116), Hebei Natural Science Foundation Project (F2016201244)Hebei Province Science and Technology Research Project of Higher Education (ZD2016043)Hebei Engineering Technology Research Center for IOT Data Acquisition & Processing, North China Insitute of Science and Technology, Hebei 065201,China
文摘With the development of cloud computing, virtualization technology has been widely used in our life. Meanwhile, it became one of the key targets for some attackers. The integrity measurement in virtual machine has become an urgent problem. Some of the existing virtualization platform integrity measurement mechanism introduces the trusted computing technology, according to a trusted chain that the Trusted Platform Module(TPM) established for trusted root to measure the integrity of process in static. But this single chain static measurement cannot ensure the dynamic credible in platform running. To solve the problem that the virtual trusted platform can not guarantee the dynamic credibility, this paper put forward Dynamic Integrity Measurement Model(DIMM) based on virtual Trusted Platform Module(v TPM) which had been implemented with typical virtual machine monitor Xen as an example. DIMM combined with virtual machine introspection and event capture technology to ensure the security of the entire user domain. Based on the framework, this paper put forward Self-modify dynamic measurement strategy which can effectively reduce the measurement frequency and improve the measurement performance. Finally, it is proved that the validity and feasibility of the proposed model with comparison experiments.
基金Project (Nos. 61273198, 91024015, 61074107, 60974073,60974074, and 71031007) supported by the National Natural Science Foundation of China
文摘Decision modeling is an essential part of the combat system effectiveness simulation (CoSES), which needs to cope with the cognitive quality, diversity, flexibility, and higher abstraction of decision making. In this paper, a multi-paradigm decision modeling framework is proposed to support decision modeling at three levels of abstraction based on domain-specific modeling (DSM). This framework designs a domain-specific modeling language (DSML) for decision modeling to raise the abstraction level of modeling, transforms the domain-specific models to formalism-based models to enable formal analysis and early verification and validation, and implements the semantics of the DSML based on a Python scripts framework which incorporates the decision model into the whole simulation system. The case study shows that the proposed approach incorporates domain expertise and facilitates domain modeler's participation in CoSES to formulate the problem using DSML in the problem domain, and enables formal analysis and automatic implementation of the decision model in the solution domain.
文摘Junction temperature of alternating current light-emitting-diode (AC-LED) has a significant effect on its stable light output and lifetime. The threshold voltage measurement is employed to characterize the junction temperature of AC-LED, due to its excellent merits in high efficiency and accuracy. The threshold voltage is measured when the driving current of an AC-LED rises to a reference on-set value from the zero-crossing node. Based on multiple measurements of threshold voltage at different temperatures, a linear relationship was uncovered between the threshold voltage and the junction temperature of AC- LED with the correlating factor of temperature sensitive parameter (TSP). Thereby, we can calculate the junction temperature with the TSP and threshold voltage once the AC-LED stays at thermal equilibrium state. The accuracy of the proposed junction temperature measurement technique was found to be +3.2℃ for the reference current of 1 mA. It is concluded that the method of threshold voltage is accurate and simple to implement, making it highly suitable for measuring the junction temperature of AC-LED in industry.