Status : Presented 
Date : 1987 
Title : Variable-Usage Petri-Net에 의한 Program Transformation 시스템 설계 및 구현에 관한 연구 
Authors : 박경숙, 홍대식, 이경환 
Conference : 한국정보화학회 가을 학술발표회문집 14권 2호 
Abstract : 본 논문에서는 존재하고 있는 program을 보다 더 간단하고, 더 능률적이며, 더 신뢰할 수 있고 정확한 결과를 산출할 수 있는 program으로 변환함으로써, program의 품질을 향상시킬 수 있는 자동 변환 시스템을 설계하고 구현하였다. 이 자동변환시스템은 FORTRAN 77 program을 입력으로 받아들여 변수의 용도를 체크해서 변수 및 문장을 변환시키는데 사용할 수 있다. 이 시스템에서 사용된 이론은 Graph 이론과 Petri-net 이론을 확장시킨 Variable-Usage Petri-Net(VUPN)이며, VUPN을 작성하는 Algorithm과 VUPN을 합성하는 Algorithm을 제시하였다. 
URL : http://mirinae.yonsei.ac.kr//?module=fil...601b7c1c21 
 
List of Articles
No.
Statussort Date
89 [한국통신학회] 김태윤, 홍대기, 노재호, 홍대식, 강창언, 'DS-CDMA 시스템에서의 Decision 방법에 따른 PSIC의 성능 분석', April 1999 Presented  1999-07 
88 [한국통신학회] 강창언, 홍대식, 문태현, 김한종, '페이딩채널에서 트렐리스 부호화된 MDPSK의 다중 심볼 검파', July 1993 Presented  1993-07 
87 [한국통신학회] 방극준, 조남신, 조재희, 강창언, 홍대식, 'OFDM 시스템에서 지연상관대역폭 개념을 도입한 초기주파수 동기방식에 대한 연구', April 1999 Presented  1999-07 
86 [한국통신학회] 강창언, 홍대식, 강민구, 이재용, 송형규, '부분응답시스템의 간략화된 Trellis Detection', July 1993 Presented  1993-07 
85 [대한전자공학회] 민현기, 주형식, 이성은, 곽경철, 홍대식, 'Phase Shift Orthogonal Sequence를 이용한 OFDMA 사향 링크 시스템에서의 시간 및 주파수 오차 추정 알고리즘', June 2006 file Presented  2006-06 
84 [한국통신학회] 강창언, 홍대식, 강민구, 윤영우, 이영조, '부분응답신호의 블라인드 적응등화기', July 1993 Presented  1993-07 
83 [한국통신학회] 박명희, 전희영, 조재희, 송한석, 박현철, 강창언, 홍대식, 'Hardamard 변환을 이용한 OFDM 신호의 PAPR 감소', April 1999 Presented  1999-07 
82 [대한전자공학회] 이성은, 방극준, 박명희, 이영수, 홍대식, 'OFDM 시스템의 PAPR 저감을 위한 가변적인 윈도우 크기를 적용한 Peak Windowing 기법', Nov. 2005 Presented  2005-11 
81 [한국통신학회] 김태관, 조남신, 조재희, 김광철, 박현철, 강창언, 홍대식, '무선 ATM 환경에서의 Pilot 심벌을 이용한 동기 알고리즘', April 1999 Presented  1999-07 
80 [한국통신학회] 강창언, 홍대식, 정호영, '개선된 Punctured 콘볼루션 복호 방식', July 1993 Presented  1993-07 
79 [한국통신학회] 김웅곤, 구본진, 양하영, 홍대식, 강창언, '대역폭 효율적인 터보 트렐리스 코드 변조', July 1999 Presented  1999-07 
78 [대한전자공학회] 방극준, 홍대식, '부채널 정보를 이용한 COFDM 수신기에서의 콘볼루셔널 디코더 성능향상 기법', Nov. 1998 file Presented  1998-11 
77 [대한전자공학회] 고균병, 최수용, 홍대식, '다단계 간섭 제거 기법을 이용한 MC-CDMA 시스템 성능 분석', Nov. 1998 file Presented  1998-11 
76 [한국통신학회] 이경구, 유철우, 최수용, 옹성환, 홍대식, 'DVD-ROM 시스템에 적용한 신경망 등화기에 관한 성능 분석', Nov. 1997 file Presented  1997-11 
75 [한국통신학회] 김주응, 양하영, 홍대식, 강창언, '직렬 연쇄 컨벌루셔널 코드에서의 인터리빙 기법에 관한 연구', July 1997 file Presented  1997-07 
74 [한국통신학회] 권종형, 양하영, 강성진, 홍대식, 강창언, 'Turbo Codes를 적용한 DS/SSMA 시스템', July 1997 file Presented  1997-07 
73 [한국통신학회] 이경구, 유철우, 최수용, 옹성환, 홍대식, 'DVD-ROM 시스템에 적용한 신경망 등화기에 관한 연구', July 1997 file Presented  1997-07 
72 [대한전자공학회] 옹성환, 최수용, 유철우, 홍대식, '결정 궤환 재귀 신경망 등화기와 재귀 신경망 등화기의 비교 연구', July 1997 file Presented  1997-07 
71 [한국통신학회] 최수용, 유철우, 이경구, 옹성환, 홍대식, '고밀도 자기기록 시스템을 위한 이차 시그모이드 뉴런을 이용한 신경망 등화기', June 1997 file Presented  1997-06 
70 [한국통신학회] 옹성환, 유철우, 민병훈, 한용희, 홍대식, '결정 궤환 재귀 신경망 등화기를 이용한 비선형 복소 채널의 등화', Nov. 1997 file Presented  1997-11 
69 [대한전자공학회] 옹성환, 최수용, 유철우, 홍대식, '자기기론 채널에서의 결정 궤환 재귀 신경망 등화기', Nov. 1996 file Presented  1996-11 
68 [인공지능,신경망 및 퍼지시스템] 조남신, 방극준, 강창언, 홍대식, '변형된 SOM을 이용한 도면에서의 직선성분 추출', Oct. 1996 file Presented  1996-10 
67 [인공지능,신경망 및 퍼지시스템] 최수용, 옹성환, 조재희, 유철우, 강창언, 홍대식, '부분 삭제 모델로 나타난 비선형 자기기록장치에서의 신경망 등화 기법', Oct. 1996 file Presented  1996-10 
66 [인공지능,신경망 및 퍼지시스템] 유철우, 홍대식, '복소 다층 퍼셉트론을 이용한 적응 등화 기법에 관한 연구', Oct. 1996 file Presented  1996-10 
65 [인공지능,신경망 및 퍼지시스템] 유철우, 홍대식, '디지털 통신에서의 신경회로망', Oct. 1996 file Presented  1996-10 
64 [한국통신학회] 이종화, 조재희, 유철우, 강창언, 홍대식, 'DVCR 시스템의 연집에러 정정을 위한 클러스터 순환 프러덕트 코드', July 1996 file Presented  1996-07 
63 [한국통신학회] 옹성환, 김영환, 최수용, 유철우, 홍대식, '부분 삭제 모델로 나타낸 비선형 자기 기록 채널에서의 오차 조절 검출 방식', July 1996 file Presented  1996-07 
62 [한국통신학회] 조남신, 방극준, 강창언, 홍대식, '지도 자동 입력을 위한 등고선 지도에서의 곡선 벡터화 및 오차보정에 관한 연구', July 1996 file Presented  1996-07 
61 [한국통신학회] 방극준, 조남신, 강창언, 홍대식, 'SOM을 이용한 칼라지도에서의 등고선 추출 및 벡터화', July 1996 file Presented  1996-07 
60 [대한전자공학회] 조재희, 김영환, 옹성환, 홍대식, 강창언, '디지털 자기기록 채널에서의 신경망을 이용한 등화기 연구', Nov. 1995 file Presented  1995-11 
59 [대한전자공학회] 김영환, 조재희, 이종화, 홍대식, 강창언, '디지털 자기기록 시스템에서 부분응답 신호의 오차 조절 검출 방식', Nov. 1995 file Presented  1995-11 
58 [한국통신학회] 방극준, 조남신, 홍대식, 강창언, '병렬자구성 계층 신경회로망을 이용한 필기체 숫자인식', Nov. 1995 file Presented  1995-11 
57 [한국통신학회] 윤석현, 고영훈, 문태현, 이영조, 홍대식, 강창언, '다차원 신호 집합에서의 트렐리스 쉐이핑', Nov. 1995 file Presented  1995-11 
56 [한국통신학회] 유영환, 옹성환, 강법주, 임명섭, 홍대식, 강창엄, 'DSP board를 이용한 이동통신 페이딩 채널 시물레이터 구현', Nov. 1995 file Presented  1995-11 
55 [한국통신학회] 송명규, 백이현, 주만식, 홍대식, 강창언, '통신망 진화에 따른 TMN 물리 구조', Nov. 1995 file Presented  1995-11 
54 [한국통신학회] 김복규, 김대중, 홍대식, 강창언, 'CDMA 시스템에서 결정궤환을 이용한 다중 사용자 수신기 설계', Nov. 1995 file Presented  1995-11 
53 [한국통신학회] 이재혁, 김종헌, 이한섭, 홍대식, 강창언, 'CDMA 이동통신 시스템에서의 RAKE 수신기를 위한 채널 추정 방식', Nov. 1995 file Presented  1995-11 
52 [한국통신학회] 김정민, 이영조, 고영훈, 홍대식, 강창언, 'PC통신용 고속모뎀의 송수신기 설계', July 1995 file Presented  1995-07 
51 [대한전자공학회] 유철우, 홍대식, 강창언, '위성 채널에서 신경회로망 콘볼루션 복호기 ( NCD ) 의 성능 분석', Nov. 1994 file Presented  1994-11 
50 [대한전자공학회] 이승욱, 송형규, 이영조, 홍대식, 강창언, '주파수 선택적 채널에서 다중 트렐리스 부호 변조의 복호', Nov. 1994 file Presented  1994-11 
49 [대한전자공학회] 이상목, 이한섭, 홍대식, 강창언, 'DS/SS 초기 동기 시스템 RANN의 확률적 성능분석', Nov. 1994 file Presented  1994-11 
48 [대한전자공학회] 유영환, 김종헌, 홍대식, 강창언, 'DS/SS 통신 시스템의 개선된 초기 동기 임계치 결정 기법', Nov. 1994 file Presented  1994-11 
47 [대한전자공학회] 조정현, 이한섭, 홍대식, 강창언, 'DS/CDMA 통신의 RAKE수신기를 위한 코드동기 알고리듬', Nov. 1994 file Presented  1994-11 
46 [대한전자공학회] 주만식, 송명규, 송왕철, 조원홍, 홍대식, 강창언, '전송지연을 적용한 적응균등 부하조절 경로 설정 알고리듬', Nov. 1994 file Presented  1994-11 
45 [대한전자공학회] 김동춘, 송명규, 송왕철, 홍대식, 강창언, '고정비용과 추가비용으로 분리된 최소비용을 갖는 메쉬망의 설계 알고리듬', Nov. 1994 file Presented  1994-11 
44 [한국통신학회] 유철우, 홍대식, 강창언, '신경회로망 콘볼루션 복호기 ( NCD ) 의 확률적 특성고찰', Nov. 1994 file Presented  1994-11 
43 [한국통신학회] 방극준, 홍대식, 강창언, '병렬 오류역전파 신경회로망을 이용한 인쇄체 한글의 문자단위인식', Nov. 1994 file Presented  1994-11 
42 [한국통신학회] 허인, 윤영우, 이영조, 홍대식, 강창언, '개별탭조절 Stop & Go 방식을 이용한 블라인드 등화시스템', Nov. 1994 file Presented  1994-11 
41 [한국통신학회] 강성진, 이영조, 김한종, 홍대식, 강창언, '트렐리스 부호화된 128QAM의 등화 및 성능분석', July 1994 file Presented  1994-07 
40 [대한전자공학회] 이정규, 송왕철, 홍대식, 강창언, '이동통신채널에서 다중트렐리스부호화된 π/4-shift QPSK의 연집에러 정정 복호방식', July 1994 file Presented  1994-07 
39 [대한전자공학회] 유철우, 홍대식, 'Neural Convolutional Decoders', May 1994 file Presented  1994-05 
38 [대한전자공학회] 이상목, 홍대식, '신경망을 이용한 직접대역확산 통신시스템의 초기동기', May 1994 file Presented  1994-05 
37 [대한전자공학회] 권성락, 이영조, 송왕철, 홍대식, 강창언, 'HF채널에서의 Backpropagation알고리듬을 이용한 적응등화기', Nov. 1993 file Presented  1993-11 
36 [한국통신학회] 홍성권, 박성경, 송왕철, 홍대식, 강창언, '다중트렐리스 부호화된 사차원적 주파수 위상변조', Nov. 1993 file Presented  1993-11 
35 [한국통신학회] 주판유, 고영훈, 정호영, 홍대식, 강창언, '브레드-퍼스트 알고리듬을 통한 CPM의 효율적인 복조', Nov. 1993 file Presented  1993-11 
34 [한국통신학회] 이재용, 문태현, 송형규, 홍대식, 강창언, '위성 채널에서 트렐리스 부호화된 8-CPFSK의 동기검파', Nov 1993 file Presented  1993-11 
33 [한국통신학회] 김경호, 김종헌, 이한섭, 홍대식, 강창언, '자동임계치 제어 알고리듬을 적용한 CDMA시스템의 초기동기 성능분석', Nov. 1993 file Presented  1993-11 
32 [한국통신학회] 정종문, 김대중, 정호영, 홍대식, 강창언, '연집오류 채널에서 효율적인 CPM 적응복호 방식', Nov 1993 file Presented  1993-11 
31 [한국통신학회] 윤영우, 이영조, 강민구, 홍대식, 강창언, '개선된 반경 지향방식을 이용한 블라인드 적응등화기', Nov. 1993 file Presented  1993-11 
30 [인공지능,신경망 및 퍼지시스템] 권성락, 이영조, 송왕철, 홍대식, 강창언, '신경회로망을 이용한 적응등화기에 관한 연구', Oct. 1993 file Presented  1993-10 
29 [대한전자공학회] 강창언, 홍대식, 고영훈, 박성경, '다경로 페이딩 채널에서 RAKE수신기를 적용한 CDMA시스템의 성능 분석', July 1993 file Presented  1993-07 
28 [대한전자공학회] 김한종, 홍대식, 강창언 , '흐름 다중심볼 차동검파를 이용한 트렐리스 부호화된 MDPSK의 성능 분석', July 1993 file Presented  1993-07 
27 [대한전자공학회] 김대중, 김한종, 홍대식, 강창언, '위상 지터 채널하에서 트렐리스 부호화된 CPFSK 동기 복조', Nov. 1992 file Presented  1992-11 
26 [대한전자공학회] 강창언, 박용순, 김한종, 홍대식, '직교 부호 변조를 이용한 비동기 CDMA 시스템', Nov. 1992 file Presented  1992-11 
25 [대한전자공학회] 홍대식, 강창언, 양대웅, 강민구, '패킷 대역 확산 블록 수신기', Nov. 1992 file Presented  1992-11 
24 [한국통신학회] 홍대식, 강창언, 김종헌, 김경호, 이한섭, 'DMF를 이용한 비동기식 DS/SS-CSK 통신 초기 동기에 관한 연구', Nov. 1992 file Presented  1992-11 
23 [한국통신학회] 홍대식, 강창언, 이영조, 김종일, 김남용, '적응등화를 이용한 8PSK, TCM', Nov. 1992 file Presented  1992-11 
22 [인공지능,신경망 및 퍼지시스템] 이재용, 문태현, 홍대식, 강창언, '병렬자구성 계층 신경망의 하드웨어 구현', Oct. 1992 file Presented  1992-10 
21 [한국통신학회] 강창언, 홍대식, 황인태, 김종일, '디지털 이동 통신에서 trellis-부호화된 π/8-shift 8psk 변조 방식 성능 분석', July 1992 file Presented  1992-07 
20 [한국통신학회] 권성락, 문태현, 홍대식, 강창언, '병렬 자구성 계층 신경망의 통계적 특성 고찰', May 1992 file Presented  1992-05 
19 [한국전자파기술학회] 홍대식, 강창언, 정의성, 조형래, 'TFM의 주파수 변별기 복조방식에서 Trellis 다이아그램을 이용한 성능 분석', Nov. 1991 Presented  1991-11 
18 [한국전자파기술학회] 홍대식, 강창언, 김한종, 송형규, '무선 데이터 시스템에서 메모리를 이용한 효율적인 파형 여파기의 설계', Nov. 1991 Presented  1991-11 
17 [한국전자파기술학회] 홍대식, 강창언, 정호영, 박형진, '다경로 페이딩 채널에서의 CONATENATED 시스템', Nov. 1991 Presented  1991-11 
16 [한국통신학회] 홍대식, 강창언, 강민구, 오영석,'페이딩과 멀티론 재밍하에서 다이버시티를 이용한 FH/MF나 시스템의 성능분석', Nov. 1991 file Presented  1991-11 
15 [한국통신학회] 홍대식, 강창언, 조형래, 정의성, '이동통신에서 변형된 방향에 따라 Locking된 채널 Bonowing 방식의 호 차단 분석', Nov. 1991 file Presented  1991-11 
14 [한국통신학회] 홍대식, 강창언, 조형래, 정의성, 'TFM 방식에서 Trellis 특성을 이용한 Nonredundant 에러 정정', Nov. 1991 file Presented  1991-11 
13 [한국통신학회] 홍대식, 강창언,김한종, 송형규, 'RDS 부호화기에서 Look-up 테이블을 이용한 효율적인 파형여파기 설계', Nov. 1991 file Presented  1991-11 
12 [한국통신학회] 홍대식, 강창언,정호영, 박형진, '이동통신 페이딩 채널에서의 CONCATENATED 코드 시스템', Nov. 1991 file Presented  1991-11 
11 [신호처리] 홍대식, 강창언, '병렬자구성 계층 신경회로망', Sep. 1991 file Presented  1991-09 
10 [인공지능,신경망 및 퍼지시스템] 홍대식, 강창언, 문태현, '병렬자구성 계층 신경회로망의 잡음특성 고찰', Oct. 1991 file Presented  1991-10 
9 [한국정보화학회] 김상근, 홍대식, 이경환, '규칙 종속 그래프 생성기의 설계 및 구현', 1988 file Presented  1988 
8 [한국정보화학회] 서홍석, 홍대식, 이경환, '프로그램 변환 시스템의 무한 재생 변환 검출을 위한 IRD 시스템의 설계 및 구현', 1988 file Presented  1988 
7 [한국정보화학회] 홍찬기, 홍대식, 이경환, 'S/W 재구성을 위한 Rule-based 시스템의 설계 및 구현', 1988 file Presented  1988 
6 [한국정보화학회] 이인용, 홍대식, 이경환, '포트란 프로그램의 품질 향상을 위한 SYNTACTIC 변환 시스템의 설계 및 구현에 관한 연구', 1987 file Presented  1987 
5 [한국정보화학회] 전선희, 홍대식, 이경환, 'Software Understandability의 향상을 위한 시스템의 설계 및 구현에 관한 연구', 1987 file Presented  1987 
» [한국정보화학회] 박경숙, 홍대식, 이경환, 'Variable-Usage Petri-Net에 의한 Program Transformation 시스템 설계 및 구현에 관한 연구', 1987 file Presented  1987 
3 [기타] 구화본, 홍대식, 이경환, 'Petri Net을 이용한 사무절차 모델링에 관한 연구', 1986 file Presented  1986 
2 [기타] 박영근, 홍대식, 이경환, 'A Software Design Methods based on Tree-structure', 1986 file Presented  1986 
1 [대한전자공학회] 홍대식, 강창언, '에러트래핑 방법을 이용한 REED-SOLOMON 코드의 인코더 및 디코더 설계', Jan. 1984 file Presented  1984-01