(A)Return-On-Investment Based Approach to Plat-formalizing DTV Device Drivers Using Embedded Functional points

허소희 고려대학교 대학원 2008 국내석사

Embedded Software 산업 부문에서는 개발 시 드는 비용이 제품 출시 시 판매 비용에 직결되므로, 개발 비용의 절감이 늘 큰 이슈가 되고 있다. Hardware의 경우는 부품 재료비의 산정을 통해 재료비 절감의 효과를 미리 알 수 있지만, 눈으로 보이는 부품을 사용하지 않고 programmer의 노력과 시간, 개인적인 skill 등을 통해 산출되는 software의 개발 비용 산정에는 많은 어려움이 따른다. 또한 잘못 된 추정은 자원 예측의 부정확성을 초래하고 이로 인하여 일정에 차질이 오거나 품질의 저하와 같은 문제점이 따를 수 있다. 기존에는 Digital TV의 software 개발 시 software의 표준화를 통해서 개발 일정이나, 인적 자원의 절감 등과 같은 성과에 대해서 오로지 심증적인 추정만이 가능 한 경우가 많았다. 물론 이미 많은 분야에서 software 추정의 기법이 쓰이고 있고 보이지 않는 software 부품의 특성을 극복하고 좀 더 객관적인 기준을 마련하기 위한 노력이 진행되고 있다. 하지만 아직까지 digital TV를 개발하고 있는 산업체에서는 이러한 소프트웨어 추정 기법을 digital TV의 개발 project에 도입하고자 하는 시도가 널리 이루어지지 못하고 있는 실정이다. 이것은 최초에 TV를 개발할 때는 Analog 방송 수신용으로 어셈블리어를 사용하는 작은 규모의 program 만으로도 CRT TV의 개발이 가능했었고, 그러한 시기에는 경력 많고 자질 있는 senior engineer에 의한 소프트웨어 자원의 추정이 가능하였다. 그러나 그 이후에 digital TV 방송이 도입되고, 방송 수신을 위한 SOC chip들의 발전이 급격하게 진행되면서 digital software의 규모와 복잡성이 날이 다르게 커져갔다. 그리고 이렇게 software의 발전이 진행됨에 따라, project를 시작하기 전에 software team의 목표 설정을 하는 경우나 개발 완료 시의 성과 측정이 필요한 경우에는 적당한 기준을 찾지 못해 곤란을 겪어왔다. 또한, 대부분의 embedded 산업에서는 제품을 개발 할 때, 기존에 개발 되어왔던 과거 project에서 software의 일부만을 변경을 하여 다양한 modify model을 개발하는 경우가 많은데, 이 경우에는 변경 되는 부분을 작업할 programmer를 몇 명을 투입 할 것 인지, 예상 개발 비용과 기간에 대해서는 더욱 가늠하기 힘들다. 본 논문에서는 실제로 개발 중인 Digital TV의 일부 code만을 변경하는 경우를 고려하여, 표준화 작업을 수행 할 경우 작은 module의 변경만을 COCOMO II 모델링 기법을 적용하여, 예측 비용을 추산해 보았다. 이 방법을 통하여 소단위의 software의 변경이나 기능의 추가 시에 기대되는 비용의 효과를 예측 할 수 있고, 필요한 인원 선정에도 도움이 될 수 있다. 그 변경 될 module의 대상은 device driver level에 위치하고 있어, 매번 새로운 device가 개발 될 때마다, 추가로 작성되어야 하는 code 였다. 그러나, 이 code를 표준화 할 수 있는 부분과 device에 전적으로 의존적인 부분을 고려하여 표준화가 가능한 부분은 refactoring과 module 화를 통하여 Plat-formalization 을 시켜서, 표준 code 영역으로 옮겨서, device 추가 시 마다 다시 개발 되는 일이 없도록 하는 것을 본 논문의 목표로 삼았다. 또한 이때 code size를 추정하기 위하여 기존의 function points 기법을 사용 할 경우, 이 기법 자체가 대규모의 team project를 수행할 때 적합하도록 고안이 되어서, 소규모의 program을 변경할 경우에는 적용하기에 부적합하다는 것을 발견하였다. 이에 기존의 function points 기법을 소규모 embedded 환경에서 사용하기 적합하도록 parameter를 수정하여, 새로운 ‘Embedded functional point” 기법을 고안하여 이 기법을 사용하여 좀 더 정확한 추정이 이루어질 수 있도록 하였다. 이때 얻어지는 cost는 향후 새로운 device 를 이용하여 개발되는 모델의 개발 비용까지 고려될 수 있다. 본 논문에서는 기존의 software 측정 기법으로 잘 알려진 COCOMO(Constructive Cost Model) II 를 사용하여 가시적인 비용을 추정하였으며, 그 결과는 해당 모듈을 위하여는 programmer 한 명이 full 로 지원이 되었을 경우 약 9개월 정도 걸리는 것으로 나왔다. 따라서, 이 모듈을 표준화 했을 경우에는 이에 해당하는 비용의 절감 효과를 기대할 수 있다. 이러한 방법은 다른 모듈로의 확대가 가능하며 향후 Digital TV software project의 개발 할 경우, 계획을 세우거나, 성과 측정에 도움을 줄 수 있을 것이다. In this paper, we apply COCOMO II modeling method to digital TV by considering the modification of the partial code in case of the software standard and estimate a cost. Through the proposed method, we can estimate the cost and when the partial software code or additional function is modified. We also can estimate the number of the works to modify the code. When new devices are added or developed, the code has to be modified because the modified target module is located in device driver level. The focus of the paper is the decrease of the development costs by considering the partial code that is able to standardize and the other that is device dependant. Additionally, we discover that an existing method (functional points) is not suitable for the small team project to estimate a code size. Accordingly, we modify a parameter that is used in the existing method “Functional points” and propose a new method that is a suitable developing environment in embedded system. In section 4 (Estimation), we show that the proposed method is better than the existing method in terms of the estimated cost.

FUNCTION POINT 모델을 이용한 은행 응용 S/W 개발규모 및 개발비 산정에 관한 연구

김연수 서강대학교 정보통신대학원 1999 국내석사

Point Spread Function을 이용한 광학계의 결상특성 해석

강성식 청주대학교 2002 국내석사

The point spread function(PSF) represents the imaging characteristics of an optical system, and the modulation transfer function(MTF) is evaluated from its Fourier spectrum. The PSF is affected with optical aberrations and diffraction of light. The PSF and MTF could be evaluated by two different models from the wavefront aberrations. One is the diffraction model and the other is the geometrical model which ignores the effects of diffraction. The diffraction model gives more accurate results in general, but it needs numerous calculations for the case of laigdy aberrated system. In such a case, the aberration gives dominant image degradation rather than the diffraction, so that the geometrical model may be used for the performance evaluation effectively. The geometrical model requires less calculations than those of the diffraction model to evaluate the MTF. In this study, we examined the difference between the geometrical MTF and the diffraction MTF in the presence of the third order aberrations. When the peak-to-valley error of the wavefront is larger than 8λ, the MTF difference are less than 0.02. They are good agreement with each other. The another exanimation by using a spherical mirror system, we get similar results. Therefore, we conclude that the geometrical MTF can be used for performance evaluation of optical system if the peak-to-valley error of the wavefront is larger than 8λ. But, the geometrical PSF has a singular point at center for spherical aberrations, so that the geometrical model can not be used for evaluation of PSF of on-axial object.

Fixed Points of Functions on Partially Ordered Metric Spaces

강정은 성신여자대학교 교육대학원 2008 국내석사

순서집합(ordered set)에서 자기함수(self-function)의 부동점정리(Fixed point theorem)는 Zermelo의 정리로 부터 시작되었다. Zermelo의 정리는 Zorn의 보조정리와 논리적으로 동치임은 잘 알려져 있는데, 이후로 많은 학자들이 순서집합에서 증가함수의 부동점의 존재에 흥미를 가지게 되었고, 순서집합에서의 극대원리와 부동점정리를 연계시키는 이론들이 나오게 되었다. 거리 공간에서는 Banach의 축소원리(Contraction Principle)는 1922년에발표되었는데, 미분방정식 등 해석학분야에 대한 풍부한 응용력이 있어서 여러 가지 방향으로 일반화되었다. 1976년에 Caristi는 주어진 함수에 연속성의 가정없이 완비 거리 공간에서 함수의 부동점정리를 증명하였다. Caristi는 그의 정리 증명에서 매우 복잡한 초한귀납법(transfinite induction)을 사용하였다. 2005년에 Nieto와 Lopez 는 제한된 영역에서 Banach형의 조건을 만족하는 연속 증가함수의 부동점정리를 증명하였는데, 그들의 증명은 함수의 반복열(iteration)의 수렴성을 이용하였다. 이 논문에서 우리는 주어진 함수의 연속을 가정하지 않고, Caristi형의 조건을 만족하는 증가함수에 대하여 Nieto와 Lopez의 부동점정리를 확장하였다. 또, Nieto와 Lopez의 조건 하에 몇 가지 다른 부동점정리를 증명하였다. Fixed point theorems for functions on ordered sets are originated from the theorem of Zermelo. It is well-known that some maximal principles can be reformulated to fixed point theorems in ordered sets. Indeed, Zermelo's Theorem is logically equivalent to Zorn's Lemma. In metric spaces, the fixed point theorem generally known as the Banach's Contraction Principle appeared in 1922. In 1976, Caristi [2] proved a fixed point theorem for functions on complete metric spaces without assumming the continuity of given function. Caristi used very complicated transnite induction to prove his theorem. Since then, a lot of papers have been published to generalize or extend Banach's Contraction Principle and Caristi's fixed point Theorem. In 2005, Nieto and Lopez [10] prove a fixed point theorem for continuous increasing functions satisfying some Banach type conditions on some limited domain. He used the convergence of the iteration of given function to verify the existence of fixed point. In this paper, We will extend Nieto and Lopez's a fixed point theorem for increasing functions satisfying some Caristi type conditions without assumming the continuity. We will use a maximality principle to prove our theorem. Also we will show that another fixed point theorem under the condition given in Nieto and Lopez.

On closed convex hulls and extreme points of some classes of holomorphic functions

정세원 이화여자대학교 대학원 1991 국내박사

기능점수 산정 방법론을 통한 소프트웨어산업 규모 측정에 관한 연구

김병욱 건국대학교 대학원 2010 국내석사

오늘날 소프트웨어 산업의 중요성은 날로 중요시되고 있으며, 질적 양적으로 비약적인 성장을 보여 왔다. 그러나 후발 경쟁국과의 기술격차가 급격히 줄어들고 있고, 소프트웨어 인력부족, 개발 프로세스 낙후, 대기업 과점에 따른 중소기업의 사장 진출이 어려움 등 위기에 있다. 이러한 위기를 해결하기 위해서 소프트웨어 인력 처우 개선 및 교육 강화가 필요하고, 위험관리, 결함관리, 규모산정 등의 프로세스의 개선이 필요하다. 따라서 본 논문에서는 규모산정 프로세스 개선에 초점을 두고 규모산정 방법에 관하여 알아보았다. 소프트웨어 규모산정 방법을 알고리즘 방법과 비 알고리즘 방법이 있고, 특히 알고리즘 방법의 IFPUG의 기능점수 방법을 통하여 소프트웨어 규모산정 하는 방법에 대하여 자세히 알아보았다. 본 논문에서는 기능점수 산정방법을 일반적인 기능점수 방법과 평균복잡도 기능점수 방법으로 나누어서 체계적으로 정립하였으며, 실제로 기능점수를 산정 하고 평균복잡도와 비교 해보았다. 평균복잡도 기능점수 방법은 부족한 자료로 규모를 산정해야 하거나 소규모 소프트웨어 산업에서 규모산정 방법으로 사용을 추천한다. 반면, 일반적인 기능점수 방법은 고객이 정확한 규모 산정을 요구하거나, 대규모 소프트웨어 산업에서 규모산정 방법으로 사용을 추천한다. 그러나 본 논문에서 연구된 일반적인 기능점수 방법은 많은 시간과 인력이 필요하고, 평균복잡도 기능점수 방법은 일반적인 기능점수 방법과는 많은 차이를 보이고 있었다. 향후 평균복잡도 기능점수 보다 정확하게 규모를 산정할 수 있고, 일반적인 기능점수 방법 보다 간편한 규모산정 방법에 관하여 연구가 이루어져야 할 것으로 사료된다. Today, the software industry is increasingly gaining importance on a daily basis, and it has shown an unprecedentedly rapid growth in terms of its quality and quantity. However, the technological gap with the competing countries that entered the market as late movers has sharply decreased, while small and medium-sized companies are facing difficulties due to a shortage of software manpower, a low level of development process, and the difficulty of the Small and Medium-sized companies’ entry to the oligopolistic markets dominated by a few large companies. To solve the current crisis, an improvement in labor conditions for the software manpower and strengthening of training are necessary, and an improvement in the risk management process, a defect management process and the software size estimation, among others, are also required. Accordingly, this paper examined the methods of the software size estimation, mainly focusing on the improvement in the size estimation process. There are two methods to estimate the software size: an algorithmic method and a non-algorithmic method, and using the algorithmic method of function point by IFPUG in particular, this paper analyzed in great detail the method of the software size estimation. In this paper, an estimation method of function point was systematically established, with the estimation method classified as the general method of function point and an average complexity method of function point. The average complexity method of function point is recommended for uses where the software size should be estimated based on the insufficient data or where small-scale software industries are involved, whereas the general estimation method of function point is recommended where the clients request exact size estimation or where large-scale software industries are involved. However, the general method of function point examined in this paper requires a lot of time and a great deal of manpower, and on the other hand, the average complexity method of function point shows a big difference compared with the general method of function point. Therefore, further studies are required on the methods which can estimate the software size more accurately than the average complexity method of function point, and at the same time, estimate the software size more conveniently than the general method of function point.

Synthesis of functionalized polyethers using designed epoxide monomers in solution and solid-state

박지혜 Graduate School, Yonsei University 2023 국내석사

This thesis describes diverse methods for synthesizing functionalized polyether, which has limited functionalized sites. Due to its naturally excellent properties such as hydrophilicity, biocompatibility, and flexibility, functionalized PEG can be used in diverse biological and industrial fields. In this study, we designed functional epoxide monomers, as a fundamental approach for preparing functionalized PEG, and obtained desired functionalized polyethers in both solution and solid states by using the designed monomers. Chapter 1 introduces the solution-state synthesis of functionalized polyether with carboxylic acid functionalities. Despite the potential applications of polyethers containing carboxylic acid pendants in adhesives, absorbents, and drug delivery systems, it is difficult to synthesize them by anionic ring opening polymerization (AROP) due to whose harsh condition. This thesis presents a novel functional epoxide monomer with oxazoline functionalities as a protecting group for carboxylic acid, i.e., 4,4-dimethyl-2-oxazoline glycidyl ether (DOGE), which was successfully used to synthesize the desired polyether via AROP for the first time in this study. The stepwise syntheses of the DOGE monomer and the resulting polyethers were carefully analyzed by nuclear magnetic resonance (NMR), gel-permeation chromatography (GPC), matrix-assisted laser desorption and ionization time-of-flight (MALDI-ToF), and Fourier transform infrared (FT-IR) spectroscopy. Moreover, copolymerization with another epoxide monomer and macroinitiator was performed, which yielded well-defined polyethers. This study is an important step towards the development of polyethers with carboxylic acid pendants. Chapter 2 reports the solid-state polymerization of various epoxide monomers such as 4-methoxy phenyl glycidyl ether, 3,5-dimethoxy phenyl glycidyl ether, biphenyl glycidyl ether, trityl glycidyl ether, and (s)-trityl glycidyl ether by using ball milling method for the first time. Despite recently advanced mechanochemical polymerization via ball milling, our understanding of the unique mechanochemical reactivity in polymerization still requires significant investigations. To provide mechanochemical synthetic insights into the mechanochemical polymerization, the relationship between the mechanochemical reactivity and physical properties of the monomers were examined. The controllable syntheses of polymers without mechanical force induced degradation were evaluated by NMR, GPC, and MALDI-ToF analyses. Most interestingly, a linear relationship was found between the mechanochemical polymerization reactivity and the melting point of the monomers, which leading opposite reactivity between ball milling and conventional method. This study will contribute to the rational development of solid-state polymerization via ball milling.

고정점 정리 및 반복함수에 관한 연구

이은숙 연세대학교 교육대학원 2004 국내석사

본 논문에서는 완비거리공간에서 축소사상에 대한 고정점 정리를 증명하고, 몇 가지 간단한 반례를 제시해 보임으로써 그 역과 이는 성립하지 않음을 보이며, 그 대우의 예시를 통해 본 명제가 참임을 직관적으로 인식해본다. 그리고 이 고정점 정리를 이용하여 연립방정식의 해의 존재성을 확인해 본다. 또한 이 정리를 이용하여 방정식의 근으로 수렴하는 반복함수의 조건에 대해 알아보고 반복함수의 수렴 또는 발산과정을 그래프를 통해 직관적으로 인식, 추측해 본다. 마지막으로 실수공간에서 반복함수 실례를 제시하여 이를 그래프를 통해 비교, 분석하고 컴퓨터 프로그램으로 이 함수의 고정점을 구함으로써 주어진 방정식의 근사근을 구해본다. In this paper, we prove a fixed point theorem for contractions in a complete metric space and show that the converse and the converse of contrapositive of the theorem are not true by giving some examples. We also convince ourselves intuitively that the theorem is true by giving examples of the contraposition of the theorem. We give conditions on the convergence of an iteration function and find a sequence which converges to the fixed point of the iteration function. To find a root of the equation f(x)=0, we derive an equation x=g(x) so that the fixed point of the iteration function g(x) is a root of the equation f(x)=0. Finally, we give examples of computer programs to approximate a root of an equation by finding the fixed point of the iteration function.

On characterization of the extreme points in a function space

Lee, Joung-Nam 檀國大學校 1990 국내박사

극점에 관한 이론은 1911년 H. Minkowski 에 의하여 연구되기 시작하였다. 그 후 1940년, Minkowski 정리는 M. Krein 과 D. Milman에 의하여 무한 차원공간으로 확장되었으며, 또 Krein-Milman 의 정리는 1957년에 V. Klee 에 의하여 일반화되었다. 그 후 극점에 관해서는, 벡터값을 갖는 어떤 연속 함수 공간에 있어서의 단위구의 극점들에 대하여, 그 함수값들이 그 치역 공간에 있어서의 단위 구의 극점들이 되는가라고 하는 문제가 제기되었으나, 일반적으로는 이 이론이 성립하지 않는다는 것으로 알려져 있었다. 그러나, 1983 년에 D. Werner 는 이 이론이 L_1(u)-치 함수 공간에서는 성립한다는 것을 다음과 같은 충분 조건으로서 증명하였다. 즉, (S,J,u) 를 임의의 측도공간, K를 compact Hausdorff 공간이라 할때, f 가 C(k,L_1(u)) 공간에서 extremal 일 충분조건은 모든 k∈K 에 대하여 f(k)가 L-1(u)-치 함수 공간에서 extremal 이어야 한다는 것이다. 본 논문은 이 이론을 바탕으로, L_1(u) 공간을 L_Φ(u) 공간으로 확장하여 위의 이론을 다음과 같이 일반화하고 증명하였다. (S,J,u) 를 σ-유한 측도 공간, K 를 locally compact Hausdorff 공간, 함수 Φ:R →[0,∝] 를 볼록우함수라고 하자. 모든 실수 t 에 대하여 Φ(2t)≤MΦ(t) 를 만족하는 양의 상수 M 이 존재하고 함수 f 가 B(C(K,L_Φ(u))) 에서 extremal 이면, f_k 는 locally compact Hausdorff space K의 모든 k 에 대하여 B(L_(u)) 에서 extremal 이다. The study about extreme point goes back to H. Minkowshi(known(in R^n) as Minkowski's theorem). In 1940, M.krein and D. Milman extended Minkowski's theorem to infinite dimensional spaces. In 1957, V. Klee outlined the generalization of Krein-Milman theorem. An important question about extreme points is as follows; For the extreme points of the unit ball of certain spaces of vector valued continuous functions, are all the values they assume extremal points of the unit ball of the range space? It is known that this problem is true for strictly convex and C(K)-type range spaces, but it is false in general. In 1983, by applying the Michael's seletion theorem, D. Werner solved the above mentioned question for spaces of L_1(u)-valued functions. It is as follows: Suppose (S,J,u) is an arbitrary measure space, K is a compact Hausdorff space, and f is extremal in C(K,L_1(u)). Then f_k is extremal in L_1(u) for all k in K. D. Werner's result motivates the fundamental question of this paper: How can generalize the space L_1(u)? The object of this paper is to generalize the above D. Werner's result using some properties of uniform convexity of an Orlicz space L_Φ(u). Our main result is as follows: Let (S,J,u) be a σ-finite measure space and K a locally compact Hausdorff space. Let Φ: R → [0,∞) be an even convex function. Suppose that there exists a constant M>0 such that Φ(2t) ≤M Φ(t) for all t ∈ R, and f is extremal in B(C(K,L_Φ(u))). Then f_k is extremal in B(L_Φ(u)) for all k in k.

Bandwidth Selection for Kernel Estimators of the Intensity and Pair Correlation Functions of Spatial Point Processes

정양하 서울대학교 대학원 2023 국내박사

In this thesis, we present an optimal bandwidth selection method for kernel estimator of the intensity function of the spatial point process and the LISA function of the pair correlation function. Particularly in estimating intensity function, we suggest a method to control smoothness with small data size by using Bayesian bootstrap. We propose a method to obtain a bandwidth that minimizes the mean integrated square error in the kernel estimation in the LISA function of the paired correlation function. We numerically compare our method with other existing methods and show that our method outperforms other methods in most cases. We also apply our method to two case studies. 본 학위논문에서는 공간점과정의 강도함수와 짝상관함수의 LISA 함수를 추정하는 데 있어 커널 추정 사용 시 최적의 띠너비 선택 방법을 제시한다. 특히, 강도함수의 추정에서 베이지안 붓스트랩을 사용하여 작은 자료 크기를 통한 커널 추정에도 평활도를 조절할 수 있는 방법을 제시하며, 짝상관함수의 LISA 함수에서의 커널 추정에서도 평균적분제곱오차를 최소로 만드는 띠너비를 구하는 법에 대해 제안한다. 마지막으로, 우리의 방법을 기존의 방법들과 수치적으로 비교하고 대부분의 경우 제안하는 방법이 기존의 방법들을 능가한다는 것을 보여주며 이를 두 가지 사례 연구에 적용한다.