• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2004년도 춘계 종합학술대회 논문집
• /
• pp.330-334
• /
• 2004

자바 바이트코드는 스택기반 코드이다. 스택기반 코드는 스택 접근 명령어를 사용하기 때문에 분석과 최적화를 어렵게 한다. 따라서 스택기반 코드 최적화에서 생기는 문제점인 코드의 단편화, 타입정보의 상실, 불필요한 적재와 저장이 나타날 수 있다. 바이트코드의 최적화와 분석의 어려운 문제점의 해결 방안으로 바이트코드 프레임워크를 설계한다. 본 논문은 바이트코드의 최적화와 분석의 문제점을 지적하고, 기존의 바이트코드 최적화 기술에 대한 연구 내용을 서술한다. 바이트코드의 분석과 최적화를 단순화하기 위한 대안으로 바이트코드 프레임워크를 제안한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권11호
• /
• pp.4453-4468
• /
• 2015

This paper investigates optimization-based base station (BS) placement. An optimization model is defined and the BS placement problem is transformed to a lexicographical stratified programming (LSP) model for a given trajectory, according to different accuracy requirements. The feasible region for BS deployment is obtained from the positioning system requirement, which is also solved with signal coverage problem in BS placement. The LSP mathematical model is formulated with the average geometric dilution of precision (GDOP) as the criterion. To achieve an optimization solution, a tolerant factor based complete stratified series approach and grid searching method are utilized to obtain the possible optimal BS placement. Because of the LSP model utilization, the proposed algorithm has wider application scenarios with different accuracy requirements over different trajectory segments. Simulation results demonstrate that the proposed algorithm has better BS placement result than existing approaches for a given trajectory.

• 대한산업공학회지
• /
• 제37권1호
• /
• pp.19-29
• /
• 2011

Cellular network is comprised of several base stations which serve cellular shaped service area and each base station (BS) is connected to the mobile switching center (MSC). In this paper, the configuration modeling and algorithm of a cellular mobile network with the aim of minimizing the overall cost of operation (handover) and network installation cost (cabling cost and installing cost of mobile switching center) are considered. Handover and cabling cost is one of the key considerations in designing cellular telecommunication networks. For real-world applications, this configuration study covers in an integrated framework for two major decisions: locating MSC and assigning BS to MSC. The problem is expressed in an integer programming model and a heuristic algorithm based on Lagrangian relaxation is proposed to resolve the problem. Searching for the optimum solution through exact algorithm to this problem appears to be unrealistic considering the large scale nature and NP-Completeness of the problem. The suggested algorithm computes both the bound for the objective value of the problem and the feasible solution for the problem. A Lagrangian heuristics is developed to find the feasible solution. Numerical tests are performed for the effectiveness and efficiency of the proposed heuristic algorithm. Computational experiments show that the performance of the proposed heuristics is satisfactory in the quality of the generated solution.

• 펄프종이기술
• /
• 제33권4호
• /
• pp.15-20
• /
• 2001

The function of the moisture-proof paper is to prevent moisture from adsorbing into the packed goods. Water-vapor transmission rate of the moisture-proof paper should be less than 100g/$m^2$.24hr and the optimum rate would be less than 50g/$m^2$.24hr. In general the moisture-proof paper has been made by laminating polyethylene or polypropylene on top of the base paper. However this kind of moisture-proof paper has a problem in recycling so that it brings about environmental pollution. In general the moisture-proof paper has been made by laminating polyethylene or polypropylene on top of the base paper. However this kind of moisture-proof paper has a problem in recycling so that it brings about environmental pollution. The purpose of this paper was to make moisture-proof paper using the mixture of SB latex and wax emulsion which was recyclable and environmentally friendly. Water vapor transmission rate showed less than 50g/$m^2$.24hr in mixture ratio of 85:15, 87:13, 90:10. Especially the mixture ratio of 87:13 showed the most favorable water-vapor transmission rate. However, the moisture-proof layer was destroyed slightly by folding in packing. It has been observed that there was no close relationship between water-vapor transmission rate of the moisture-proof paper and grammage of the base paper, but the density of base paper had influenced on water vapor transmission rate. It was also observed that the moisture-proof paper could be recycled. The moisture-proof paper was similar to base paper in degree of the pulping, and there was no significant difference in dispersion between moisture-proof paper and base paper. Most of wax particles which caused the spots during drying process could be removed by flotation process. Tensile strength and tear strength of both moisture-proof paper and base paper after pulping were measured to examine the fiber bonding, and no significant difference in physical properties was observed.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

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

As the railroad-base is an important factor to maintenance the rolling stocks, it is essential to improve the current problems of the environment pollution, nose, vibration, welfare, work condition and to applicate the performance betterment cases to the new base construction and pre-base maintenance. When the new base construction and pre-base maintenance is proceeded, it is necessary to construct the optimized system which includes the user's opinions enough to prevent the waste of the budget ,in that some part of the budget is spent to improve convenience, work condition, and the fault of base system after the construction. Therefore, this research intends to present the problem of the pre-constructed facilities, the testing operators' opinions, the analysis and the investigation of facilities' improvement, thorough the indication of provisions and the analysis of the result of the survey of testing operators.

• Nuclear Engineering and Technology
• /
• 제28권6호
• /
• pp.522-531
• /
• 1996

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompletensess in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• 비교문화연구
• /
• 제19권
• /
• pp.233-250
• /
• 2010

This study aims to observe the features of Korean adjectives composed with symbolic base impling human character. Korean adjectives composed with symbolic base shows more delicate nuances than ordinary adjectives. For observing the feature of them we analyzed the 6000 symbolic words in 'Stanadard Korean Dictionary'. As a result,the symbolic base of adjectives is divided into the one that maintain the basic meaning of symbolic words and the other that do not maintain basic meaning of symbolic words. The base that maintain the basic meaning of symbolic words is divided into the one that has meaning of character and the other that do not has meaning of character. The base that do not maintain the basic meaning of symbolic words is divided into the one that can relate with '-hada' and the other that cannot relates with '-hada'. This study remains the problem in future to examine common points of symbolic base.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.410-412
• /
• 1998

Subsymbolic Knowledge processing is said to be changed states of networks constructed from small elements. subsymbolic systems also make it possible to use connectionist models for knowledge processing. Connectionist realization such modulus are modulus linked together for solving a given problem. We study using neural networks as distinct actions. The output vectors produced by the neural networks are consider as a new facts. These new facts are then processed to activate another networks or used in the current production rule, The production rule is applying knowledge stored in the knowledge base to make inference. After neural networks knowledge base is constructed and trained. We present a running sample of incorporating neural network knowledge base. We implement using rochester connectionist simulator. We suggest that incorporating neural network knowledge base. Therefore incorporated neural network knowledge base ensures a cleaner solution which results in better perfor s.

• 대한수학교육학회지:수학교육학연구
• /
• 제16권2호
• /
• pp.115-138
• /
• 2006

본 연구의 목적은 문제 해결 과정 중 문제 이해나 계획 단계에서 학생들이 구성하는 유사성 탐구이다. 사례연구를 통하여 학생들이 수학 문장제를 해결하는 과정에서 구성하는 유사성들과 그러한 유사성들이 어떻게 구성되는지를 고찰하였다. 연구 결과, 학생들은 처음에 문맥적인 정보를 근거로 표면적 유사성을 구성하였으며, 그것은 문제 해법을 구하는 과정에 영향을 미쳤다. 특히, 스스로 구성한 다이어그램을 사용하여 문제를 이해하고, 문제들 간의 유사점과 차이점을 생각한 학생은 이전에 경험했던 식을 주어진 문제에 적합하게 변형하였다. 그러나 표면적 유사성만을 바탕으로 총체적으로 문제를 이해하는 학생은 이전에 적용하였던 식을 주어진 문제 해결에 적용할 수 있도록 변형하지 못했다.