• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.029 seconds

A New Design and Implementation of Digital Evidence Container for Triage and Effective Investigation (디지털 증거 선별 조사의 효율성을 위한 Digital Evidence Container 설계 및 구현)

  • Lim, Kyung-Soo;Lee, Chang-Hoon;Lee, Sang-In
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.49 no.4
    • /
    • pp.31-41
    • /
    • 2012
  • The law enforcement agencies in the worldwide are confiscating or retaining computer systems involved in a crime/civil case, if there are any, at the preliminary investigation stage, even though the case does not involve a cyber-crime. They are collecting digital evidences from the suspects's systems and using them in the essential investigation procedure. It requires much time, though, to collect, duplicate and analyze disk images in general crime cases, especially in cases in which rapid response must be taken such as kidnapping and murder cases. The enterprise forensics, moreover, it is impossible to acquire and duplicate hard disk drives in mass storage server, database server and cloud environments. Therefore, it is efficient and effective to selectively collect only traces of the behavior of the user activities on operating systems or particular files in focus of triage investigation. On the other hand, if we acquire essential digital evidences from target computer, it is not forensically sound to collect just files. We need to use standard digital evidence container from various sources to prove integrity and probative of evidence. In this article, we describe a new digital evidence container, we called Xebeg, which is easily able to preserve collected digital evidences selectively for using general technology such as XML and PKZIP compression technology, which is satisfied with generality, integrity, unification, scalability and security.

The Estimation of Shear Stress in Uniform and Nonuniform Flow by the Entropy Concept (엔트로피 개념을 이용한 개수로에서 등류 및 부등류 흐름의 전단응력 산정)

  • Choo, Yeon Moon;Choo, Tai Ho;Yang, Da Un;Kim, Joong Hoon
    • Journal of Wetlands Research
    • /
    • v.19 no.2
    • /
    • pp.202-210
    • /
    • 2017
  • Shear stress is one of the most important mechanical factors used in various fields and is important for the design of artificial channels. Current shear stresses have been used in the past, but there are factors that are difficult to actually measure or calculate, such as bed shear stress and energy slope in the equation used. In particular, the energy slope is a very difficult factor to estimate, and it is difficult to estimate the slope and flow velocity of the boundary layer although the energy slope can be used to obtain the shear stress distribution. In addition, the bed shear stress among the shear stress distribution is very difficult to measure directly, and the research is somewhat slower than the velocity. In this study, we have studied the simple calculation of the average flow velocity and the shear stress distribution using entropy M without reflecting the energy gradient, and we used existing laboratory data to demonstrate the utility of the applied equation. The stress distribution in the graphs was comparatively analyzed. In the case of the uniform flow and the non-uniform flow, the correlation coefficient was almost identical to 0.930-0.998.

The Planting of a Seowon(書院) Made to the Authenticity and Integrity Status (진정성(authenticity)과 완전성(integrity)을 적용한 서원의 식재 실태)

  • Lee, Won-Ho;Lee, So-Hyun;Shin, Hyun-Sil
    • Journal of the Korean Institute of Traditional Landscape Architecture
    • /
    • v.31 no.2
    • /
    • pp.31-42
    • /
    • 2013
  • A purpose of this study, after identifying the status and type of changes derived elements that make up the Seowon(書院); landscape space and the space of the during the recent World Heritage, focusing promote the newly introduced trees listed in the important value, authenticity and integrity aspects The results can be summarized as follows. The results can be summarized as follows. Appeared trees in various old documents are 10 species; Prunus persica (L.) Batsch, Prunus mume(Siebold) Siebold & Zucc., Salix koreensis Andersson. The planting space shows regularity of some degree depends on the status of the species, essentially 3 types of Juniperus chinensis L., Lagerstroemia indica L., Phyllostachys nigra(Lodd.) Munro are primarily located in inside of seowon(書院), Zelkova serrata (Thunb.) Makino., Salix koreensis Andersson is in out side of seowon(書院). 5 types of location space to species such as Juniperus chinensis L., Ginkgo biloba L. species are the most frequently appear and it can be national representative trees. Plants which have limited vitality is a factor to prove a history of seowon(書院), it is accord with authenticity aspects that it gives meaning of symbolic to canonized figure's preference Maintenance work carried out over the years has damaged to origin of tree and thoughtlessly planted without having to go through a thorough historical research has resulted in weakening the presence of the essential space. It should preserve to features originally it have is figure reflect the viewpoint of the transformed current private to reveal the history of the various places. In conclusion, this research continues to study at the spatial dimension like a building in limited to panted, and also determine the intrinsic value of the overall spatial configuration.

Adaptive Service Mode Conversion to Minimize Buffer Space Requirement in VOD Server (주문형 비디오 서버의 버퍼 최소화를 위한 가변적 서비스 모드 변환)

  • Won, Yu-Jip
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.28 no.5
    • /
    • pp.213-217
    • /
    • 2001
  • Excessive memory buffer requirement in continuous media playback is a serious impediment of wide spread usage of on-line multimedia service. Skewed access frequency of available video files provides an opportunity of re-using the date blocks which has been loaded by one session for later usage. We present novel algorithm which minimizes the buffer requirement in multiple sessions of multimedia playbacks. In continuous media playback originated from the disk, a certain amount of memory buffer is required to synchronize asynchronous disk. Read operation and synchronous playback operation. As aggregate playback bandwodth increases, larger amount of buffer needs to be allocated for this synchronization purpose. The focus of this work is to study the asymptotic behavior of the synchronization buffer requirement and to develop an algorithm coping with this excessive buffer requirement under bandwidth congestioon. We argue that in a large scale continuous media server, it may not be necessary to read the blocks for each session directly from the disk. The beauty of our work lies in the fact that it dynamically adapts to disk utilization of the server and finds the optimal way of servicinh the individual sessions while minimizing the overall buffer space requirement. Optimality of the proposed algorithm is shown by proof. The effectiveness and performance of the proposed scheme is examined via simulation.

  • PDF

Test Input Sequence Generation Strategy for Timing Diagram using Linear Programming (선형 계획법을 이용한 Timing Diagram의 테스트 입력 시퀀스 자동 생성 전략)

  • Lee, Hong-Seok;Chung, Ki-Hyun;Choi, Kyung-Hee
    • The KIPS Transactions:PartD
    • /
    • v.17D no.5
    • /
    • pp.337-346
    • /
    • 2010
  • Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

Oxidative Coupling Reaction of Purified Aldrich Humic Acid by Horseradish Peroxidase (산화환원효소에 의한 휴믹산의 산화중합반응)

  • Jee, Sang-Hyun;Kim, Do-Gun;Kim, Jeong-Hyun;Ko, Seok-Oh
    • Journal of Korean Society of Environmental Engineers
    • /
    • v.32 no.11
    • /
    • pp.1054-1062
    • /
    • 2010
  • Oxidative coupling reactions of humic substances (HS) can be catalyzed by a variety of natural extracellular enzymes and metal oxides. In this study, property changes of HS induced by a natural enzyme, horseradish peroxidase (HRP), and the effect of it to microfiltration (MF) were investigated. PAHA was transformed by oxidative coupling reaction with HRP and hydrogen peroxide ($H_2O_2$), verifying the catalytic effects of the HRP. Size exclusion chromatography (SEC) revealed that weight-average molecular weight (MWw) of PAHA was proportionally increased with the dosages of HRP and $H_2O_2$, indicating the transform action of HS into larger and complex molecules. An increase in the conformational stability of HS was achieved through the promotion of intermolecular covalent bondings between heterogeneous humic molecules. Spectroscopic analysis (fluorescence and infrared spectroscopy) proved that functional groups were transformed by the reaction. Additionally, HS and transformed products were undergone microfiltration (MF) to examine the treatment potential of them in a water treatment facility. Original HS could not be removed by MF but larger molecules of transformed products could be removed. Meanwhile, transformed products caused more fouling on the filtration than original HS. This results proved that natural organic matter (NOM) can be removed by MF after its increase in molecular size by oxidative coupling reaction.

Analysis of the orf 282 Gene and Its Function in Rhodobacter sphaeroide 2.4.1 (R. sphaeroides 에서의 orf282 유전자의 분석과 이들의 기능)

  • Son, Myung-Hwa;Lee, Sang-Joon
    • Journal of Life Science
    • /
    • v.22 no.8
    • /
    • pp.1009-1017
    • /
    • 2012
  • The orf282 gene of Rhodobacter sphaeroides is located between the ccoNOQP operon encoding $cbb_3$ terminal oxidase and the fnrL gene encoding an anaerobic activator, FnrL. Its function remains unknown. In an attempt to reveal the function of the orf282 gene, we disrupted the gene by deleting a portion of the orf282 gene and constructed an orf282-knockout mutant. Two FnrL binding sites were found to be located upstream of orf282, and it was demonstrated that orf282 is positively regulated by FnrL. The orf282 gene is not involved in the regulation of spectral complex formation. The $cbb_3$ oxidase activity detected in the orf282 mutant was comparable to that in the wild-type sample, indicating that the orf282 gene is not involved in the regulation of the ccoNOQP operon and the biosynthesis of the cbb3 cytochrome c oxidase. The elevated promoter activity of the nifH and nifA genes, which are the structural genes of nitrogenase and its regulator, respectively, in the orf282 mutant, suggests that the orf282 gene product acts as a negative effector for nifH and nifA expression.

Effect of Polygala radix Hot Water Extract on Biological Activity in PC12 Cells (PC12 세포에서 생물학적 활성에 미치는 원지 열수 추출물의 효능)

  • Nam, Hyang;Kim, Moon-Moo
    • Journal of Life Science
    • /
    • v.23 no.8
    • /
    • pp.1041-1049
    • /
    • 2013
  • The root of Polygala radix has been widely known as an oriental traditional medicinal stuff that improves memory. However, its mechanism of action remains unclear. In this study, the effect of Polygala radix hot water extracts (PRHWE) on cognitive function related to the activity of acetylcholinesterase (AchE) derived from neural cells (PC12) in addition to antioxidant activity was examined both in a cell-free system and live cells. First, in the study on cell viability using an MTT assay, PRHWE did not exhibit any cell toxicity at 0.1% (w/v) or below. It also was observed that PRHWE increased the scavenging activity of DPPH radical, hydrogen peroxide and superoxide, reducing power in a dose-dependent manner. In particular, PRHWE had a protective effect on DNA oxidation induced by hydroxyl radicals. Additionally, it inhibited the production of inducible nitric oxide in neuronal cells. Furthermore, the AchE activity decreased with increasing concentrations. In addition, PRHWE increased the expression level of SOD-1 and NOS-2 in PC12 cells. Moreover, the transcriptional activities of p53 and NF-${\kappa}B$ were reduced in the presence of PRHWE in an experiment using a reporter gene assay. Therefore, these results prove that PRHE has antioxidative and protective effects on neuronal cells, suggesting that it may have great potential as a therapeutic agent for human health.

Development of the RP and SP Combined using Error Component Method (Error Component 방법을 이용한 RP.SP 결합모형 개발)

  • 김강수;조혜진
    • Journal of Korean Society of Transportation
    • /
    • v.21 no.2
    • /
    • pp.119-130
    • /
    • 2003
  • SP data have been widely used in assessing new transport policies and transport related plans. However, one of criticisms of using SP is that respondents may show different reaction between hypothetical experiments and real life. In order to overcome the problem, combination of SP and RP data has been suggested and the combined methods have been being developed. The purpose of this paper is to suggest a new SP and RP combined method using error component method and to verify the method. The error component method decomposes IID extreme value error into non-IID error component(s) and an IID error component. The method estimates both of component parameters and utility parameters in order to obtain relative variance of SP data and RP data. The artificial SP and RP data was created by using simulation and used for the analysis, and the estimation results of the error component method were compared with those of existing SP and RP combined methods. The results show that regardless of data size, the parameters of the error component method models are similar to those assumed parameters much more than those of the existing SP and RP combined models, indicating usefulness of the error component method. Also the values of time for error component method are more similar to those assumed values than those of the existing combined models. Therefore, we can conclude that the error component method is useful in combining SP and RP data and more efficient than the existing methods.

A Hierarchical Bitmap-based Spatial Index for Efficient Spatial Query Processing on Air (무선환경에서 효과적인 공간질의 처리를 위한 계층적 비트맵 기반 공간 색인)

  • Song, Doo-Hee;Park, Kwang-Jin
    • Journal of Internet Computing and Services
    • /
    • v.12 no.6
    • /
    • pp.43-51
    • /
    • 2011
  • The recent development of the technology for wireless mobile computing and applied technology for location-based services has made it possible to support query processing faster than that in the past. However, some technological limitations on hardware and software still exist. The most critical aspects of query processing are accuracy and speed. For improving the accuracy, it is required that detailed information on the data involved in query processing be saved. In this case, the amount of information on the data increases, which decreases the speed. On the other hand, for increasing the speed, it is necessary to reduce the broadcast cycle, which enables rapid data acquisition as desired. In this case, because of insufficient index information, the listen time for the client increases, which may cause unnecessary energy consumption. Therefore, a trade-off occurs between the accuracy and speed. This paper proposes a hierarchical bitmap-based spatial index (HBI) as a solution for the aforementioned problems. HBI describes an object with 0 and 1 on the Hilbert curve map. It reduces the broadcast cycle by decreasing the index size on the basis of bit information and tree structure. Therefore, it is able to shorten the listen time and query processing time. In addition, HBI enables the detection of the locations of all the objects so that it is possible selectively listen to a broadcast. A performance evaluation of the proposed technique demonstrates that it is excellent.