유산소 운동이 비만유전자(β3-AR gene) 다형성 특성이 다른 비만아동의 체력요인에 미치는 영향

유원희(Yoo Won-Hee),이재구(Lee Jae-Koo) 한국체육과학회 2007 한국체육과학회지 Vol.16 No.3

The purpose of this study is to identify the effects of aerobic exercise as the polymorphism in the β3-AR gene of obese children. For this study, 30 children, who is over 25% BMI and do not regularly exercise, were randomly assigned to 2groups. One group is normal group(Trp64Trp, 23children) and the other one is mutation group(Trp64Arg, 7children). Body composition factors and physical abilities were measured before and after exercise program. Blood was collected from vein about 10㎖ and blood analyses were requested. Paired t-test and one-way repeated measured ANOVA were used as the statistical analysis, and significance was accepted at p<.05. From the statistical analysis results for the body composition, and physical fitness, the following conclusions could be obtained. After aerobic exercise, body compositions of obese children are significantly changed in height (+0.4%), BMI (-1.3%), body fat mass (-2.3%), percent body fat(-2.0%)(p<.05). Physical fitness of obese children are significantly changed in muscular strength (+12.9%), muscular endurance (+23.3%), flexibility(+11.8%)(p<.05). After aerobic exercise, there was significantly changed in hight(+0.4%), BMI (-1.2%), body fat mass (-2.4%), percent body fat(-2.0%), muscular strength (+16.2%), muscular endurance (+16.0%), flexibility (+14.0%), cardiovascular endurance (-3.7%), The difference within groups was only muscular strength. In this study, aerobic exercise was found more effective for the enhancement of body composition, blood lipid, physical fitness The β3-AR in normal group was more different after exercise to compare with gene alteration group so that obese is more influence for gene.

FIDIC Silver Book을 활용한 해외건설공사 계약단계 리스크 평가모델

유원희(Yoo, Won-Hee),현창택(Hyun, Chang-Taek),문현석(Moon, Hyun-Seok),김종협(Kim, Jong-Hyeob) 대한건축학회 2011 大韓建築學會論文集 : 構造系 Vol.27 No.11

As orders for industrial plant projects increase, mainly in the Middle East and Africa, many domestic Korean companies are entering the international construction market. The total value of orders that domestic companies received from overseas is increasing due to participation in huge Engineering, Procurement and Construction EPC projects. The ability to manage potential risks is essential in maximizing revenue through overseas construction projects. Contractors need to scrutinize the contract documents, since the risks are distributed to each party through them. However, if there is insufficient expertise in overseas construction contracts, it is impossible to assess systematic risk thoroughly. Therefore, a Contractual Risk Evaluation Model that is based on the conditions of FIDIC Silver Book contract was proposed in this study to evaluate contractual risks of EPC/Turnkey construction projects received by Korean companies from overseas. The model proposed in this study can be used as a decision making tool in the contracting stage of international construction projects on a EPC/Turnkey basis. In addition, the assessment items and evaluation criteria presented in the model development process are expected to be used as checklist by contractors.

바이트코드를 위한 정적 단일 배정문 기반의 정적 타입 추론

유원희(Yoo Weon Hee),김제민(Kim Je Min),김기태(Kim Ki Tea),김지민(Kim Ji Min) 한국컴퓨터정보학회 2006 韓國컴퓨터情報學會論文誌 Vol.11 No.4

바이트코드는 많은 장점을 가지고 있으나 수행 속도가 느리고 프로그램의 분석과 최적화에 알맞은 표현은 아니다. 분석과 최적화를 위하여 바이트코드를 정적 단일 배정문(SSA Form)으로 변환이 수행되어야 한다. 그러나 바이트코드에서 SSA Form으로 변환 시 어떤 변수는 타입 정보를 상실한다. 이를 해결하기 위하여 본 논문에서는 바이트코드에 대한 확장된 제어 흐름 그래프를 생성한다. 또한 정적으로 분석하기 위해 제어 흐름 그래프를 SSA Form으로 변환한다. SSA Form으로 변환을 위하여 지배자, 직접 지배자, 지배자 경계, ?-함수, 재명명 등 많은 정보에 대한 계산을 수행한다. 생성된 SSA Form에 알맞은 타입을 선언하기 위해서 다음과 같은 동작들을 수행한다. 먼저 클래스의 호출그래프와 상속 그래프를 생성한다. 그리고 각 노드에 대한 정보를 수집한다. 수집된 정보를 기반으로 동등한 타입의 노드를 찾고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안하였다. Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations, bytecode must be translated to a Static Single Assignment Form(SSA Form). But when bytecode is translated a SSA Form it has lost type informations of some variables. For resolving these problemㄴ in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator, dominance frontier, ?-Function, renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First, we construct call graph and derivation graph of classes. And the we collect informationㄴ associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations, we assign type to each node.

논문 : 문화예술의 지원 정책의 정당성에 관한 고찰

유원희 ( Won Hui Yoo ) 디자인융복합학회 2010 디자인융복합연구 Vol.9 No.4

1945년 영국의 문화예술위원회(The Arts Council of England)는 설립 당시부터 문화예술과 정치, 관료로부터의 독립을 위한 지원 정책으로 오랫동안 이른바 ``팔길이 원칙’(arm``s length principle)을 고수해 왔다. 이는 문화예술에 대한 지원 시 정부가 지원은 하되 간섭하지 않는다는 명제 하에 공적 지원을 계속하고 있다. 행정 국가적 성격이 강한 현대의 국가들은 정부의 지원에 대해 당연히 예술의 가치에 대해서는 많은 논의가 있어 왔는데 논의의 본질은 예술이 사회에 어떠한 가치와 영향을 주느냐의 문제였다. 문화예술의 공공재적(public goods) 성격을 경제학적 측면에서 보면 비 배제성과(non excludeability), 비경합적 재화(non-rival goods)라는 특징을 갖고 있다. 그러나 오늘날 예술단체가 아담 스미스(Adam Smith)가 말하는 공공재로서 완전한 공공재의 모습을 갖추고 있는지에 대해서는 의문의 여지가 있다. 예술단체는 공공단체도 존재하지만 개인이나 기업에 속한 예술단체도 존재하므로 분명 사적 재화(private goods)로서 배제성과 경합성을 내포하고 있다. 따라서 예술단체의 지원은 사회적 판단, 정책적 고려, 예산 규모의 적절성, 문화예술 서비스의 공급이라는 다양한 측면에서 반드시 필요한 정책행위이다. 오늘날 시대적 흐름과 사회적 필요 또한 국민의 정서 함양상 문화환경 조성은 이제 지극히 당연한 문제라 아니할 수 없다. 그런 의미에서 문화시설에 투자하고 공연시설물을 건립하는 일은 하나의 과제가 되었다. 향후 우리나라가 경쟁력을 키워가야 할 문화예술 분야의 파급효과가 큰 만큼 보다 많은 재원과 인력 투입이 불가피한데 시설확충에 앞서 연구기관의 분석자료, 공공기관의 타당성 평가기준을 이해하고 새로운 모형분석을 만들어야 한다. 그리하여 주민 수요를 충족하고 기능적, 경제성이 뛰어난 공연장을 만들어 국가의 문화창달에 기여하여야 한다. From 1945 when the Arts Council of England was established, it has held stick to what is called arm`s length principle as the support policy for the independence from culture, arts, politics and a bureaucrat. This has been publicly supporting under the proposition that the government supports but does not interfere with culture and arts. The value of arts is to create arts as a typical function as well as to develop civilization; furthermore, it has performed the various functions such as the stabilization of social system, the establishment of city environment, the social communication place, the improvement of individual life quality, the development of individual sensibility, emotion expression and the educational function. Art associations exist in the public entity and sometimes belong to an individual or a corporation; therefore, it implies expulsion and competition as private goods. Thus, the support of art associations is certainly necessary in the various aspects of social judgement, policy consideration, the appropriation of budget size and service provision.

GML파일을 이용한 검증조건의 시각화

유원희(Weon-Hee Yoo),박준석(Joon-Seok Park),김제민(Je-Min Kim),허혜림(Hye-Lim Hu) 한국컴퓨터정보학회 2012 韓國컴퓨터情報學會論文誌 Vol.17 No.7

프로그램 검증을위해 사용되는방법으로 프로그램을 검증조건으로 변환하여정리증명기를 통해 프로그램의유효성을 확인하는 방법이 있다. 검증조건 생성을 통한 프로그램의 검증의 경우 검증조건은 프로그램을 검증하기 위한 충분하고 정확한 정보를 가지고 있어야한다. 하지만 프로그램의 변환을 통해 생성된 검증조건의 경우 논리식만으로 구성되어 있어 사용자가 쉽게 그 내용을파악할 수 없다. 본 논문에서는 가독성이 떨어지는 검증조건을 시각화하는 프로그램을 구현하였다. 프로그램을 통해 검증조건을 구성하고 있는 논리식간의 관계 등을 비롯한 정보를 보다 쉽게 확인할 수 있다. There is a method which identifies validity of program by transforming program to verification condition to verify program. If program is verified by generating verification condition, verification condition must have enough and accurate information for verifying program. However, verification condition is consisting of logical formulas, so the user cannot easily identify the verification condition. In this paper, we implemented program that visualize the poorly readable verification conditions. By the program, the users can easily identify information, such as the relationship between logical formulas that represent verification condition.

논문 : 문화정책의 변화와 직면문제에 관한 연구

유원희 ( Won Hui Yoo ) 디자인융복합학회 2011 디자인융복합연구 Vol.10 No.6

사회적으로 안정이 되면 문화예술정책을 문화 창조자, 엘리트 위주의 문화정책에서 시민들의 문화 향유권을 위한 보편적 문화대중화가 등장하였다. 1990년대부터 문화의 산업화에 관심을 가지기 시작하였다. 문화를 새로운 부가가치의 원동력으로 인식하기 시작하였다. 고도 산업화, 정보화 시대에 새로운 경제적 이익의 창출이 필요하다는 인식과 IMF관리체제의 영향으로 경제위기의 극복을 위한 정치적 결단 등으로 문화산업의 필요성이 강조되었다. 2000년대에 이르러 문화 복지에 대한 연구와 정책의 도입이 검토되었다. 세계화의 정책 기조에 따라 한국문화의 세계화와 문화적 다양성에 대한 인식이 제고 되면서 글로벌 시대의 문화적 가치의 보편적 확산이 강조되었다. 소외계층을 위한 문화 바우쳐 제도가 본격 도입되며 더욱 많은 시민들이 혜택을 받게 되었고 문화예술 교육의 강화로 이어졌다. 문화가 정치, 경제, 사회의 종속변수로 기능하던 것이 20세기 후반까지의 현상이었다면 21세기는 문화가 성장을 주도하고 도시의 활력을 창조하며 새로운 가치를 생산하는 동인이 된다는 면에서 종속변수이자 독립변수로 자리잡아가고 있다. 창조도시, 문화도시, 디자인 도시의 형태가 그 구체적 증거로 나타나고 있고, 국민의 여가문화와 문화향수는 문화복지의 개념에서 접근되고 있다. When the society stabilized, cultural/artistic politics shifted from cultural creators and elites to universal and popular policies for the cultural benefits of the people. Since the 1990s, Korea has been interested in cultural industrialization. Culture has been recognized as the source of new value added. The necessity of cultural industry has been emphasized as a political determination to overcome the economic crisis, affected by the understanding that a new source of economic profits is needed for the era of advanced industrialization and informatization and the IMF rescue funds. Entering the 2000, Korea introduced studies and policies on cultural welfare. In pursuit of the globalization of Korean culture and cultural diversity, the popularization of cultural value has been emphasized for the global era. With the introduction of cultural voucher system for the isolated class, more people have benefited from cultural experiences and found opportunities to enjoy cultural and art education. If culture was dependent to politics, economy, and society until the end of the 20th Century, it has become both dependent and independent in the 21st Century as culture leads growth, revitalizes cities, and produces new values. The outcomes have been creative cities, cultural cities, and design cities and the people`s cultural experience is approached from the concept of cultural welfare.

탐색시간의 개선을 위한 함수형 배열의 설계 및 구현

유원희(Yoo Weon Hee),주형석(Joo Hyung Seok) 한국정보처리학회 1996 정보처리학회논문지 Vol.3 No.5

Pure functional languages have the referential transparency feature so that all objects cannot be updated destructively. Once an aggregated data structure such as array is updated, both the original and newly updated array must be preserved to maintain referential transparency. Thus, it is required to develop an efficient mechanism with which can reduce the maintenance cost while maintaining referential transparency for whole data.This study is to suggest a functional array to solve the problem, and then test it. For that, the proposed mechanism was implemented on a combinator graph reduction machine. The result shows that proposed mechanism reduces traversal time for array operations. Also, updating all versions and accessing the recent version are achieved in constant time without reconstruction of updated data in execution time.

다원 환원체 병렬 컴퓨터에 의한 필기체 숫자 노드 추출 알고리즘

유주형(Ju-hyuong Yoo),이필규(Phill-kyu Rhee),유원희(Woon-hee Yoo) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.2

본 논문에서는 다원 환원체 구조 병렬 컴퓨터에서 필기체 숫자 인식을 위한 전처리 단계인 노드 추출 알고리즘을 제안하였다. 구문 패턴 인식시스템은 전처리 단계인 노드 추출 과정에서 많은 시간을 요하므로 전체 시스템의 수행 시간에 중대한 영향을 미친다. 다원 환원체 구조는 그 재구성 특성으로 인하여 2차원 영상 처리에 적합한 구조로, 본 논문에서는 다원 환원체 구조의 장점을 구문 패턴 인식시스템의 전처리 단계에 이용하므로서 전처리 단계에서의 수행 시간을 최소로하는데 목적이 있다. 본 논문에서 제안된 병렬 노드 추출 알고리즘은 O(1)의 시간 복잡도를 가지므로 기존의 다른 방식에 비하여 그 수행 속도가 훨씬 감소되리라 기대된다.

CTOC에서 자바 바이트코드를 위한 정적 단일 배정 형태

김기태,유원희,Kim, Ki-Tae,Yoo, Weon-Hee 한국정보처리학회 2006 정보처리학회논문지D Vol.13 No.7

자바 바이트코드는 많은 장점을 갖지만 수행 속도가 느리고 분석이 어렵다는 단점을 갖는다. 이를 극복하기 위해 바이트코드에 대한 분석과 최적화가 수행되어야 한다. 최적화된 코드를 위해 CTOC를 구현하였다. 바이트코드에 대해 분석과 최적화를 수행하기 위해서는 우선 CFG를 생성해야 한다. 바이트코드의 특성 때문에 기존의 제어 흐름 분석 기술을 바이트코드에 적합하게 확장해야 한다. 또한 정적으로 분석하기 위해 CFG를 SSA Form으로 변환한다. SSA Form으로 변환하기 위해서는 지배 관계, 지배자 트리, 직접 지배자, $\phi$-함수, 재명명, 지배자 경계 등 많은 정보에 대한 계산을 수행한다. 본 논문은 기존의 CFG로부터 SSA Form으로 변환을 위해 알고리즘과 변환 과정을 기술한다. SSA Form이 적용된 그래프는 추후에 타입 추론과 최적화를 위해 사용된다. Although the Java bytecode has numerous advantages, there are also shortcomings such as slow execution speed and difficulty in analysis. In order to overcome such disadvantages, bytecode analysis and optimization must be performed. We implements CTOC for optimized codes. An extended CFG must be first created in order to analyze and optimize a bytecode. Due to unique bytecode properties, the existing CFG must be expanded according to the bytecode. Furthermore, the CFG must be converted into SSA Form for a static analysis, for which calculation is required for various information such as the dominate relation, dominator tree, immediate dominator, $\phi$-function, rename, and dominance frontier. This paper describes the algorithm and the process for converting the existing CFG into the SSA From. The graph that incorporates the SSA Form is later used for type inference and optimization.

Hybrid Sol을 이용한 박막 유전체 제작

김용석,유원희,장병규,오용수,Kim, Yong-Suk,Yoo, Won-Hee,Chang, Byeung-Gyu,Oh, Yong-Soo 한국재료학회 2007 한국재료학회지 Vol.17 No.4

The purpose of this study is to evaluate the thin fihn dielectric made of hybrid sol, which consist of barium titanate powder, polymeric sol and other polymers. This sol will be used dielectric applied to small, thin electric passive components such as MLCC(Multi Layer Ceramic Condenser), resister, inductor. This sol is composed of mixed fine barium titanate powder and polymeric sol including Ba, Ti-precursor, solvent, chelating agent, chemical reaction catalyst, the additive sols to improve fired densification and temperature reliability. First at all, we mixed hybrid sol to be dispersed and be stabilized by ball milling for 24hrs. By spin coating method, we makes thin film dielectric on the convectional green sheet for MLCC. After heat treatments, we analyzes the structure morphology, physical, electrical properties and X5R Temperature properties.