• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• pp.1576-1581
• /
• 2009

The purpose of this study is to provide the problems of insurance system of maritime facilities(Gas Plant) in korea. In order to find out the problems of insurance system of construction work, the literature research and case study on the maritime facility construction are adopted as research method. And this study analyzed the construction cases of maritime facilities(Gas Plant) to which the national contract law was applied for the first time. The findings of this study are as follows: In the case analysis of 00 facility construction, the contractor pay additional insurance fees for the construction. And the regulations on insurance registration are not stated clearly relating to the enforcement ordinance of the national contract law.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 추계학술발표대회
• /
• pp.855-856
• /
• 2009

소프트웨어의 크기가 대형화되고 복잡화됨에 따라 소프트웨어의 기능성 오류 및 취약점을 개발 후 테스팅에 의해 찾는 비용이 매우 커지고 있다. 또한 테스트에 의한 방법을 통해 내재된 모든 오류나 취약점을 찾는 것은 거의 불가능하다고 인식되고 있다. 이러한 이유로 소프트웨어 개발에서 오류 및 취약성을 제거하고자 하는 노력이 증대되고 있다. 본 논문에서는 오류를 줄이고자 하는 기법중 하나인 Design by Contract와 취약성을 줄이고자 하는 시큐어 코딩을 소개하고, 이 두 가지 기법을 접목하여 오류가 없는 안전한 소프트웨어를 개발하는 방법을 소개한다.

• 디지털산업정보학회논문지
• /
• 제4권4호
• /
• pp.41-49
• /
• 2008

Sensor networks are often deployed in unattended environments, thus leaving these networks vulnerable to false data injection attacks in which an adversary injects forged reports into the network through compromised nodes. Such attacks by compromised sensors can cause not only false alarms but also the depletion of the finite amount of energy in a battery powered network. In order to reduce damage from these attacks, several security solutions have been proposed. Researchers have also proposed some techniques to increase the energy-efficiency of such security solutions. In this paper, we propose a CH(Cluster Header) selection algorithm to choose low power delivery method in sensor networks. The CNP(Contract Net Protocol), which is an approach to solve distribution problems, is applied to choose CHs for event sensing. As a result of employing CNP, the proposed method can prevent dropping of sensing reports with an insufficient number of message authentication codes during the forwarding process, and is efficient in terms of energy saving.

• 대한안전경영과학회지
• /
• 제20권3호
• /
• pp.1-9
• /
• 2018

This study is intended to look into the effect of construction safety supervision system on risk control and reduction. To achieve this, a survey was carried out to 114 companies in construction, ordering, contract and management. The overall findings were as follows. The effect of construction safety supervision system on risk control and reduction showed that factors of supervision system, supervision cost and supervision method had a positive effect on risk control and reduction. And their perception of the introduction of safety supervision system in construction sites according to process showed that there was a difference between them according to the field of ordering, contract and supervision. There was the biggest difference between owner and contractor in double supervision system, but no difference between them in the perception of risk reduction. These results show that all ordering, contract and supervision are positively needed for the introduction of construction safety supervision. This means that there is a difference between owner and contractor in the perception of process according to system operation. All companies agree to system improvement by the settlement of safety supervision system for the prevention of safety accidents and safe construction, but the systematic complement of safety supervision is the burden of contractor. And there is a big difference between owner and contractor in the perception of responsibility and concern for cost burden.

• 한국중재학회지:중재연구
• /
• 제32권4호
• /
• pp.103-141
• /
• 2022

Traditionally, schedule analysis in Korea has been used, mainly through the Critical Path Method, to evaluate the claim for extension of time and/or the amount of liquidated damages for delay. Critical path method, however, cannot identify the delay event and its impact occurred in non-critical path especially in multi facility projects. In multi facility projects that comprise several independent but related facilities or structures, each facility has its own facility critical path the duration of which will be impacted by facility specific critical delays. Thus, only through the non-critical delay analysis along with the critical delay analysis damages not attributable to contractors may be remedied in full. Because all the records and pictures can reveal what has actually happened in post contract review, only the retrospective analysis rather than the prospective analysis based on the assumptions can establish the cause and allocate the each parties' responsibilities appropriately.

• 한국산학기술학회논문지
• /
• 제19권6호
• /
• pp.110-119
• /
• 2018

블록체인 기술은 무결성과 부인 거부 등의 뛰어난 보안성으로 계약 분야(매매 계약, 부동산 계약)에 활용도가 높게 평가되고 있다. 블록체인에서 이러한 계약 서비스는 스마트 컨트랙트라는 기술을 활용하여 개발 가능하며 여러 블록체인 플랫폼들이 스마트 컨트랙트를 개발하기 위한 프로그래밍 언어를 제공한다. 대표적인 블록체인 플랫폼인 비트코인과 이더리움은 비트코인 스크립트와 솔리디티 언어를 제공한다. 이러한 프로그래밍 언어를 이용하여 동적으로 처리될 수 있는 디지털 계약인 스마트 컨트랙트를 개발할 수 있다. 그러나, 다양한 계약 분야에서 스마트 컨트랙트의 개발이 진행되고 있으나 블록체인 기반의 설계를 위한 연구가 미흡한 상황이다. 이에 본 연구에서는 이더리움 기반으로 스마트 컨트랙트를 설계하기 위한 메타모델 및 UML 기반의 정적/동적 설계 기법을 제안한다. 정적설계에서는 스마트 컨트랙트의 속성과 기능을 설계하기 위한 기법을 제안하며, 그리고 컨트랙트들 간의 구조를 설계하기 위한 기법을 제안한다. 동적설계에서는 블록체인 내의 스마트 컨트랙트, 계정, 블록들 간에 배포, 기능 호출, 동기화를 설계하기 위한 기법을 제안한다. 실험은 부동산 계약 사례를 통해 정적/동적 설계 기법을 적용하여 설계 기법의 타당성을 검증한다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 1998년도 가을 학술발표대회 논문집 디자인 학 연구
• /
• pp.40-41
• /
• 1998

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제16권3호
• /
• pp.861-876
• /
• 2022

Cryptoassets such as Bitcoin and Ethereum are widely traded around the world. Cryptocurrencies are also transferred between investors. Cryptocurrency has become a new and attractive means of remittance. Thus, blockchain-based smart contracts also attract attention when central banks design digital currencies. However, it has been discovered that a significant amount of cryptoassets on blockchain are lost or stranded for a variety of reasons, including the loss of the private key or the owner's death. To address this issue, we propose a method for recoverable transactions that would replace the traditional transaction by allowing cryptoassets to be sent to a backup account address after a deadline has passed. We provide the computational workload required for our method by analyzing the prototype. The method proposed in this paper can be considered as a good model for digital currency design, including central bank digital currency (CBDC).

• 한국건설관리학회논문집
• /
• 제12권4호
• /
• pp.70-78
• /
• 2011

장기간에 걸쳐 진행되는 건설공사의 경우 공사수행기간동안 물가의 변동으로 인해 계약금액조정이 필요하며, 이를 적용하는 과정에서 일관되고 명확한 구체적 기준안이 요구되고 있다. 이에 본 연구는 물가변동이 발생되어 조정행위로 이어지기까지의 적용과정상 발생되는 핵심활동을 기반으로 실 사례를 통해 문제점을 파악하고 이에 따른 합리적 개선방안을 찾고자 하였다. 문헌연구 및 관련제도분석을 토대로 물가변동 조정행위의 적용 프로세스를 구분하였고 프로세스별 핵심활동 20개를 정의하였다. 이를 측정변수화 하여 37개의 물가변동 사례를 통해 사례분석을 실시하였다. 사례분석결과 각 프로세스별 문제점이 도출되었으며, 이에 대응하는 합리적 개선방안을 제시하였다. 본 연구를 통하여 발주자는 불필요하게 지급될 수 있는 예산의 낭비를 막을 수 있고, 계약상대자에게는 원활한 물가변동조정행위가 될 수 있는 기회가 제공되리라 기대한다.

• 대한토목학회논문집
• /
• 제29권5D호
• /
• pp.627-634
• /
• 2009

최근 국내에서 많이 시행되고 있는 BTL(Build Transfer Lease)사업은 수익성이 낮은 문화, 교육, 복지부문의 사회기반시설을 조기에 확충함으로써 국민들의 삶의 질을 높여주는 역할을 한다. 그러나 현재까지 BTL사업의 공사비는 초기공사비에 중점을 두고 있으며, 상대적으로 운영비 산정에 대한 합리적 기준이 정해져 있지 않아 비효율적인 낮은 운영비 관리체계가 되고 있다. 저가 운영비는 사업완공 후 시설 운영시 서비스의 질을 저하할 수 있고, 사업의 성과에도 큰 영향을 미친다. 따라서 본 연구에서는 기존 하수처리시설의 운영부문에 대한 실적자료를 이용하여 사업계획 초기에 운영비와 운영인력을 산정하는 방안을 제시한다. 이러한 연구는 향후 BTL사업으로 시행되는 하수처리시설의 계획시 시설 규모에 따른 개략적인 운영비 산정에 활용성을 갖을 것으로 기대되며, 타 시설물의 BTL사업 운영비 산정체계 구축시 참고 자료가 될 수 있다.