대형국책사업의 성공 요인 분석 CDMA 와 HAN/B-ISDN 사업비교를 통하여

한상영(Sang-Young Han),김성민(Song-Min Kim) 한국통신학회 2003 한국통신학회 학술대회논문집 Vol.2003 No.7

TRAC을 위한 데이타 플로우 언어 시스템

한상영(Sang Young Han) 한국정보과학회 1984 정보과학회논문지 Vol.11 No.1

Due to the advances in VLSI technology for computer hardware, it is possible for such computer to have more computing power It may be easy for the newly developed computer using VLSI technology to solve problems which are difficult to do on conventional machines. This paper shows the relationship between FORTRAN programming language and a data flow language which can be used for a multi processor such as TRAC. 계산기의 하드웨어 (hardware) 기술의 발달로 인한 VLSI의 출현으로 장래의 계산기는 더욱 많은 양의 정보처리능력을 갖게 된다. 이러한 고성능 계산기의 등장은 재래식 계산기에서는 해결하기 어려운 문제점들을 쉽게 해결하기도 한다. 본 논문은 VLSI에 의한 고성능 계산기가 data flow계산기로 사용될 때 FORTRAN 언어와 프로그램중 이 data flow 프로그램 언어가 어떠한 형식으로 이용되나를 보여준다.

포용적 혁신의 확산을 위한 기술기반 사회적 기업의 역할 제안

한상영(Sang-Young Han) 한국창업학회 2018 한국창업학회 Conferences Vol.2018 No.3

본고는 산업기술의 포용적 혁신으로 사회적, 산업적, 지역적 포용성의 확대를 통해 포용적 성장에 기여할 수 있다고 판단하고, 포용적 혁신을 확산하고 실천하는데 적정 기술을 토대로 하는 사회적 경제기업의 역할을 제안한다. 기술발전은 경제성장과 경제적 불평등을 동시에 초래하는 원인으로, 경제성장을 주도하고 새로운 일자리를 만든다. 하지만, 기술지식을 습득하지 못한 집단은 직무수행에 필요한 교육과 역량확보 기회가 제한되어 새로운 일자리 진입에 제한되는 결과를 낳았고, 산업 내 기업의 생산성 차이, 지역 간 혁신능력의 집중과 불균형이 새로운 불평등을 초래하였다는 기존논의를 받아들인다. 이를 극복하기 위해 기술과 기술의 적용과정을 포함하는 “혁신”이 필요하고, 정책의 포용적 수행이 요구된다. 이러한 혁신으로 불평등 해소에 기여할 수 있다고 보았다. 포용적 혁신의 확산, 혹은 혁신의 민주화 역할을 지역의 기술기반 사회적 기업이담당할 수 있다고 본다. 적정기술을 활용하는 지역의 기술기반 사회적 경제기업 육성을 위한 연구를 제안하고 있다. This paper explores on the fact that inclusive innovation of industrial technology can contribute to inclusive growth through expansion of social, industrial, and regional inclusiveness, and suggests a role that social enterprises based on appropriate technology can play to diffuse and execute inclusive innovation. While technological development is the cause of both economic growth and economic inequalities, it also leads economic growth and creates new jobs. However, this paper concurs with the traditional argument that a group that was not able to acquire technical knowledge, had limited opportunities to build one’s capacity and attain necessary education needed to excel in one’s job which resulted in restricting one’s entry to a new job market, and the difference in productivity of enterprises in the industry, concentration and imbalance of regional innovation abilities resulted in new inequalities. In order to overcome this issue, innovation including the technology application process as well as technology itself is needed and inclusive policy implementation is required. It can be observed that innovation contributes to eradicating inequalities. This paper argues that local technology-based social enterprises can play a role in the diffusion of inclusive innovation or the democratization of innovation. It suggests conducting a study on fostering local technology-based social enterprises that adopts appropriate technology.

단계별 구분을 통한 정보보호 체계 변화 분석 정부개입과 민간역량을 중심으로

한상영(Sang-Young Han),엄기용(Kiyong Om),김상준(Sang-Choon Kim) 한국통신학회 2002 한국통신학회 학술대회논문집 Vol.2002 No.7

간호대학생의 MBTI성격유형에 따른 임상실습스트레스와 회복탄력성과의 관계

한상영(Sang-Young Han),정순영(Sun-Young Chung) 한국컴퓨터정보학회 2017 韓國컴퓨터情報學會論文誌 Vol.22 No.7

This is a descriptive study to investigate the relationship between MBTI personality type, clinical practice stress, and resilience in nursing college students. The participants of this study were 75 college students of Gangwon-do nursing college. The data were analyzed by t-test, ANOVA, Scheffé test and Pearson correlation coefficient using SPSS win18.0. Thirteen personality types were observed in this study participants. The NT types was the highest with a mean of 4.15 in clinical practice stress according to 4 functions of MBTI and the ST types was the highest with a mean of 3.32 in resilience according to 4 fuctions of MBTI. The NT type was the highest with a mean of 4.15 in clinical practice stress according to 4 temperaments of MBTI and the SJ type was the highest with a mean of 3.27 in resilience according to 4 temperaments of MBTI. Significant differences in clinical practice stress were observed according to 4 functions(F=27.117, p<.001) and 4 temperaments(F=27.310, p<.001) of MBTI. Significant differences in resilience were observed according to 4 temperament(F=2.825, p=.045) of MBTI. Further study is necessary to provide the basic data to construct the curriculum of nursing health education which is suitable for the characteristic of MBTI personality type.

루프구조의 병렬수행을 위한 계산모델

한상영(Sang Young Han),홍만표(Man Pyo Hong) 한국정보과학회 1991 정보과학회논문지 Vol.18 No.2

프로그램의 병렬수행에 관한 문제들은 슈퍼컴퓨터들의 성능을 최대한 발휘하는데 중요한 과제이고, 특히 루프구조의 병렬수행은 처리속도의 증진에 매우 큰 효과를 보여준다. 루프의 병렬수행에 대한 흥미로운 접근들이 있었지만, 종속성 분석이 컴파일 과정에 이루어지므로 중첩루프나 제어문들을 내부에 포함하는 비정상흐름 루프등의 경우에 적용되기에는 아직도 미흡한 점이 많이 남아있다. 본 논문은 이점들이 해결에 촛점을 맞추어서, 루프의 병렬수행을 위한 새로운 병렬계산모델을 제시하고, 루프의 각 단계가 이 계산모델에서 병렬수행되는 경우 병렬성이 최대한 이용될 수 있도록 프로그램을 재구성할 수 있는 사전처리기를 설계하고, 계산모델이 공유메모리나 분산메모리 환경으로 사상될 때 야기되는 통신과 동기화문제를 해결하는 알고리즘을 제안한다. 또한 제안 계산 모델이 정의하는 커널언어로 작성된 프로그램의 수행에 대한 검증과 성능비교가 제시된다. In order to achieve the maximum possible utilization of supercomputers, the parallel execution of programs or program segments has been recognized as an important issue. Particularly, the parallel execution of loops has revealed great speedup of program execution on supercomputers. Much efforts and interesting achievements on the parallel execution of loops have been made. However, all they are not applicable to the case of nested loops or irregular loops. In this paper, we focus on the solution of parallel execution of general loops including the nested loops and irregular loops. We, also, introduce a new model and a kernel language for parallel execution of loops and proposed a preprocessor which can detect and exploit the parallelism in loops. The proposed preprocessor converts a general loop into a restructured loop written in the kernel language. Moreover, we analyze the performance of our model and prove the correctness of program restructured by preprocessor.

펀 눈밀도 층 분포에 따른 온실기체 농도 불균질성

한상영(Sang-Young Han),Yoshinori Iizuka,Akira Hori,허순도(Soon Do Hur) 대한지질학회 2018 대한지질학회 학술대회 Vol.2018 No.10

다중 연산 장치 프로세서의 명령문 다중 발진 논리

한상영(Han Sang Young),문봉희(Moon Bong Hee) 한국정보과학회 1992 정보과학회논문지 Vol.19 No.2

다중 연산 장치를 갖고 있는 프로세서에서 속도의 향상과 연산 장치들의 활용도를 높이기 위한 명령문 다중 발진 논리를 제안하였다. 기존의 보존소를 이용한 발진 논리와 지명 스택을 사용한 발진 논리에 비하여, 제안한 발진 논리가 발진율 및 속도향상치에서 증가된 결과를 보이고 있음을 시뮬레이션을 통하여 입증하였다. A multiple instruction issue logic is proposed to enhance the speedup and the utilization of multiple functional-unit processors. Compared to the instruction issue logic using reservation station or dispatch stack, the simulation result shows that this logic improves the issue rate and speedup.

국내 간세포암종의 병기 및 예후에 관한 연구들

한상영 ( Sang Young Han ) 대한간암학회 2008 대한간암학회지 Vol.8 No.-

자동 검증을 위한 Temporal Logic 프로그래밍 언어의 설계

한상영(Sang Young Han),최영근(Young Keun Choi) 한국정보과학회 1989 정보과학회논문지 Vol.16 No.3

temporal logic을 이용한 자동 검증 시스템은 프로그램을 유한 상태 그래프로 변환하는 단계와, 유한 상태 그래프하에서 모델 checker에 의해 증명하려는 성질의 만족 여부를 결정하는 두 단계로 구성된다. 그러나 프로그램을 직접 유한 상태 그래프로 표현하는 것은 비실용적이며 프로그래밍이 용이하지 않다. 본 논문에서는 temporal logic을 이용하여 자동 검증 시스템에 적합한 새로운 언어 E-Tempura 및 E-Tempura로 작성된 프로그램을 유한 상태 그래프로 변환할 수 있는 E-Tempura interpreter의 구현 방법을 제시한다. E-Tempura는 기존의 temporal logic 프로그래밍 언어를 확장한 것으로서 증명하려는 formula의 기술뿐만 아니라, 프로그래밍을 temporal logic의 formula 형태로 기술할 수 있는 장점이 있다. 또한 E-Tempura에는 Tempura의 deterministic한 병렬 수행 및 nondeterministic한 병렬 수행을 기술할 수 있는 기능, 동기적 및 비동기적 통신 기능, 축약 변환의 기능이 첨가되었다. In automatic verification system using temporal logic, program must be represented as finite state graph, on which model checker can check whether the given formula is satisfied. However, it is impractical and uneasy to directly convert program to finite state graph. This paper proposes E-Tempura, a temporal logic programming language for automatic verification system and implementation of E-Tempura interpreter which transforms E-Tempura program into finite state graph. In E-Tempura, extension of Tempura, which describes program as temporal logic formulas, nondeterministic as well as deterministic concurrent program can be modelled. Also E-Tempura has additional features such as synchronous communication, asynchronous communication and coarsening transformation.