• Journal of Multimedia Information System
• /
• 제6권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.

• 정보처리학회논문지D
• /
• 제19D권4호
• /
• pp.281-292
• /
• 2012

스마트 폰과 같은 모바일 기기에서 동작하는 응용 소프트웨어는 제한된 배터리 용량으로 인하여 안정적인 서비스를 지속적으로 제공하는데 어려움을 갖는다. 과거에는 배터리의 수명을 연장 시키거나 소모전력이 적은 하드웨어 장치들을 개발하는 것으로 모바일 기기의 소모전력을 관리하였다. 그러나 시스템에 탑재되는 소프트웨어가 복잡해짐에 따라 소프트웨어에 대한 소모전력 분석 연구도 관심을 갖게 되었다. 이러한 연구들 중에서 모델 기반의 소모전력 분석은 코드가 개발되기 이전에 미리 소모전력을 분석하고, 분석 결과를 기반으로 소프트웨어를 개발한다는 측면에서 소모전력 감소를 위한 하나의 중요한 전략으로 인식되어 오고 있다. 따라서 본 논문에서는 소프트웨어의 행위 모델인 UML의 상태기계(State Machine) 다이어그램을 이용하는 소모전력 분석 기법을 제안한다. 제안하는 분석기법은 상태기계 다이어그램을 페트리 넷으로 변환하고, 이의 시뮬레이션을 통해 소모전력을 예측하게 된다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 춘계종합학술대회
• /
• pp.335-338
• /
• 2005

GF(2) 셀룰라 오토마타가 비트단위로 데이터가 처리되는데 비하여 GF(2$^{p}$) 셀룰라 오토마타는 바이트 단위로 데이터를 처리할 수 있다. 본 논문에서는 GF(2$^{p}$) 위에서의 유한체 성질을 이용하여 한 개의 트리로 구성되는 GF(2$^{p}$) 위에서의 nongroup 셀룰라 오토마타에 대하여 특성화한다. 또한 기본경로를 이용한 선형 SACA의 상태전이 그래프를 구성하는 방법과 선형 SACA의 상태전이 그래프를 이용하여 비선형인 여원 SACA의 상태전이 그래프를 구성하는 방법을 제시한다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 추계 학술발표회
• /
• 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

• 대한기계학회논문집A
• /
• 제25권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
• /
• 제31권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
• /
• pp.60-61
• /
• 2008

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2003년도 춘계학술대회논문집
• /
• 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.

• 한국멀티미디어학회논문지
• /
• 제18권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
• /
• 제13권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.