• JSTS:Journal of Semiconductor Technology and Science
• /
• v.16 no.3
• /
• pp.319-329
• /
• 2016

High-level design aids are mandatory for design of a continuous-time delta-sigma modulator (CTDSM). This paper proposes a top-down methodology design to generate a noise transfer function (NTF) which is compensated for excess loop delay (ELD). This method is applicable to low pass loop-filter topologies. Non-ideal effects including ELD, integrator scaling issue, finite op-amp performance, clock jitter and DAC inaccuracies are explicitly represented in a behavioral simulation of a CTDSM. Mathematical modeling using MATLAB is supplemented with circuit-level simulation using Verilog-A blocks. Behavioral simulation and circuit-level simulation using Verilog-A blocks are used to validate our approach.

• Journal of the Korean Society of Food Culture
• /
• v.29 no.4
• /
• pp.336-341
• /
• 2014

This study examined relationships among healthy food awareness, behavioral intention toward healthy foods, and actual behavior of Generation Y consumers. This study hypothesized that Generation Y consumers are aware of healthy foods and more likely to eat healthy foods while avoiding junk foods. According to structural equation modeling, all hypothesized paths were statistically significant, meaning that the three constructs in the model showed positive relationships with each other. Results showed that this group of college students is generally aware of healthy foods and have positive intentions toward healthy food choices. Therefore, university foodservice management needs to continue to improve their menus in order to attract this new generation of college student consumers.

• Journal of the Korean Home Economics Association
• /
• v.43 no.2
• /
• pp.41-55
• /
• 2005

The purpose of this study was to determine the effects of the father's experiences from his family-of-origin, marital conflict, and childrearing behaviors on his child's behavioral problems, as well as any differences due to the child's sex. The subjects were 837 days of 4th and 5th graders in six elementary schools and their fathers in Seoul and Pusan. The data were analyzed using the Structural Equation Modeling(SEM) to verify the theoretical models among the variables. The results showed that the pathways of the impact of the father's experiences from his family-of-origin differed, depending on the father-son group and the father-daughter group, upon the child's intermailizing and extenalizing behavioral problems through marital conflict and the father's childrearing behaviors. Firstly, in the father-son model, the father's experiences from his family-of-origin had an impact on the son's internalizing and extenalizing behavioral problems through marital conflict and the his negative childrearing behaviors. Secondly, the father-daughter model exhibited two pathways; the father's experiences from his family-of-origin had an impact on the child's internalizing and externalizing behavioral problems through his negative chilrearing behaviors, and the father's experiences from family-of-origin had an impact on the child's internalizing behavioral problems through marital conflict and his positive childrearing.

• Journal of Navigation and Port Research
• /
• v.43 no.4
• /
• pp.237-242
• /
• 2019

Behavioral errors of the seafarers are one of the major causes of collisions and are usually corrected through education and training. To correct this behavioral error, the structure in which the behavioral error occurs needs to be identified and analyzed. For this purpose, behavior observation data were obtained through ship maneuvering simulation for collision encounters. The 9-state behavior classification frame proposed by Reason was used for the behavior observation and 50 university students were involved in the experiment. Behavioral analysis used the behavioral model of collision avoidance success and failure, which was developed from the 9-state Left-to-Right Hidden Markov modeling technique. As a result of the experiment, the difference between behaviors of success and failure of collision avoidance was clearly identified, and the linkage between 9-state behaviors, required to prevent collision, was derived.

• Asia pacific journal of information systems
• /
• v.6 no.1
• /
• pp.223-240
• /
• 1996

The paper proposes an approach, called OPNets, for modeling and validating manufacturing systems that is based on object-oriented high-level Petri nets. In OPNets, modeling components of Petri net are constructed into hierarchical objects that communicate with each other by passing messages. To enhance the reusability and maintainability, OPNets organizes a system into hierarchical objects that inherit attributes and behavioral properties from the object of super class and object-interaction relations are separated from the internal structure of object. The modeling scheme of OPNets tries to resolve the complexity problems of Petri net. To illustrate the modeling schemes of OPNets, a storage/retrieval example has been proposed.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.384-389
• /
• 2008

In this paper, we propose a UML modeling of ATO on-board software. An automatic train operation (ATO) system is a real-time control system, which operates a train without a manual operation by a driver. For the safe and comfortable service, real-time embedded software for ATO on-board equipment should have both of high performance and reliability. UML-based object-oriented modeling technique is introduced and used widely to design software that satisfies this requirement. We used Rhapsody, which is a modeling tool for real-time embedded software, to model the construction and the behavior of ATO on-board equipment. As a result, ATO on-board software which performs the profile calculation and the real-time speed control is designed and implemented. The brief modeling result including behavioral characteristics and the simulation results are presented.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.947-953
• /
• 2006

ATC on-board equipment require realtime embedded software with high level of safety and reliability. To satisfy these requirements, many techniques are applied to the development of software during the lifecycle. In case of software modeling, object-oriented methodology is widening its niche replacing traditional structured methodology and modeling in UML using a CASE tool is a growing trend. In this paper, we modeled ATC on-board software in UML using Rhapsody, which is a modeling tool for realtime embedded software. We modeled the behavior of ATC on-board equipment based on state machine diagram and validated the model using the animation feature provided in the tool. According to our study, the CASE tool based on UML showed high level of applicability in modeling and verifying the software with complex behavioral characteristics.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2005.07a
• /
• pp.135-138
• /
• 2005

HDL(Hardware Description Language) is the most important modem tools used to describe hardware, and becomes important as we move to higher levels of abstraction. The HDL has been made brisk use of in analog design, MEMS device[1-2], process related field as well as digital design. The most important characteristics of HDL is Abstraction which is the strongest tool that extend greatly designer's design ability. In this paper by the Modelling Continuum with hierarchical structure of abstraction, we apply UML(Unified Modeling Language) to SoC Design with HDL UML makes an easy and visual description of the various levels of abstraction, and gives designers good flexible modeling capabilty for SoC Design.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.821-826
• /
• 2003

The Purpose of this paper is to automate the representation of manufacturing line using Petri net model. In the manufacturing cell, the line can be represented using workflow which is composed of Bill of Material (BOM) and Bill of Processes (BOP). BOP shows the precedence of processes and the relationship between assembly and disassembly. As a modeling scheme, generalized stochastic Petri net is adopted. For a problem domain with flexible manufacturing cell, Petri net model is made and behavioral properties are analyzed.

• International Journal of Computer Science & Network Security
• /
• v.21 no.1
• /
• pp.84-96
• /
• 2021

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies in this area can produce theoretical results that strengthen UML as the leading modeling language. Recently, a new modeling technique has been proposed called thinging machine (TM) modeling. This paper utilizes TM to further understand UML, with two objectives: (a) Fine issues in UML are studied, including theoretical notions such as events, objects, actions, activities, etc. Specifically, TM can be used to solve problems related to internal cross-diagram integration. (b) TM applies a different method of conceptualization, including building a model on one-category ontology in contrast to the object-oriented paradigm. The long-term objective of this study is to explore the possibility of TM complementing certain aspects in the UML methodology to develop and design software systems. Accordingly, we alternate between UML and TM modeling. A sample UML model is redesigned in TM, and then UML diagrams are extracted from TM. The results clarify many notions in both models. Particularly, the TM behavioral specification seems to be applicable in UML.