• 한국소프트웨어감정평가학회 논문지
• /
• 제15권2호
• /
• pp.25-33
• /
• 2019

소프트웨어에 대한 저작권 분쟁에서 통상 감정절차를 거치는데 이 과정에서 상당한 기간이 소요되고 있는 점은 신속한 재판받을 권리를 구현함에 있어 장애로 지적된다. 이에 실무적으로 소프트웨어 감정 절차를 간이절차로 운영하고자 하는 논의가 오랜 기간 있어왔다. 기존의 논의는 주로 감정절차에 투입되는 자원을 줄이는 방식에 따르고 있는데, 이러한 방식은 필연적으로 감정을 통하여 도출되는 결과에 차이를 가져올 수밖에 없다. 이에 간이절차의 본질적 성격 및 재판 과정에서 소프트웨어 감정의 역할을 중심으로 기존 논의되던 소프트웨어 감정의 간이절차 운영에 대해 검토하였다.

• 정보기술과데이타베이스저널
• /
• 제4권2호
• /
• pp.33-45
• /
• 1998

Database summarization is the procedure to obtain generalized and representative descriptions expressing the content of a large amount of database at a glance. We present a top-down summary refinement procedure to discover database summaries. The procedure exploits attribute concept hierarchies that represent ISA relationships among domain concepts. It begins with the most generalized summary and proceeds to find more specialized ones by stepwise refinements. This top-down paradigm reveals at least two important advantages compared to the previous bottom-up methods. Firstly, it provides a natural way of reflecting the user's own discovery preference interactively. Secondly, it does not produce too large intermediate result that makes it hard for the bottom-up approach to be applied in practical environment. The proposed procedure can also be easily extended for distributed databases. Information content measure of a database summary is derived in order to identify more informative summaries among the discovered results.

• 시큐리티연구
• /
• 제13호
• /
• pp.47-70
• /
• 2007

형사소송절차는 ‘신속한 재판 및 소송경제’ 와 ‘실체진실발견 및 인권보장’을 주요한 목적 이념으로 하고 있으며, 이들 두 가지 가치는 서로 갈등관계에 있다. 즉결심판제도는 판사가 범증이 명백하고 죄질이 경미한 범죄를 신속${\cdot}$적정한 절차를 통해 심판하는 특별간이절차로서 심판절차를 신속하게 종결하여 즉결피의자나 피고인을 형사절차로부터 조속히 해방시키는 데 주된 목적이 있다. 그러나 이러한 취지를 지나치게 강조하다보면 사건의 충분한 심리나 피의자${\cdot}$고인의 인권보장에 소홀해지기 쉬운 것도 사실이다. 따라서 즉결심판제도는 이러한 부작용을 방지할 수 있는 제도적 장치가 반드시 요구된다. 바로 이러한 시각에서 현행 즉결심판제도를 면밀히 검토할 필요가 있는 것이다. 본 연구의 주된 목적은 입법론적 관전에서 현행 제도의 문제점을 분석하여 제도자체의 폐지를 포함한 다양한 개선방안을 강구하는데 있다. 결론적으로 말하자면 즉결심판제도는 단점보다는 장점이 훨씬 많은 제도이므로 현행대로 유지하되, 즉결피의자${\cdot}$피고인 이의제도를 도입하거나 구류형을 폐지하는 등 충분한 제도적 보완이 뒤따라야 한다고 본다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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)을 통해 자연스럽게 해결한다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제17권4호
• /
• pp.305-315
• /
• 2017

Purpose: The purpose of this research is to propose procedure and methodology for developing failure rate databook which is suitable for Korean operation environment. Methods: To this end, we investigate failure databooks used in foreign countries and study the procedure and methodology for collecting failure data, organizing the data, estimating failure rate and summarizing results. Results: We develop the procedure of development of failure databook, the items for data collection, database schema of part details and part summary and contents of failure databook by considering the application environment in Korea. Conclusion: The results of our research could be utilized for the development of Korean failure rate databook and research of reliability prediction model and could ultimately contribute to improve the accuracy of reliability prediction.

• 건축사
• /
• 통권639호
• /
• pp.160-161
• /
• 2022

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2006년도 추계 학술발표회 논문집
• /
• pp.189-192
• /
• 2006

Following the evaluation of the irrigation & drainage structure, a suitable repair and reinforcing procedure can be selected based on this report. Successful procedures take into account the causes of the crack. This provides a survey of crack repair methods, including a summary of the characteristics of the cracks that may be repaired with each procedure, the type of irrigation & drainage structure that have been repaired and a summary of the procedures that are used. Readers are also directly contacted to the website(http:/rri.karico.co.kr/rricon). This report is intended to support the purposes, philosophy, and needs, using easily understood graphics and photos from the construction fields. The results of this study will be distributed to the public official in technical post, the operator in construction site and the member of Korea Agricultural & Rural Infrastructure Corporation and etc.

• 한국중재학회지:중재연구
• /
• 제21권2호
• /
• pp.47-64
• /
• 2011

The China International Economic and Trade Arbitration Commission(CIETAC) released online arbitration rules which apply the resolution of disputes over electronic commerce transactions, as well as other economic and trade disputes in which the parties agree to do. The evidence submitted by the parties may be electronic evidence created, sent, received or stored by electronic, optical or magnetic means. Electronic evidence with a reliable electronic signature shall carry the same effect and probative force as a document with a hand-written signature. Where a case is tried in a tribunal, the arbitration tribunal shall conduct an online trial hearing using internet video conference or other electronic or computer communication means. Unless the parties have another agreement, summary procedure shall apply to cases where the amount in dispute exceeds RMB 100,000 but no more than RMB 1 million, or where the amount in dispute exceeds RMB 1 million and a party submits a written application for summary procedure after obtaining the written consent of the other party. Unless the parties have agreed otherwise, fast-track procedure shall apply to cases where the amount in dispute does not exceed RMB 100,000 or where the amount in dispute exceeds RMB 100,000 and a party submits a written application for fast-track procedure after obtaining the written consent of the other party. Notable features of the Online Rules are as follows; first, there is not detailed consideration for online arbitration. Second, communications between the parties and the tribunal are allowed only through the Secretariat. Third, elaborate provisions regarding the electronic submission and transmission of documents is provided for. Forth, various factors must be considered by the tribunal in deciding the evidence's reliability. Fifth, reasonable endeavours is levied on CIETAC to keep data communications secure and encrypted. Sixth, the tribunal has the right to investigate and collect relevant evidence. And finally different procedures are provided for in consideration of the various types of E-commerce.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권6호
• /
• pp.1778-1799
• /
• 2022

Automatic text summarization is a procedure that packs enormous content into a more limited book that incorporates significant data. Malayalam is one of the toughest languages utilized in certain areas of India, most normally in Kerala and in Lakshadweep. Natural language processing in the Malayalam language is relatively low due to the complexity of the language as well as the scarcity of available resources. In this paper, a way is proposed to deal with the text summarization process in Malayalam documents by training a model based on the Support Vector Machine classification algorithm. Different features of the text are taken into account for training the machine so that the system can output the most important data from the input text. The classifier can classify the most important, important, average, and least significant sentences into separate classes and based on this, the machine will be able to create a summary of the input document. The user can select a compression ratio so that the system will output that much fraction of the summary. The model performance is measured by using different genres of Malayalam documents as well as documents from the same domain. The model is evaluated by considering content evaluation measures precision, recall, F score, and relative utility. Obtained precision and recall value shows that the model is trustable and found to be more relevant compared to the other summarizers.

• 인터넷정보학회논문지
• /
• 제15권5호
• /
• pp.63-72
• /
• 2014

트위터는 사용자들이 140개 정도의 문자들로 이루어진 짧은 메시지를 웹에 포스팅 할 수 있도록 제공하는 인기 있는 소셜 미디어 플랫폼이다. 해시태그는 이러한 트위터 사용자들이 특정한 주제에 대해서 토론을 하거나 높은 트랜딩을 가지는 이슈를 나타내고자 할 때 사용하는 특정한 단어나 두음문자이다. 하지만 동일한 해시태그를 포함하는 포스트들은 관련 있는 문장이 아닌 시간 순서에 의해서 처리되기 때문에, 처음 사용자가 그 해시태그와 관련된 내용을 이해하기 위해서는 다른 불필요한 내용까지 읽어야 하는 어려움이 있다. 본 논문에서는, 이러한 문제점을 해소하기 위한 HBase 기반 자동 요약 시스템을 제안한다. 제안된 시스템은 트위터 API에서 제공하는 스트리밍 데이터를 HBase에 저장한 후 퍼지 시스템과 접목하여 자동 요약 방법을 시행하였다. 이를 통해서 해시태그를 포함한 포스트내의 중복된 내용을 제거하고, 각 포스트들의 중요도를 계산해서 사용자가 트랜딩 토픽내에 관련 있는 주제에 쉽게 접근할 수 있도록 하였다.