• Journal of Multimedia Information System
• /
• v.6 no.4
• /
• pp.323-328
• /
• 2019

In this paper, a method of constructing an advanced sequential circuit over finite fields is proposed. The method proposed an algorithm for assigning all elements of finite fields to digital code from the properties of finite fields, discussed the operating characteristics of T-gate used to construct sequential digital system of finite fields, and based on this, formed sequential circuit without trajectory. For this purpose, the state transition diagram was allocated to the state dependency code and a whole table was drawn showing the relationship between the status function and the current state and the previous state. The following status functions were derived from the status function and the preceding table, and the T-gate and the device were used to construct the sequential circuit. It was confirmed that the proposed method was able to organize sequential digital systems effectively and systematically.

• The KIPS Transactions:PartD
• /
• v.19D no.4
• /
• pp.281-292
• /
• 2012

A wide variety of smartphone applications is increasing the usage time of smartphone. Due to the increased time, it becomes difficult to providing stable services to users with limited battery capacity. The past works have been performed the power management of mobile device toward long-lasting battery development or low-power electric devices. However as the complexity of software embedded into system are increased, the research interests of the software power analysis is also increased. Among these studies on the software power analysis, model-based analysis technique is one of major interests because it can be able to analyze the power consumption before the development of source codes, then the analysis result can be used in the development of the software system, This paper suggests a model-based power analysis technique using UML state machine diagram. Our proposed technique estimates the power consumption by the simulation of Perti-net which is transformed from the state machine diagram.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.335-338
• /
• 2005

Though GF(2) CA can only handle data with bit units, GF(2$^{p}$) CA can handle data with byte units. In this paper we analyze the state-transition of nongroup cellular automata(CA) with a single attractor over GF(2$^{p}$). And we propose the constructing method of the state-transition diagram of a linear SACA over GF(2$^{p}$) by using the concept of basic path. Also we propose the state-transition diagram of the nonlinear complemented SACA by using the state-transition diagram of a linear SACA.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2008.10a
• /
• pp.1285-1289
• /
• 2008

Increasing the flood control capacity's link that is enforcing to existing dam by unusual change of weather, While build planing construction by exiting spillway of tunnel type to dam, could know that part bed rock is formed as is different with design. Grasped topography of research area and geology state to definite distribution aspect of different bed rock, Place that achieved Surface geological Survey and correct Survey is difficult in some section enforced Electrical resistivity dipole-dipole investigation. Grasped stratigraphy distribution confirmation and fracture or weathering zone making out siding 2D-Resistivity Electrical resistivity diagram and Reverse analysis diagram, examining closely soil weathered rock rock's distribution state, established stability countermeasure plan

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.7
• /
• pp.1107-1118
• /
• 2001

The forming limit diagram introduced by Keeler and Goodwin has been used generally to analyze the formability of sheet metal. However, path dependent forming limit curves based on the state of strain can be explained only by a single criterion which is based on the state. In this study, experimental forming limits in strain space of some metal sheets are transformed into forming limit curves in stress space. Effects of yield criterion are investigated in transforming the forming limit curves. Some important design aspects which are based on the close prediction of movements in forming limit curves during sheet forming are concluded.

• Computers and Concrete
• /
• v.31 no.1
• /
• pp.9-21
• /
• 2023

The published studies usually used analytical method, numerical methods or experimental method to determine the stress-strain state and displacement of the single-layer or multi-layer curved shell types, but with a small scale model. However, a full scale multi-layer doubly curved concrete shell roof model should be researched. This paper presents the results of the experiment and simulation analysis involving stress-strain state, sliding between layers, the formation and development of the full scale double-layer doubly curved concrete shell roof when this shell begins to crack. The results of the this study have constructed the load-sliding strain relationship; strain diagram; stress diagram in the shell layers; the N_x, N_y membrane force diagram and deflection of shell. Thisresults by experimental method on a full scale model of concrete have clarified the working of multi-layer doubly curved concrete shell roof. The experimental and simulation results are compared with each other and compared with the Sap2000 software.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.60-61
• /
• 2008

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.05a
• /
• pp.74-79
• /
• 2003

When workability at the a certain bulk deformation process is defined as the maximum plastic deformation capability that the workpiece can sustain without causing any cracks or fracture, the workability is dependent on the microstructure, initial workpiece shape, stress state developed during the deformation process, strain rata and presence of the interfacial friction between workpiece and tool. For a review purpose, the workability definition and test methods are summarized depending on the applied stress state at bulk deformation process in Table 1 at the text. In this study, the cold workabilities of as-cast A16061 bulk material have been measured and comparatively analyzed at the primary tensile stress state by using tensile specimens, the primary compressive stress state by using cylindrical specimens, and the forming limit diagram by ductile fracture.

• Journal of Korea Multimedia Society
• /
• v.18 no.11
• /
• pp.1281-1288
• /
• 2015

Nongroup Cellular Automata(CA) having two trees in the state transition diagram of a CA is suitable for pattern classifier which divides pattern set into two classes. Maji et al. [1] classified patterns by using multiple attractor cellular automata as a pattern classifier with dependency vector. In this paper we propose a method of generation of a pattern classifier using feature vector which is the extension of dependency vector. In addition, we propose methods for finding nonreachable states in the 0-tree of the state transition diagram of TPMACA corresponding to the given feature vector for the analysis of the state transition behavior of the generated pattern classifier.

• International journal of advanced smart convergence
• /
• v.13 no.1
• /
• pp.92-98
• /
• 2024

The current software industry has an emerging issue with natural language-based requirement specifications. However, the accuracy of such requirement analysis remains a concern. It is noted that most errors still occur at the requirement specification stage. Defining and analyzing requirements based on natural language has become necessary. To address this issue, the linguistic theories of Chomsky and Fillmore are applied to the analysis of natural language-based requirements. This involves identifying the semantics of morphemes and nouns. Consequently, a mechanism was proposed for extracting object state designs and automatically generating code templates. Building on this mechanism, I suggest generating natural language-based comic images. Utilizing state diagrams, I apply changes to the states of comic characters (protagonists) and extract variations in their expressions. This introduces a novel approach to comic image generation. I anticipate highly productive comic creation by applying software processes to Cartoon ART.