The paper describes a total support system for the state diagrams in the problem frames. The system provides graphical editors for problem diagrams, domain state diagrams and requirement state diagram, all of which ar...
详细信息
The paper describes a total support system for the state diagrams in the problem frames. The system provides graphical editors for problem diagrams, domain state diagrams and requirement state diagram, all of which are related together. By analyzing these diagrams, the system automatically generates the machine specification described in the state transition description. In the system, event names defined in the problem diagram are used in the related domain state diagrams and domain state names defined in the domain state diagrams are used in the requirement state diagram to describe the required domain behavior. This significantly reduces the effort to draw new diagrams. Also, by checking the consistency among these diagrams, the system reports the requirement errors, including the leakage of requirements.
Model of wind turbine system contains lots of different components and most of them have reaction to each other. This character makes the software model describing of wind turbine system become difficult. There is als...
详细信息
ISBN:
(纸本)9781424462537
Model of wind turbine system contains lots of different components and most of them have reaction to each other. This character makes the software model describing of wind turbine system become difficult. There is also another problem is that even if we modeling this system in software, its stiff system character made the real-time simulation become difficult. This paper proposes a kind of half-physical simulating method, which utilizing software model and hardware equal model together to simulate wind turbine. This method makes the modeling of this system become easier and can also achieve real-time simulation. To validate the half-physical simulation method, this paper designs a half-physical wind turbine simulation platform based on dSPACE. The experiment result shows that the half-physical platform can simulate the wind turbine in real-time successfully.
This paper proposes a new approach called DREX (Developer Recommendation with k-nearest-neighbor search and Expertise ranking) to developer recommendation for bug resolution based on K-Nearest-Neighbor search with bug...
详细信息
This paper proposes a new approach called DREX (Developer Recommendation with k-nearest-neighbor search and Expertise ranking) to developer recommendation for bug resolution based on K-Nearest-Neighbor search with bug similarity and expertise ranking with various metrics, including simple frequency and social network metrics. We collect Mozilla Fire fox open bug repository as the experimental data set and compare different ranking metrics on the performance of recommending capable developers for bugs. Our experimental results demonstrate that, when recommending 10 developers for each one of the 250 testing bugs, DREX has produced better performance than traditional methods with multi-labeled text categorization. The best performance obtained by two metrics as Out-Degree and Frequency, is with recall as 0.6 on average. Moreover, other social network metrics such as Degree and Page Rank have produced comparable performance on developer recommendation as Frequency when used for developer expertise ranking.
We chalk out a procedure for automatically analyzing BPM processes modeled using an in-house Infosys requirements modeling tool, called InFlux. By this analysis, we are able to check the processes for syntactical erro...
详细信息
We chalk out a procedure for automatically analyzing BPM processes modeled using an in-house Infosys requirements modeling tool, called InFlux. By this analysis, we are able to check the processes for syntactical errors as well as errors due lack of soundness. In the first step of the analysis these processes are checked for syntactical errors using simple graph-search techniques. If these processes do not contain any such error, they are subjected to soundness analysis ( i.e., checking for absence of deadlock and lack of synchronization) using two different approaches with the business process verification tool Woflan and the Petri net model checker LoLA. Depending on the existence of a cycle the models are either fed into Woflan or LoLA. We report our experience with the occurrence of errors in InFlux processes.
Pedestrian traffic system is a stochastic dynamic system with uncertainty cluster density, non-linear and the interaction among the individuals. Now computer dynamic simulation is one of the effective methods to study...
详细信息
Pedestrian traffic system is a stochastic dynamic system with uncertainty cluster density, non-linear and the interaction among the individuals. Now computer dynamic simulation is one of the effective methods to study the mechanical characteristics of pedestrian flow in the public buildings. Aimed at the problems that under the same scene different software tools used in pedestrian simulation may lead to different results, the paper analyses the differences of the simulation software models in performance. Furthermore, it explains the reasons of the errors with discrete space resulting to the simulation. With comparing experimental data and simulation results of the travel time in the passageway of metro station, it shown that the performance of pedestrian traffic simulation is closely related to the building environment. The case results showed that the fidelity that multi-agent simulation model of continuous vector space for reproducing pedestrian behaviors in complex passageway can reach up to 87%.
This paper presents the dynamic characteristics of the fuel injection system in gasoline engine. Through AMESim software, it analyzes the pressure pulsations due to the excitation by the injector opening and closing w...
详细信息
ISBN:
(纸本)9781424462537
This paper presents the dynamic characteristics of the fuel injection system in gasoline engine. Through AMESim software, it analyzes the pressure pulsations due to the excitation by the injector opening and closing with regular interval. The simulation model is validated by experiments. Then it compares the pressure pulsations of the system with and without damper. The results show that damper can attenuate the pulsation effectively. Based on this, the feature parameters of the damper are simulated with respect to its effect on attenuation. Proper parameters selection can result in better pressure pulsation control.
In this paper a new method has been proposed to decide optimal placement and best sizing of static synchronous compensator (STATCOM). Seeking the best place is performed using the sensitivity analysis and sizing of ST...
详细信息
ISBN:
(纸本)9781424462537
In this paper a new method has been proposed to decide optimal placement and best sizing of static synchronous compensator (STATCOM). Seeking the best place is performed using the sensitivity analysis and sizing of STATCOM is managed using the genetic algorithm. The average model can account for the high-frequency effects and power electronic losses, and more accurately predict the active and reactive power outputs of the STATCOM. This paper employs the DIgSILENT simulator and the DPL as a programming tool of the DIgSILENT to show the validity of the proposed method. The effectiveness of suggested approach has been tested on part of the distribution network of Iran, Khoramdarreh city in Zanjan province.
As the fault of key components for shield machine caused great economic loss and harmful social effect, An on-line condition monitoring and fault diagnosis system was designed for large-scale engineering machine(shiel...
详细信息
As the fault of key components for shield machine caused great economic loss and harmful social effect, An on-line condition monitoring and fault diagnosis system was designed for large-scale engineering machine(shield machine). At first the paper described the object to build remote monitoring center, and then introduced in detail monitoring equipment by machine loaded which consisted of four parts, that was data acquisition & transmission, interface & driver program, database and human-computer interaction. Furthermore, enveloping technology for bearing vibration was described and simulated by Labview software based on experiment data. At last this paper described the construction principle of fault tree(FT).
To optimize the solar energy efficiency, maximum power point tracking (MPPT) algorithm is usually used in solar photovoltaic (SPV) systems. In this paper, a new MPPT method based on artificial neural network (ANN) has...
详细信息
暂无评论