• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• Nuclear Engineering and Technology
• /
• 제56권7호
• /
• pp.2704-2710
• /
• 2024

Nuclear archaeology research provides scientific methods to reconstruct the operating histories of fissile material production facilities to account for past fissile material production. While it has typically focused on analyzing material in permanent reactor structures, spent fuel or high-level waste also hold information about the reactor operation. In this computational study, we explore a Bayesian inference framework for reconstructing the operational history from measurements of isotope ratios from a sample of nuclear waste. We investigate two different inference models. The first model discriminates between three potential reactors of origin (Magnox, PWR, and PHWR) while simultaneously reconstructing the fuel burnup, time since irradiation, initial enrichment, and average power density. The second model reconstructs the fuel burnup and time since irradiation of two batches of waste in a mixed sample. Each of the models is applied to a set of simulated test data, and the performance is evaluated by comparing the highest posterior density regions to the corresponding parameter values of the test dataset. Both models perform well on the simulated test cases, which highlights the potential of the Bayesian inference framework and opens up avenues for further investigation.

• Transactions on Electrical and Electronic Materials
• /
• 제17권6호
• /
• pp.311-316
• /
• 2016

Batteries are critical components of electric vehicles and energy storage systems. The connection of a battery to the power grid for charge and discharge greatly affects energy storage. Therefore, an accurate and easy-to-observe battery model should be established to achieve systematic design, simulation, and SOC (state of charge) estimations. In this review, several equivalent circuit models of representative significance are explained, and their respective advantages and disadvantages are compared to determine and outline their reasonable applications to Li-ion batteries. Numerous commonly used model parameter identification principles are summarized as well, and basic model verification methods are briefly introduced for the convenient use of such models.

• 한국환경과학회지
• /
• 제14권12호
• /
• pp.1155-1161
• /
• 2005

Anoxic-oxic process were analyzed numerically for the each unit and final TN effluent by Water Quality Management(WQM) model and the results were compared data from these sewage or wastewater treatment plants. No bugs and logic error were occurred during simulation work. All of the simulation results tried to two times were obtained and both results were almost same thus this model has good reappearance. A few of simulation results were deviated with measured data because lack of influent water qualities are reported however simulation results have wholly good relationship with measured data. Also each unit of simulation result was kept good relationship with that of measured data therefore this WQM model has good reliance. Finally, WQM model predicts final TN effluent within ${\pm}4.1\;mg/{\ell}$

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 춘계학술대회 논문집 전력기술부문
• /
• pp.294-296
• /
• 2001

PSS/E offers a power flow model of UPFC in the new version. The Dynamic model was developed in a form of user-define model that is a external function, Now is a stage of verification through variety examples. Importance of this model is in the point which it is necessary for the simulation on the stability. This paper presents the Dynamic model that is defined by user. First. the theory will be discussed, and then for verification on right operation, resultes of application to KEPRI network will be showed.

• 한국CDE학회논문집
• /
• 제16권2호
• /
• pp.156-164
• /
• 2011

The automation technology is able to enhance the business process more rapidly and effective. Open BIM technology which supports automation technology of building overcomes the limitations of two dimensions drawings system. The purpose of this study is on the development of open BIM based modules for creating and verifying the core model for super-tall building in the schematic design phase. The module is expected to create cases of core models automatically and it is expected to verify the requirement of building model. This module is anticipated to utilize for creating the core model rapidly in order to create the alternative plan and to make the model accurate by its verification.

• 대한전기학회논문지
• /
• 제45권4호
• /
• pp.501-510
• /
• 1996

The gas-turbine generator of Seo-Incheon combined-cycle plant was tested for derivation of a model for dynamic analysis. Load rejection and AVR step test was performed to get the dynamic response of generator. The parameters of generator/control system model were determined by these measured data. No-load saturation test was performed for the saturation characteristics of the generator under steady state. V-curve test was also performed so as to find exact generator parameters. Q-axis parameters of generator was derived by measuring power angle. AVR and governor constants have been tuned by their oscillatory period and setting time characteristics. The derived parameters of generator control system is verified by one-machine infinite bus system simulation. (author). 7 refs., 20 figs., 5 tabs.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.574-578
• /
• 2017

In order to achieve iterative design in early R&D period, a Distributed and Real-time Integrated Simulation System for avionics based on a Model-Based Systems Engineering (MBSE) method is proposed. The proposed simulation system includes driver, simulation model, monitor, flight visual model and aircraft external model.The effect of this simulation system in iterative design and system verification is testified by several use cases. The result shows that the simulation system, which can play an important role in iterative design and system verification, can reduce project costs and shorten the entire R&D period.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2001년도 추계학술대회논문집 II
• /
• pp.665-670
• /
• 2001

The purpose of this paper is to verify a finite element model of an automotive exhaust system using Modal testing. In general, a lot of finite element models are used in initial design step of automotive development. One of them is a finite element model of an exhaust system. Verification on the finite element model of an automotive exhaust system is indispensable. In this paper, a finite element analysis on the exhaust system using MSC/NASTRAN is carried out, and the results are compared with those obtained by modal testing. By comparing MAC values of the analytical modes with the experimental modes, the finite element model of the automotive exhaust system is verified.

• KEPCO Journal on Electric Power and Energy
• /
• 제5권3호
• /
• pp.165-171
• /
• 2019

The steam turbine used in nuclear power plant is modeled for the purpose of verification of control system rather than the operator education. The valves, reheater and generator are modeled also and integrated into the simulator. After that, the operation data and the designed data such as heat balance diagram are utilized to identify the model parameters. It was evident that model outputs of developed simulator are very close to the measured operating ones. The simulator within dynamic model was used to verify and validate the whole control system together with field instruments. And the target plant has been operating long time.