• Title/Summary/Keyword: 논리합성

Search Result 187, Processing Time 0.028 seconds

Research cases and considerations in the field of hydrosystems using ChatGPT (ChatGPT를 활용한 수자원시스템분야 문제해결사례 소개 및 고찰)

  • Do Guen Yoo;Chan Wook Lee
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2023.05a
    • /
    • pp.98-98
    • /
    • 2023
  • ChatGPT(Chat과 Generative Pre-trained Transformer의 합성어)는 사용자와 주고받는 대화의 과정을 통해 질문에 답하도록 설계된 대형언어모델로, 지도학습과 강화학습을 모두 사용하여 세밀하게 조정된 인공지능 챗봇이다. ChatGPT는 주고받은 대화와 대화의 문맥을 기억할 수 있으며, 보고서나 실제로 작동하는 파이썬 코드를 비롯한 인간과 유사하게 상세하고 논리적인 글을 만들어 낼 수 있다고 알려져있다. 본 연구에서는 수자원시스템분야의 문제해결에 있어 ChatGPT의 적용가능성을 사례기반으로 확인하고, ChatGPT의 올바른 활용을 위해 필요한 사항에 대해 고찰하였다. 수자원시스템분야의 대표적인 연구주제인 상수관망시스템의 누수인지와 수리해석을 통한 문제해결에 ChatGPT를 활용하였다. 즉, 딥러닝 기반의 데이터분석을 활용한 누수인지와 오픈소스기반의 수리해석 모델을 활용한 관망시스템 적정 분석을 목표로 ChatGPT와 대화를 진행하고, ChatGPT에 의해 제안된 코드를 구동하여 결과를 분석하였다. ChatGPT가 제시한 코드의 구동결과를 사전에 연구자가 직접 구현한 코드구동 결과와 비교분석하였다. 분석결과 ChatGPT가 제시한 코드가 보다 더 간결할 수 있으며, 상대적으로 경쟁력 있는 결과를 도출하는 것을 확인하였다. 다만, 상대적으로 간결한 코드와 우수한 구동결과를 획득하기 위해서는 해당 도메인의 전문적 지식을 바탕으로 적절한 다수의 질문을 해야 하며, ChatGPT에 의해 작성된 코드의 의미를 명확히 해석하거나 비판적 분석을 하기 위해서는 전문가지식이 반드시 필요함을 알 수 있었다.

  • PDF

A review on teaching contents in area of Korean math textbook for first grade - even and odd number, composition and decomposition of numbers, calculation with carrying or with borrowing - (우리나라 초등학교 1학년 수학 교과서 <수와 연산> 영역의 지도 내용 검토 - 짝수.홀수, 수의 합성.분해, 받아올림.받아내림이 있는 계산 -)

  • Lee, Seung;Choi, Kyoung A;Park, Kyo Sik
    • Journal of the Korean School Mathematics Society
    • /
    • v.18 no.1
    • /
    • pp.1-14
    • /
    • 2015
  • In this paper, in order to improve the teaching contents on even and odd number, composition and decomposition of numbers, and (1 digit)+(1 digit) with carrying, (10 and 1 digit)-(1 digit) with borrowing, the corresponding teaching contents in ${\ll}$Math 1-1${\gg}$, ${\ll}$Math 1-2${\gg}$ are critically reviewed. Implications obtained through this review can be summarized as follows. First, the current incomplete definition of even and odd numbers would need to be reconsidered, and the appropriateness of dealing with even and odd numbers in first grade would need to be reconsidered. Second, it is necessary to deal with composition and decomposition of numbers less than 20. That is, it need to be considered to compose (10 and 1 digit) with 10 and (1 digit) and to decompose (10 and 1 digit) into 10 and (1 digit) on the basis of the 10. And the sequence dealing with composition and decomposition of 10 before dealing with composition and decomposition of (10 and 1 digit) need to be considered. And it need to be considered that composing (10 and 1 digit) with (1 digit) and (1 digit) and decomposing (10 and 1 digit) into (1 digit) and (1 digit) are substantially useless. Third, it is necessary to eliminate the logical leap in the calculation process. That is, it need to be considered to use the composing (10 and 1 digit) with 10 and (1 digit) and decomposing (10 and 1 digit) into 10 and (1 digit) on the basis of the 10 to eliminate the leap which can be seen in the explanation of calculating (1 digit)+(1 digit) with carrying, (10 and 1 digit)-(1 digit) with borrowing. And it need to be considered to deal with the vertical format for calculation of (1 digit)+(1 digit) with carrying and (10 and 1 digit)-(1 digit) with borrowing in ${\ll}$Math 1-2${\gg}$, or it need to be considered not to deal with the vertical format for calculation of (1 digit)+(1 digit) with carrying and (10 and 1 digit)-(1 digit) with borrowing in ${\ll}$Math 1-2 workbook${\gg}$ for the consistency.

Stress-Strain Responses of Concrete Confined by FRP Composites (FRP 합성재료에 의하여 구속된 콘크리트의 응력-변형률 응답 예측)

  • Cho, Soon-Ho
    • Journal of the Korea Concrete Institute
    • /
    • v.19 no.6
    • /
    • pp.803-810
    • /
    • 2007
  • An analytical method capable of predicting various stress-strain responses in axially loaded concrete confined with FRP (fiber reinforced polymers) composites in a rational manner is presented. Its underlying idea is that the volumetric expansion due to progressive microcracking in mechanically loaded concrete is an important measure of the extent of damage in the material microstructure, and can be utilized to estimate the load-carrying capacity of concrete by considering the corresponding accumulated damage. Following from this, an elastic modulus expressed as a function of area strain and concrete porosity, the energy-balance equation relating the dilating concrete to the confining device interactively, the varying confining pressure, and an incremental calculation algorithm are included in the solution procedure. The proposed method enables the evaluation of lateral strains consecutively according to the related mechanical model and the energy-balance equation, rather than using an empirically derived equation for Poisson's ratio or dilation rate as in other analytical methods. Several existing analytical methods that can predict the overall response were also examined and discussed, particularly focusing on the way of considering the volumetric expansion. The results predicted by the proposed and Samaan's bilinear equation models correlated with observed results with a reasonable degree, however it can be judged that the latter is not capable of predicting the response of lateral strains correctly due to incorporating the initial Poisson's ratio and the final converged dilation rate only. Further, the proposed method seems to have greater benefits in other applications by the use of the fundamental principles of mechanics.

FPGA Mapping Incorporated with Multiplexer Tree Synthesis (멀티플렉서 트리 합성이 통합된 FPGA 매핑)

  • Kim, Kyosun
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.53 no.4
    • /
    • pp.37-47
    • /
    • 2016
  • The practical constraints on the commercial FPGAs which contain dedicated wide function multiplexers in their slice structure are incorporated with one of the most advanced FPGA mapping algorithms based on the AIG (And-Inverter Graph), one of the best logic representations in academia. As the first step of the mapping process, cuts are enumerated as intermediate structures. And then, the cuts which can be mapped to the multiplexers are recognized. Without any increased complexity, the delay and area of multiplexers as well as LUTs are calculated after checking the requirements for the tree construction such as symmetry and depth limit against dynamically changing mapping of neighboring nodes. Besides, the root positions of multiplexer trees are identified from the RTL code, and annotated to the AIG as AOs (Auxiliary Outputs). A new AIG embedding the multiplexer tree structures which are intentionally synthesized by Shannon expansion at the AOs, is overlapped with the optimized AIG. The lossless synthesis technique which employs FRAIG (Functionally Reduced AIG) is applied to this approach. The proposed approach and techniques are validated by implementing and applying them to two RISC processor examples, which yielded 13~30% area reduction, and up to 32% delay reduction. The research will be extended to take into account the constraints on the dedicated hardware for carry chains.

An Adaptive Decision-Feedback Equalizer Architecture using RB Complex-Number Filter and chip-set design (RB 복소수 필터를 이용한 적응 결정귀환 등화기 구조 및 칩셋 설계)

  • Kim, Ho Ha;An, Byeong Gyu;Sin, Gyeong Uk
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.24 no.12A
    • /
    • pp.2015-2024
    • /
    • 1999
  • Presented in this paper are a new complex-umber filter architecture, which is suitable for an efficient implementation of baseband signal processing of digital communication systems, and a chip-set design of adaptive decision-feedback equalizer (ADFE) employing the proposed structure. The basic concept behind the approach proposed in this paper is to apply redundant binary (RB) arithmetic instead of conventional 2’s complement arithmetic in order to achieve an efficient realization of complex-number multiplication and accumulation. With the proposed way, an N-tap complex-number filter can be realized using 2N RB multipliers and 2N-2 RB adders, and each filter tap has its critical delay of $T_{m.RB}+T_{a.RB}$ (where $T_{m.RB}, T_{a.RB}$are delays of a RB multiplier and a RB adder, respectively), making the filter structure simple, as well as resulting in enhanced speed by means of reduced arithmetic operations. To demonstrate the proposed idea, a prototype ADFE chip-set, FFEM (Feed-Forward Equalizer Module) and DFEM (Decision-Feedback Equalizer Module) that can be cascaded to implement longer filter taps, has been designed. Each module is composed of two complex-number filter taps with their LMS coefficient update circuits, and contains about 26,000 gates. The chip-set was modeled and verified using COSSAP and VHDL, and synthesized using 0.8- μm SOG (Sea-Of-Gate) cell library.

  • PDF

A Study on case for making immediacy Visual Effects field - With Focus on The Load of The Ring - (시각효과(Visual Effects) 분야가 비매개화에 기여한 사례에 관한 연구 - 반지의 제왕을 중심으로 -)

  • Cho, hyun-je;Jung, min-soo
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2008.05a
    • /
    • pp.208-212
    • /
    • 2008
  • The mediacy is now evolving with the development of mankind civilization. In the evolution, mediacy shows duplicate logic of remediacy with the opposite mediacy property between immediacy and hypermediacy. The duplicate logic of remediacy is defined as a result of hypermediacy which clearly requires transparency and absorption of immediacy. Because of changes from analog to digital age and the development of image technique, At present, the era is coming when the splendid and spectacle visual speaks for the screen not well-organized script and direction. With this developing period, the research for visual effect is actively performed and advanced to the new study. Though the study of visual effects contains the hypermediacy trait, it is also conjugated as a research field for immediacy on the screen which is the wish of content production directors. In this study, the analysis of case study for the movie "The Lord of The ring"'s visual effect application is carried out. Also, it is investigated that visual effects can guarantee for the verification of valuable new research filed which insure transparency and absorption in the hypermediacy results. Furthermore, on this study, it is executed for the contribution of the identity and systematization in the new research field "Visual Effects".

  • PDF

A Dynamic Service Supporting Model for Semantic Web-based Situation Awareness Service (시맨틱 웹 기반 상황인지 서비스를 위한 동적 서비스 제공 모델)

  • Choi, Jung-Hwa;Park, Young-Tack
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.9
    • /
    • pp.732-748
    • /
    • 2009
  • The technology of Semantic Web realizes the base technology for context-awareness that creates new services by dynamically and flexibly combining various resources (people, concepts, etc). According to the realization of ubiquitous computing technology, many researchers are currently working for the embodiment of web service. However, most studies of them bring about the only predefined results those are limited to the initial description by service designer. In this paper, we propose a new service supporting model to provide an automatic method for plan related tasks which achieve goal state from initial state. The inputs on an planner are intial and goal descriptions which are mapped to the current situation and to the user request respectively. The idea of the method is to infer context from world model by DL-based ontology reasoning using OWL domain ontology. The context guide services to be loaded into planner. Then, the planner searches and plans at least one service to satisfy the goal state from initial state. This is STRIPS-style backward planner, and combine OWL-S services based on AI planning theory that enabling reduced search scope of huge web-service space. Also, when feasible service do not find using pattern matching, we give user alternative services through DL-based semantic searching. The experimental result demonstrates a new possibility for realizing dynamic service modeler, compared to OWLS-XPlan, which has been known as an effective application for service composition.

Design of a high-speed DFE Equaliser of blind algorithm using Error Feedback (Error Feedback을 이용한 blind 알고리즘의 고속 DFE Equalizer의 설계)

  • Hong Ju H.;Park Weon H.;Sunwoo Myung H.;Oh Seong K.
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.42 no.8 s.338
    • /
    • pp.17-24
    • /
    • 2005
  • This paper proposes a Decision Feedback Equalizer (DFT) with an error feedback filter for blind channel equalization. The proposed equalizer uses Least Mean Square(LMS) Algorithm and Multi-Modulus Algorithm (MMA), and has been designed for 64/256 QAM constellations. The existing MMA equalizer uses either two transversal filters or feedforward and feedback filers, while the proposed equalizer uses feedforward, feedback and error feedback filters to improve the channel adaptive performance and to reduce the number of taps. The proposed equalizer has been simulated using the $SPW^{TM}$ tool and it shows performance improvement. It has been modeled by VHDL and logic synthesis has been performed using the $0.25\;\mu m$ Faraday CMOS standard cell library. The total number of gates is about 190,000 gates. The proposed equalizer operates at 15 MHz. In addition, FPGA vertification has been performed using FPGA emulation board.

Communication and data processing strategy for the electromagnetic wave precipitation gauge system (전파강수계 시스템의 통신 및 자료처리 전략 개발)

  • Lee, Jeong Deok;Kim, Minwook;Park, Yeon Gu
    • Journal of Satellite, Information and Communications
    • /
    • v.12 no.4
    • /
    • pp.62-66
    • /
    • 2017
  • In this paper, we present the development of communication and data processing strategy for the electromagnetic wave precipitation gauge system. The electromagnetic wave precipitation gauge system is a small system for deriving area rainfall rates within 1 km radius through dual polarization radar observation at 24GHz band. It is necessary to take consider for measurement of accurate precipitation under limited computing resources originating from small systems and to minimize the use of network for the unattended operation and remote management. To overcome computational resource limitations, we adopted the fuzzy logic for quality control to eliminate non-precipitation echoes and developed the method by weighted synthesis of various rain rate fields using multiple radar QPE formulas. Also we have designed variable data packets rules to minimize the network traffic.

Full-Search Block-Matching Motion Estimation Circuit with Hybrid Architecture for MPEG-4 Encoder (하이브리드 구조를 갖는 MPEG-4 인코더용 전역 탐색 블록 정합 움직임 추정 회로)

  • Shim, Jae-Oh;Lee, Seon-Young;Cho, Kyeong-Soon
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.46 no.2
    • /
    • pp.85-92
    • /
    • 2009
  • This paper proposes a full-search block-matching motion estimation circuit with hybrid architecture combining systolic arrays and adder trees for an MPEG-4 encoder. The proposed circuit uses systolic arrays for motion estimation with a small number of clock cycles and adder trees to reduce required circuit resources. The interpolation circuit for 1/2 pixel motion estimation consists of six adders, four subtracters and ten registers. We improved the circuit performance by resource sharing and efficient scheduling techniques. We described the motion estimation circuit for integer and 1/2 pixels at RTL in Verilog HDL. The logic-level circuit synthesized by using 130nm standard cell library contains 218,257 gates and can process 94 D1($720{\times}480$) image frames per second.