• 제목/요약/키워드: Logic Construction

검색결과 243건 처리시간 0.022초

경관지수와 생태계용역가치를 활용한 대구광역도시권 경관의 구조적·기능적 변화 분석 (The Structural and Functional Analysis of Landscape Changes in Daegu Metropolitan Sphere using Landscape Indices & Ecosystem Service Value)

  • 최원영;정성관;오정학;유주한
    • 한국지리정보학회지
    • /
    • 제8권4호
    • /
    • pp.102-113
    • /
    • 2005
  • 생태계는 인간, 생물 무생물적 환경의 집합체이며, 경관은 생태계가 단위지역에 나타나는 현상이다. 이러한 경관은 다양한 경관요소가 시 공간적으로 나타나는 토지 모자이크이며, 토지이용과 피복 변화는 경관의 구조를 변화시키는 주요 요인이다. 본 연구에서는 경관을 구조적 기능적 측면에서 정량화하는 경관지수와 생태계용역가치(Ecosystem Service Value: ESV)를 이용하여 대구광역도시권의 산림경관의 시 공간적 변화패턴에 관하여 분석하였다. 분석결과, 산림경관의 잠식과 파편화는 택지 및 공업단지조성 등의 대규모 개발행위 보다는 도로 등의 선형적 개발에 의해 발생되었으며, 핵심지역의 상대적 비율은 점진적으로 감소한 것으로 나타났다. 이러한 현상은 생물종의 주요 서식처가 되는 핵심지역을 감소시켜 그 건전성을 저하시킬 가능성이 있을 것으로 판단되었다. 또한 ESV가 산림경관의 면적변화와 밀접한 관계를 가지는 것을 알 수 있었다. 이러한 연구결과들은 향후 생태계를 대상으로 한 개발과 보존의 논리 사이에서 객관적인 평가의 기틀을 마련하고, 광역도시계획 등의 개발계획 수립에서 생태계 가치를 충분히 반영하기 위한 기본적인 척도로 활용 가능할 것이다.

  • PDF

소용량 및 대용량의 ATM시스템에 적합한 스위칭 망의 구성 방안 (Construction Methods of Switching Network for a Small and a Large Capacity AMT Switching System)

  • 양충렬;김진태
    • 한국정보처리학회논문지
    • /
    • 제3권4호
    • /
    • pp.947-960
    • /
    • 1996
  • 우수한 성능의 ATM 스위칭 시스템 개발을 위한 주요 목표가 셀 손실, 셀지연 및 처리율의 저하를 최소화하는데 있으며, 이러한 목적에 가장 적합한 ATM스위치 소자가 램덤 액세스 메모리 및 제어 논리에 의해 수행되는 공유 버퍼 메모리 스위치(shared buffer memory switch)이다. 이 스위치는 입력 포트의 수가 증가할 수록 VLSI의 제조가 어렵기 때문에 최근의 소용량 및 대용량의 ATM 스위치는 8$\times$8,600 b/s 또는 16$\times$16,150 Mb/s의 단위 스위치를 사용하여 32$\times$32(4.9 Gb/s), 150Mb/s의 스위치를 구현하는 스위치 모듈 방법을 사용하고 있다. 본 논문에서는 단위 공유 버퍼 메모리 스위치의 버퍼 공유에가 위한 전체 메모리 감소 효과를 만족하는 버퍼 용량을 해석적 으로 평가하고, 트래픽 조건에 따른 셀 손실율을 컴퓨터 시뮬레이션한 결과를 제시 하며 또한, 스위치 모듈 방법을 이용하는 소용량 및 대용량 ATM 스위치 마의 특징을 분석,이 결과를 바탕으로 현재 각국에서 연구중인 32$\times$32, 150Mb/s의 스위치 구조를 제시하며, 궁극적으로 위 주요 목표들을 만족하는 소용량 및 대용량의 ATM 스위칭 시 스템을 위한 고속 스위칭 망 구조를 제시한다.

  • PDF

W국외 모니터링 사례를 통한 해상풍력발전의 환경적 영향 고찰 (A Study on the Environmental Impact of Offshore Wind Farms Through Monitoring Case in Overseas Country)

  • 맹준호;조범준;임오정;서재인
    • 한국해양환경ㆍ에너지학회지
    • /
    • 제16권4호
    • /
    • pp.276-289
    • /
    • 2013
  • 해상풍력발전 단지를 개발함에 있어 전력수급과 경제성 논리에만 초점이 맞춰짐으로써 여러 가지 환경적 문제들이 발생하고 있으며, 이에 따른 지역사회의 갈등이 유발되고 있는 실정이다. 특히 최근에 국내 해역의 풍황과 해황 조건 등을 중심으로 해상풍력에 대한 입지와 개발량에 대한 연구가 이루어져 왔으나, 해양환경 및 해양생태계에 미치는 영향에 대한 연구는 매우 부족하다. 유럽의 해상풍력발전 선진국에서는 개발 사업에 뒤따르는 환경 모니터링이 활발히 진행되고 있는 데 비해, 국내에서는 해상풍력을 설치하고 운영할 때에 발생할 수 있는 환경적 영향에 관한 모니터링 자료가 전무하다. 따라서 본 연구에서는 국외 해상풍력의 모니터링 사례 및 참고문헌의 사례를 분석함으로써 공사 시와 운영 시의 환경적 영향과 국내 해역에 적합한 환경영향평가 단계에서의 가이드라인을 제시하였다. 이에 따라 궁극적으로는 해상풍력개발에 따른 환경영향을 최소화하고 환경영향평가의 행정절차에 소요되는 협의기간을 단축시키는 데에 목적이 있다.

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

  • 김교선
    • 전자공학회논문지
    • /
    • 제53권4호
    • /
    • pp.37-47
    • /
    • 2016
  • 광폭입력함수 전용 멀티플렉서가 슬라이스 구조에 포함되는 상용 FPGA의 현실적 제약 조건을 학계의 대표적 논리 표현 방식인 AIG (And-Inverter Graph)를 근간으로 개발된 FPGA 매핑 알고리즘에 적용하였다. AIG를 LUT (Look-Up Table)으로 매핑할 때 중간 구조로서 컷을 열거하는 데 이들 중에서 멀티플렉서를 인식해 낸 후 이들이 매핑될 때 지연 시간 및 면적을 복잡도 증가 없이 계산하도록 하였다. 이 때 트리 형성 전제 조건인 대칭성과 단수 제약 요건도 검사하도록 하였다. 또한, 멀티플렉서 트리의 루트 위치를 RTL 코드에서 찾아내고 이를 보조 출력 형태로 AIG에 추가하도록 하였다. 이 위치에서 섀넌확장을 통해 멀티플렉서 트리 구조를 의도적으로 합성한 후 최적 AIG에 겹치도록 하는 접근 방법을 최초로 제안하였다. 이때 무손실 합성을 가능하게 하는 FRAIG 방식이 응용되었다. 두 가지 프로세서에 대해 제안된 접근 방법과 기법들을 적용하여 약 13~30%의 면적 감소 및 최대 32%까지의 지연 시간 단축을 달성하였다. AIG 트리에 특정 구조를 의도적으로 주입시키는 접근 방법은 향후 캐리 체인 등에 확장 적용하는 연구가 진행될 것이다.

중국형 DSRC 시스템 SoC 설계에 대한 연구 (A Study on The Design of China DSRC System SoC)

  • 신대교;최종찬;임기택;이제현
    • 전자공학회논문지 IE
    • /
    • 제46권4호
    • /
    • pp.1-7
    • /
    • 2009
  • ITS와 ETC 기술은 새로운 도로의 건설 없이 교통 능률과 이동 안전성을 개선하는 것을 목표로 한다. 이를 실현하는 한 방법으로 요즘 DSRC가 각광을 받고 있다. 2007년 5월에 공표된 중국 DSRC 표준은 낮은 비트 전송율, 단문 메시지 그리고 단순한 MAC 제어를 가지고 있다. DSRC 시스템 사용자들은 전지 1개로 1년 이상의 긴 사용기간을 원한다. 본 논문에서는 초저전력 소비 구조의 SoC를 설계하고자 한다. 몇몇 디지털 논리 개념과 아날로그 전력 제어 논리가 전력 소비를 줄이기 위한 기법으로 사용되었다. SoC 동작 모드, 클럭 속도, 동작 전압 범위, 웨이크업 신호 검출기, 아날로그 비교기, 그리고 내부 전압 조정기(IVR)와 외부 전력 스위치(EPS)등이 설계된 블럭들이다. 시뮬레이션으로 확인한 SoC 전력 소비는 동작모드에서는 8.5mA@20Mhz, 0.9mA@1Mhz 이하이며, 전력 정지 모드에서는 5uA 이하였다. SoC는 2008년 8월에 설계를 완료하고, 2008년 11월에 $0.18{\mu}m$ CMOS공정으로 제작을 마쳤다.

시간제약 조건하에서 순차 회로를 위한 수행시간을 개선한 CPLD 기술 매핑 알고리즘 개발 (Development of CPLD Technology Mapping Algorithm for Sequential Circuit Improved Run-Time Under Time Constraint)

  • 윤충모;김희석
    • 대한전자공학회논문지SD
    • /
    • 제37권4호
    • /
    • pp.80-89
    • /
    • 2000
  • 본 논문에서는 시간제약 조건하에서 순차회로를 위한 새로운 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 순차회로의 궤환을 검출한 후 궤환이 있는 변수를 임시 입력 변수로 분리한다. 조합논리 부분을 DAG로 표현하여 그래프 분할과 collapsing, bin packing을 수행한다. 그래프 분할에서 DAG의 각 노드를 검색한 후, 출력 에지의 수가 2이상인 노드를 분할하지 않고 노드만을 복제(replication)하여 팬 아웃 프리 트리로 재구성한다. 이러한 구성 방법은 주어진 시간 조건 안에서 기존의 CPLD 기술매핑 알고리즘으로 제안된 TEMPLA보다 적은 면적으로 회로를 구현하고, TMCPLD의 단점인 전체 수행시간을 개선하기 위한 것이다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 기존의 CPLD 기술 매핑 툴인 TEMPLA에 비해 CLB의 수가 17.01% 감소되었고, TMCPLD에 비해 수행 시간이 감소되었다.

  • PDF

다목적 방사선 조사장치 개발 및 선량분포특성 (The Development of a Multi-Purpose Irradiator and the Characteristic of Dose Distribution)

  • 이동훈;지영훈;이동한;김윤종;홍승홍
    • 전자공학회논문지SC
    • /
    • 제39권6호
    • /
    • pp.42-48
    • /
    • 2002
  • 다목적 방사선 조사장치의 설계, 제작 및 성능검사에 대해 기술하였다. 세슘-137을 사용한 다목적 방사선조사장치는 생물학에서 저선량 방사선에 대한 영향연구, 혹은 TLD(Thermo Luminescent dosimeter)의 교정을 위해 사용되어진다. 본 조사장치는 방사선 동위원소를 안전한곳에 저장하고 있다가 방사선조사시에만 조사실로 180도 회전하여 설정된 시간만큼 시료에 방사선 조사가 이루어 진 후, 사용이 끝나면 다시 차폐된 저장위치로 복귀하게된다. 제어시스템은 PLC 기반으로 구축하여 저선량율 조사장치의 시제품을 제작하였으며, 또한 컴퓨터를 통해 방사선 조사장치의 제어 및 세부 동작 상태 등을 실시간 검색, 원격제어 및 관리 할 수 있는 종합 관리 프로그램을 개발하였다. 조사실 내부 구성은 시료의 종류에 따라 최대 20RPM까지 다양하게 회전하면서 균일 조사될 수 있도록 조사실 및 챔버를 설계 제작하였으며, 조사실내 넣을 수 있는 조사체 최대 용량은 4.5리터이다. 조사실내의 방사선량의 분포도는 가프크로믹 필름을 사용하여 측정한 결과 2Ci 범위내에서 세슘-137의 경우 공기중에서 0.13cGy/min이었고 일반 물질과 등가인 물에서는 0.11cGy/min로 나타났으며, 오차는 약 ${\pm}$7%의 한도내에서 균일한 분포를 보였다. 또한 실제 누설선량은 조사실 밖 표면에서 최대 0.35mR/hr이였으며 1m 떨어진곳에서는 최대 0.03mR/hr로 허용치 이내였다.

시간제약 조건하에서 순차 회로를 위한 CPLD 기술 매핑 알고리즘 개발 (Development of CPLD technology mapping algorithm for Sequential Circuit under Time Constraint)

  • 윤충모;김희석
    • 한국정보처리학회논문지
    • /
    • 제7권1호
    • /
    • pp.224-234
    • /
    • 2000
  • 본 논문에서는 시간제약 조건하에서 순차회로를 위한 새로운 CPLD 기술매핑 알고리즘을 제안한다. 본 기술매핑 알고리즘은 주어진 순차회로의 궤환을 검출한 후 궤환이 있는 변수를 임시 입력 변수로 분리한 후 조합논리 부분을 DAG로 표현한다. DAG의 각 노드를 검색한 후, 출력 에지의 수가 2이상인 노드를 분할하지 않고 노드만을 복제(replication)하여 팬 앙웃 프리 트리로 재구성한다. 이러한 구성 방법은 주어진 시간 조건 안에서 기존의 CPLD 기술 매핑 알고리즘으로 제안된 TEMPLA보다 적은 면적으로 회로를 구현하고, TMCPLD의 단점인 전체 수행 시간을 개선하기 위한 것이다. 시간제약 조건과 소자의 지연시간을 이용하여 그래프 분할이 가능한 다단의 수를 정하고, 각 노드의 OR 텀수를 비용으로 하는 초기비용과 노드 병합 후 생성될 OR 텀수인 전체비용을 게산하여 CPLD를 구성하고 있는 CLV의 OR텀수보다 비용이 초과되는 노드를 분할하여 서브그래프를 구성한다. 분할된 서브그래프들은 collapsing을 통해 노드들를 병합하고, 주어진 소자의 CLB안에 있는 OR텀 개수에 맞게 Bin packing를 수행하였다. 본 논문에서 제안한 기술매핑 알고리즘을 MCNC 논리합성 벤치마크 회로들에 적용하여 실험한 결과 기존의 CPLD 기술 매핑 툴인 TEMPLA에 비해 CLB의 수가 15.58% 감소되었고, TMCPLD에 비해 수행 시간이 감소되었다.

  • PDF

인공신경망을 이용한 N치 예측 (A Prediction of N-value Using Artificial Neural Network)

  • 김광명;박형준;구태훈;김형찬
    • 지질공학
    • /
    • 제30권4호
    • /
    • pp.457-468
    • /
    • 2020
  • 플랜트, 토목 및 건축 사업에서 말뚝(Pile) 설계 시 어려움을 겪는 주된 요인은 지반 특성의 불확실성이다. 특히 표준관입시험(Standard Penetration Test, SPT)을 통해 측정되는 N치를 얻는 것이 가장 중요한 자료이나 광범위한 모든 지역에서 구하는 것은 어려운 현실이다. 짧은 해외사업 입찰기간 내에 시추조사를 할 경우 인허가, 시간, 비용, 장비접근, 민원 등 많은 제약요건이 존재하여 전체적인 시추조사가 어렵다. 미시추 지점에서 지반 특성은 엔지니어의 경험적 판단에 의존하여 파악되고 있고, 이는 말뚝의 설계 및 물량산출 오류로 이어져서, 공기 지연 및 원가 증가의 원인이 되고 있다. 이를 극복하기 위해서, 한정된 최소한의 지반 실측 자료를 활용하여 미시추 지점에서도 N치를 예측 할 수 있는 기술이 요구되며, 본 연구에서는 AI기법 중 하나인 인공신경망을 적용하여 N치를 예측하는 연구를 수행하였다. 인공신경망은 제한된 양의 지반정보와 생물학적인 로직화 과정을 통하여 입력변수에 대한 보다 신뢰성 있는 결과를 제공하여 준다. 본 연구에서는 최소한의 시추자료의 지반정보를 입력항목으로 하여 다층퍼셉트론과 오류역전파 알고리즘에 의하여 학습된 패턴을 가지고 미시추 지점에서 N치를 예측하는데 그 목적을 두고 있다. 이를 위하여 2개 현장(필리핀, 인도네시아)에 AI기법 적용시 실측값과 예측값에 대한 적정성을 검토하였고, 그 결과 예측값에 대한 신뢰도가 높은 것으로 연구 검토되었다.

합리성의 추구와 수학교육 (The Persuit of Rationality and the Mathematics Education)

  • 강완
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제24권2호
    • /
    • pp.105-116
    • /
    • 1986
  • For any thought and knowledge, its growth and development has close relation with the society where it is developed and grow. As Feuerbach says, the birth of spirit needs an existence of two human beings, i. e. the social background, as well as the birth of body does. But, at the educational viewpoint, the spread and the growth of such a thought or knowledge that influence favorably the development of a society must be also considered. We would discuss the goal and the function of mathematics education in relation with the prosperity of a technological civilization. But, the goal and the function are not unrelated with the spiritual culture which is basis of the technological civilization. Most societies of today can be called open democratic societies or societies which are at least standing such. The concept of rationality in such societies is a methodological principle which completes the democratic society. At the same time, it is asserted as an educational value concept which explains comprehensively the standpoint and the attitude of one who is educated in such a society. Especially, we can considered the cultivation of a mathematical thinking or a logical thinking in the goal of mathematics education as a concept which is included in such an educational value concept. The use of the concept of rationality depends on various viewpoints and criterions. We can analyze the concept of rationality at two aspects, one is the aspect of human behavior and the other is that of human belief or knowledge. Generally speaking, the rationality in human behavior means a problem solving power or a reasoning power as an instrument, i. e. the human economical cast of mind. But, the conceptual condition like this cannot include value concept. On the other hand, the rationality in human knowledge is related with the problem of rationality in human belief. For any statement which represents a certain sort of knowledge, its universal validity cannot be assured. The statements of value judgment which represent the philosophical knowledge cannot but relate to the argument on the rationality in human belief, because their finality do not easily turn out to be true or false. The positive statements in science also relate to the argument on the rationality in human belief, because there are no necessary relations between the proposition which states the all-pervasive rule and the proposition which is induced from the results of observation. Especially, the logical statement in logic or mathematics resolves itself into a question of the rationality in human belief after all, because all the logical proposition have their logical propriety in a certain deductive system which must start from some axioms, and the selection and construction of an axiomatic system cannot but depend on the belief of a man himself. Thus, we can conclude that a question of the rationality in knowledge or belief is a question of the rationality both in the content of belief or knowledge and in the process where one holds his own belief. And the rationality of both the content and the process is namely an deal form of a human ability and attitude in one's rational behavior. Considering the advancement of mathematical knowledge, we can say that mathematics is a good example which reflects such a human rationality, i. e. the human ability and attitude. By this property of mathematics itself, mathematics is deeply rooted as a good. subject which as needed in moulding the ability and attitude of a rational person who contributes to the development of the open democratic society he belongs to. But, it is needed to analyze the practicing and pursuing the rationality especially in mathematics education. Mathematics teacher must aim the rationality of process where the mathematical belief is maintained. In fact, there is no problem in the rationality of content as long the mathematics teacher does not draw mathematical conclusions without bases. But, in the mathematical activities he presents in his class, mathematics teacher must be able to show hem together with what even his own belief on the efficiency and propriety of mathematical activites can be altered and advanced by a new thinking or new experiences.

  • PDF