A novel mesa ultra-thin base AlGaAs/GaAs HBT is designed and fabricated with wet chemical selective etch technique and monitor electrode technique. It has a particular and obvious voltage-controlled NDR whose PVCR is ...A novel mesa ultra-thin base AlGaAs/GaAs HBT is designed and fabricated with wet chemical selective etch technique and monitor electrode technique. It has a particular and obvious voltage-controlled NDR whose PVCR is larger than 120. By use of device simulation,the cause of NDR is that increasing collector voltage makes the ultrathin base reach through and the device transforms from a bipolar state to a bulk barrier state. In addition, the simulated cutoff frequency is about 60-80GHz.展开更多
In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata...In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.展开更多
The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital si...The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital signal processing tasks are described. According the functional unit model and control model, a software/hardware integrating model with dataflow control infrastructure is constructed. The software/hardware partition is carded out in the experiments of ultrasonic signal processing, and the results show that the system model is practicable.展开更多
By combining the practices of deep mine mining in Changguang Mine field and using the Universal Distinct Element Code 3 0(UDEC3 0) numerical computing method, the distribution characteristics of deformation field and ...By combining the practices of deep mine mining in Changguang Mine field and using the Universal Distinct Element Code 3 0(UDEC3 0) numerical computing method, the distribution characteristics of deformation field and stress field as well as the surrounding rock deformation regularity of soft rock roadway are analyzed under extremely complicated geological conditions, a technical principle of bolting to control the surrounding rock of roadway is put forward. And also using a dynamic control for surrounding rocks designing method, the supporting parameters and implement plan are rationally determined. The experimental tests have obtained a good controlling result of surrounding rock.展开更多
The simple dynamic model is often adopted to deal with control questions in research on semi-active suspension. The model has more theoretic meanings than authentic ones because of difference between practical and phy...The simple dynamic model is often adopted to deal with control questions in research on semi-active suspension. The model has more theoretic meanings than authentic ones because of difference between practical and physical models. The virtual prototype has remarkable advantages in its application simulation processes. It is not only faster and more veracious, but also of better visualization of the simulation results.展开更多
On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based ...On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.展开更多
This study proposes a real time 3D virtual model controll and a virtual dressing room application to enable users to try virtual garments and shoes on in front of a virtual mirror. A virtual representation of the user...This study proposes a real time 3D virtual model controll and a virtual dressing room application to enable users to try virtual garments and shoes on in front of a virtual mirror. A virtual representation of the user appears in a virtual changing room and the user＇s hand motions select the clothes from a list on the screen. Afterwards, the selected virtual clothes appear on a humanoid model in the virtual mirror. For the purpose of aligning the 3D garments and shoes with the model, 3D locations of the joints are used for positioning, scaling and rotating. By using our developed algorithm, small, medium, large or xlarge garment size is selected automatically and this information is shown on the screen. Then, we apply skin color detection to handle the unwanted occlusions between the user and the model. To create a more realistic effect, the system takes into account different images of the clothes according to different human poses and movements. Optional mirror selection buttons make it possible to have multiple viewing angles on the model. Additionally, we developed an algorithm for matching up all motions between the model and garments. In this study, we benefit from the Microsoft Kinect SDK （software development kit） in order to follow the user＇s movements, coordinate the suitable clothe try-ons and provide depth sort effect to the human body and clothes. In order to use the rapid calculation attributes of game engines, we used unity 3D game engine.展开更多
In the framework of the STATIMON project, the complex research was done in which mathematical models of buildings＇ construction were created, defects identification method developed and also monitoring concept was co...In the framework of the STATIMON project, the complex research was done in which mathematical models of buildings＇ construction were created, defects identification method developed and also monitoring concept was composed according which automated monitoring system and software prototypes and structures were implemented. The strategic aim of the development of buildings＇ monitoring system was realized by mathematical and physical modelling of the faults （defects）; analysis of characteristics sensitive to defects; selection of stability parameters and measurements; creation of automated system prototype; investigation of the methods applied for the monitoring system and diagnostics; development of software and separate elements of the system and approbation of the whole complex. Thorough evaluation of the technical state of the buildings numerical is executed using physical models and natural objects which support reliable state identification of the building and also helps to track changes.展开更多
The paper analyze and design and implement a remote control system based on network. A computer network remote control system mainly includes server, client and the control information. Server registration information...The paper analyze and design and implement a remote control system based on network. A computer network remote control system mainly includes server, client and the control information. Server registration information realize the user command; client provides network hardware, software and other system resources, the system response message and then feedback service instruction; control information transmission layer implementation using TCPflP protocol to control information including control of resources and control commands etc.. This paper adopts centralized network control system model, the structure of the network system realize unified observation, control, coordination, and control of high efficiency. The use of key technologies, such as Socket and COM to realize the goal of computer hardware resource control, software resource management and other functions.展开更多
In the one-gravity environment on the ground, the simulation of the contact process of two flying objects in the zero-gravity environment of space has been a challenging issue since humans first explored space by flyi...In the one-gravity environment on the ground, the simulation of the contact process of two flying objects in the zero-gravity environment of space has been a challenging issue since humans first explored space by flying objects. Hardware-in-the-loop （HIL） simulation is an important and effective method to test the usability, reliability, and safety of real docking mechanisms in space. There are four main issues for HIL simulation systems： Design of simulators capable of high frequency response, high motion precision, high velocity, and rapid acceleration; compensation for simulation distortion; design of a control model for the HIL simulation process; and experimental verification. Here, we propose a novel HIL simulator system with a 6-DOF 3-3 perpendicular parallel mechanism and a 3-DOF 3-PRS parallel mechanism; discover the principle of simulation distortion; present distortion compensation models for the force measurement system, dynamic response, and structural dynamics of the simulator; and provide a control model for the HIL simulation process. Two kinds of experiments were performed on the pas- sive-undamped elastic rod and the docking mechanisms to test their performances and to verify the effectiveness and usability of the HIL simulator. The HIL simulation system proposed in this paper is useful for developing space docking, berthing, refu- eling, repairing, upgrading, transporting, and rescuing technologies.展开更多
A component-based model integration framework for computer numerical control system design and development is presented.The model integrates modeling,simulation,verification and implementation in a uniform environment...A component-based model integration framework for computer numerical control system design and development is presented.The model integrates modeling,simulation,verification and implementation in a uniform environment.The computer numerical control(CNC) modeling language with well defined syntax and unambiguous semantics is developed.Using the proposed CNC model integration method,a three axis milling system model is developed in the case study.The approach is an attempt to create an infrastructure to support the CNC system design in an efficient way,while at the same time guarantees the function and performance requirements with advanced capability of the system such as modularity,flexibility,reusability,etc.展开更多
文摘A novel mesa ultra-thin base AlGaAs/GaAs HBT is designed and fabricated with wet chemical selective etch technique and monitor electrode technique. It has a particular and obvious voltage-controlled NDR whose PVCR is larger than 120. By use of device simulation,the cause of NDR is that increasing collector voltage makes the ultrathin base reach through and the device transforms from a bipolar state to a bulk barrier state. In addition, the simulated cutoff frequency is about 60-80GHz.
文摘In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.
基金supported by the Research Project of “SUST Spring Bud”under contract number 2008BW2046 fron Shandong University of Science and Technology,China
文摘The system model of embedded reconfigurable system is discussed firstly, followed by the construction of the soft- ware and hardware platform. Based on the platform, the function trait and control models of digital signal processing tasks are described. According the functional unit model and control model, a software/hardware integrating model with dataflow control infrastructure is constructed. The software/hardware partition is carded out in the experiments of ultrasonic signal processing, and the results show that the system model is practicable.
文摘By combining the practices of deep mine mining in Changguang Mine field and using the Universal Distinct Element Code 3 0(UDEC3 0) numerical computing method, the distribution characteristics of deformation field and stress field as well as the surrounding rock deformation regularity of soft rock roadway are analyzed under extremely complicated geological conditions, a technical principle of bolting to control the surrounding rock of roadway is put forward. And also using a dynamic control for surrounding rocks designing method, the supporting parameters and implement plan are rationally determined. The experimental tests have obtained a good controlling result of surrounding rock.
文摘The simple dynamic model is often adopted to deal with control questions in research on semi-active suspension. The model has more theoretic meanings than authentic ones because of difference between practical and physical models. The virtual prototype has remarkable advantages in its application simulation processes. It is not only faster and more veracious, but also of better visualization of the simulation results.
文摘On the basis of software testing tools we developed for programming languages, we firstly present a new control flowgraph model based on block. In view of the notion of block, we extend the traditional program\|based software test data adequacy measurement criteria, and empirically analyze the subsume relation between these measurement criteria. Then, we define four test complexity metrics based on block. They are J\|complexity 0; J\|complexity 1; J\|complexity \{1+\}; J\|complexity 2. Finally, we show the Kiviat diagram that makes software quality visible.
文摘This study proposes a real time 3D virtual model controll and a virtual dressing room application to enable users to try virtual garments and shoes on in front of a virtual mirror. A virtual representation of the user appears in a virtual changing room and the user＇s hand motions select the clothes from a list on the screen. Afterwards, the selected virtual clothes appear on a humanoid model in the virtual mirror. For the purpose of aligning the 3D garments and shoes with the model, 3D locations of the joints are used for positioning, scaling and rotating. By using our developed algorithm, small, medium, large or xlarge garment size is selected automatically and this information is shown on the screen. Then, we apply skin color detection to handle the unwanted occlusions between the user and the model. To create a more realistic effect, the system takes into account different images of the clothes according to different human poses and movements. Optional mirror selection buttons make it possible to have multiple viewing angles on the model. Additionally, we developed an algorithm for matching up all motions between the model and garments. In this study, we benefit from the Microsoft Kinect SDK （software development kit） in order to follow the user＇s movements, coordinate the suitable clothe try-ons and provide depth sort effect to the human body and clothes. In order to use the rapid calculation attributes of game engines, we used unity 3D game engine.
文摘In the framework of the STATIMON project, the complex research was done in which mathematical models of buildings＇ construction were created, defects identification method developed and also monitoring concept was composed according which automated monitoring system and software prototypes and structures were implemented. The strategic aim of the development of buildings＇ monitoring system was realized by mathematical and physical modelling of the faults （defects）; analysis of characteristics sensitive to defects; selection of stability parameters and measurements; creation of automated system prototype; investigation of the methods applied for the monitoring system and diagnostics; development of software and separate elements of the system and approbation of the whole complex. Thorough evaluation of the technical state of the buildings numerical is executed using physical models and natural objects which support reliable state identification of the building and also helps to track changes.
文摘The paper analyze and design and implement a remote control system based on network. A computer network remote control system mainly includes server, client and the control information. Server registration information realize the user command; client provides network hardware, software and other system resources, the system response message and then feedback service instruction; control information transmission layer implementation using TCPflP protocol to control information including control of resources and control commands etc.. This paper adopts centralized network control system model, the structure of the network system realize unified observation, control, coordination, and control of high efficiency. The use of key technologies, such as Socket and COM to realize the goal of computer hardware resource control, software resource management and other functions.
基金supported by the National Basic Research Program of China(“973”Project)(Grant No.2013CB035501)the National Natural Science Foundation of China(Grant Nos.51335007&61473187)
文摘In the one-gravity environment on the ground, the simulation of the contact process of two flying objects in the zero-gravity environment of space has been a challenging issue since humans first explored space by flying objects. Hardware-in-the-loop （HIL） simulation is an important and effective method to test the usability, reliability, and safety of real docking mechanisms in space. There are four main issues for HIL simulation systems： Design of simulators capable of high frequency response, high motion precision, high velocity, and rapid acceleration; compensation for simulation distortion; design of a control model for the HIL simulation process; and experimental verification. Here, we propose a novel HIL simulator system with a 6-DOF 3-3 perpendicular parallel mechanism and a 3-DOF 3-PRS parallel mechanism; discover the principle of simulation distortion; present distortion compensation models for the force measurement system, dynamic response, and structural dynamics of the simulator; and provide a control model for the HIL simulation process. Two kinds of experiments were performed on the pas- sive-undamped elastic rod and the docking mechanisms to test their performances and to verify the effectiveness and usability of the HIL simulator. The HIL simulation system proposed in this paper is useful for developing space docking, berthing, refu- eling, repairing, upgrading, transporting, and rescuing technologies.
基金the National Natural Science Foundation of China (Nos. 50575075 and 50875090)
文摘A component-based model integration framework for computer numerical control system design and development is presented.The model integrates modeling,simulation,verification and implementation in a uniform environment.The computer numerical control(CNC) modeling language with well defined syntax and unambiguous semantics is developed.Using the proposed CNC model integration method,a three axis milling system model is developed in the case study.The approach is an attempt to create an infrastructure to support the CNC system design in an efficient way,while at the same time guarantees the function and performance requirements with advanced capability of the system such as modularity,flexibility,reusability,etc.
