• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.939-946
• /
• 2006

자바 바이트코드는 많은 장점을 갖지만 수행 속도가 느리고 분석이 어렵다는 단점을 갖는다. 이를 극복하기 위해 바이트코드에 대한 분석과 최적화가 수행되어야 한다. 최적화된 코드를 위해 CTOC를 구현하였다. 바이트코드에 대해 분석과 최적화를 수행하기 위해서는 우선 CFG를 생성해야 한다. 바이트코드의 특성 때문에 기존의 제어 흐름 분석 기술을 바이트코드에 적합하게 확장해야 한다. 또한 정적으로 분석하기 위해 CFG를 SSA Form으로 변환한다. SSA Form으로 변환하기 위해서는 지배 관계, 지배자 트리, 직접 지배자, $\phi$-함수, 재명명, 지배자 경계 등 많은 정보에 대한 계산을 수행한다. 본 논문은 기존의 CFG로부터 SSA Form으로 변환을 위해 알고리즘과 변환 과정을 기술한다. SSA Form이 적용된 그래프는 추후에 타입 추론과 최적화를 위해 사용된다.

• 한국정보통신학회논문지
• /
• 제18권10호
• /
• pp.2433-2442
• /
• 2014

본 논문에서는 전자사진 기술을 이용하는 프린터, 복사기, 팩시밀리, 복합기 등과 같은 이미징 장치의 효율등급기준에 대한 연구를 수행하였다. 대기전력을 관리하고 있는 현 제도의 문제점을 파악하고 효율관리 필요성을 제안하였으며, 이를 위한 효율 기준을 국내 대기전력저감 프로그램에 등록된 실증 데이터를 기반으로 개발하였다. 효율부여지표를 찾기 위해 상관분석(Correlation Analysis)을 실시하였으며, 인쇄 속도가 가장 큰 상관계수(Correlation Coefficient)를 가짐을 확인하였다. 이를 적용한 복합기, 프린터에 대한 1~5 등급의 효율등급 기준과 에너지 프론티어 기준을 도출하였으며, 정책반영 시 연간 약 650 억 원의 에너지 비용을 절감할 것으로 기대한다.

• Parasites, Hosts and Diseases
• /
• 제49권3호
• /
• pp.221-228
• /
• 2011

Rodent malaria parasites, such as Plasmodium berghei, are practical and useful model organisms for human malaria research because of their analogies to the human malaria in terms of structure, physiology, and life cycle. Exploiting the available genetic sequence information, we constructed a cDNA library from the erythrocytic stages of P. berghei and analyzed the expressed sequence tag (EST). A total of 10,040 ESTs were generated and assembled into 2,462 clusters. These EST clusters were compared against public protein databases and 48 putative new transcripts, most of which were hypothetical proteins with unknown function, were identified. Genes encoding ribosomal or membrane proteins and purine nucleotide phosphorylases were highly abundant clusters in P. berghei. Protein domain analyses and the Gene Ontology functional categorization revealed translation/protein folding, metabolism, protein degradation, and multiple family of variant antigens to be mainly prevalent. The presently-collected ESTs and its bioinformatic analysis will be useful resources to identify for drug target and vaccine candidates and validate gene predictions of P. berghei.

• 한국컴퓨터정보학회논문지
• /
• 제11권4호
• /
• pp.87-96
• /
• 2006

바이트코드는 많은 장점을 가지고 있으나 수행 속도가 느리고 프로그램의 분석과 최적화에 알맞은 표현은 아니다. 분석과 최적화를 위하여 바이트코드를 정적 단일 배정문(SSA Form)으로 변환이 수행되어야 한다. 그러나 바이트코드에서 SSA Form으로 변환 시 어떤 변수는 타입 정보를 상실한다. 이를 해결하기 위하여 본 논문에서는 바이트코드에 대한 확장된 제어 흐름 그래프를 생성한다. 또한 정적으로 분석하기 위해 제어 흐름 그래프를 SSA Form으로 변환한다. SSA Form으로 변환을 위하여 지배자. 직접 지배자. 지배자 경계. ${\phi}$-함수, 재명명 등 많은 정보에 대한 계산을 수행한다. 생성된 SSA Form에 알맞은 타입을 선언하기 위해서 다음과 같은 동작들을 수행한다. 먼저 클래스의 호출그래프와 상속 그래프를 생성한다. 그리고 각 노드에 대한 정보를 수집한다. 수집된 정보를 기반으로 동등한 타입의 노드를 찾고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안하였다.

• Steel and Composite Structures
• /
• 제44권2호
• /
• pp.155-169
• /
• 2022

In the present paper an analytical model was developed to study the non-linear vibrations of Functionally Graded Carbon Nanotube (FG-CNT) reinforced doubly-curved shallow shells using the Multiple Scales Method (MSM). The nonlinear partial differential equations of motion are based on the FGM shallow shell hypothesis, the non-linear geometric Von-Karman relationships, and the Galerkin method to reduce the partial differential equations associated with simply supported boundary conditions. The novelty of the present model is the simultaneous prediction of the natural frequencies and their mode shapes versus different curvatures (cylindrical, spherical, conical, and plate) and the different types of FG-CNTs. In addition to combining the vibration analysis with optimization algorithms based on the genetic algorithm, a design optimization methode was developed to maximize the natural frequencies. By considering the expression of the non-dimensional frequency as an objective optimization function, a genetic algorithm program was developed by valuing the mechanical properties, the geometric properties and the FG-CNT configuration of shallow double curvature shells. The results obtained show that the curvature, the volume fraction and the types of NTC distribution have considerable effects on the variation of the Dimensionless Fundamental Linear Frequency (DFLF). The frequency response of the shallow shells of the FG-CNTRC showed two types of nonlinear hardening and softening which are strongly influenced by the change in the fundamental vibration mode. In GA optimization, the mechanical properties and geometric properties in the transverse direction, the volume fraction, and types of distribution of CNTs have a considerable effect on the fundamental frequencies of shallow double-curvature shells. Where the difference between optimized and not optimized DFLF can reach 13.26%.

• Steel and Composite Structures
• /
• 제46권4호
• /
• pp.471-483
• /
• 2023

This paper presents an analytical hyperbolic theory based on the refined shear deformation theory for mechanical stability analysis of the simply supported advanced composites plates (exponentially, sigmoidal and power-law graded) under triangular, trapezoidal and uniform uniaxial and biaxial loading. The developed model ensures the boundary condition of the zero transverse stresses at the top and bottom surfaces without using the correction factor as first order shear deformation theory. The mathematical formulation of displacement contains only four unknowns in which the transverse deflection is divided to shear and bending components. The current study includes the effect of the geometric imperfection of the material. The modeling of the micro-void presence in the structure is based on the both true and apparent density formulas in which the porosity will be dense in the mid-plane and zero in the upper and lower surfaces (free surface) according to a logarithmic function. The analytical solutions of the uniaxial and biaxial critical buckling load are determined by solving the differential equilibrium equations of the system with the help of the Navier's method. The correctness and the effectiveness of the proposed HyRPT is confirmed by comparing the results with those found in the open literature which shows the high performance of this model to predict the stability characteristics of the FG structures employed in various fields. Several parametric analyses are performed to extract the most influenced parameters on the mechanical stability of this type of advanced composites plates.

• 한국산학기술학회논문지
• /
• 제21권6호
• /
• pp.91-102
• /
• 2020

본 연구는 연도별 은행의 투입요소와 산출요소의 생산가능집합을 순차적인 방법으로 구성하고 이 프런티어에 의해 비방사형 순차적 가중평균 러셀 방향거리함수로 비효율성을 측정한 후, 거리함수 값을 기초로 은행별 루엔버거 생산성 지수와 각 투입산출요소별 생산성 변화의 기여도를 분석하였다. 분석결과 첫째, 은행의 생산성은 글로벌 금융위기 이후 기술변화의 영향으로 생산성이 증가하였다. 둘째, 선행연구에서 글로벌 금융위기 전까지 기술진보의 변화를 보였으나 그 이후 기술변화는 정체 상태임을 실증적으로 제시하였다. 본 연구에서도 2009년부터 2014년까지는 기술변화의 침체로 생산성은 마이너스 성장을 하였다, 그러나 2014년 이후 생산성이 증가하였는데, 그 원인은 정체상태에 있었던 기술변화가 투입요소와 무수익여신의 감소로 인하여 기술진보로 전환된 데 있으며 이로 인해 생산성이 증가된 것으로 추론된다. 셋째, 과거 10년간 은행의 생산성 지수는 연평균 3.6% 증가하는 변화를 보였는데, 각 투입 및 산출요소별 생산성 기여도는 가계대출액 1.77%, 기업대출액 0.67%, 유형자산 1%, 인력 0.98%, 무수익여신 1.18%, 증권투자액과 총수신액 각각 -1.25%, -0.5%로 생산성을 증가시키는 데 무수익여신의 감축이 중요한 비중을 차지하고 있다. 본 연구의 한계점으로 분석모형의 방향성 거리함수 측정과정에서 자본구조 위험, 유동성 위험 등 환경변수의 방향성 설정이 어렵기 때문에 모형 내에서 통제하지 못함에 따라 환경변수의 영향을 고려하지 못하였다.

• 대한화학회지
• /
• 제41권3호
• /
• pp.117-122
• /
• 1997

전편[Bull. Korean Chem. Soc. 1995, 16, 1015]에 기초하여 중성과 다중 전하를 가진 $C_{60}$이온에 대하여 상대적 안정도, 이온화 에너지 및 화학 반응성을 연구하였다. $C_{60}^{1-}$이 가장 안정하며, 이온화 에너지는 15.31 eV($C_{60}^{2+}$)로부터 -13.01 eV($C_{60}^{6-}$)까지 값을 갖는다. 또한 전하와 이온화 에너지의 상관 관계에서 직선관계가 나타났으며, 전하당 평균 이온화 에너지는 3.15 eV(계산값)와 3.22 eV(상관관계값) 이었다. 양의 전하를 띤 $C_{60}$ 이온의 전하-이동 및 전자-이동 반응은 게스트 분자의 이온화 에너지가 호스트 $C_{60}^{n+}$의 전자 친화도보다 더 낮을 때 일어남을 알 수 있었다. 이때, 이온화 에너지와 전자친화도의 에너지 차이(${\Delta}_{IP-EA}$)가 클 때는 전하-조절 효과에 의하여 전하-이동 반응이 일어나며, 그 에너지 차이가 작을 때는 프론티어-조절 효과에 의하여 전자-이동 반응에 의하여 일어남을 확인하였다.

• 한국유통학회지:유통연구
• /
• 제16권5호
• /
• pp.211-231
• /
• 2011

상업론의 전통을 이어받은 일본 마케팅학계의 선구자들은 과점(寡占)메이커가 구축한 유통계열화에 대해 중소상인을 배급자로 전락시킨다고 하여 비판적이었고, 멀지 않은 장래에 붕괴될 것으로 예견했다. 한편 이러한 규범론적 연구그룹에 대해 거의 모든 소비재업계에 보편적으로 존재하는 유통계열화야 말로 미국식 마케팅 전략의 진수라고 평가하는 실증주의 연구그룹도 존재했다. 일본의 유통경로연구는 이러한 전통적인 규범주의 연구와 미국의 영향을 받은 경험주의 연구의 건전한 대립에 의해 발전하였다. 특기해야 할 것은 대형소매기업의 대두가 본격화되는 1980년대에 들어와 유통계열화가 약체화하기 시작했다는 점과 그 반면에 오랫동안 대립관계에 있었던 과점메이커와 대형소매기업간의 파트너십관계가 진전되기 시작했다는 점이다. 이에 따라 일본의 유통경로연구의 입장은 크게 변했다. 유통계열화라는 연구대상이 소멸했다고 판단했기 때문에 종래 이를 비판하고 상인옹호론을 펼쳤던 규범적 연구자들이 대형소매기업이 주도권을 가지는 제판동맹(製販同盟)을 긍정적으로 받아들인 것이다. 한편 유통계열화의 순기능을 지지했던 경험적 연구자들도 태도를 바꾸었다. 실증주의의 가르침에 따라 제판동맹이라는 새로운 실천현상을 연구의 프론티어로 인식한 것이다. 이처럼 일본의 유통경로연구가 일제히 유통계열화에서 제판동맹으로 연구의 중점을 이동시키면서, 방법론적으로 규범주의를 옹호하는 연구자는 그 모습을 감추고 다투어 경험주의 연구에 치중하게 된다. 일본적 마케팅의 주역으로서 규범주의적 색채를 남겼던 유통경로연구 조차도 방법론적으로 전향하게 된 것이다. 본고는 유통계열화의 종언을 전제로 하는 이러한 일본유통경로연구의 움직임에 대해 비판적인 견해를 피력한다.

• KDI Journal of Economic Policy
• /
• 제12권2호
• /
• pp.51-79
• /
• 1990

본(本) 논문(論文)은 기존의 경험적(經驗的) 산업조직론(産業組織論)에서 소홀히 취급한 기술적(技術的) 효율성(效率性)의 문제를 분석하기 위하여 광공업(鑛工業)센서스의 세세분류제조업별(細細分類制造業別) 사업체(事業體)를 대상으로 한국(韓國) 제조업(製造業)의 기술적(技術的) 효율성(效率性)에 관한 가장 미시적(微視的) 차원(次元)의 경험적(經驗的) 연구결과(硏究結果)를 제공한다. 기술적(技術的) 효율성(效率性)의 산업간(産業間), 국가간(國家間) 격차(隔差)를 성명하기 위해서는 우선 적절한 격차효율성지표(隔差效率性指標)의 선택이 매우 중요할 것이다. 이를 위하여 본(本) 연구(硏究)에서는 확률적(確率的) 생산경계(生産境界)를 수정최소자승법(修正最小自乘法)으로 추정한 후 각 산업별(産業別)로 기술적(技術的) 효율성(效率性)의 네가지 상이한 척도(尺度)에 대한 추정을 시도한다. 추정(推定) 결과 효율성(效率性) 척도간(尺度間)의 상관관계(相關關係)는 부가가치액(附加價値額)보다 생산액(生産額)을 종속변수로 한 경우가 다소 높은 것으로 나타났으나 전자(前者)의 경우가 보다 많은 산업(産業)에 대하여 효율성(效率性)의 추정(推定)을 가능하게 하기 때문에 산업간(産業間) 비교(比較)를 위하여 더 적절하다고 판단된다. 상당수의 산업(産業)에 있어서는 만족할 만한 효율성(效率性) 추정치(推定値)를 구하는 것이 불가능했지만 후속연구(後續硏究)의 관점에서 볼 때 기술적(技術的) 효율성(效率性)의 추정(推定)이 가능한 산업(産業)이 다수를 차지한 사실은 고무적 이라고 판단된다. 또한 종업원규모(從業員規模)가 영세한 사업체(事業體)들이 상대적으로 비효율적(非效率的)임을 알 수 있었다.