• 한국의류학회지
• /
• 제14권4호
• /
• pp.281-291
• /
• 1990

Experiment I and II had done to develop the solar heat proof hat for field work in the summer. In the experiment I physical characteristics of several fabrics was tested to determine which one Is proper to make the solar heat proof hat. On the base of above results in the experiment II three improved solar heat proof hat was deviced and tested solar heat proof effect and compared the existing summer working hat by wearing trials in the environmental chamber. The results obtained were as follows. 1. In the view of the physical characteristics of six fabrics (Blue T/C, White poplin, Vapor transfer silver coating nylon taffeta, No vapor trans(or silver coating nylon taffeta, Aluminum coating T/C, Microporous fabric), the light color T/C and no vapor transfer silver coating nylon ta(feta is proper to make improved solar heat proof working hat. 2. Three improved hats that are made of white T/C, grey T/C and no vapor transfer silver coating nylon taffeta have more solar heat proof effect than the existing summer working hat. 3. Among the three improved hats, the improved hat that is made of no vapor transfer silver coating nylon taffeta is most effective to proof the solar heat.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2006년도 추계 학술논문 발표대회 논문집
• /
• pp.117-121
• /
• 2006

This study intends to suggest the effective methods for water leakage prevention around the windows in stone works to up-grade the outdoor public space that has been taken much portion of apartment housing trends. The subjects of the study was selected among the domestic subcontractors of stone works. There are four methods for water leakage prevention around the windows; Firstly, the painting water-proof method after the masonry. Secondly, the urethane water-proof method after galvanizing panels on the gap. Thirdly, the separation method between stone and substructure and the last one is water-proof method that they put some water-proof screen between stone and substructure with the EPDM sheets. According to the analysis of the water-proof effects, constructability and planning, we could approach to conclusion that the most influent items to the water-leakage are the filling material's deformation, the state of oxygenation and deterioration of work skill. Among the water-proof methods in construction the EPDM sheet is most excellent water-proof method to meet the technical conditions. However, we have to apply it to stone works as a water-proof method for the decrease of the leakage defects after standardizing the materials, test and construction skill because there are many work skills according the subcontractors.

• 전기전자학회논문지
• /
• 제24권4호
• /
• pp.931-941
• /
• 2020

기계학습을 이용한 자연어처리 기술이 발전하면서 SHNS (Smart Home Network Service)가 다시 주목받고 있다. 그러나 SHNS는 구성 기기의 다양성과 사용자의 가변성 등으로 인하여 표준화된 인증 시스템 적용이 어렵다. 블록체인은 분산 환경에서 데이터 인증을 위한 기술로 제안되고 있지만, 작업증명시스템 구현 시 요구되는 계산 오버헤드 때문에 SHNS에 적용하는데 한계가 있다. 본 논문에서는 경량화된 작업증명시스템을 제안하였다. 제안하는 경량화된 작업증명시스템은 기기의 작업 권한을 제어함으로써 블록 생성을 관리하도록 제안되었다. 또한 본 논문에서는 이를 기반으로 SHNS의 접근통제 방안을 제안한다.

• 한국빅데이터학회지
• /
• 제7권1호
• /
• pp.1-14
• /
• 2022

대부분의 블록체인이 사용하는 작업증명 합의 알고리즘은 채굴이라는 형태로 대규모의 컴퓨팅리소스 낭비를 초래하고 있다. 작업증명의 컴퓨팅리소스 낭비를 줄이기 위해 유용한 작업증명 합의 알고리즘이 연구 되었으나 여전히 블록 생성 시 리소스 낭비와 채굴의 중앙화 문제가 존재한다. 본 논문에서는 블록생성을 위한 상대적으로 비효율적인 연산 과정을 분산 인공지능 모델 학습으로 대체하여 블록생성 시 리소스 낭비문제를 해결하였다. 또한 학습 과정에 참여한 노드들에게 공평한 보상을 제공함으로써 컴퓨팅파워가 약한 노드의 참여 동기를 부여했고, 기존 중앙 집중 인공지능 학습 방식에 근사한 성능은 유지하였다. 제안된 방법론의 타당성을 보이기 위해 분산 인공지능 학습이 가능한 블록체인 네트워크를 구현하여 리소스 검증을 통한 보상 분배를 실험 하였고, 기존 중앙 학습 방식과 블록체인 분산 인공지능 학습 방식의 결과를 비교하였다. 또한 향후 연구로 블록체인 메인넷과 인공지능 모델 확장 시 발생 할 수 있는 문제점과 개발 방향성을 제시함으로서 논문을 마무리 하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권4호
• /
• pp.1389-1408
• /
• 2021

Proof-of-Work (PoW) is the first and still most common consensus protocol in blockchain. But it is costly and energy intensive, aiming at addressing these problems, we propose a consensus algorithm named Proof-of-Work-and-Block-Compression (PoW-BC). PoW-BC is an improvement of PoW to compress blocks and adjust consensus parameters. The algorithm is designed to encourage the reduction of block size, which improves transmission efficiency and reduces disk space for storing blocks. The transaction optimization model and block compression model are proposed to compress block data with a smaller compression ratio and less compression/ decompression duration. Block compression ratio is used to adjust mining difficulty and transaction count of PoW-BC consensus protocol according to the consensus parameters adjustment model. Through experiment and analysis, it shows that PoW-BC improves transaction throughput, and reduces block interval and energy consumption.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.

• 전기학회논문지
• /
• 제67권12호
• /
• pp.1685-1689
• /
• 2018

In this research, 51% attack or majority attack is becoming an important security issue for proof of work based blockchains. Due to decentralized nature of blockchains, any attacks that shutdowns the network or which take control over the network is hard to prevent and assess. In this paper, different types of majority attack are summarized and the motivations behind the attacks are explained. To show the feasibility of the majority attack, we build an example mining machines that can take control over two of the public blockchains, Vertcoin and Monero.

• 자원리싸이클링
• /
• 제21권6호
• /
• pp.23-31
• /
• 2012

일반 도로 및 산업단지 주변에 자생하는 잡초류에 대한 제거 작업이 상시 이루어지고 있으나 강한 자생력으로 인해 제초 작업에 어려움을 겪고 있다. 그간 이러한 수작업과 병행하여 방초 시트의 시공을 통한 제초작업이 이루어지고 있으나 경제성, 적용 부위의 한정 및 회수 처리 문제 등이 단점으로 지적되고 있다. 본 연구는 경제적이며 적용 범위에 제한을 받지 않고 제품으로서의 기능 상실 후 회수 처리의 간편함이 특징인 산업부산물을 활용한 친환경적 무시멘트 방초 모르타르의 제조에 관한 것으로 배합재료의 선정, 적정 배합 도출을 위한 다양한 시험 및 시험 시공을 실시한 후 각 종 결과의 비교, 분석을 통하여 방초 모르타르의 기초적 개발을 위한 연구결과를 도출하였다.

• 대한가정학회지
• /
• 제37권11호
• /
• pp.75-83
• /
• 1999

To develope an efficient fire fighter’s uniform for the fire fighting work and body protection, this study examined the regulations of fire lighter’s uniform and surveyed the actual wearing conditions, satisfaction degree, preferred color and design others. The results are as follows; 1. As for the satisfaction degree, the degree was normal in ordinary, low in working uniform and heat-proof uniform and very low in water-proof uniform about its design, size, color and materials. 2. As for the color, red was preferred for the working uniform and water-proof uniform. Blue, yellow and green was preferred next for corking uniform and yellow and blue for water-proof uniform. 3. As for the design, fire fighters wanted partial revision of the present uniform. They preferred stretchy training wear style and overact style in order. For the water-proof uniform, they preferred hip-length suit and pants and next to it they liked flee-length suit, waist belt and overact in order. 4. As for the regulations of the uniform, they wanted some addition in casual uniform, water-proof pants and water-proof gloves, and some deletion in the thermal barrier of water-proof uniform and ordinary uniform. 5. As for the distribution of the uniforms, the use of coupons was highly preferred.

• 호남수학학술지
• /
• 제26권3호
• /
• pp.257-268
• /
• 2004

In this paper, we give a proof of the Robinson-Schensted-Knuth correspondence by using the geometric. construction. We represent a generalized permutation in the first quadrant of the Cartesian plane and find a corresponding pair of semi-standard tableaux of same shape. This work extends the classical geometric construction of Viennot [10] for Robinson-Schensted correspondence.