• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권10호
• /
• pp.4703-4723
• /
• 2016

The verification of data integrity is an urgent topic in remote data storage environments with the wide deployment of cloud data storage services. Many traditional verification algorithms focus on the block-oriented verification to resolve the dispute of dynamic data integrity between the data owners and the storage service providers. However, these algorithms scarcely pay attention to the data verification charge and the users' verification experience. The users more concern about the availability of accessed files rather than data blocks. Moreover, the data verification charge limits the number of checked data in each verification. Therefore, we propose a mixed verification protocol to verify the data integrity, which rapidly locates the corrupted files by the file-oriented verification, and then identifies the corrupted blocks in these files by the block-oriented verification. Theoretical analysis and simulation results demonstrate that the protocol reduces the cost of the metadata computation and transmission relative to the traditional block-oriented verification at the expense of little cost of additional file-oriented metadata computation and storage at the data owner. Both the opportunity of data extracted and the scope of suspicious data are optimized to improve the verification efficiency under the same verification cost.

• 정보처리학회논문지D
• /
• 제17D권6호
• /
• pp.415-422
• /
• 2010

본 논문은 단위 컴포넌트가 제공하는 서비스를 중심으로 컴포넌트 행위모델을 합성하고 상위수준의 추상적 행위모델을 추출하는 서비스기반 합성과 검증기법을 제안한다. 이를 위하여, 상향식 행위양식 추상화의 기초가 되는 추상 컴포넌트를 정의하고, 포트기반 동기화 알고리즘과 서비스기반 투영을 통한 추상화기법을 제안하였다. 또한, 제안된 기법을 적용한 모델검증 프레임워크를 개발하고, 사례연구를 통하여 제안된 방식이 검증비용을 절감함을 입증하였다.

• 한국CDE학회논문집
• /
• 제17권1호
• /
• pp.26-34
• /
• 2012

Assembly scheduling in shipbuilding is responsible for determine assembly process orders and departmental production schedule for the block, the basic composite unit of ships. It is necessary much more information to decide production scheduling as the characteristic of shipbuilding which has been more complex and more various and also, a lot of waste of time and of human power is generated in the course of data processing. The target shipbuilding manufacturer of this study use empirical techniques, based on the user's discretion, to compile and to apply data which are scattered in DB storages separately. Because of that reason, the user should not only be performed identification and screening operations but also modification and verification for vast amounts of data, so it is hard to keep the consistency of the data and also the operation time is not constant. Accordingly, the object in this study is by presenting an efficient DB framework to reduce wasting time and man-hour at experienced-oriented process, abate user's manual operations and support an efficient scheduling in assembly processes.