• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권5호
• /
• pp.2084-2100
• /
• 2020

Operating system (OS) kernel function call graphs have been widely used in OS analysis and defense. However, most existing methods and tools for generating function call graphs are designed for application programs, and cannot be used for generating OS kernel function call graphs. This paper proposes a virtualization-based call graph generation method called Acquire in Trap (AIT). When target kernel functions are called, AIT dynamically initiates a system trap with the help of a virtualization technique. It then analyzes and records the calling relationships for trap handling by traversing the kernel stacks and the code space. Our experimental results show that the proposed method is feasible for both Linux and Windows OSs, including 32 and 64-bit versions, with high recall and precision rates. AIT is independent of the source code, compiler and OS kernel architecture, and is a universal method for generating OS kernel function call graphs.

• Korean Journal of Mathematics
• /
• 제29권1호
• /
• pp.75-80
• /
• 2021

For a locus with two alleles (IA and IB), the frequencies of the alleles are represented by $$p=f(I^A)={\frac{2N_{AA}+N_{AB}}{2N} },\;q=f(I^B)={\frac{2N_{BB}+N_{AB}}{2N}}$$ where NAA, NAB and NBB are the numbers of IA IA, IA IB and IB IB respectively and N is the total number of populations. The frequencies of the genotypes expected are calculated by using p2, 2pq and q2. So in this paper, we consider the method of whether some genotypes is in Hardy-Weinburg equilibrium. Also we calculate the probability generating function for the offspring number of genotype produced by a mating of the ith male and jth female under a diploid model of N population with N1 males and N2 females. Finally, we have conditional joint probability generating function of genotype frequencies.

• 한국인터넷방송통신학회논문지
• /
• 제14권3호
• /
• pp.191-198
• /
• 2014

본 논문은 복잡한 비평활 발전비용함수를 가진 경제급전의 최적화 문제를 풀기 위해 단순히 선형 근사함수를 이용하는 방법을 제안하였다. 제안된 알고리즘은 비평활 발전비용 함수를 선형으로 근사시키고, 요구량이 현재의 발전량을 초과하는 경우 발전단가가 비싼 발전기의 가동을 중지시키고, 발전단가가 보다 큰 발전기의 발전량을 감소시켜 요구량과 발전량의 균형을 맞추는 개념을 도입하였다. 경제급전 문제의 시험사례로 빈번히 활용되고 있는 데이터에 대해 제안된 알고리즘을 적용한 결과 기존의 휴리스틱 알고리즘의 최적화 해를 획기적으로 감소시킬 수 있었으며, 현재 실무적으로 적용되고 있는 2차 평활함수 근사법과 유사한 결과를 얻었다.

• 대한수학회논문집
• /
• 제17권2호
• /
• pp.363-370
• /
• 2002

We show that G(x) = $e^{(x}$(1-x))/ -1 is the exponential generating function for the labeled digraphs whose weak components are transitive tournaments and derive both a recursive formula and an explicit formula for the number of them on n vertices. Moreover, we investigate the asymptotic behavior for the coefficients of G(x) using Hayman's method.d.

• Journal of Astronomy and Space Sciences
• /
• 제30권1호
• /
• pp.17-24
• /
• 2013

The use of generating functions for solving optimal rendezvous problems has an advantage in the sense that it does not require one to guess and iterate the initial costate. This paper presents how to apply generating functions to analyze spacecraft optimal reconfiguration between projected circular orbits. The series-based solution obtained by using generating functions demonstrates excellent convergence and approximation to the nonlinear reference solution obtained from a numerical shooting method. These favorable properties are expected to hold for analyzing optimal formation reconfiguration under perturbations and non-circular reference orbits.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1988년도 추계학술대회 논문집 학회본부
• /
• pp.102-106
• /
• 1988

Generally, average invest cost is widely used for expansion planning of generation in power system. But, other cost which is followed by adding generating capacity in electric system is increased in accordance with increasing plant reasons. In this study, we represent the invest cost with quadratic function and analyze its effect on the expansion planning. It is hoped that this method is used in expansion planning of generating system.

• 대한조선학회논문집
• /
• 제36권1호
• /
• pp.70-81
• /
• 1999

선체주위의 점성유동을 계산하기 위해서는 수치계산을 위한 3차원 공간 격자계가 필요하다. 본 논문에서는 타원형 미분 방정식인 Poisson 방정식의 해를 이용하여 3차원 공간 격자계를 구성하는 방법을 개발하였다. 2차원에서 사용되던 Sorenson방법을 3차원으로 확장하여 격자계의 분포 및 교차 각도를 지정하는 함수를 정의하게 하였다. 미분방정식의 해는 weighting function scheme과 modified strongly implicit procedure를 사용하여 구하였고, 3차원 내부 격자계와 경계면과의 매끄러운 연결을 위해 trans-finite interpolation을 이용하였다. 적용예로서 컨테이너 운반선과 대형 유조선 주위의 난류유동 계산을 위한 공간 격자계를 보였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.1186-1190
• /
• 1995

This paper is focused on the formulation of explicit closed-form functions describing the performance measures of the general flexible manufacturing system (FMS)according to the strategy of material handling system(MHS). the performance measures such as the production rate, the production lead-time and the utilization rate of the general FMS are expressed, respectively, as the explicit closed-form functions of the part processing time, the service rate of the material handling system (MHS) and the number of machine tools in the FMS. For this, the gensral FMS is presented as a generalized stochastic Petri net model, then, the moment generating function (MGF) based approach is applied to obtain the steady-state probabity formulation. Based on the steady-state formulation, the explicit closed-form functions for performance measures of the probability FMS can be obtained. Finally, the analytical results are compared with the Petri net simulation results to verify the validity of the suggested method. The paper is of significance in the sense that it provides a comprehensive formula for performance measures of the FMS even to the industry engineers and academic reademic resuarchers who have no background on Markov chain analysis method or Petrinet modeling

• 호남수학학술지
• /
• 제34권3호
• /
• pp.327-340
• /
• 2012

Gottlieb polynomials were introduced and investigated in 1938, and then have been cited in several articles. Very recently Khan and Akhlaq introduced and investigated Gottlieb polynomials in two and three variables to give their generating functions. Subsequently, Khan and Asif investigated the generating functions for the $q$-analogue of Gottlieb polynomials. Very recently, Choi defined a $q$-extension of the generalized two variable Gottlieb polynomials ${\varphi}^2_n({\cdot})$ and presented their several generating functions. Also, by modifying Khan and Akhlaq's method, Choi presented a generalization of the Gottlieb polynomials in m variables to give two generating functions of the generalized Gottlieb polynomials ${\varphi}^m_n({\cdot})$. Here, in the sequel of the above results for their possible general $q$-extensions in several variables, again, we aim at trying to define a $q$-extension of the generalized three variable Gottlieb polynomials ${\varphi}^3_n({\cdot})$ and present their several generating functions.

• Journal of applied mathematics & informatics
• /
• 제31권1_2호
• /
• pp.147-154
• /
• 2013

We analyze queueing model with priority scheduling by supplementary variable method. Customers are classified into two types (type-1 and type-2 ) according to their characteristics. Customers of each type arrive by independent Poisson processes, and all customers regardless of type have same general service time. The service order of each type is determined by the queue length of type-1 buffer. If the queue length of type-1 customer exceeds a threshold L, the service priority is given to the type-1 customer. Otherwise, the service priority is given to type-2 customer. Method of supplementary variable by remaining service time gives us information for queue length of two buffers. That is, we derive the differential difference equations for our queueing system. We obtain joint probability generating function for two queue lengths and the remaining service time. Also, the mean queue length of each buffer is derived.