• The KIPS Transactions:PartA
• /
• v.9A no.1
• /
• pp.61-74
• /
• 2002

This paper presents a method which synthesizes asynchronous circuits from free-choice Signal Transition Graphs (STGs) with timing constraints. The proposed method synthesizes asynchronous circuits by analyzing: the relations between signal transitions directly from the STGs without generating state graphs. The synthesis procedure decomposes a free-choice STG into deterministic STGs which do not have choice behavior. Then, a timing analysis extracts the timed concurrency and tamed causality relations between any two signal transitions for each deterministic STG. The synthesis procedure synthesizes circuits for each deterministic STG and synthesizes the final circuit by merging the circuits for each deterministic STG. The experimental results show that our method achieves significant reductions in synthesis time for the circuits which have a large state space, and generates circuits that have nearly the same area as compared to previous methods.

• Journal of Fisheries and Marine Sciences Education
• /
• v.21 no.1
• /
• pp.161-172
• /
• 2009

The purpose of this study was to investigate the improvement of the educational web service by using of usability test. For this purpose, a case study was performed with three teachers. They solved three problems, which were linked to the usability of educational web site, with think-aloud. All their actions in the screen and their verbalizations were recorded as computer files. Recoded data were analyzed with the task-performance time analysis, behavior code analysis, and problem behavior graph analysis. From the result of analysis, five improvement strategies were proposed for the development of EDUNET which is an educational information service system and a national teaching & learning center.

• 한국경영정보학회:학술대회논문집
• /
• 2007.11a
• /
• pp.117-122
• /
• 2007

Recently, as the management environments are changing rapidly and the uncertainty is becoming larger, the needs of internal control for management and IS become stronger. In order to construct a new internal control system for IS, it is necessary to evaluate the former research of the system. This study emphasizes the importance of effective internal control system, presents a conceptual framework for the preceding factors to consider, and verifies empirically the framework. This study sets the organization citizenship behavior, IS innovation resistance, and IT capability from the viewpoint of Socio-Technical system as the preceding factors for the effectiveness of internal control system. A research model, affecting the above factors on IS capability as a mediating variable of the internal control effectiveness for the use of IS, is set up. PLS-Graph 3.0 is used to verify the model. We found that the internal control effectiveness have affirmative effect on information capability, a surrogate variable of the IS effectiveness and a mediation effect is meaningful.

• Journal of the Korean Society of Safety
• /
• v.6 no.3
• /
• pp.21-26
• /
• 1991

In this study, a crack closure behavior of Al-alloy 5052-H38 was investigated. The fatigue test was performed by the four-point bending test under the contast amplitude load. Stress ratio R was changed from-1.0 to 0.5. To mcasure the fatigue crack opening point, the graph of load vs. subtracted displacement by computer program was obtained from the X - Y plotter. In order to gain the displacement data, a strain gage was attached at the back surface against the notched side. Uslng the conception of crack closure and influence of on crack growth rate a model for crack growth rate is developed for Al-alloy 5052-H38.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2010.03a
• /
• pp.305-313
• /
• 2010

HDPE smooth and textured GMs were cut into dumbbell shape and notched where depth of the notch produced a ligament thickness of 90% to 10% of the nominal thickness of the specimen at 10% interval. Yield stress and elongation were measured of those samples and plotted on Graph. Yield stress and elongation at yield point decreases gradually as the notch depth is increased. Both installations damaged and notched GMs were used to understand stress crack behavior. Intact sample were notched in such a manner that the depth of notch produced a ligament thickness of 80% of the nominal thickness of the specimen. Installation damaged samples were not notched. Stress Crack Resistance behavior was observed using NCTL Test at $50{\pm}1^{\circ}C$ at different yield stresses immerging with pH 4 and pH 12 buffer solutions. Significant difference was observed in both cases.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.10a
• /
• pp.339-343
• /
• 1992

For the analysis of dynamic behavior of dynamic behavior of multibody systems by cartesian coordinate method, maximal sets of generalized coordinates and maximum numbers of differential equation and constraints must be considered. Therefore the inefficiency of the increase of CPU time is occurred. This paper is to analyze the dynamic system by using the relative coordinate method without violating the geometric condition of systems. The graph theory and system topology were used for this study. The dynamic systems could be analyzed by the automatic generation of the informations like equation of motion, constraints, and external forces etc. And the results were compared and verified with dynamic commercial package DADS.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.410-413
• /
• 2000

This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

• Journal of the Korean Home Economics Association
• /
• v.34 no.5
• /
• pp.235-248
• /
• 1996

The purpose of this study was to search for new food labeling system that would support effective consumer decision-making, by examining consumer behavior of food labels and its' related factors. The survey was conducted on 410 housewives under 60-year-old who live in Seoul or Metropolitan area, using questionnaires and the illustrated material of labels. Respondents generally considered food labels very important as devices. Among 12 items of label which are required to disclose, they evaluated circulation period, and nutritional information. Among 12 items of label, housewives read manufacture date, circulation period, and price more often than business admission number and self standard number. The respondents preferred the format of marking both manufacture date and expiration date on the same side, the format of printing both price and weight on the same side of package, the diagramatic type, and the format represented by ration graph per daily value.

• Korean Journal of Agricultural Science
• /
• v.43 no.2
• /
• pp.194-204
• /
• 2016

The pear psylla, Cacopsylla pyricola, is a very small sap-feeding insect of many commercial pear varieties that could be considered the most serious insect pest of pear. Detailed information on plant penetration activities of the pear psylla is essential to study its feeding behavior used to evaluate resistant traits to chemical control. The application of the electrical penetration graph technique (EPG) could provide a relevant insight into the nature of this resistance. EPG waveforms of C. pyricola were characterized on the basis of amplitude, frequency, voltage level, and electrical origin. Feeding behaviors of C. pyricola were recorded and analyzed by EPG analysis. During EPG monitoring, waveform PA occurred at the start of stylet penetration of pear leaf epidermal cell. Waveform PB followed, in which stylet secreted saliva was observed. Waveforms PC1 and PC2 involved penetrating and sucking behaviors in parenchyma cells and vascular parenchyma, respectively. In addition, waveform PC1 represented salivation into bundle sheath cells and ingestion from parenchyma. Otherwise, behaviors of salivation into phloem and ingestion from phloem produced waveforms PE1 and PE2, respectively. On the other hand, ingestion from xylem tissues showed waveform PG. Among the feeding patterns of C. pyricola described above, phloem feeding patterns occurred most frequently, followed by xylem feeding and parenchyma penetration patterns in descending order.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.38 no.5
• /
• pp.521-526
• /
• 2014

In this study, closed-cell aluminum foam with an initial crack was investigated to produce an axial load-time graph. Using the 10-kN Landmarks of MTS Corporation, a 15-mm/min velocity of mode I shape was applied to the aluminum foam specimen using the displacement control method. ABAQUS 6.10 simulation was used to model and analyze the identical model in three dimensions under conditions identical to those of the experiment. The energy release rate was calculated on the basis of an axial load-displacement graph obtained from the experiment and a transient image of the crack length, and then an FE model was analyzed on the basis of this fracture energy condition. The relation between load and displacement was discussed; it was found that the aluminum foam deformed somewhat less than the adhesive layer owing to the difference in elastic modulus.