This paper proposes to use an algorithmic debugging technique for locating logical errors in Java programs. The algorithmic debugging is a semi-automated debugging technique that builds an execution tree from a source program and locates logical errors, if any, included in the program from the execution tree with top-down method. So, it is very important to build a suitable execution tree from the various programming languages. In this paper we propose the method for building an execution tree iron Java programs and walk through an example. This approach could reduce the number of interactions between a user and a debugging system than the traditional step-wise debugging technique.
Proceedings of the Korean Institute of Building Construction Conference
/
2012.05a
/
pp.331-332
/
2012
Structural steel has been used as a primary materials to columns and beams since 1960's in Korea with an advantages of excellent of load-bearing capacity and design flexibility, and faster construction. However, if the steel columns made of structural steel exposed to fire the load-bearing capacity is going down steadily and finally reach to collapse. Therefore, building regulation requires fire resistance according to building occupation, scales. The fire resistance can be evaluated two categories. One is prescriptive method that is based on building regulation, specification and so on and the other is performance-based fire engineering method. The latter can be designed based on scientific and engineering consequences. The easiest evaluation way using the fire engineering design is comparing to the limiting temperature and maximum temperature calculated based on heat transfer theory. If the limiting temperature of a column exceeds the maximum temperature of it, the column can carry the load during the fire. Therefore, the database of limiting temperature is very essential for evaluation of column. In this paper, to build the database of column made of rectangular hollow sections 8 fire tests with loading were conducted and the relation between the limiting temperature and the applied loads showed in reverse proportion.
Research on AI is essential to build a system with collective intelligence that allows a large number of UAVs to maintain their flight while carrying out various missions. A typical approach of AI includes 'top-down' approach, which is a rule-based logic reasoning method including expert system, and 'bottom-up approach' in which overall behavior is determined through partial interaction between simple objects such as artificial neural network and Flocking Algorithm. In the same study as the existing Flocking Algorithm, individuals can not perform individual tasks. In addition, studies such as UAV formation flight can not flexibly cope with problems caused by partial flight defects. In this paper, we propose organic integration between top - down approach and bottom - up approach through multi - agent system, and suggest a flight flight algorithm which can perform flexible mission through it.
1. Anus is one of the nine holes, a soul store and on the lungs and the lungs, so the soulgate is said to meet. In addition, weight 450g, length 14.31inch, horizontal, and the 2.74inch, hit the road, the lungs and the reaction of the colon was found to represent the five viscera were dirty. 2. Spirit directly to the anus of the five viscera and the traffic outside and pass the information where I can get, and a close relation to the breathing, and each groups' je-hang-suk-sin-gong, je-hang-gong, anal breathing, jwa-sik training, jung-gi-dan-beop, martial arts method, Kegel exercises, breathing training, such as the anus is the name. 3.Anal way of breathing while breathing naturally slow down when you inhale air, tighten the anus and rectum to release when you breathe out, give way (or vice versa), the number of 5-20, he'll make you build up gradually. 4.Associated with respiratory training in Oriental medicine perspective, it is a Mac gi-gyeong eight vessel. In addition, out of gi-gyeong eight vessel in breathing training and more closely related to the Conception Vessel, Governor Vessel. 5.Governor Vessel, Conception Vessel and connect the energy up, down, left and right to communicate is the so-ju-cheon. To complete the Governor Vessel instantly without the energy leak from the Mir-yeo(尾閭) to reach the anus should be breathing. 6.Start the Conception Vessel Through fare Vessel hoeǔm, hoeǔm important acupuncture point can be activated by itself does not have the muscle to the hoeǔm around the anus energy and blood breathing helps circulation.
Korean Journal of Construction Engineering and Management
/
v.14
no.3
/
pp.107-114
/
2013
The interest in traditional Korean housing has greatly increasing in Korean housing market. However, it is difficult to wildly disseminate for a high construction cost reason. In order to effectively facilitate the Hanok construction, Korean government has initiated a project that develops a new style Korean housing, which meets the requirements of low cost and modernized life style. Cost of building is mainly affected by materials and construction methods. Hanok has some special commodities those significantly impact the cost. In order to effectively cut down the costs, well-organized planning for costs is very important. Also, improving the productivity by utilizing new materials and methods can result in cost down. In this context, this paper compared and analyzed two different types of Korean housing; one is a modernized Korean house which used new materials and methods, the other is a traditional Korean house which was build up by purely traditional methods. Productivity has also been compared and analyzed for 5 major commodities between two types of models. Based on these comparative data, effect of cost down by new model has been analyzed. As a result it is confirmed that by using the new materials and methods could highly effect to increasing productivity and cost down. Especially, the cost of Roofing have been more influenced by using new material while the Wood and Finishes have been influenced by new construction method. Construction cost of Foundation (Earthwork, Concrete, Masonry) and Openings were influenced both factors, changing of materials and methods.
Korean Journal of Construction Engineering and Management
/
v.12
no.5
/
pp.23-34
/
2011
Reliable progress management at construction requires integrated information of cost and schedule, and information is used as a basis for project performance measurement. However, separate handling of cost and schedule information at construction projects makes objective measurement more difficult and decreases management productivity due to additional works for breaking down bill of quantities into corresponding activities. Recently, research related to BIM addresses issues on effective progress management based on BIM with incorporation of daily progress management. Therefore, the objective of this paper is to propose information model for daily progress rate and budgeted cost of work performed by utilizing BTM-based quantity and location information.
Song, Wang-Cheol;Rehman, Shafqat Ur;Awan, Muhammad Bilal
KSII Transactions on Internet and Information Systems (TIIS)
/
v.9
no.9
/
pp.3377-3395
/
2015
Recently, several approaches to share road conditions and/or digital contents through VANETs have been proposed, and such approaches have generally considered the radial distance from the information source as well as the TTL to provision an ephemeral, geographically-limited information sharing service. However, they implement general MANETs and have not been tailored to the constrained movement of vehicles on roads that are mostly linear. In this paper, we propose a novel application-level mechanism that can be used to share road conditions, including accidents, detours and congestion, through a VANET. We assign probabilities to roads around each of the intersections in the neighborhood road network. We then use the graph representation of the road network to build a spanning tree of roads with the information source as the root node. Nodes below the root represent junctions, and the edges represent inter-connecting road segments. Messages propagate along the branches of the tree, and as the information propagates down the branches, the probability of replication decreases. The information is replicated until a threshold probability has been reached, and our method also ensures that messages are not delivered to irrelevant vehicles, independently of their proximity to the source. We evaluated the success rate and performance of this approach using NS-3 simulations, and we used IDM car following and MOBIL lane change models to provide realistic modeling of the vehicle mobility.
Currently the gamification as marketing technique has appeared in the field non-related with game, applied to game elements. The alternate reality game pulled down the boundary between the real and the virtual has come out. New trend game has shown beyond the range of the existing game. The possibility has import into online baseball simulation game. The objective of this research is the exploratory approach to build GOMS model through three subjects to the famous pro-baseball manager game. After game playing session, three subjects' utterance with game experience was recorded. We built the goal hierarchy of goal in GOMS to pro-baseball manager game to analyze the vocabulary in three subjects' utterance. We try to find the possibility of gamification in alternate reality game interacting between the real and the virtual, and demolishing them.
Journal of the Korea Academia-Industrial cooperation Society
/
v.14
no.11
/
pp.5906-5914
/
2013
Recently in Korea, the policy is being proceeded to build a intergenerational housing on artificial ground of railroad site for utilizing rental house. Due to narrow space of rail road site, suitable method have to be developed such as micropiles which is known as a method of a fast construction. However, If micropile is used as foundations for the super structure, construction cost is increases compared with other pile. Consequently, new concept micropile proposed to improve both bearing capacity and cost efficiency of general micropile. New concept micropile consists of waveform cement grout surrounding tread bar that formed by grouting the soil layer with jet grouting method as control the grout pressure and flow. The micropile with waveform is expected to decrease the construction cost by cut down pile length of general micropile. This paper examined the behavior of the new concept micropile with waveform subjected to axial load using two-dimensional axisymmetric numerical analyses method. According to the numerical result, there will cost effectiveness as the pile displacement decreased despite the length of waveform micropile is down about 5% from a general micropile under the same loading condition. Also, the effect of skin friction force which mobilized from the waveform of micropile appeared at relatively soft ground.
Journal of the Korea Institute of Information Security & Cryptology
/
v.27
no.1
/
pp.79-90
/
2017
If digital forensic investigators can utilize file access logs when they audit insider information leakage cases or incident cases, it would be helpful to understand user's behaviors more clearly. There are many known artifacts related to file access in MS Windows. But each of the artifacts often lacks critical information, and they are usually not preserved for enough time. So it is hard to track down what has happened in a real case. In this thesis, I suggest a method to utilize SACL(System Access Control List) which is one of the audit functions provided by MS Windows. By applying this method of strengthening the Windows's audit settings, even small organizations that cannot adopt security solutions can build better environment for conducting digital forensic when an incident occurs.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.