• 천문학회보
• /
• 제44권1호
• /
• pp.81.2-81.2
• /
• 2019

We develop an image-to-image translation model, which is a popular deep learning method based on conditional Generative Adversarial Networks (cGANs), to generate solar magnetograms and EUV images from sunspot drawings. For this, we train the model using pairs of sunspot drawings from Mount Wilson Observatory (MWO) and their corresponding SDO/HMI magnetograms and SDO/AIA EUV images (512 by 512) from January 2012 to September 2014. We test the model by comparing pairs of actual SDO images (magnetogram and EUV images) and the corresponding AI-generated ones from October to December in 2014. Our results show that bipolar structures and coronal loop structures of AI-generated images are consistent with those of the original ones. We find that their unsigned magnetic fluxes well correlate with those of the original ones with a good correlation coefficient of 0.86. We also obtain pixel-to-pixel correlations EUV images and AI-generated ones. The average correlations of 92 test samples for several SDO lines are very good: 0.88 for AIA 211, 0.87 for AIA 1600 and 0.93 for AIA 1700. These facts imply that AI-generated EUV images quite similar to AIA ones. Applying this model to the Galileo sunspot drawings in 1612, we generate HMI-like magnetograms and AIA-like EUV images of the sunspots. This application will be used to generate solar images using historical sunspot drawings.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권1호
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• 제어로봇시스템학회논문지
• /
• 제5권1호
• /
• pp.54-61
• /
• 1999

Objective of the research is to put the vast and complex fault tracking knowledge of human experts in semiconductor production line into the knowledge base of computer system. We mined the fault tracking knowledge of domain experts(engineers of production line) for the construction of knowledge base of the expert system. Object oriented fact models which increase the extensibility and reusability have been built. The rules are designed to perform the fault diagnosis of the items in production device. We have exploited the evidence accumulation method to assign check priority in rules. The major contribution is in the overall design and implementation of the nile base and related facts of the expert system in object oriented paradigm for the application of the system in fault diagnosis in semiconductor production line.

• 한국주거학회논문집
• /
• 제16권3호
• /
• pp.37-47
• /
• 2005

The Chosun Exhibition was held in 1929 and the Architectural Association of Chosun(AAC) displayed model houses fur the fair. These model houses represented the new housing trend of the Chosun society, so this research was necessary to find out the facts. The main materials used for this research were issues from 'Chosun and Architecture'. The objects of this research was to find out the activity of the AAC and to classify the displayed model houses according to the structure, plan and interior. These three model houses depicted the improved housing designs at that time. Improved housing designs also depicted the convenience of everyday life, hygiene, improvement of facilities and the application of modem lift to that era. Therefore, these three houses would be revaluated as new models of houses for the Chosun society under education activity by the AAC.

• 대한전기학회논문지:전력기술부문A
• /
• 제49권9호
• /
• pp.459-466
• /
• 2000

The performance of a commercialized power system stabilizer (PWX-600) for a single hydro-turbine generator and infinite bus system has been investigated using Real Time Digital Simulator (RTDS) in this paper. The test system was composed of RTDS, three phase voltage/current amplifier and the PSS. The test scheme provided a very efficient way to verify the design and control performance of a PSS to be applied to real power system. The scheme can also be applied to verify in real time the performance of hardware and software of power system controllers for FACTS and protective relays effectively.

• International Journal of Control, Automation, and Systems
• /
• 제3권spc2호
• /
• pp.346-354
• /
• 2005

This paper presents a new approach to Thyristor Controlled Phase Shifter (TCPS) control. In this paper we have proposed a nonlinear coordinated generator excitation and TCPS controller to enhance the transient stability of a power system. The proposed controller is able to control three main parameters affecting a.c. power transmission: namely excitation voltage, phase angle and reactance in a coordinated manner. The TCPS is located at the midpoint of the transmission line. A nonlinear feedback control law is proposed to linearize and decouple the power system. The design of the proposed controller is based on the local measurements only. Simulation results have been shown to demonstrate the effectiveness of the proposed controller for the enhancement of transient stability of the power system under a large sudden fault.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 A
• /
• pp.224-226
• /
• 2004

Flexible AC Transmission System (FACTS) can greatly reinforce power systems through improvement of power transmission capacity and utilization of equipment under the circumstance of continuous load growth and deregulation SVC and STATCOM are shunt FACT devices that have similar static characteristics with Mwhuical Swikhed Capacitor (MSC). The main issue of this paper is the analysis of different dynamic characteristics when STATCOM is solely adopted and when STATCOM is adopted with combination of other reactive power compensator such as SVC and M5C. Furthermore, better application of reactive power compensators can be clarified through analysis of dynamic characteristics of various combinations of reactive power compensators.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 A
• /
• pp.90-92
• /
• 2002

The SVC(Static Var Compensator) resulted from the FACTS technology can generate or absorb reactive power rapidly so as to increase the transient and voltage stability. In this paper, the SVC is applied to the power system in order to improve the total transfer capability from a viewpoint of static voltage stability and the effects of application of the SVC to the power system are analyzed. The IPLAN, which is a high level language used with PSS/E program, is employed for determining the total transfer capability.

• 한국가시화정보학회:학술대회논문집
• /
• 한국가시화정보학회 2001년도 Proceedings of 2001 Korea-Japan Joint Seminar on Particle Image Velocimetry
• /
• pp.62-74
• /
• 2001

Present paper describes the principles of PIV measurement approaching from the analytical view, which enables to explain the general form of principles covering all the PIV measurement, and that gives theoretical basis for its higher measurement performances. The explanation of the measurement principles started from the definition of governing equation in differential form as same as the gradient method, and the integral along the particle path line was executed to show the principle of the correlation method with same basis. The integral processes clearly shows the analytical reason why the correlation peak gives the terminal point of path line, and how the effects of deformation and rotation of fluid appears in the correlation map. These results have no differences from our experiences and understandings of the conventional PIV measurement definition in final form. However, the analytical approach enable to understand those facts a priori, and it makes easy to achieve the innovative higher performances of measurement. Analytical explanation clearly shows the behavior of the residual errors caused by the fluid motion, and it enables to analyze the measurement uncertainty theoretically.

• 대한한의학원전학회지
• /
• 제19권1호통권32호
• /
• pp.155-167
• /
• 2006

From th Study on A Study on the Thesaurus of Korean medical information for developing search engine, the conclusion is as follow. Knowledge based information system consists of concepts, facts and relation. The final goal of developing the Knowledge based information system is to select, store and control the knowledge and information of Oriental Medicine. Considering limitation of organizing the knowledge system, it is difficult to realize complete basic system and application method. In order to work, it is necessary to combine experts in each part, for example Domain experts, Information and Knowledge engineer. Through the development of knowledge based information system, we can construct EMR(Electronic Medical Record) system in the near future, and it is possible to make semi-expert system. To make Knowledge based information system, we need to establish standards of information that make the distribution of Knowledge and information easily.