• 한국산학기술학회논문지
• /
• 제21권11호
• /
• pp.804-813
• /
• 2020

기존의 국내 무부채 기업에 관한 연구는 부채 그룹과 대비되는 의미에서의 무부채 단일 그룹의 동질적인 그룹 특성 연구에 중점을 두었다고 볼 수 있다. 본 연구는 국내 무부채 기업군을 단 변량 분석과 다 변량 로짓 회귀분석을 사용하여 배당금을 지급하는 그룹과 지급하지 않는 그룹으로 나누어 실증 분석한 결과 국내 기업들이 무부채 전략을 선택하는 동기에 있어서 크게 두 종류의 기업군으로 분류 될 수 있음을 발견했다. 첫 번째 기업군은 주로 기업 크기가 작은 신생 기업들로서 금융시장에서 부채를 조달하는데 어려움이 있고 이런 재정적인 어려움 때문에 무부채를 선택하는 기업들이다. 이런 종류의 기업들은 배당금을 지급할 수 있을만한 유동성이 없다. 두 번째 그룹은 비교적 크고 성숙한 기업들로서 현재 부채 조달에 어려움은 없지만 미래 성장에 필요한 투자 자금 확보를 대비해서 현재의 부채 사용을 억제하여 필요한 시점의 원활한 부채 자금 조달을 위한 재정적 유연성을 갖고자 무부채 전략을 선택하는 것으로 보인다. 재정적으로는 비교적 안정되어 있고 배당을 지급하지 않는 그룹보다 수익률과 영업 현금흐름에서 더 높지만 성장가능성은 상대적으로 더 낮다. 요약하자면 무부채 그룹은 단일 공통된 특성의 그룹이 아니다.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권6호
• /
• pp.493-502
• /
• 2007

지식을 효과적으로 표현하고 검색하는 방법에 대한 관심이 증가함에 따라, 토픽맵을 비롯한 지식 표현 기법들이 점점 중요해지고 있다. 토픽맵은 지식을 구조화하여 표현하게 되는데 지식은 매우 복잡한 의미적 관계를 포함하고 있기 때문에 이를 의미적으로 일관성 있게 유지, 관리하는 것은 매우 중요한 문제가 된다. 현재 토픽맵 무결성 검사를 위하여 TMCL을 비롯한 여러 토픽맵 제약 조건 언어와 시스템들이 제안되었다. 그러나 이들은 단순한 의미적 제약들에 대해 지원하고 있지만, 의존성과 같은 복잡한 제약들에 대한 것들은 다루고 있지 못하다. 또한, 단순히 응용 레벨에서 제약들을 검사함으로써 좋지 않은 성능을 보인다. 이에 본 논문에서는 기존의 정보 시스템 분야 및 관련 분야에서 제공하고 있는 제약 언어들의 특성을 기반으로 TMCL을 확장하였다. 또한 이를 효율적으로 지원하기 위한 관계형 데이타베이스기반의 토픽맵 무결성 검사 기법을 제안하고 구현하였다. 구현한 시스템에서는 TMCL에서 제공하고 있는 기본적인 토픽맵 제약 조건들뿐만 아니라 의존성과 같은 복잡한 형태의 제약도 다루고 있다. 그리고 각각의 제약 조건을 검사할 때 템플릿을 이용하여 질의를 생성시켜 효율적인 무결성 검사가 가능하게 함으로써 기존 시스템들의 검사 방식에 비해 높은 성능을 보임을 확인하였다.

• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.191-198
• /
• 2006

다양한 환경 속에서 기업이 업무의 효율성과 효과적인 업무처리를 해결하기 위해서 핵심정보시스템으로 워크플로우를 도입하고 있다. 최근에는 워크플로우 확장으로 비즈니스 프로세스 관리(BPM: Business Process Management)가 기업 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리에서 워크플로우는 핵심적인 역할을 수행하고 있지만, 워크플로우 연구의 대부분은 복잡한 업무의 정확한 실행 순서를 찾기 위한 시간적인 제약들에 집중되어 있다. 그런 이유에서 워크플로우 스케줄링의 대부분은 처리해야 할 다양한 자원의 모델링에 집중되었으며, 자원과 연관된 제약조건에서의 워크플로우 스케줄링에 대한 관심은 미흡한 편이다. 본 논문에서는 자원할당 제약조건에 따른 워크플로우 스케줄링에 적합한 CTR(Concurrent Transaction Logic) 기반의 변형 템플릿(Transformation Template)과 논리적 프레임워크를 제안한다. 변형 템플릿은 워크플로우 변형 템플릿(Workflow Transformation Template)과 제약조건 변형 템플릿(Constraint Transformation Template)으로 구성된다. 이 변형 템플릿은 기존의 워크플로우를 자원할당 제약조건 하에서 새로운 워크플로우를 논리적으로 표현하는데 용이하게 사용할 수가 있다.

• Journal of Communications and Networks
• /
• 제11권2호
• /
• pp.148-156
• /
• 2009

The fixed spectrum assignment policy in today's wireless networks leads to inefficient spectrum usage. Cognitive radio network is a new communication paradigm that enables the unlicensed users to opportunistically use the spatio-temporally unoccupied portions of the spectrum, and hence realizing a dynamic spectrum access (DSA) methodology. Interference temperature model proposed by Federal Communications Commission (FCC) permits the unlicensed users to utilize the licensed frequencies simultaneously with the primary users provided that they adhere to the interference temperature constraints. In this paper, we formulate two NP-hard optimal scheduling methods that meet the interference temperature constraints for cognitive radio networks. The first one maximizes the network throughput, whereas the second one minimizes the scheduling delay. Furthermore, we also propose suboptimal schedulers with linear complexity, referred to as maximum frequency selection (MFS) and probabilistic frequency selection (PFS). We simulate the throughput and delay performance of the optimal as well as the suboptimal schedulers for varying number of cognitive nodes, number of primary neighbors for each cognitive node, and interference temperature limits for the frequencies. We also evaluate the performance of our proposed schedulers under both additive white gaussian noise (AWGN) channels and Gilbert-Elliot fading channels.

• Journal of Communications and Networks
• /
• 제16권1호
• /
• pp.36-44
• /
• 2014

Exploiting the energy-delay tradeoff for energy saving is critical for developing green wireless communication systems. In this paper, we investigate the delay-constrained energy-efficient packet transmission. We aim to minimize the energy consumption of multiple randomly arrived packets in an additive white Gaussian noise channel subject to individual packet delay constraints, by taking into account the practical on-off circuit power consumption at the transmitter. First, we consider the offline case, by assuming that the full packet arrival information is known a priori at the transmitter, and formulate the energy minimization problem as a non-convex optimization problem. By exploiting the specific problem structure, we propose an efficient scheduling algorithm to obtain the globally optimal solution. It is shown that the optimal solution consists of two types of scheduling intervals, namely "selected-off" and "always-on" intervals, which correspond to bits-per-joule energy efficiency maximization and "lazy scheduling" rate allocation, respectively. Next, we consider the practical online case where only causal packet arrival information is available. Inspired by the optimal offline solution, we propose a new online scheme. It is shown by simulations that the proposed online scheme has a comparable performance with the optimal offline one and outperforms the design without considering on-off circuit power as well as the other heuristically designed online schemes.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권2호
• /
• pp.216-226
• /
• 2000

본 논문에서는 시간 제한 조건을 가진 신호 전이 그래프로부터 바동기 회로를 합성하는 방법을 기술한다. 이 방법에서는 기존의 방법과는 달랴 상태 그래프를 생성하지 않고 신호 전이 그래프로부터 직접 신호 전이들간의 관계를 구하여 비동기 회로를 합성한다. 본 논문의 합성 과정에서는 먼저 타이밍 분석을 통하여 임의의 두 신호 전이 사이에 시간 제한 조건 내에서 병렬 관계와 인과 관계가 있는지를 구 한다. 그 다음에는 이들 관계들로부터 우선 순위 그래프를 생성하고 이 그래프 상에서 경로들을 구함으로써 해저드가 없는 회로를 생성한다. 실험 결과에 의하면 본 논문에서 제안한 합성 방법은 상태 수가 많은 회로에 대해서 현저하게 합성 시간을 단축시킬 수 있을 뿐만 아니라 기존의 합성 방법과 비교하여 거의 같은 면적의 회로를 합성한다.

• 전기전자학회논문지
• /
• 제5권2호
• /
• pp.164-173
• /
• 2001

본 논문은 독립적으로 움직이면서 시간 제약을 만족시키는 새로운 내장형 실시간 시스템을 설계하며 구현하였다. 본 논문에서의 실시간 시스템 커널은 시간적인 요소를 가장 핵심으로 고려하여 설계되었다. 따라서 실시간 커널은 작은 용량을 가지며 빠르게 예측하며, 실시간 스케줄링에 요구되는 많은 변화들을 통해서 실시간 커널에 융통성을 부여한다. 제안한 실시간 커널은 경성 실시간 제약 조건인 인터럽트 지연 시간, 스케줄링의 정확성, 메시지 전달시간을 만족하기 위하여 실시간 커널에는 실시간 태스크 처리와 인터럽트 처리, 타이밍을 처리하도록 하였고 비 실시간 커널은 일반적인 태스크를 처리하도록 하였다. 제안된 실시간 시스템은 RT-Linux, QNX와 인터럽트 지연, 스케줄링 정확성, 메시지 전달시간 등을 비교 분석하여 효율성을 입증하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 춘계학술대회 논문집
• /
• pp.27-33
• /
• 2005

Constant load model is generally used for an electric train to perform the static analysis of AT feeding systems. In this model, the train will be considered as a constant load model when it drives or as a constant source model when it applies regenerative brake. However there must be some voltage constraints on the catenary in actual operations. These constraints are established for the reason of protecting the feeding facilities from excessive rise of regenerative braking voltage or guaranteeing the minimum traction power of train. In normal operating situation, the pantagraph voltage of the train should be maintained within these limits. Keeping these facts in minds, we suggest new methods of analyzing AT feeding systems using the constant power models with the conditions of voltage constraints. The simulation results from a sample system using the proposed method illustrate both the states of system variables and the supply-demand relation of power among the trains and the systems very clearly, so it is believed that the proposed method yields more accurate results than conventional methods do. The proposed methods are believed to contribute to the assessment of TCR-TSC for compensating reactive powers too.

• 지능정보연구
• /
• 제17권2호
• /
• pp.1-22
• /
• 2011

본 논문에서는 선행제약순서결정문제(Sequencing problem with precedence constraints, SPPC)를 효과적으로 해결하기 위한 적응형 유전알고리즘(Adaptive genetic algorithm, aGA)을 제안한다. aGA에서 는 SPPC를 효과적으로 표현하기 위해 위상정렬에 기초한 표현절차(topological sort-based representation procedure) 를 사용한다. 제안된 aGA는 퍼지로직제어를 이용한 적응형구조를 가지고 있으며, 유전 탐색과정을 통해 교차변이 연산자(Crossover operator)의 비율을 적응적으로 조절한다. 수치예제에서는 다양한 형태의 SPPC를 제시하였으며, 그 실험결과는 제안된 aGA가 기존의 알고리즘보다 우수함을 보여주었다. 결론적으로 말하자면 본 논문에서는 제안된 aGA가 다양한 형태의 SPPC에서 최적해 혹은 최적순서를 발견하는데 아주 효과적이라는 것을 밝혔다.

• 대한기계학회논문집A
• /
• 제32권1호
• /
• pp.29-34
• /
• 2008

The efforts of reflecting the system's uncertainties in design step have been made and robust optimization or reliability-based design optimization are examples of the most famous methodologies. In their formulation, the mean and standard deviation of a performance function and constraints expressed by probability conditions are involved. Therefore, it is essential to effectively and accurately calculate them and, in addition, the sensitivity results are required to obtain when the nonlinear programming is utilized during optimization process. We aim to obtain the new and efficient sensitivity formulation, which is based on integral form, on statistical moments such as the mean and standard deviation, and probability constraints. It does not require the additional functional calculation when statistical moments and failure or satisfaction probabilities are already obtained at a design point. Moreover, some numerical examples have been calculated and compared with the exact solution or the results of Monte Carlo Simulation method. The results seem to be very satisfactory.