Lampreys, as an important participant in the ecosystem, play an irreplaceable role in the stability of nature. A variety of models were used to simulate ecosystems and food webs, and the dynamic evolution of multiple ...Lampreys, as an important participant in the ecosystem, play an irreplaceable role in the stability of nature. A variety of models were used to simulate ecosystems and food webs, and the dynamic evolution of multiple populations was solved. The temporal changes of the biomass and the health of the ecosystem affected by the population of Lampreys in other ecological niches were solved. For problem 1, Firstly, a simple natural ecosystem is simulated based on the threshold model and BP neural network model. The dynamic change of the sex ratio of lampreys population and the fluctuation of ecosystem health value were found to generate time series maps. Lampreys overprey on low-niche animals, which damages the overall stability of the ecosystem. For problem 2, We used the Lotka-Volterra model to construct ecological competition between lampreys and primary consumers and predators. Then, the Lotka-Volterra equations were solved, and a control group without gender shift function was set up, which reflected the advantages and disadvantages of the sex-regulated characteristics of lampreys in the natural environment. For problem 3, The ecosystem model established in question 1 was further deepened, and the food web was simulated by the Beverton-Holt model and the Logistic time-dependent differential equations model. The parameters of the food web model were input into the neurons of the ecosystem model, and the two models were integrated to form an overall biosphere model. The output layer of the ecosystem neural network was input into the food web Beverton-Holt and Logistic differential equations, and finally, the three-dimensional analytical solution was obtained by numerical simulation. Then Euler method is used to obtain the exact value of the solution surface. The Random forest model was used to predict the future development of lampreys and other ecological niches. For problem 4, By investigating relevant literature, we normalized the populations of lampreys and a variety of fish as well as other ecological niche animals, plants and microorganisms in the same water area, set different impact weights of lampreys, constructed weight evaluation matrix, and obtained positive and negative ideal solution vectors and negative correlation proximity by using TOPSIS comprehensive evaluation method. It is concluded that many kinds of fish are greatly affected by the sex regulation of lampreys.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
For the rapidly developing unmanned aerial vehicle(UAV)swarm,the system-of-systems(SoS)oriented design is a prospective conceptual design methodology due to the competence for complex mission requirements and subsyste...For the rapidly developing unmanned aerial vehicle(UAV)swarm,the system-of-systems(SoS)oriented design is a prospective conceptual design methodology due to the competence for complex mission requirements and subsystems interactions.In the SoS oriented design,the subsystems performance trade-off is the basis of design decisions.In the trade-off for surveillance missions,most previous works do not consider track reporting and mainly focus on the design of platforms.An improved method for the subsystems performance trade-off in the SoS oriented UAV swarm design is proposed.Within an improved design framework with subsystems disaggregation,this method is characterized by treating platforms,sensors,and communications as equally important subsystems,integrating operational strategies into the trade-off,and enabling the trade-off for track reporting.Those advantages are achieved by a behavior-based modular model structure for agent-based operational modeling and simulation.In addition,a method of analyzing the bounds of the communication range is also presented.Simulation experiments are conducted by using precision-based simulation replication rules and surrogate modeling methods.The results demonstrate the effectiveness of the proposed method,and show that the configuration of area partitioning changes the trade space of subsystems performances,indicating the necessity of integrating operational strategies into the conceptual design.展开更多
Single-event effects(SEEs)induced by mediumenergy protons in a 28 nm system-on-chip(SoC)were investigated at the China Institute of Atomic Energy.An on-chip memory block was irradiated with 90 MeV and 70 MeV protons,r...Single-event effects(SEEs)induced by mediumenergy protons in a 28 nm system-on-chip(SoC)were investigated at the China Institute of Atomic Energy.An on-chip memory block was irradiated with 90 MeV and 70 MeV protons,respectively.Single-bit upset and multicell upset events were observed,and an uppermost number of nine upset cells were discovered in the 90 MeV proton irradiation test.The results indicate that the SEE sensitivities of the 28 nm SoC to the 90 MeV and 70 MeV protons were similar.Cosmic Ray Effects on Micro-Electronics Monte Carlo simulations were analyzed,and it demonstrates that protons can induce effects in a 28 nm SoC if their energies are greater than 1.4 MeV and that the lowest corresponding linear energy transfer was 0.142 MeV cm^2 mg^-1.The similarities and discrepancies of the SEEs induced by the 90 MeV and 70 MeV protons were analyzed.展开更多
To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation,...To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model's fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.展开更多
The historical records of mechanical fault contain great amount of important information which is useful to identify the similar fault.The current fault diagnosis methods using historical records are inefficient to de...The historical records of mechanical fault contain great amount of important information which is useful to identify the similar fault.The current fault diagnosis methods using historical records are inefficient to deal with intuitive application and multicomponent multiphase fault diagnosis.Towards the problem,the rapid and intelligent fault diagnosis method based on system-phenomenon-fault (SPF) tree is proposed.The method begins with the physical system of the fault system,conceives the fault causes as leaves,the fault causes as leaves and the frequentness of fault as the interrelationship,and finally forms the fault tree with structural relationship of administrative subordination and flexible multi-granularity components.Firstly,the forming method of SPF tree is discussed;Secondly some basic definitions as synonymous branch,the tough degree of the branch,the dominant leaf,and the virtual branch are defined;and then,the performances including the merger of the dominant branches keeping dominant,the merger of the synonymous branches keeping dominant were proved.Furthermore,the merging,optimizing and calculating of virtual branch of SPF tree are proposed,the self-learning mechanism including the procedure and the related parameter calculation is presented,and the fault searching method and main fault statistics calculation are also presented based on SPF tree.Finally,the method is applied in the fault diagnosis of the certain type of embedded terminal to demonstrate fault information searching in the condition of the synonymous branch,the virtual branch merging and visual presentation of search results.The application shows that the proposed method is effective to narrow down the scope of searching fault and reduce the difficulty of computing.The proposed method is a new way to resolve the intelligent fault diagnosis problem of complex systems by organizing the disordering fault records and providing intuitive expression and intelligent computing capabilities.展开更多
In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equat...In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.展开更多
Given the substantially increasing complexity of embedded systems, the use of relatively detailed clock cycle-accurate simulators for the design-space exploration is impractical in the early design stages. Raising the...Given the substantially increasing complexity of embedded systems, the use of relatively detailed clock cycle-accurate simulators for the design-space exploration is impractical in the early design stages. Raising the abstraction level is nowadays widely seen as a solution to bridge the gap between the increasing system complexity and the low design productivity. For this, several system-level design tools and methodologies have been introduced to efficiently explore the design space of heterogeneous signal processing systems. In this paper, we demonstrate the effectiveness and the flexibility of the Sesame/Artemis system-level modeling and simulation methodology for efficient peformance evaluation and rapid architectural exploration of the increasing complexity heterogeneous embedded media systems. For this purpose, we have selected a system level design of a very high complexity media application;a H.264/AVC (Advanced Video Codec) video encoder. The encoding performances will be evaluated using system-level simulations targeting multiple heterogeneous multiprocessors platforms.展开更多
---Double data rate synchronous dynamic random access memory (DDR3) has become one of the most mainstream applications in current server and computer systems. In order to quickly set up a system-level signal integri...---Double data rate synchronous dynamic random access memory (DDR3) has become one of the most mainstream applications in current server and computer systems. In order to quickly set up a system-level signal integrity (SI) simulation flow for the DDR3 interface, two system-level SI simulation methodologies, which are board-level S-parameter extraction in the frequency-domain and system-level simulation assumptions in the time domain, are introduced in this paper. By comparing the flow of Speed2000 and PowerSI/Hspice, PowerSI is chosen for the printed circuit board (PCB) board-level S-parameter extraction, while Tektronix oscilloscope (TDS7404) is used for the DDR3 waveform measurement. The lab measurement shows good agreement between simulation and measurement. The study shows that the combination of PowerSI and Hspice is recommended for quick system-level DDR3 SI simulation.展开更多
Increasing complexity of today’s software systems is one of the major challenges software engineers have to face. This is aggravated by the fact that formerly isolated systems have to be interconnected to more comple...Increasing complexity of today’s software systems is one of the major challenges software engineers have to face. This is aggravated by the fact that formerly isolated systems have to be interconnected to more complex systems, called System-of-Systems (SoS). Those systems are in charge to provide more functionality to the user than all of their independent sub-systems could do. Reducing the complexity of such systems is one goal of the software engineering paradigm called component-based software engineering (CBSE). CBSE enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment. Thus those components can be developed and implemented independently from other components. After the implementation a system integrator is able to interconnect the components to a SoS. Despite this much-used approach it is possible to show that constraints, which are valid in an isolated sub-system, are broken after this system is integrated into a SoS. To emphasize this issue we developed a technique based on interconnected timed automata for modelling sub-systems and System-of-Systems in the model checking tool UPPAAL. The presented modelling technique allows it to verify the correctness of single sub-systems as well as the resulting SoS. Additionally we developed a tool which abstracts the complicated timed automata to an easy to read component based language with the goal to help system integrators building and verifying complex SoS.展开更多
As the technology of IP-core-reused has been widely used, a lot of intellectual property (IP) cores have been embedded in different layers of system-on-chip (SOC). Although the cycles of development and overhead a...As the technology of IP-core-reused has been widely used, a lot of intellectual property (IP) cores have been embedded in different layers of system-on-chip (SOC). Although the cycles of development and overhead are reduced by this method, it is a challenge to the SOC test. This paper proposes a scheduling method based on the virtual flattened architecture for hierarchical SOC, which breaks the hierarchical architecture to the virtual flattened one. Moreover, this method has more advantages compared with the traditional one, which tests the parent cores and child cores separately. Finally, the method is verified by the ITC'02 benchmark, and gives good results that reduce the test time and overhead effectively.展开更多
In many previous temperature estimation schemes,the temperature of a sample is directly read out from the final steady state of a quantum probe,which i5 eoupled to the sample.However,in these studies,information of eo...In many previous temperature estimation schemes,the temperature of a sample is directly read out from the final steady state of a quantum probe,which i5 eoupled to the sample.However,in these studies,information of eorrelations between system(the probe) and reservoir(the sample) is usually eliminated,leading the steady state of the probe is a canonical equilibrium state with respect solely to system’s Hamiltonian.To explore the influence of system-reservoir correlations on the estimation precision,we investigate the equilibration dynamics of a spin interacting with a finite temperature bosonic reservoir.By incorporating an intermediate harmonic oscillator or a collective coordinate into the spin,the system-reservoir correlations can be correspondingly encoded in a Gibbs state of an effective Hamilton,which is size consistent with the original bare spin.Extracting information of temperature from this corrected steady state,we find the effect of the systemreservoir correlations on the estimation precision is highly sensitive to the details of the spectral density function of the measured reservoir.展开更多
Ultrasonic testing systems have been extensively used in medical imaging and non-destructive testing applications. Generally, these systems aim at a particular application or target material. To make these systems por...Ultrasonic testing systems have been extensively used in medical imaging and non-destructive testing applications. Generally, these systems aim at a particular application or target material. To make these systems portable and more adaptable to the test environments, this study presents a reconfigurable ultrasonic testing system (RUTS), which possesses dynamic reconfiguration capabilities. RUTS consists a fully programmable Analog Front-End (AFE), which facilitates beamforming and signal conditioning for variety of applications. RUTS AFE supports up to 8 transducers for phased-array implementation. Xilinx Zynq System-on-Chip (SoC) based Zedboard provides the back-end processing of RUTS. The powerful ARM embedded processor available within Zynq SoC manages the ultrasonic data acquisition/processing and overall system control, which makes RUTS a unique platform for the ultrasonic researchers to experiment and evaluate a wide range of real-time ultrasonic signal processing applications. This Linux-based system is utilized for ultra-sonic data compression implementation providing a versatile environment for further development of ultrasonic imaging and testing system. Furthermore, this study demonstrates the capabilities of RUTS by performing ultrasonic data acquisition and data compression in real-time. Thus, this reconfigurable system enables ultrasonic designers and researchers to efficiently prototype different experiments and to incorporate and analyze high performance ultrasonic signal and image processing algorithms.展开更多
When initializing cryptographic systems or running cryptographic protocols, the randomness of critical parameters, like keys or key components, is one of the most crucial aspects. But, randomly chosen parameters come ...When initializing cryptographic systems or running cryptographic protocols, the randomness of critical parameters, like keys or key components, is one of the most crucial aspects. But, randomly chosen parameters come with the intrinsic chance of duplicates, which finally may cause cryptographic systems including RSA, ElGamal and Zero-Knowledge proofs to become insecure. When concerning digital identifiers, we need uniqueness in order to correctly identify a specific action or object. Unfortunately we also need randomness here. Without randomness, actions become linkable to each other or to their initiator’s digital identity. So ideally the employed (cryptographic) parameters should fulfill two potentially conflicting requirements simultaneously: randomness and uniqueness. This article proposes an efficient mechanism to provide both attributes at the same time without highly constraining the first one and never violating the second one. After defining five requirements on random number generators and discussing related work, we will describe the core concept of the generation mechanism. Subsequently we will prove the postulated properties (security, randomness, uniqueness, efficiency and privacy protection) and present some application scenarios including system-wide unique parameters, cryptographic keys and components, identifiers and digital pseudonyms.展开更多
With the increasing demand for electricity,an efficiency improvement and thereby reduced CO2 emissions of the power plants are expected in order to reach the goals set in the Kyoto protocol.In comparison to convention...With the increasing demand for electricity,an efficiency improvement and thereby reduced CO2 emissions of the power plants are expected in order to reach the goals set in the Kyoto protocol.In comparison to conventional systems,the hybrid-systems with the use of synergetic effects offer the possibility to provide a substantial contribution to spare our natural resources and protect our environment.Combined Cycle Power Plants belongs innately hybrid system in the centralized energy market.They can provide large amounts of power and have a quick start-up time.The MGT/FC hybrid system is quite promising in the decentralized energy market.It is widely used in stand-alone applications.Furthermore,the combination of fossil and renewable power plant technologies contains a large synergy potential to increase the efficiency of processes for power plants.New materials,innovative cooling technology,new combustion concepts and optimized production methods are needed to make the potential of these new technologies accessible for a quantum leap in the efficiency.For this it needs considerable research work and good coordinated research projects between the state,industry,research laboratories and universities.展开更多
Petroleum was generated from sedimentary rocks. The world's oldest oil source rock so far was found in Proterozoic rocks. Since then, 73% to 81% of the earth's surface has been covered with sedimentary rocks. Howeve...Petroleum was generated from sedimentary rocks. The world's oldest oil source rock so far was found in Proterozoic rocks. Since then, 73% to 81% of the earth's surface has been covered with sedimentary rocks. However, only quite a limited area is rich in oil and gas. It is found that source rocks have controlled oil and gas distribution, and they are mainly formed in two systems: (1) river-lake systems and (2) river-gulf systems. Phytoplankton is an important source of kerogen, the blooming of which is strongly dependent on nutrients. Rivers are the major nutrient provider for basins. Rivers around lakes and an undercompensation (where the sedimentation rate is less than the rate of basin subsidence) environment provide favorable conditions for phytoplankton blooming in lakes. Gulfs are usually located at the estuary of big rivers, characterized by restricted current circulation and exchange with the open sea, which benefit maintaining the nutrient density, phytoplankton levels and organic matter preservation. The river-gulf system is the most favorable place for marine source rock development. Most of the world famous marine petroleum-rich provinces are developed from river-gulf systems in geological history, such as the Persian Gulf Basin, Siberian Basin, Caspian Basin, North Sea, Sirte Basin, Nigerian Basin, Kwanza Basin, Gulf of Mexico, Maracaibo Basin and the Eastern Venezuelan Basin.展开更多
This paper addresses the challenges of System-on-Chip designs using High-Level Synthesis (HLS). HLS tools convert algorithms designed in C into hardware modules. This approach is a practical choice for developing comp...This paper addresses the challenges of System-on-Chip designs using High-Level Synthesis (HLS). HLS tools convert algorithms designed in C into hardware modules. This approach is a practical choice for developing complex applications. Nevertheless, certain hardware considerations are required when writing C applications for HLS tools. Hence, in order to demonstrate the fundamental hardware design concepts, a case studyis presented. Fast Fourier Transform (FFT) implementation in ANSI C is examined in order to explore the important design issues such as concurrency, data recurrences and memory accesses that need to be resolved before generating the hardware using HLS tools. There are additional language constraints that need to be addressed including use of pointers, recursion and floating point types.展开更多
文摘Lampreys, as an important participant in the ecosystem, play an irreplaceable role in the stability of nature. A variety of models were used to simulate ecosystems and food webs, and the dynamic evolution of multiple populations was solved. The temporal changes of the biomass and the health of the ecosystem affected by the population of Lampreys in other ecological niches were solved. For problem 1, Firstly, a simple natural ecosystem is simulated based on the threshold model and BP neural network model. The dynamic change of the sex ratio of lampreys population and the fluctuation of ecosystem health value were found to generate time series maps. Lampreys overprey on low-niche animals, which damages the overall stability of the ecosystem. For problem 2, We used the Lotka-Volterra model to construct ecological competition between lampreys and primary consumers and predators. Then, the Lotka-Volterra equations were solved, and a control group without gender shift function was set up, which reflected the advantages and disadvantages of the sex-regulated characteristics of lampreys in the natural environment. For problem 3, The ecosystem model established in question 1 was further deepened, and the food web was simulated by the Beverton-Holt model and the Logistic time-dependent differential equations model. The parameters of the food web model were input into the neurons of the ecosystem model, and the two models were integrated to form an overall biosphere model. The output layer of the ecosystem neural network was input into the food web Beverton-Holt and Logistic differential equations, and finally, the three-dimensional analytical solution was obtained by numerical simulation. Then Euler method is used to obtain the exact value of the solution surface. The Random forest model was used to predict the future development of lampreys and other ecological niches. For problem 4, By investigating relevant literature, we normalized the populations of lampreys and a variety of fish as well as other ecological niche animals, plants and microorganisms in the same water area, set different impact weights of lampreys, constructed weight evaluation matrix, and obtained positive and negative ideal solution vectors and negative correlation proximity by using TOPSIS comprehensive evaluation method. It is concluded that many kinds of fish are greatly affected by the sex regulation of lampreys.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
基金supported by the National Natural Science Foundation of China(11872314)the National Key Research and Development Program of China(2017YFB1300102)
文摘For the rapidly developing unmanned aerial vehicle(UAV)swarm,the system-of-systems(SoS)oriented design is a prospective conceptual design methodology due to the competence for complex mission requirements and subsystems interactions.In the SoS oriented design,the subsystems performance trade-off is the basis of design decisions.In the trade-off for surveillance missions,most previous works do not consider track reporting and mainly focus on the design of platforms.An improved method for the subsystems performance trade-off in the SoS oriented UAV swarm design is proposed.Within an improved design framework with subsystems disaggregation,this method is characterized by treating platforms,sensors,and communications as equally important subsystems,integrating operational strategies into the trade-off,and enabling the trade-off for track reporting.Those advantages are achieved by a behavior-based modular model structure for agent-based operational modeling and simulation.In addition,a method of analyzing the bounds of the communication range is also presented.Simulation experiments are conducted by using precision-based simulation replication rules and surrogate modeling methods.The results demonstrate the effectiveness of the proposed method,and show that the configuration of area partitioning changes the trade space of subsystems performances,indicating the necessity of integrating operational strategies into the conceptual design.
基金supported by the National Natural Science Foundation of China(Grant Nos.11575138,11835006,11690040,and 11690043)
文摘Single-event effects(SEEs)induced by mediumenergy protons in a 28 nm system-on-chip(SoC)were investigated at the China Institute of Atomic Energy.An on-chip memory block was irradiated with 90 MeV and 70 MeV protons,respectively.Single-bit upset and multicell upset events were observed,and an uppermost number of nine upset cells were discovered in the 90 MeV proton irradiation test.The results indicate that the SEE sensitivities of the 28 nm SoC to the 90 MeV and 70 MeV protons were similar.Cosmic Ray Effects on Micro-Electronics Monte Carlo simulations were analyzed,and it demonstrates that protons can induce effects in a 28 nm SoC if their energies are greater than 1.4 MeV and that the lowest corresponding linear energy transfer was 0.142 MeV cm^2 mg^-1.The similarities and discrepancies of the SEEs induced by the 90 MeV and 70 MeV protons were analyzed.
文摘To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model's fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.
基金supported by National Hi-tech Research and Development Program of China (863 key Program,Grant No.2007AA040701)Chongqing Municipal Natural Science Foundation Project of China (Grant No. CSTC2010BB4295)+2 种基金Research Fund for the Doctoral Program of Higher Education of China (Grant No.20100191120004)Fundamental Research Funds for the Central Universities of China (Grant No. CDJXS11111136)Research Foundation of Chongqing University of Science and Technology,China(Grant No. CK2010Z10)
文摘The historical records of mechanical fault contain great amount of important information which is useful to identify the similar fault.The current fault diagnosis methods using historical records are inefficient to deal with intuitive application and multicomponent multiphase fault diagnosis.Towards the problem,the rapid and intelligent fault diagnosis method based on system-phenomenon-fault (SPF) tree is proposed.The method begins with the physical system of the fault system,conceives the fault causes as leaves,the fault causes as leaves and the frequentness of fault as the interrelationship,and finally forms the fault tree with structural relationship of administrative subordination and flexible multi-granularity components.Firstly,the forming method of SPF tree is discussed;Secondly some basic definitions as synonymous branch,the tough degree of the branch,the dominant leaf,and the virtual branch are defined;and then,the performances including the merger of the dominant branches keeping dominant,the merger of the synonymous branches keeping dominant were proved.Furthermore,the merging,optimizing and calculating of virtual branch of SPF tree are proposed,the self-learning mechanism including the procedure and the related parameter calculation is presented,and the fault searching method and main fault statistics calculation are also presented based on SPF tree.Finally,the method is applied in the fault diagnosis of the certain type of embedded terminal to demonstrate fault information searching in the condition of the synonymous branch,the virtual branch merging and visual presentation of search results.The application shows that the proposed method is effective to narrow down the scope of searching fault and reduce the difficulty of computing.The proposed method is a new way to resolve the intelligent fault diagnosis problem of complex systems by organizing the disordering fault records and providing intuitive expression and intelligent computing capabilities.
基金Project supported by the National Natural Science Foundation of China! (No.69973016).
文摘In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.
文摘Given the substantially increasing complexity of embedded systems, the use of relatively detailed clock cycle-accurate simulators for the design-space exploration is impractical in the early design stages. Raising the abstraction level is nowadays widely seen as a solution to bridge the gap between the increasing system complexity and the low design productivity. For this, several system-level design tools and methodologies have been introduced to efficiently explore the design space of heterogeneous signal processing systems. In this paper, we demonstrate the effectiveness and the flexibility of the Sesame/Artemis system-level modeling and simulation methodology for efficient peformance evaluation and rapid architectural exploration of the increasing complexity heterogeneous embedded media systems. For this purpose, we have selected a system level design of a very high complexity media application;a H.264/AVC (Advanced Video Codec) video encoder. The encoding performances will be evaluated using system-level simulations targeting multiple heterogeneous multiprocessors platforms.
基金supported by the National Natural Science Foundation of China under Grant No.61161001
文摘---Double data rate synchronous dynamic random access memory (DDR3) has become one of the most mainstream applications in current server and computer systems. In order to quickly set up a system-level signal integrity (SI) simulation flow for the DDR3 interface, two system-level SI simulation methodologies, which are board-level S-parameter extraction in the frequency-domain and system-level simulation assumptions in the time domain, are introduced in this paper. By comparing the flow of Speed2000 and PowerSI/Hspice, PowerSI is chosen for the printed circuit board (PCB) board-level S-parameter extraction, while Tektronix oscilloscope (TDS7404) is used for the DDR3 waveform measurement. The lab measurement shows good agreement between simulation and measurement. The study shows that the combination of PowerSI and Hspice is recommended for quick system-level DDR3 SI simulation.
文摘Increasing complexity of today’s software systems is one of the major challenges software engineers have to face. This is aggravated by the fact that formerly isolated systems have to be interconnected to more complex systems, called System-of-Systems (SoS). Those systems are in charge to provide more functionality to the user than all of their independent sub-systems could do. Reducing the complexity of such systems is one goal of the software engineering paradigm called component-based software engineering (CBSE). CBSE enables the developers to treat individual sub-systems as components which interact via interfaces with a simulated environment. Thus those components can be developed and implemented independently from other components. After the implementation a system integrator is able to interconnect the components to a SoS. Despite this much-used approach it is possible to show that constraints, which are valid in an isolated sub-system, are broken after this system is integrated into a SoS. To emphasize this issue we developed a technique based on interconnected timed automata for modelling sub-systems and System-of-Systems in the model checking tool UPPAAL. The presented modelling technique allows it to verify the correctness of single sub-systems as well as the resulting SoS. Additionally we developed a tool which abstracts the complicated timed automata to an easy to read component based language with the goal to help system integrators building and verifying complex SoS.
基金Project supported by the Applied Materials Foundation Project of Science and Technology Commission of Shanghai Mu-nicipality (Grant No.08700741000)the System Design on Chip Project of Science and Technology Commission of Shanghai Municipality (Grant No.08706201000)+1 种基金the Leading Academic Discipline Project of Shanghai Municipal Education Committee(Grant No.J50104)the Innovation Foundation Project of Shanghai University
文摘As the technology of IP-core-reused has been widely used, a lot of intellectual property (IP) cores have been embedded in different layers of system-on-chip (SOC). Although the cycles of development and overhead are reduced by this method, it is a challenge to the SOC test. This paper proposes a scheduling method based on the virtual flattened architecture for hierarchical SOC, which breaks the hierarchical architecture to the virtual flattened one. Moreover, this method has more advantages compared with the traditional one, which tests the parent cores and child cores separately. Finally, the method is verified by the ITC'02 benchmark, and gives good results that reduce the test time and overhead effectively.
基金Project supported by the National Natural Science Foundation of China(Grants Nos.11704025,11674139,and 11834005).
文摘In many previous temperature estimation schemes,the temperature of a sample is directly read out from the final steady state of a quantum probe,which i5 eoupled to the sample.However,in these studies,information of eorrelations between system(the probe) and reservoir(the sample) is usually eliminated,leading the steady state of the probe is a canonical equilibrium state with respect solely to system’s Hamiltonian.To explore the influence of system-reservoir correlations on the estimation precision,we investigate the equilibration dynamics of a spin interacting with a finite temperature bosonic reservoir.By incorporating an intermediate harmonic oscillator or a collective coordinate into the spin,the system-reservoir correlations can be correspondingly encoded in a Gibbs state of an effective Hamilton,which is size consistent with the original bare spin.Extracting information of temperature from this corrected steady state,we find the effect of the systemreservoir correlations on the estimation precision is highly sensitive to the details of the spectral density function of the measured reservoir.
文摘Ultrasonic testing systems have been extensively used in medical imaging and non-destructive testing applications. Generally, these systems aim at a particular application or target material. To make these systems portable and more adaptable to the test environments, this study presents a reconfigurable ultrasonic testing system (RUTS), which possesses dynamic reconfiguration capabilities. RUTS consists a fully programmable Analog Front-End (AFE), which facilitates beamforming and signal conditioning for variety of applications. RUTS AFE supports up to 8 transducers for phased-array implementation. Xilinx Zynq System-on-Chip (SoC) based Zedboard provides the back-end processing of RUTS. The powerful ARM embedded processor available within Zynq SoC manages the ultrasonic data acquisition/processing and overall system control, which makes RUTS a unique platform for the ultrasonic researchers to experiment and evaluate a wide range of real-time ultrasonic signal processing applications. This Linux-based system is utilized for ultra-sonic data compression implementation providing a versatile environment for further development of ultrasonic imaging and testing system. Furthermore, this study demonstrates the capabilities of RUTS by performing ultrasonic data acquisition and data compression in real-time. Thus, this reconfigurable system enables ultrasonic designers and researchers to efficiently prototype different experiments and to incorporate and analyze high performance ultrasonic signal and image processing algorithms.
文摘When initializing cryptographic systems or running cryptographic protocols, the randomness of critical parameters, like keys or key components, is one of the most crucial aspects. But, randomly chosen parameters come with the intrinsic chance of duplicates, which finally may cause cryptographic systems including RSA, ElGamal and Zero-Knowledge proofs to become insecure. When concerning digital identifiers, we need uniqueness in order to correctly identify a specific action or object. Unfortunately we also need randomness here. Without randomness, actions become linkable to each other or to their initiator’s digital identity. So ideally the employed (cryptographic) parameters should fulfill two potentially conflicting requirements simultaneously: randomness and uniqueness. This article proposes an efficient mechanism to provide both attributes at the same time without highly constraining the first one and never violating the second one. After defining five requirements on random number generators and discussing related work, we will describe the core concept of the generation mechanism. Subsequently we will prove the postulated properties (security, randomness, uniqueness, efficiency and privacy protection) and present some application scenarios including system-wide unique parameters, cryptographic keys and components, identifiers and digital pseudonyms.
文摘With the increasing demand for electricity,an efficiency improvement and thereby reduced CO2 emissions of the power plants are expected in order to reach the goals set in the Kyoto protocol.In comparison to conventional systems,the hybrid-systems with the use of synergetic effects offer the possibility to provide a substantial contribution to spare our natural resources and protect our environment.Combined Cycle Power Plants belongs innately hybrid system in the centralized energy market.They can provide large amounts of power and have a quick start-up time.The MGT/FC hybrid system is quite promising in the decentralized energy market.It is widely used in stand-alone applications.Furthermore,the combination of fossil and renewable power plant technologies contains a large synergy potential to increase the efficiency of processes for power plants.New materials,innovative cooling technology,new combustion concepts and optimized production methods are needed to make the potential of these new technologies accessible for a quantum leap in the efficiency.For this it needs considerable research work and good coordinated research projects between the state,industry,research laboratories and universities.
文摘Petroleum was generated from sedimentary rocks. The world's oldest oil source rock so far was found in Proterozoic rocks. Since then, 73% to 81% of the earth's surface has been covered with sedimentary rocks. However, only quite a limited area is rich in oil and gas. It is found that source rocks have controlled oil and gas distribution, and they are mainly formed in two systems: (1) river-lake systems and (2) river-gulf systems. Phytoplankton is an important source of kerogen, the blooming of which is strongly dependent on nutrients. Rivers are the major nutrient provider for basins. Rivers around lakes and an undercompensation (where the sedimentation rate is less than the rate of basin subsidence) environment provide favorable conditions for phytoplankton blooming in lakes. Gulfs are usually located at the estuary of big rivers, characterized by restricted current circulation and exchange with the open sea, which benefit maintaining the nutrient density, phytoplankton levels and organic matter preservation. The river-gulf system is the most favorable place for marine source rock development. Most of the world famous marine petroleum-rich provinces are developed from river-gulf systems in geological history, such as the Persian Gulf Basin, Siberian Basin, Caspian Basin, North Sea, Sirte Basin, Nigerian Basin, Kwanza Basin, Gulf of Mexico, Maracaibo Basin and the Eastern Venezuelan Basin.
文摘This paper addresses the challenges of System-on-Chip designs using High-Level Synthesis (HLS). HLS tools convert algorithms designed in C into hardware modules. This approach is a practical choice for developing complex applications. Nevertheless, certain hardware considerations are required when writing C applications for HLS tools. Hence, in order to demonstrate the fundamental hardware design concepts, a case studyis presented. Fast Fourier Transform (FFT) implementation in ANSI C is examined in order to explore the important design issues such as concurrency, data recurrences and memory accesses that need to be resolved before generating the hardware using HLS tools. There are additional language constraints that need to be addressed including use of pointers, recursion and floating point types.