본 논문에서는 마이크로프로그램을 위한 테스트 데이타를 자동으로 생성하는 시스템을 제안하였다. 이 시스템에서는 주어진 경로를 따라 마이크로프로그램을 기호수행(symbolic execution)시켜 경로조건식을 구하고 이 식를 풀어서 테스트 데이타를 생성한다. 기호수행 방법을 이용하여 테스트 데이타를 생성하기 위해서는 경로조건식이 선형이어야 한다. 따라서 본 논문에서는 마이크로프로그램의 테스트 데이타를 생성하기 위하여 마이크로프로그램에서 사용되는 연산자들을 선형 연산자로 변환하는 방법을 제안하였다. Abstract In this paper, we propose an automated test data generation system for microprogram. This system symbolically executes microprogram along a given path, extracts path conditions for the given path, and generates test data by solving the path conditions. To generate test data using symbolic execution, the path conditions must be linear. Therefore, we propose a linearization method which transforms operators used in the microprogram into linear operators.
대한산업공학회/한국경영과학회 1992년도 춘계공동학술대회 발표논문 및 초록집; 울산대학교, 울산; 01월 02일 May 1992
/
pp.486-495
/
1992
본 EDI변환처리시스템은 EDI문서 표준을 데이타베이스화해서 EDI문서 표준의 변경시 관리를 용이하게 한다. EDI표준데이타베이스를 table-driven방식으로 참조해서 표준 서식의 생성과 입력, 변환처리를 하도록 설계함으로써 시스템 구성을 간결하게 했으며, EDI표준변경에 따른 영향을 최소화시켰다. 또한 입력, 송수신된 EDI문서를 효율적으로 관리하는 데이타베이스를 구축했다. 본 시스템은 공중전화망을 통하여 변환 처리된 데이타를 전송하는 기능을 제공하고 호스트 컴퓨터에 대한 Front-End형 및 마이크로 컴퓨터의 Stand-Alone형으로 활용할 수 있다.
이 기술강좌를 통해서 규모가 적지않은 디지탈시스템에 적합한 체계적 설계방법을 설명하며 또 microprocessor 구조와 이것을 응용하는 디지탈 시스템설계를 공부한다. 이 첫 강좌에서는 체계적 설계방법의 네부분인 구조정의, 기계조직, 제어부분, 데이타부분을 소개한다. 이방법을 응용해서 calculator 설계를 시작한다.
최근 급속도로 발전하고 있는 첨단산업의 배경에는 반도체를 중심으로 한 디지틀 전자기술(Electronics)이 자리잡고 있음은 주지의 사실이다. 이러한 전자 및 정보기술 이후, 즉 포스트 일렉트로닉스(Post-electronics)시대를 겨냥한 새로운 돌파구로서 기대되고 있는 21세기 기술의 주도권을 잡을 기술이 어떤 기술이 될 것인가는 매우 흥미로운 질문이다. 현재 시점에서 볼 때 반도체를 매개로 한 20세기 정보전자혁명을 대신할 새로운 기술혁명으로 대두하고 있는것이 마이크로혁명이며, 이 마이크로혁명을 주도할 기술로서 세계적인 주목을 끌고 있는 기술중의 하나가 초소형 미소기계, 즉 마이크로머신(Micromachine)이다. 현재 '반도체를 능가할 수 있는 차세대 메카트로닉스(Mechatronics)혁명'이라 평가되고 있는 마이크로머신 기술은 과거 꿈으로나 가능하던 공상과학의 세계를 현실로 만들어 주는 경이로운 기술이며, 나아가 분자기술을 응용한 생체로봇, 생체컴퓨터 등 이른바 나노기술(Nano-technology)의 신세계로 향하는 입구라 할 수 있다. 이기술은 기계공학, 전자기술은 물론 물리학, 생물학, 화학, 재료공학 등 광범위한 분야의 기술이 총망라되어야 개발이 가능하며, 그 실현을 위해서는 매크로 한 세계와는 판이하게 다른 물리현상 등 마이크로한 세계의 특수성을 이해해야 함은 물론 에너지공급, 재료, 데이타통신, 구조조립 등 많은 기술적 난제를 극복해야 한다. 마이크로머신기술은 현재 일부 전문가를 제외하고는 일반은 물론 자기학분야의 연구자들에게도 별로 익숙하지 않은 분야이다. 그러나 이 기술의 미래 영향력이나 가능성, 필요성을 고려할 때 이제는 자기분야 연구자들도 이 분야에 관심을 가져야 할 것으로 생각하여 연구자들도 이 분야에 관심을 가져햐 할 것으로 생각하여 본고에서는 먼저 최근 마이크로머신의 기술동향을 개괄적으로 소개하고, 다음으로 마이크로머신에 사용되는 주요 재료들과 자성재료가 주도적인 기능을 하는 자기마이크로머신(Magnetic Micro-machine)에 사용되는 자성재료들에 관해 소개하고자 한다.
본 논문에서 마이크로프로그램 제어방식을 이용하여 CDP(Compact Disc Player)에서 사용되는 RS 부호(Reed-Solomon code)의 복호기를 설계하였다. 사용한 복호방법은 Newton 항등식들로 부터 얻어진 연립방정식들을 이용하여 오류위치다항식의 계수들을 구하고, C2(외부호)복호에서의 소실데이타 개수를 확인한다. 또한 C2복호에서 소실데이타 값들을 C1(내부호)복호 결과와 신드롬들을 이용하여 구한다. 이와 같은 복호방법을 이용하여 4개의 소실정정까지 할 수 있도록 해서 오류정정능력을 높였다. 설계한 복호기는 오류정정에 필요한 GF(28)상에서 연산을 수행할 수 있는 복호연산기와 프로그램 ROM을 가지고있는 복호제어기 띤 마이크로명령어(microinstruction)들로 구성된다. 마이크로명령어들을 이용하여 RS부호의 복호 알고리즘을 프로그램할 수 있으며, 성능향상이나 다른 용도에 사용하기 위해서는 프로그램 ROM만 바꾸면 가능하므로 간편하다. 본 논문에서 설계한 복호기는 Verilog HDL의 Logic Level Modeling을 이용하여 구현했으며, 설계된 복호기에서 각 마이크로명명령어들은 14비트(=1 word)이고, 프로그램 ROM의 크기는 360 word이다. 또한 C1과 C2를 모두 복호하는데 걸리는 최대시간은 424 clock-cycle이다.
제품의 고급화, 정밀화, 생산성의 행상, 그리고 원가절감이 요구되는 요즈음 컴퓨터를 이용한 온라인 계측, 데이타처리 그리고 제어가 기계공학에서 차지하는 중요성이 점점 더 크게 인식되고 있다. 더욱 동력비와 연료비가 계속 상승하고 있기 때문에 건물에너지시스템, 화학공정시스템과 기타 에너지사용시스템의 온라인 모니터링(on-line moritiring)과 최적제어(에너지 사용비절감)을 위한)가 어느 때 보다도 중요성이 고조되고 있다. 본 해설을 통해서 마이크로프로세서 응용의 중요성과 일반적 방법을 잠시 생각해 보고자 한다.
WWW으로부터 얻을 수 있는 정보의 양은 엄청나다. 그러나 사용자는 종종 정보검색의 결과에 혼란스러움을 느끼는데 그 이유는 관계없는 정보, 잘못된 정보, 충분치 못한 정보 등에 있다. 이 논문은 올바른 정보의 검색에 편의를 주기 위한 메타데이타 관리 시스템을 제안한다. 웹 코스웨어를 위한 메타데이타의 요소들을 가려내고 그 관계를 규명하여 관계 데이터베이스를 구성한다. 메타데이타를 취득하는 프로시저는 마이크로소프트의 ASP(Active Server Pages)로 구현하였다. 웹 코스웨어에 대한 긴요한 정보를 제공하고 사용자의 질의를 정확하고 효율적으로 처리하기 위하여 사용자 편이성이 보장된 인터페이스를 시스템이 제공한다.
원자력발전소 설계업무 수행중 생산되는 전산데이타를 반영구적으로 보관하기 위하여 Autocom 장비를 이용한 마이크로피쉬(microfiche)를 생산해 왔으나 이 장비의 노후로 인한 잦은 고장 및 데이타의 재사용 불가로 인해 기기의 교체가 요구 되었다. 또한 영광 3호기 이후, 교체노심설계 및 핵연료 설계등의 원전 설계업무에 UNIX Workstation(W/S)이 사용되면서 UNIX 시스템의 네트웍을 이용한 온라인 데이타 저장의 필요성이 대두됨에 따라, 이에 대한 하드웨어 분석과 테스트 과정을 거쳐 분산 운영되는 UNIX 시스템에 적합한 CD-ROM 저장시스템을 구성하였다. 본 논문에서는 이러한 CD-ROM 저장 시스템의 기술적인 내용을 분석하고 향후 보완 및 개발되어야 할 내용을 제시하였다.
랩톱 컴퓨터 사용자 수가 늘어나고 대중성이 높아짐에 따라 이동 컴퓨터용 응용프로그램 분야가 폭발적으로 성장하고 있다. 대부분의 조직에서 비용을 줄이고 직원들에게 보다 융통성 있는 작업환경을 제공하기 위해 조직의 규모를 축소하고 있으며 또한 회사 밖에 있을때도 컴퓨터를 사용하는 직원들이 늘어나고 있다. 데이타퀘스트가 실시한 1998 모바일 컴퓨팅 컴퓨팅 예측에 따르면, 이동 컴퓨팅 시장은 2002년까지 18% 이상 성장할 것으로 예상된다고 한다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.