• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.590-606
• /
• 2009

C프로그램에서 발생할 수 있는 메모리 누수(memory leaks)를 실행 전에 찾아 주는 분석기를 제안한다. 이 분석기는 SPEC2000 벤치마크 프로그램과 여러 오픈 소스 프로그램들에 적용시킨 결과 다른 분석기에 비해 상대적으로 뛰어난 성능을 보여준다. 총 1,777 KLOC의 프로그램에서 332개의 메모리 누수 오류를 찾아냈으며 이 때 발생한 허위 경보(false positive)는 47개에 불과하다(12.4%의 허위 경보율). 이분석기는 초당720 LOC를 분석한다. 각각의 함수들이 하는 일을 요약하여 그 함수들이 불려지는 곳에서 사용함으로써 모든 함수에 대해 단 한번의 분석만을 실행한다. 각각의 함수 요약(procedural summary)은 잘 매개화 되어 함수가 불려질 때의 상황에 맞게 적용할 수 있다. 실제 프로그램들에 적용하고 피드백 받는 방법을 통해 함수가 하는 일중에 메모리 누수를 찾는데 효과적인 정보들만으로 추리는 과정을 거쳤다. 분석은 요약 해석(abstract interpretation)에 기반하였기 때문에 C의 여러 문법 구조와 순환 호출 (recursive call), 루프(loop)등은 고정점 연산(fixpoint iteration)을 통해 자연스럽게 해결한다.

• 대한예방한의학회지
• /
• 제10권1호
• /
• pp.109-121
• /
• 2006

The purpose of this study was to determine factors influencing patient satisfaction with medical services in hospital, which is classified into environmental aspect, human services and procedural services. Based on the results of literature review, the study focused on effects of social-demographical factors on patient satisfaction. The environmental aspect of medical care services included medical equipment and facilities, hygiene, ventilation, heating and air-conditioning, waiting and resting space, ward space and parking facilities. Procedural service included registration process, bill payment, waiting time after registration, examination and prescription as well as appointment process. Human services consisted of physicians listening to stories of patients, examination duration, physicians' explanation and physicians' service. As for nurses, explanation about disease, examination procedure and results, kindness and nursing care were evaluated. Services provided by other staff members were also evaluated. Patient satisfaction, defined as individual attitude toward medical service as a whole, was measured using a questionnaire. A total of 700 in-or out-patients were surveyed in 6 hospitals with more than 300 beds in North Gyeongbuk Province. 1. The level of patient satisfaction varied with characteristics of patients. Male patients and those in their 30s had a low level of satisfaction. Dissatisfaction level was positively related to education level but negatively related to economic condition. 2. As for patient satisfaction with medical service providers and other employees in hospital, satisfaction level with physician's explanation about treatment was higher. But dissatisfaction levels with treatment duration and the lack of explanation about examination procedures were high, calling for improvement. Dissatisfaction level with nursing care was high, calling for training of nurses for better service. Given the low level of satisfaction with human services, hospital employees need to be trained to improve their service. 3. It Was found that administrative service was also a significant factor influencing patient satisfaction in addition to medical service. It is therefore important for hospitals to provide patients with prompt and convenient procedural service. 4. Environmental factors such as medical equipment and amenity facilities also affected patient satisfaction. Thus environmental condition, procedural service and human service are all important to improve medical service in hospital. In summary, procedural service was the most significant factor for patient satisfaction. The level of satisfaction in patients was also affected by human service and environmental condition. It is therefore necessary to take patient-oriented approach in providing medical service in an effort to improve patient satisfaction. The finding of a lower level of satisfaction with human service signifies the need for training of healthcare providers and other hospital employees for better services. The introduction of advanced management programs is also needed to improve procedures that patients go through in hospitals.

• 공학교육연구
• /
• 제15권3호
• /
• pp.66-71
• /
• 2012

In this paper, we try to explore basic factors that defines easy-to-learn programming language and easy-to-learn development environments for novice students who have not been exposed to computer programming language education. For these purpose, we investigate and analyze computer programming languages that are widely used in industrial environments, and present the summary and analyzed results. From the experimental results, most novice programmers understand computer programming languages in terms of procedural programming languages rather than in terms of functional programming languages or object oriented programming languages. Furthermore, we have found that, for effective education of basic level programming languages, factors of development environments are much more important than factors of programming paradigms that the computer programming languages are based on.

• 디지털융복합연구
• /
• 제12권12호
• /
• pp.139-149
• /
• 2014

조직 내에서 구성원들이 직무수행과정을 통해서 경험하게 되는 공정 및 불공정의 느낌을 반영하는 고과공정성은 오늘날 구성원들의 행동, 의사결정의 방향, 행동수준을 결정하는 주요 요인으로 받아지고 있다. 그리고 직무수행과정 중에 맺게 되는 인간관계, 특히 상사-부하간의 교환관계는 직무와 함께 구성원들의 태도 및 행동 형성에 매우 중요한 요소로 부각되어 지고 있다. 따라서 본 연구에서는 연구의 실질적 가치와 기업의 실무적 가치를 높이기 위해 고과공정성과 조직몰입에 대한 관계와 그 관계에서의 상사-부하간의 교환관계의 조절효과를 분석 규명하고자 하는데 그 목적이 있다. 분석결과, 고과공정성은 조직몰입에 긍정적인 영향을 미치며, 고과공정성의 하위 변수 중 상호작용공정성과 조직몰입사이에서 LMX의 조절효과가 있는 것으로 나타났다. 이러한 결과는 학술적 실무적으로 시사하는 바가 클 것으로 사료된다.

• 법제연구
• /
• 제53호
• /
• pp.553-591
• /
• 2017

본 글에서는 소위 '사기에 의한 외국재판'의 승인이 민사소송법 제217조 제1항 제3호의 공서양속에 반한다고 볼 수 있는지, 만일 그와 같이 본다면 구체적 요건은 무엇인지 검토하였다. 그 결론을 간단히 정리하면 다음과 같다. '사기에 의한 외국재판'의 승인은 우리의 절차적 공서에 반하기 때문에승인이 거부되어야 한다. 이때 '사기에 의한 외국재판'의 승인이 우리의 절차적 공서에 반하는지 여부를 심사하는 것이 실질재심사금지의 원칙을 고려했을 때 허용될 수 있는지 문제되는데, 위와 같은 심사의 과정에서도 실질재심사금지의 원칙이 전면적으로 적용되므로 실질재심사금지의 원칙에반하지 아니하는 경우에만 위와 같은 심사가 가능하다. 이와 같이 심사가가능한 경우는, 피고가 외국의 재판절차가 진행되는 동안에는 사기의 증거를 제출할 수 없었던 경우와 피고가 외국재판에서 증거 없이 사기의 주장을 하였지만 외국법원에서 받아들여지지 아니하고 재판이 종결된 후에 새로운 증거가 발견된 경우로 볼 수 있다. 그리고 '사기에 의한 외국재판'의 승인이 우리의 절차적 공서에 반하는지 여부를 결정하기 위한 구체적 요건은 공서양속의 엄격해석의 원칙을 바탕으로 다음과 같은 네 가지로 볼 수있다. (1) 사해의사가 존재할 것 (2) 기망에 의하여 피고의 소송관여를 방해하거나 허위의 증거제출을 동반한 허위의 주장으로 법원을 기망하는 등 부정한 방법을 사용하였을 것 (3) 외재적 사기로 인하여 피고가 절차에 참여하지 못하거나 내재적 사기로 인하여 외국법원이 실제의 권리관계와 다른내용의 판결을 하였을 것 (4) 피고의 절차적 기본권이 근본적으로 침해됨으로써 외국재판의 효력을 존중하는 것이 정의관념에 반하여 이를 도저히 묵과할 수 없는 사정이 있을 것. 위와 같은 결론은 대법원 2004. 10. 28. 선고2002다74213 판결과 많은 차이가 있는데, 무엇보다 내재적 사기와 외재적사기를 구분할 필요가 없고 '사기에 의한 외국재판'의 심사와 실질재심사금지의 원칙은 상호 충돌관계에 있는 것이 아니라 공존관계에 있다는 점에서큰 차이가 나타난다. 이러한 점에서 향후 대법원 판례의 변화를 기대하며본 글이 학계와 실무계에 조금이나마 도움이 되기를 바란다.

• 무역상무연구
• /
• 제31권
• /
• pp.81-106
• /
• 2006

The Terms of Reference are one of the most distictive features of ICC Arbitration. No document of this type is required to be drawn up under the rules of any of the other major international arbitration institutions. The purpose of this paper is to examine their advantages and to introduce main contents provided in Article 18 of ICC Rules of Arbitration, which results in the wide recognition of the Terms of Reference. As the volume of our international commercial transaction ranks almost ten in the world, the frequency using ICC Arbitration is expected to increase continuously. The Terms of Reference provide the parties and the arbitrators with an opportunity to identify and agree on procedural and other matters, such as the applicable law, the language of the arbitration and the timetable for the arbitration. They also afford the parties and the arbitrators to identify the substantive issues that are addressed in the arbitration and to delimit the precise scope of the Arbitract Tribunal's mandate. The contents of the Terms of Reference which are provided in Article 18(1) include the summary of parties claims, the list of issues and procedural rules. For the effects of the Terms of Reference, they are not intended to replace the parties' arbitration agreement. But they may in certain circumstances be regarded as a form of submission agreement. Article 18(2) provides that the Terms of Reference shall be signed by the parties and the Arbitral Tribunal, and requires the Arbitral Tribunal to transmit a signed copy of the Terms of Reference to the Court within two months of the date on which the file was transmitted to it by the Secretariat. The Court enjoys the power to extend the two-month time limit for the Terms of Reference on the reasoned request of the Arbitral Tribunal or on the Court's own initiative. Article 18(3) provides that if any of the parties refuses to take part in the drawing up of the Terms of Reference or to sign the same, they shall be submitted to the Court for approval. Article 18(4) allows the Arbitral Tribunal to extablish in a separate document a provisional timetable. This is a provision that encourages the acceleration of the arbitraction process. The timetable provided for therein is merely "provisional" and may be modified, as necessary, during the course of the arbitration.

• 한국컴퓨터정보학회논문지
• /
• 제20권6호
• /
• pp.107-115
• /
• 2015

벌금형은 형벌체계상 자유형보다 가벼운 형벌로 규정되어 있지만, 자본주의 사회에서는 범죄행위자에게 실질적으로 자유형 못지않은 강력한 제재 수단으로 자리매김하고 있다. 또한 자연인인 개인보다 법인이 저지르는 경제사범, 조세범, 기업범죄에서는 범죄 규모가 클 뿐만 아니라 다른 형사제재 수단이 없는 경우에 사용되는 벌금형을 통한 제재는 형사제재 방법으로서 중요한 가치를 지니고 있다. 그렇지만 우리나라의 벌금형제도는 총액벌금형제도로서 부유한 사람에게는 형벌의 위하적 기능을 수행할 수 없고, 벌금형의 액수에 차이가 많은데도, 벌금형의 실효기간을 똑같게 함으로써 형사재판에서 가장 많이 차지하는 선고형임에도 불구하고, 그 기능을 제대로 수행하고 있다고 할 수 없다. 따라서 현대적 형벌로서 가치를 수행하기 위해서는 총액벌금형제도는 일수벌금형제도로 변경할 필요가 있고, 낮은 벌금형제도는 형법의 보충성 원칙에 따라 범칙금제도로 대체하여 사회적 비난이 낮은 범죄행위자의 개인정보를 보호함과 동시에 형벌의 기능수행을 정상적으로 할 수 있어야 할 것이다. 이와 더불어 벌금형을 선고하는 절차적인 면에서도 피고인의 방어권을 최대한 보장할 수 있는 시스템이 도입되어야 할 필요가 있다. 특히 약식절차에서는 기소와 재판절차가 서면으로만 이루어지면서 피고인의 방어권이 보장되지 못하는 점을 보완하기 위하여 약식명령으로 청구하기 전에 피의자에게 약식절차에 관계되는 필요한 사항을 설명하여 이해시키고, 피고인의 동의를 받을 수 있는 제도의 도입도 필요하다.

• 대한공업교육학회지
• /
• 제37권2호
• /
• pp.99-125
• /
• 2012

본 연구의 목적은 Reigeluth 의 정교화이론에 의한 공업계 고등학교 건설 교과서 10종을 비교 분석하여 제시 요소를 파악하고 차후 교과서 편찬 시 기초자료를 제공하고자 한다. 첫째, 공업계 고등학교 건설과의 7차 교육과정 교과서와 2007 개정 교육과정 교과서를 분석 하여 비교가능한 대단원을 추출하고 둘째, 정교화 이론에 의한 7가지 전략 요소에 비추어 7차 교육과정 교과서 5종과 개정 교육과정 교과서 5종을 비교 분석하였다. 연구 결과 첫째, 정교화 과정은 각 과목별 성격에 따라 개념적, 절차적, 이론적 정교화가 다양하게 활용되고 있다. 둘째, 7가지 전략요소 중 인지전략의 활성자가 가장 활발히 활용되고 있으며 비유는 10종 교과서 모두에서 활용되고 있지 않았고, 선수학습능력의 계열화 전략은 간단한 사진과 설명으로 제시되었을 뿐, 실제적으로 선수학습능력을 진단해보는 요소는 전 교과서가 미흡하였다. 셋째, 7차 교육과정 교과서가 개정 교육과정 교과서에 비하여 요약자 전략이 활발히 활용되었다. 넷째, 5종의 교과서 중 토목재료 시공을 제외한 전교과서는 6가지 전략 요소를 활발히 활용하였다. 마지막으로 이론과목에서 이론실습통합 과목보다 요약자 전략이 많이 사용되었고, 학습자 통제 전략은 오히려 이론실습통합 과목에서 많이 사용되었다.

• Tuberculosis and Respiratory Diseases
• /
• 제58권3호
• /
• pp.213-229
• /
• 2005

The first and the longest criminal indictment case of Korean medico-legal battle, so called BORAMAE Hospital Incident, was finally on its end by Korean Supreme Court's decision on June 24, 2004, after 7 years long legal dispute via Seoul District Court and Seoul Superior Appeal Court's decision. Boramae Hospital case was the first Korean legal case of Withdrawing Life-sustaining treatment of mechanical respirator on 58 years old Extradural Hematoma victim who was on Respirator under Coma after multi-organ failure postoperatively(APACHE II score: 34-39). Two physicians who have involved patient's care and had helped to make discharge the Near-death patient to home after repeated demand of patient's wife, due to economic reason, were sentenced as homicidal crime. This review article will discuss the following items with the review of US cases, Quinlan(1976), Nancy Cruzan(1990), Barber (1983), Helen Wanglie(1990), Baby K (1994) and Baby L cases, along with Official Statement of ATS and other Academic dignitaries of US and World.: [1] Details of Boramae Hospital incident, medical facts description and legal language of homicidal crime sentence. [2] The medical dispute about the legal misinterpretation of patient's clinical status, regarding the severity of the victim with multi-organs failure on Respirator under coma with least chance of recovery, less than 10% probability. [3] Case study of US, of similar situation. [4] Introduction of ATS official Statement on Withdrawing/ Withholding Life sustaining treatment. [5] Patient Autonomy as basic principle. [6] The procedural formality in Medical practise for keeping the legitimacy. [7] The definition of Medical Futility and its dispute. [8] Dying in Dignity and PAS(Physician Assisted Suicide)/and/or Euthanasia [9] The Korean version of "Dying in Dignity", based on the Supreme Court's decision of Boramae Hospital incident (2004.6.24.) [10] Summary and Author's Note for future prospects.

• 무역상무연구
• /
• 제33권
• /
• pp.121-144
• /
• 2007

The International Chamber of Commerce has been the world's leading organization in the field of international commercial dispute resolution. Established in 1923 as the arbitration body of ICC, the International Court of Arbitration has pioneered international commercial arbitration as it is known today. The ICC International Court of Arbitration is the world's foremost institution in the resolution of international business disputes. While most arbitration institutions are regional or national in scope, the ICC Court is truly international. The purpose of this paper is to examine their advantages and to introduce main contents provided in ICC Rules of Arbitration as follows; First, before the actual merits of the case can be addressed, the Arbitral Tribunal must first draw up the Terms of Reference. The Terms of Reference should include the particulars listed in the ICC Rules. Apart from the full names and description of the parties and arbitrators, the place of arbitration and a summary of the parties' respective claims, they contain particulars concerning the applicable procedural rules and any other provisions required to make the Award enforceable at law Second, the Scrutiny is a fundamental feature of ICC arbitration and is one that distinguishes it from the other major international arbitration rules. The scrutiny system has two aspects ; the first is to identify or modify the defects of form, while the second is to draw the arbitrators' attention to points of substance. Third, as soon as practicable, the Court fixes an advance on costs intended to cover the estimated fees and expenses of the arbitrators, as well as the administrative expenses of ICC. Specially, the advance on costs fixed by the Court shall be payable in equal shares by the Claimant and Respondent. Finally, the parties are also free to select the arbitrator or arbitrators of their choice. The Court or the Secretary General confirms arbitrators nominated by the parties. Taking a step forward, to upgrade the quality of the award of KCAB, it is desirable to consider how to incorporate the main contents of the ICC Arbitration into Korea Commercial Arbitration Rules.