• 소프트웨어공학소사이어티 논문지
• /
• 제25권1호
• /
• pp.1-9
• /
• 2012

기계장치에 내장되어 동작하는 내장 소프트웨어의 개발 환경은 일반 소프트웨어와 비교하여 불편한 점이 많다. 소프트웨어가 개발되는 장비와 동작하는 장비가 다르며 일반적으로 고가의 상용 개발도구를 필요로 한다. 본 논문은 공개 소프트웨어 도구들을 활용하여 내장 소프트웨어의 개발환경을 개선시킬 수 있는 방안을 제시한다. cross compile을 위한 GNU Compiler Collection과 Scratch box, 통합 개발 환경인 Eclipse, 원격 접속을 위한 RSE, 가상화를 위한 QEMU 등의 특징과 효과적인 활용 방법을 설명한다.

• 한국경영과학회지
• /
• 제37권1호
• /
• pp.1-18
• /
• 2012

The present study provides some extensions over a recent work in Won (2011) which investigates properties of the static newsvendor problem under a schedule involving progressive multiple discounts under the assumption that demand is given exogenously. Khouja (1995, 1996) formulated the extended versions over the classical newsvendor model with various discount policies including all-units discount and/or multiple discounts and found that the extended newsvendor models with discount schedules yield higher optimal expected profits than the classical newsvendor model with no-discounts. In this study, we establish a robust conjecture as a stronger statement than Khouja's findings with regard to the general relationship among the expected profits of newsvendor models in the sense that the conjecture holds for every order quantity as well as the optimal order quantity. The conjecture encourages the newsvendor facing quantity discounts to safely implement her own discounts policy to customer or accept quantity discounts offered by the supplier even if the optimal order quantity cannot be ordered due to additional restrictions such as budget or warehouse capacity constraints because the newsvendor models with quantity discounts always yield higher expected profit than the classic newsvendor model without quantity discounts regardless of the order quantity. Results from wide experiments with various probability distributions of demand strongly support our conjecture.

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

This paper addresses the problem of signal acquisition with a sparse representation in a given orthonormal basis using fewer noisy measurements. The authors formulate the problem statement for randomly measuring with strong signal noise. The impact of white Gaussian signals noise on the recovery performance is analyzed to provide a theoretical basis for the reasonable design of the measurement matrix. With the idea that the measurement matrix can be adapted for noise suppression in the adaptive CS system, an adapted selective compressive sensing (ASCS) scheme is proposed whose measurement matrix can be updated according to the noise information fed back by the processing center. In terms of objective recovery quality, failure rate and mean-square error (MSE), a comparison is made with some nonadaptive methods and existing CS measurement approaches. Extensive numerical experiments show that the proposed scheme has better noise suppression performance and improves the support recovery of sparse signal. The proposed scheme should have a great potential and bright prospect of broadband signals such as biological signal measurement and radar signal detection.

• 대한치과보철학회지
• /
• 제42권1호
• /
• pp.83-93
• /
• 2004

Statement of problem : Since the concept of osseointegrated dental implant by $Br{\aa}nemark$ et al was first applied to mandibular full edentulous patients. Recently it is considerated the first treatment option on missing teeth. A common problem associated with dental implant restorations is loosening of screws that retain the prosthesis to the abutment and the abutment to the implant fixture. Purpose : This study is to examine the influence on screw loosening of implant-abutment designs. Material and methods : External hex, cone screw, beveled hex, cam cylinder, cylinder hex by means of evaluating the loosening torques, with respect to a range of tightening torques after repeated loading. Result : 1. Cone screw, beveled hex groups are the highest initial tightening rate and cylinder hex, external hex groups are the lowest initial tightening rate (p < 0.05). 2. Cone screw groups are the highest after repeated loading tightening rate and cylinder hex groups are lowest after repeated loading tightening rate(p < 0.05). 3. Cone screw groups have the highest initial stability and anal stability. 4. All groups are decreased tightening rate after repeated loading.

• 대한치과보철학회지
• /
• 제43권2호
• /
• pp.258-263
• /
• 2005

Statement of problem. Implant screw loosening has been remained a problem in implant prosthodontics. The time needed to insert screw driver into abutment screw head should be shortened for the purpose of decreasing the chair time. Purpose. The purpose of this study was to investigate the effects of the design of abutment screw driver on the amount of time for insertion of screw driver into abutment screw head. Material and methods. Hexagonal and rectangular types of abutment screw drivers were used. The original abutment screw drivers were modified by grinding acute angle of the screw driver tip (modified drivers). Group 1 : hexagonal type abutment screw and original driver Group 2 : hexagonal type abutment screw and modified driver Group 3 : rectangular type abutment screw and original driver Group 4 : rectangular type abutment screw and modified driver UCLA lab analogues were located in acrylic resin block. The angulations of them were 0 and 20 degrees. The times needed for insertion were measured. Group 1 and 3 were used as controls. Results. 1. Group 2 showed shorter insertion time than group 1, regardless of implant angulations (p<.05). 2. Group 4 showed shorter insertion time than group 3, regardless of implant angulations (p<.05). Conclusion. Modified abutment screw drivers required less amount of time to insert screw driver into abutment screw head. Modification of abutment screw driver was beneficial.

• Structural Engineering and Mechanics
• /
• 제52권5호
• /
• pp.1051-1067
• /
• 2014

The structures of concern in this study are subject to two types of forces: dead loads from the acceleration imposed on the structures as well as the installed operation machines and the additional adjustable forces. We wish to determine the critical values of the adjustable forces when buckling of the structures occurs. The mathematical statement of such a problem gives rise to a constrained eigenvalue problem (CEVP) in which the dominant eigenvalue is subject to an equality constraint. A numerical algorithm for solving the CEVP is proposed in which an iterative method is employed to identify an interval embracing the target eigenvalue. The algorithm is applied to four engineering application examples finding the critical loads of a fixed-free beam subject to its own body force, two plane structures and one wide-flange beam using shell elements when acceleration force is present. The accuracy is demonstrated using the first example whose classical solution exists. The significance of the equality constraint in the EVP is shown by comparing the solutions without the constraint on the eigenvalue. Effectiveness and accuracy of the numerical algorithm are presented.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권9호
• /
• pp.504-511
• /
• 2000

The reliability of system is to become a important concern in developed industry. The controller based on the reliability is so important position. PPC(Plant Protection Controller) is for plant protection and human life by fault detection and control action against the transient condition of plant. The protection system of the nuclear reactor and chemical reactor are representative of PPC. This paper presents analysis of PPC relaibility formal problem statement of optimal redundancy based on the reliability for PPC. And the problem is optimized by genetic algorithm, The genetic algorithms is useful algorithm in case of large searching complex gradient existence local minimum. The genetic algorithms is useful algorithm is case of large searching complex gradient existence local minimum. The ability and effectiveness of the proposed optimization is demonstrated by the target reliability of one channel. PPC. using the failure rate based on the MIL-HDBK-217

• 적정기술학회지
• /
• 제7권1호
• /
• pp.33-40
• /
• 2021

동아프리카에 속한 우간다도 농업 중심의 현 국가 상황에서 벗어나 중상위권 국가로 도약하기 위해 다양한 국가개발 계획을 세우고 진행하고 있다. 그러나 다양한 정부의 노력에도 도시-농촌간 균형적인 발전을 이루지 못하고 그 격차가 더욱 심화되고 있다. 특별히 도시-농촌간 교육 격차는 장기적으로 우간다 국가계발 계획에 부정적인 영향을 줄 수 있는 문제점으로 부각되고 있다. 본 논문에서는 우간다의 도시-농촌간 교육 불균형이 가속화되고 있는 원인들을 살펴 보고 전자도서관 시스템과 같은 ICT 적정 기술을 활용하여 교육 불균형을 감소 시킬 수 있는 방안을 소개하고자 한다.

• 한국국방경영분석학회지
• /
• 제29권2호
• /
• pp.45-60
• /
• 2003

As we live in real If era, If become a mandatory component for nations and organizations to survive in severe competition. If is also thought of as strategic asset for effective business operations, yet there is no proved statement on the interoperability and system integration which causes serious problem in terms of requirement engineering among current systems. The National Defense Enterprise Architecture Framework is a strategic information asset base, which define the military operation activities for the mission, the information necessary for military operations, the technologies necessary for implementing new technology in response to changing operational needs. It is an integrated model or representation. Information Systems will be evolved by the National Defense Enterprise Architecture framework. The purpose of this framework is to present overall picture of national defense information system domain so that information systems are interoperated, integrated and information sharing is increased among affiliated organization of Defense Military.

• 충청수학회지
• /
• 제20권4호
• /
• pp.355-366
• /
• 2007

In this paper, we propose a new blind group identification protocol and a hidden group signature protocol as its application. These protocols involve many provers and one verifier such that (1) the statement of all the provers are proved simultaneously, (2) and also all the provers using computationally limited devices (e.g. smart cards) have no need of computing the bilinear pairings, (3) but only the verifier uses the bilinear pairings. A. Saxena et al. proposed a two-round blind (group) identification protocol in 2005 using the bilinear pairings. But it reveals weakness in the active-intruder attack, and all the provers as well as the verifier must have devices computing bilinear pairings. Comparing their results, our protocol is secure from the active-intruder attack and has more fit for smart cards. In particular, it is secure under only the assumption of the hardness of the Discrete-Logarithm Problem in bilinear groups.