The structure and measurement theory of a single-axis integrated inertia measurement device are discussed in this paper.The acceleration and angle velocity can be detected by the proposed sensor at the same time.The k...The structure and measurement theory of a single-axis integrated inertia measurement device are discussed in this paper.The acceleration and angle velocity can be detected by the proposed sensor at the same time.The ki- netic model of the device is also established.In addition,the signal generation of the single-axis integrated inertia measurement device is analyzed and simulated.The results of the model are consistent with simulation result.展开更多
Objective: The integrated method was investigated to measure Vm/Km of mouse liver glutathione S-transferase (GST) activity on GSH and 7-Cl-4-nitrobenzofurazozan. Methods: Presetting concentration of one substrate twen...Objective: The integrated method was investigated to measure Vm/Km of mouse liver glutathione S-transferase (GST) activity on GSH and 7-Cl-4-nitrobenzofurazozan. Methods: Presetting concentration of one substrate twenty-fold above the others and taking maximum product absorbance Am as parameter while Km as constant, Vm/Km was obtained by nonlinear fitting of GST reaction curve to the integrated Michaelis-Menten equation ln [Am/(Am-Ai)]+Ai/(ε×Km)=(Vm/Km)×ti (1). Results: Vm/Km for GST showed slight dependence on initial substrate concentration and data range, but it was resistant to background absorbance, error in reaction origin and small deviation in presetting Km. Vm/Km was proportional to the amount of GST with upper limit higher than that by initial rate. There was close correlation between Vm/Km and initial rate of the same GST. Consistent results were obtained by this integrated method and classical initial rate method for the measurement of mouse liver GST. Conclusion: With the concentration of one substrate twenty-fold above the others, this integrated method was reliable to measure the activity of enzyme on two substrates, and substrate concentration of the lower one close to its apparent Km was able to be used.展开更多
A portable microcomputer-controlled inspection system has been developed for detection of magnetic properties of soft magnetic materials. It incorporates custom designed software for control of the magnetic field duri...A portable microcomputer-controlled inspection system has been developed for detection of magnetic properties of soft magnetic materials. It incorporates custom designed software for control of the magnetic field during operation such as demagnetization, field sweeping, and for data logging and analysis. Results are recorded using a 12-bit analog to digital converter and are then stored on disk. The magnetic hysteresis loop and Barkhausen noise data can be converted into important magnetic parameters: coecivity, remanence, and hysteresis loss, Barkhausen amplitude, and Barkhausen noise energy. This system incorporated with the magnetostriction, and magnetoacoustic emission, is then related with the nondestructive detection of material degradation.展开更多
In spite of the inherent difficulty, reproducing the exact structure of real flows is a critically important issue in many fields, such as weather forecasting or feedback flow control. In order to obtain information o...In spite of the inherent difficulty, reproducing the exact structure of real flows is a critically important issue in many fields, such as weather forecasting or feedback flow control. In order to obtain information on real flows, extensive studies have been carried out on methodology to integrate measurement and simulation, for example, the four-dimensional variational data assimilation method (4D-Var) or the state estimator such as the Kalman filter or the state observer. Measurement-integrated (MI) simulation is a state observer in which a computational fluid dynamics (CFD) scheme is used as a mathematical model of the physical system instead of a small dimensional linear dynamical system usually used in state observers. A large dimensional nonlinear CFD model makes it possible to accurately reproduce real flows for properly designed feedback signals. This review article surveys the theoretical formulations and applications of MI simulation. Formulations of MI simulation are presented, including governing equations of a flow field observer, those of a linearized error dynamics describing the convergence of the observer, and stabilization of the numerical scheme, which is important in implementation of MI simulation. Applications of MI simulation are presented ranging from fundamental turbulent flows in pipes and Karman vortices in a wind tunnel to clinical application in diagnosis of blood flows in a human body.展开更多
The purpose of this study was to clarify grid convergence property of three-dimensional measurement-integrated (3D-MI) simulation for a flow behind a square cylinder with Karman vortex street. Measurement-integrated (...The purpose of this study was to clarify grid convergence property of three-dimensional measurement-integrated (3D-MI) simulation for a flow behind a square cylinder with Karman vortex street. Measurement-integrated (MI) simulation is a kind of the observer in the dynamical system theory by using CFD scheme as a mathematical model of the system. In a former study, two-dimensional MI (2D-MI) simulation with a coarse grid system showed a fairly good result in comparison with a 2D ordinary (2D-O) simulation, but the results were degraded with grid refinement. In this study, 3D-MI simulation and three-dimensional ordinary (3D-O) simulation were performed with three grid systems of different grid resolutions, and their grid convergence properties were compared. As a result, all 3D-MI simulations reproduced the vortex shedding frequency identical to that of the experiment, and the flow fields obtained were very close, within 5% difference between the results, while the results of the 3D-O simulations showed variation of the solution under convergence. It is shown that the grid convergence property of 3D-MI simulation is monotonic and better than that of 3D-O simulation, whereas those of 2D-O and 2D-MI simulations for streamwise velocity fluctuation are divergent. The solution of 3D-MI simulation with a relatively coarse grid system properly reproduces the basic three-dimensional structure of the wake flow as well as the drag and lift coefficients.展开更多
Time delay and integration (TDI) charge coupled device (CCD) noise sets a fundamental limit on image sensor performance, especially under low illumination in remote sensing applications. After introducing the comp...Time delay and integration (TDI) charge coupled device (CCD) noise sets a fundamental limit on image sensor performance, especially under low illumination in remote sensing applications. After introducing the complete sources of CCD noise, we study the effects of TDI operation mode on noise, and the relationship between different types of noise and number of the TDI stage. Then we propose a new technique to identify and measure sources of TDI CCD noise employing mathematical statistics theory, where theoretical analysis shows that noise estimated formulation converges well. Finally, we establish a testing platform to carry out experiments, and a standard TDI CCD is calibrated by using the proposed method. The experimental results show that the noise analysis and measurement methods presented in this paper are useful for modeling TDI CCDs.展开更多
A boxcar integrator is described which is suitable for the low-repetition-rate signal processing. This boxcar integrator, named fixed-interval mode boxcar integrator, is able to reject harmonics other than the first h...A boxcar integrator is described which is suitable for the low-repetition-rate signal processing. This boxcar integrator, named fixed-interval mode boxcar integrator, is able to reject harmonics other than the first harmonic component. It can also decrease the effective time constant In many situations, the antialiasing filter with narrow bandwidth will cause distortion of the input signal. The fixed-interval mode boxcar integrator with suitable gate width can achieve relative high performance without signal distortion because the bandwidth of its antialiasing filter can be wider than that in the fixed-Point boxcar integrator. ms boxcar integrator is used as majn part of signalprocessing circult in the low resisance measurement of inductive load coil. The results of experiments show that the fixed-interval boxcar integrator is suitable for low-repetition-rate use.展开更多
In this paper, we focus on anticipated backward stochastic Volterra integral equations(ABSVIEs) with jumps. We solve the problem of the well-posedness of so-called M-solutions to this class of equation, and analytical...In this paper, we focus on anticipated backward stochastic Volterra integral equations(ABSVIEs) with jumps. We solve the problem of the well-posedness of so-called M-solutions to this class of equation, and analytically derive a comparison theorem for them and for the continuous equilibrium consumption process. These continuous equilibrium consumption processes can be described by the solutions to this class of ABSVIE with jumps.Motivated by this, a class of dynamic risk measures induced by ABSVIEs with jumps are discussed.展开更多
Integral diffraction coefficients of the crystal are the essential data of a crystal spectrometer which is extensively used to measure quantitative x-ray spectra of high temperature plasmas in kilo-electron-volt regio...Integral diffraction coefficients of the crystal are the essential data of a crystal spectrometer which is extensively used to measure quantitative x-ray spectra of high temperature plasmas in kilo-electron-volt region. An experimental method has been developed to measure the integral diffraction coefficients of crystals on beamline 4B7 of Beijing Synchrotron Radiation Facility. The integral diffraction coefficients of several crystals including polyethylene terephthalate (PET), thallium acid phthalate (T1AP) and rubidium acid phthalate (RAP) crystals have been measured in the x-ray energy range 2100-5600 eV and compared with the calculations of the 'Darwin Prins' and the 'Mosaic' models. It is shown that the integral diffraction coefficients of these crystals are between the calculations of the 'Darwin Prins' and the 'Mosaic' models, but more close to the 'Darwin Prins' model calculations.展开更多
To verify the effectiveness of the integrated importance measure (IIM) for multi-state coherent systems of k level, the definition and physical meaning of IIM are demonstrated. Then, the improvement potential and Δ...To verify the effectiveness of the integrated importance measure (IIM) for multi-state coherent systems of k level, the definition and physical meaning of IIM are demonstrated. Then, the improvement potential and Δ-importance measures are generalized to multi-state coherent systems based on the system performance level, and the relationships between IIM and traditional importance measures are discussed. The characteristics of IIM are demonstrated in both series and parallel systems. Also, an application to an oil transportation system is given. The comparison results show that: (i) IIM has some useful properties that are not possessed by traditional importance measures; (ii) IIM is effective in evaluating the component role in multi-state systems when the component reliability and the failure rate are simultaneously considered.展开更多
By using the precise integration method, the numerical solution of linear quadratic Gaussian (LQG) optimal control problem was discussed. Based on the separation principle, the LQG central problem decomposes, or separ...By using the precise integration method, the numerical solution of linear quadratic Gaussian (LQG) optimal control problem was discussed. Based on the separation principle, the LQG central problem decomposes, or separates, into an optimal state-feedback control problem and an optimal state estimation problem. That is the off-line solution of two sets of Riccati differential equations and the on-line integration solution of the state vector from a set of time-variant differential equations. The present algorithms are not only appropriate to solve the two-point boundary-value problem and the corresponding Riccati differential equation, but also can be used to solve the estimated state from the time-variant differential equations. The high precision of precise integration is of advantage for the control and estimation. Numerical examples demonstrate the high precision and effectiveness of the algorithm.展开更多
Trusted computing allows attesting remote system’s trustworthiness based on the software stack whose integrity has been measured. However, attacker can corrupt system as well as measurement operation. As a result, ne...Trusted computing allows attesting remote system’s trustworthiness based on the software stack whose integrity has been measured. However, attacker can corrupt system as well as measurement operation. As a result, nearly all integrity measurement mechanism suffers from the fact that what is measured may not be same as what is executed. To solve this problem, a novel integrity measurement called dynamic instruction trace measurement (DiT) is proposed. For DiT, processor’s instruction cache is modified to stores back instructions to memory. Consequently, it is designed as a assistance to existing integrity measurement by including dynamic instructions trace. We have simulated DiT in a full-fledged system emulator with level-1 cache modified. It can successfully update records at the moment the attestation is required. Overhead in terms of circuit area, power consumption, and access time, is less than 3% for most criterions. And system only introduces less than 2% performance overhead in average.展开更多
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.展开更多
Two limitations of current integrity measurement architectures are pointed out: (1) a reference value is required for every measured entity to verify the system states, as is impractical however; (2) malicious us...Two limitations of current integrity measurement architectures are pointed out: (1) a reference value is required for every measured entity to verify the system states, as is impractical however; (2) malicious user can forge proof of inexistent system states. This paper proposes a trustworthy integrity measurement architecture, BBACIMA, through enforcing behavior-based access control for trusted platform module (TPM). BBACIMA introduces a TPM reference monitor (TPMRM) to ensure the trustworthiness of integrity measurement. TPMRM enforces behavior-based access control for the TPM and is isolated from other entities which may be malicious. TPMRM is the only entity manipulating TPM directly and all PCR (platform configuration register) operation requests must pass through the security check of it so that only trusted processes can do measurement and produce the proof of system states. Through these mechanisms malicious user can not enforce attack which is feasible in current measurement architectures.展开更多
Research on human emotions has started to address psychological aspects of human nature and has advanced to the point of designing various models that represent them quantitatively and systematically. Based on the fin...Research on human emotions has started to address psychological aspects of human nature and has advanced to the point of designing various models that represent them quantitatively and systematically. Based on the findings, a method is suggested for emotional space formation and emotional inference that enhance the quality and maximize the reality of emotion-based personalized services. In consideration of the subjective tendencies of individuals, AHP was adopted for the quantitative evaluation of human emotions, based on which an emotional space remodeling method is suggested in reference to the emotional model of Thayer and Plutchik, which takes into account personal emotions. In addition, Sugeno fuzzy inference, fuzzy measures, and Choquet integral were adopted for emotional inference in the remodeled personalized emotional space model. Its performance was evaluated through an experiment. Fourteen cases were analyzed with 4.0 and higher evaluation value of emotions inferred, for the evaluation of emotional similarity, through the case studies of 17 kinds of emotional inference methods. Matching results per inference method in ten cases accounting for 71% are confirmed. It is also found that the remaining two cases are inferred as adjoining emotion in the same section. In this manner, the similarity of inference results is verified.展开更多
A fuzzy integral based way of measurement assessment has been established by using linguistic varia-bles and combining fuzzy integral with hierarchy analysis for measurement of medium and small enterprises'product...A fuzzy integral based way of measurement assessment has been established by using linguistic varia-bles and combining fuzzy integral with hierarchy analysis for measurement of medium and small enterprises'product innovation. The conclusions drawn from analyses made with 20 medium and small enterprises providebases for governments to formulate applicable policies and for medium and small enterprises to enhance theirproduct innovation.展开更多
The purpose of this study is to develop a Web-based on-machine mould identification and measurement system. The Web-based mould identification system matches obtained vision information with CAD database. Developed We...The purpose of this study is to develop a Web-based on-machine mould identification and measurement system. The Web-based mould identification system matches obtained vision information with CAD database. Developed Web-based system is to exchange messages between a server and a client by making of ActiveX control, and the result of mould identification is shown on Web-browser at remote site. For effective feature classification and extraction, the signature method is used to make meaningful information from obtained image data. For on-machine measurement of the matched mould, inspection database is constructed from CAD database using developed inspection planning methods. The results are simulated and analyzed using developed system to verify the effectiveness of the proposed methods.展开更多
We introduce a new integration with respect to a vector measure, which may be considered the generalization of a line integration with respect to coordinates in classical calculus, we disscuss its properties and inves...We introduce a new integration with respect to a vector measure, which may be considered the generalization of a line integration with respect to coordinates in classical calculus, we disscuss its properties and investigate the relationship between an integration with respect to a vector measure and one with respect to the variation of the vector measure, which is similar to the relationship between a line integration.with respect to coordinates and one with respect to arc length.展开更多
基金Supported by Shanxi Province Young Leaders on Science and by Program for New Century Excellent Talents in University(NCET)
文摘The structure and measurement theory of a single-axis integrated inertia measurement device are discussed in this paper.The acceleration and angle velocity can be detected by the proposed sensor at the same time.The ki- netic model of the device is also established.In addition,the signal generation of the single-axis integrated inertia measurement device is analyzed and simulated.The results of the model are consistent with simulation result.
基金National Natural Science Foundation of China (No.30200266)
文摘Objective: The integrated method was investigated to measure Vm/Km of mouse liver glutathione S-transferase (GST) activity on GSH and 7-Cl-4-nitrobenzofurazozan. Methods: Presetting concentration of one substrate twenty-fold above the others and taking maximum product absorbance Am as parameter while Km as constant, Vm/Km was obtained by nonlinear fitting of GST reaction curve to the integrated Michaelis-Menten equation ln [Am/(Am-Ai)]+Ai/(ε×Km)=(Vm/Km)×ti (1). Results: Vm/Km for GST showed slight dependence on initial substrate concentration and data range, but it was resistant to background absorbance, error in reaction origin and small deviation in presetting Km. Vm/Km was proportional to the amount of GST with upper limit higher than that by initial rate. There was close correlation between Vm/Km and initial rate of the same GST. Consistent results were obtained by this integrated method and classical initial rate method for the measurement of mouse liver GST. Conclusion: With the concentration of one substrate twenty-fold above the others, this integrated method was reliable to measure the activity of enzyme on two substrates, and substrate concentration of the lower one close to its apparent Km was able to be used.
基金Reactor Pressure Boundary Materials Project !under the Nuclear R & D Program by MOST in Korea.
文摘A portable microcomputer-controlled inspection system has been developed for detection of magnetic properties of soft magnetic materials. It incorporates custom designed software for control of the magnetic field during operation such as demagnetization, field sweeping, and for data logging and analysis. Results are recorded using a 12-bit analog to digital converter and are then stored on disk. The magnetic hysteresis loop and Barkhausen noise data can be converted into important magnetic parameters: coecivity, remanence, and hysteresis loss, Barkhausen amplitude, and Barkhausen noise energy. This system incorporated with the magnetostriction, and magnetoacoustic emission, is then related with the nondestructive detection of material degradation.
文摘In spite of the inherent difficulty, reproducing the exact structure of real flows is a critically important issue in many fields, such as weather forecasting or feedback flow control. In order to obtain information on real flows, extensive studies have been carried out on methodology to integrate measurement and simulation, for example, the four-dimensional variational data assimilation method (4D-Var) or the state estimator such as the Kalman filter or the state observer. Measurement-integrated (MI) simulation is a state observer in which a computational fluid dynamics (CFD) scheme is used as a mathematical model of the physical system instead of a small dimensional linear dynamical system usually used in state observers. A large dimensional nonlinear CFD model makes it possible to accurately reproduce real flows for properly designed feedback signals. This review article surveys the theoretical formulations and applications of MI simulation. Formulations of MI simulation are presented, including governing equations of a flow field observer, those of a linearized error dynamics describing the convergence of the observer, and stabilization of the numerical scheme, which is important in implementation of MI simulation. Applications of MI simulation are presented ranging from fundamental turbulent flows in pipes and Karman vortices in a wind tunnel to clinical application in diagnosis of blood flows in a human body.
文摘The purpose of this study was to clarify grid convergence property of three-dimensional measurement-integrated (3D-MI) simulation for a flow behind a square cylinder with Karman vortex street. Measurement-integrated (MI) simulation is a kind of the observer in the dynamical system theory by using CFD scheme as a mathematical model of the system. In a former study, two-dimensional MI (2D-MI) simulation with a coarse grid system showed a fairly good result in comparison with a 2D ordinary (2D-O) simulation, but the results were degraded with grid refinement. In this study, 3D-MI simulation and three-dimensional ordinary (3D-O) simulation were performed with three grid systems of different grid resolutions, and their grid convergence properties were compared. As a result, all 3D-MI simulations reproduced the vortex shedding frequency identical to that of the experiment, and the flow fields obtained were very close, within 5% difference between the results, while the results of the 3D-O simulations showed variation of the solution under convergence. It is shown that the grid convergence property of 3D-MI simulation is monotonic and better than that of 3D-O simulation, whereas those of 2D-O and 2D-MI simulations for streamwise velocity fluctuation are divergent. The solution of 3D-MI simulation with a relatively coarse grid system properly reproduces the basic three-dimensional structure of the wake flow as well as the drag and lift coefficients.
基金Project supported by the National High Technology Research and Development Program of China (Grant No. 2006AA06A208)
文摘Time delay and integration (TDI) charge coupled device (CCD) noise sets a fundamental limit on image sensor performance, especially under low illumination in remote sensing applications. After introducing the complete sources of CCD noise, we study the effects of TDI operation mode on noise, and the relationship between different types of noise and number of the TDI stage. Then we propose a new technique to identify and measure sources of TDI CCD noise employing mathematical statistics theory, where theoretical analysis shows that noise estimated formulation converges well. Finally, we establish a testing platform to carry out experiments, and a standard TDI CCD is calibrated by using the proposed method. The experimental results show that the noise analysis and measurement methods presented in this paper are useful for modeling TDI CCDs.
文摘A boxcar integrator is described which is suitable for the low-repetition-rate signal processing. This boxcar integrator, named fixed-interval mode boxcar integrator, is able to reject harmonics other than the first harmonic component. It can also decrease the effective time constant In many situations, the antialiasing filter with narrow bandwidth will cause distortion of the input signal. The fixed-interval mode boxcar integrator with suitable gate width can achieve relative high performance without signal distortion because the bandwidth of its antialiasing filter can be wider than that in the fixed-Point boxcar integrator. ms boxcar integrator is used as majn part of signalprocessing circult in the low resisance measurement of inductive load coil. The results of experiments show that the fixed-interval boxcar integrator is suitable for low-repetition-rate use.
基金supported by the National Natural Science Foundation of China (11901184, 11771343)the Natural Science Foundation of Hunan Province (2020JJ5025)。
文摘In this paper, we focus on anticipated backward stochastic Volterra integral equations(ABSVIEs) with jumps. We solve the problem of the well-posedness of so-called M-solutions to this class of equation, and analytically derive a comparison theorem for them and for the continuous equilibrium consumption process. These continuous equilibrium consumption processes can be described by the solutions to this class of ABSVIE with jumps.Motivated by this, a class of dynamic risk measures induced by ABSVIEs with jumps are discussed.
基金Project supported by the Foundation of National Key Laboratory of High Temperature and Density Plasma Physics(Grant No.9140C6804020704)the National Natural Science Foundation of China(Grant No.10874156)one of the authors,GanXin-Shi,was also partially supported by the School of Physical Science and Technology in Sichuan University,China
文摘Integral diffraction coefficients of the crystal are the essential data of a crystal spectrometer which is extensively used to measure quantitative x-ray spectra of high temperature plasmas in kilo-electron-volt region. An experimental method has been developed to measure the integral diffraction coefficients of crystals on beamline 4B7 of Beijing Synchrotron Radiation Facility. The integral diffraction coefficients of several crystals including polyethylene terephthalate (PET), thallium acid phthalate (T1AP) and rubidium acid phthalate (RAP) crystals have been measured in the x-ray energy range 2100-5600 eV and compared with the calculations of the 'Darwin Prins' and the 'Mosaic' models. It is shown that the integral diffraction coefficients of these crystals are between the calculations of the 'Darwin Prins' and the 'Mosaic' models, but more close to the 'Darwin Prins' model calculations.
基金supported by the National Natural Science Foundation of China (7110111671271170)+2 种基金the National Basic Research Program of China (973 Progrom) (2010CB328000)the National High Technology Research and Development Program of China (863 Progrom) (2012AA040914)the Basic Research Foundation of Northwestern Polytechnical University (JC20120228)
文摘To verify the effectiveness of the integrated importance measure (IIM) for multi-state coherent systems of k level, the definition and physical meaning of IIM are demonstrated. Then, the improvement potential and Δ-importance measures are generalized to multi-state coherent systems based on the system performance level, and the relationships between IIM and traditional importance measures are discussed. The characteristics of IIM are demonstrated in both series and parallel systems. Also, an application to an oil transportation system is given. The comparison results show that: (i) IIM has some useful properties that are not possessed by traditional importance measures; (ii) IIM is effective in evaluating the component role in multi-state systems when the component reliability and the failure rate are simultaneously considered.
文摘By using the precise integration method, the numerical solution of linear quadratic Gaussian (LQG) optimal control problem was discussed. Based on the separation principle, the LQG central problem decomposes, or separates, into an optimal state-feedback control problem and an optimal state estimation problem. That is the off-line solution of two sets of Riccati differential equations and the on-line integration solution of the state vector from a set of time-variant differential equations. The present algorithms are not only appropriate to solve the two-point boundary-value problem and the corresponding Riccati differential equation, but also can be used to solve the estimated state from the time-variant differential equations. The high precision of precise integration is of advantage for the control and estimation. Numerical examples demonstrate the high precision and effectiveness of the algorithm.
文摘Trusted computing allows attesting remote system’s trustworthiness based on the software stack whose integrity has been measured. However, attacker can corrupt system as well as measurement operation. As a result, nearly all integrity measurement mechanism suffers from the fact that what is measured may not be same as what is executed. To solve this problem, a novel integrity measurement called dynamic instruction trace measurement (DiT) is proposed. For DiT, processor’s instruction cache is modified to stores back instructions to memory. Consequently, it is designed as a assistance to existing integrity measurement by including dynamic instructions trace. We have simulated DiT in a full-fledged system emulator with level-1 cache modified. It can successfully update records at the moment the attestation is required. Overhead in terms of circuit area, power consumption, and access time, is less than 3% for most criterions. And system only introduces less than 2% performance overhead in average.
基金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.
基金the National High Technology Research and Development Plan of China (2007AA01Z412)the National Key Technology R&D Program of China (2006BAH02A02)the National Natural Science Foundation of China (60603017)
文摘Two limitations of current integrity measurement architectures are pointed out: (1) a reference value is required for every measured entity to verify the system states, as is impractical however; (2) malicious user can forge proof of inexistent system states. This paper proposes a trustworthy integrity measurement architecture, BBACIMA, through enforcing behavior-based access control for trusted platform module (TPM). BBACIMA introduces a TPM reference monitor (TPMRM) to ensure the trustworthiness of integrity measurement. TPMRM enforces behavior-based access control for the TPM and is isolated from other entities which may be malicious. TPMRM is the only entity manipulating TPM directly and all PCR (platform configuration register) operation requests must pass through the security check of it so that only trusted processes can do measurement and produce the proof of system states. Through these mechanisms malicious user can not enforce attack which is feasible in current measurement architectures.
基金Project(2012R1A1A2042625) supported by Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry of Education
文摘Research on human emotions has started to address psychological aspects of human nature and has advanced to the point of designing various models that represent them quantitatively and systematically. Based on the findings, a method is suggested for emotional space formation and emotional inference that enhance the quality and maximize the reality of emotion-based personalized services. In consideration of the subjective tendencies of individuals, AHP was adopted for the quantitative evaluation of human emotions, based on which an emotional space remodeling method is suggested in reference to the emotional model of Thayer and Plutchik, which takes into account personal emotions. In addition, Sugeno fuzzy inference, fuzzy measures, and Choquet integral were adopted for emotional inference in the remodeled personalized emotional space model. Its performance was evaluated through an experiment. Fourteen cases were analyzed with 4.0 and higher evaluation value of emotions inferred, for the evaluation of emotional similarity, through the case studies of 17 kinds of emotional inference methods. Matching results per inference method in ten cases accounting for 71% are confirmed. It is also found that the remaining two cases are inferred as adjoining emotion in the same section. In this manner, the similarity of inference results is verified.
基金Sponsored by the National Natural Science Foundation of China (Grant No. 70171039)Major Project of the National Natural Science Foundation of China (Grant No. 70131010 )Natural Science Foundation of Heilongjiang Province (Grant No. G01-09)
文摘A fuzzy integral based way of measurement assessment has been established by using linguistic varia-bles and combining fuzzy integral with hierarchy analysis for measurement of medium and small enterprises'product innovation. The conclusions drawn from analyses made with 20 medium and small enterprises providebases for governments to formulate applicable policies and for medium and small enterprises to enhance theirproduct innovation.
基金Project (No. KRF-2005-202-D00046) supported by the Korea Re-search Foundation
文摘The purpose of this study is to develop a Web-based on-machine mould identification and measurement system. The Web-based mould identification system matches obtained vision information with CAD database. Developed Web-based system is to exchange messages between a server and a client by making of ActiveX control, and the result of mould identification is shown on Web-browser at remote site. For effective feature classification and extraction, the signature method is used to make meaningful information from obtained image data. For on-machine measurement of the matched mould, inspection database is constructed from CAD database using developed inspection planning methods. The results are simulated and analyzed using developed system to verify the effectiveness of the proposed methods.
文摘We introduce a new integration with respect to a vector measure, which may be considered the generalization of a line integration with respect to coordinates in classical calculus, we disscuss its properties and investigate the relationship between an integration with respect to a vector measure and one with respect to the variation of the vector measure, which is similar to the relationship between a line integration.with respect to coordinates and one with respect to arc length.