• Title/Summary/Keyword: new proof

Search Result 435, Processing Time 0.035 seconds

An Analysis on the Effect of the University in Area Development (대학이 지역발전에 미치는 영향 -천안시를 중심으로-)

  • Park, Jong-Gwan
    • The Journal of the Korea Contents Association
    • /
    • v.11 no.6
    • /
    • pp.360-371
    • /
    • 2011
  • This study dealt with the effect of the university in area development to Cheonan city. This study ran parallel literature investigation and actual proof investigation. Questionnaires 394 enforce frequency analysis in SPSS 15.0 versions. University positive effect on local community is smooth supply of human capital in local community, increase of regional income, improvement of area image by expanded education opportunities, supply of various university facilities in local communities etc. Contradictory effect is expansion of gap for areas that young persons in local community taken to education of good quality leave other local community, occurrence of conflict by collision of new culture and culture of area characteristic. Role of university for area development is role of help consultation, symbolic role, educational role etc. But the weighed role is leading role which university leads area development. Finally, the prompting methods of university for local community development .must accomplish interchange of operational mode with high quality human resources activating removal of manpower between arithmetic.

Detailed Design for 25bar-class Biogas Compression Supplying System (25BAR급 바이오가스 고압 압축공급시스템 상세설계)

  • Hur, Kwang-Beom;Park, Jung-Keuk;Yun, Eun-Young;Lee, Jung-Bin
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 2011.05a
    • /
    • pp.173.1-173.1
    • /
    • 2011
  • The high fuel flexibility of gas turbine power system has boosted their use in a wide variety of applications. Recently, the demand for biogas generated from the digestion of organic wastes and sewage waste water as a fuel for gas turbines has increased. We investigated the performance of high pressure biogas compression system and operating conditions for supplying biogas. The total flow per minute of biogas from food waste water digestion tank is $54Nm^3$. The main type of biogas compression system is the reciprocating system and screw type system. The target of biogas mechanical data is the as belows; inlet pressure 0.045bar, supplying biogas temperature is $30{\sim}60^{\circ}C$, and final pressure is above the 25 bar. Also, inlet conditions of biogas consist of CH4 48.5%~83%, $H_2S$ Max. 500ppm, $NH_3$ Max. 1,500ppm and Siloxane 2.7~4.6ppm. The boosting Blower system raises a pressure from 0.045bar to 1bar before main compressor. The main system lay out of reciprocating consisits of compressor driver, filter, cooling system, blowdown vessel, control system and ESD(Emergency Shut Down) system. And an enclosure package needs to be installed for reducing noise up to 75dB. The system driver is the electronic motor of explosion proof type. Forthe compressor system reliable operation, the cleaning system something like particulate filter needs to be set up in the inlet of compressor and Coalescing Filter in the outlet of compressor. Particulate Filter has to be removed above $10{\mu}m$ size of the particles in biogas. The coalescing filter(Micofine Borosilicate Glass Fibers Filter treated phenol acid) also removes moisture and oil of above $0.3{\mu}m$ to be involved in high pressure biogas up to 90%~98%.

  • PDF

Micro-Thruster Performance Measurement System Development Using Optical Sensors (광학 센서를 이용한 마이크로 추력기 성능측정 시스템 개발)

  • Kang, Suk-Jin;Cho, Hyea-Ran;Choi, Young-Hoon;Chang, Young-Keun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.8
    • /
    • pp.780-789
    • /
    • 2008
  • A new method for measuring the performance of a micro-thruster is suggested in this paper. A few thrust stands have been developed for measuring micro-level thrusts. This paper describes a different measurement method that can minimize the calibration involved in the measurements, while providing the capability of directly measuring the produced minimum impulse bit directly. The underlying theory and the theoretical background for the measurement mechanism are described here. The theory and method is verified using a computer simulation, and the result is given in this paper. The theory has also been tested on an actual hardware. Although this hardware is a prototype, developed for proof-of-concept analysis, satisfactory results have been obtained.

The Design of Self Testing Comparator (자체시험(Self-Testing) 특성을 갖는 비교기(Comparator) 설계)

  • 양성현;이상훈
    • Journal of the Korea Computer Industry Society
    • /
    • v.2 no.2
    • /
    • pp.219-228
    • /
    • 2001
  • This paper presents the implementation of comparator which are Fail-Safe with respect to faults caused by any single physical defect likely to occur in NMOS and CMOS integrated circuit. The goal is to use it at the Fail-Safe system. First, a new fault model for PLA(Programmable Logic Array) is presented. This model reflects several physical defects in VLSI circuits. It focuses on designs based on PLA because VLSI chips are far too complex to allow detailed analysis of all the possible physical defects that can occur and of the effects on the operation of the circuit. Second, this paper show that these design, which was implemented with 2 level AND_ORor NOR-NOR circuit, are optimal in term of size. And it also present a formal proof that a comparator implemented as NOR-NOR PLA, based on these design, is self-testing with respect to most single faults in the presented fault model. Finally, it discuss the application of the self-testing comparator as a building block for implementing Fail-Safe Adder.

  • PDF

Design of a Large-scale Task Dispatching & Processing System based on Hadoop (하둡 기반 대규모 작업 배치 및 처리 기술 설계)

  • Kim, Jik-Soo;Cao, Nguyen;Kim, Seoyoung;Hwang, Soonwook
    • Journal of KIISE
    • /
    • v.43 no.6
    • /
    • pp.613-620
    • /
    • 2016
  • This paper presents a MOHA(Many-Task Computing on Hadoop) framework which aims to effectively apply the Many-Task Computing(MTC) technologies originally developed for high-performance processing of many tasks, to the existing Big Data processing platform Hadoop. We present basic concepts, motivation, preliminary results of PoC based on distributed message queue, and future research directions of MOHA. MTC applications may have relatively low I/O requirements per task. However, a very large number of tasks should be efficiently processed with potentially heavy inter-communications based on files. Therefore, MTC applications can show another pattern of data-intensive workloads compared to existing Hadoop applications, typically based on relatively large data block sizes. Through an effective convergence of MTC and Big Data technologies, we can introduce a new MOHA framework which can support the large-scale scientific applications along with the Hadoop ecosystem, which is evolving into a multi-application platform.

Reliability Updates of Driven Piles Using Proof Pile Load Test Results (검증용 정재하시험 자료를 이용한 항타강관말뚝의 신뢰성 평가)

  • Park, Jae-Hyun;Kim, Dong-Wook;Kwak, Ki-Seok;Chung, Moon-Kyung;Kim, Jun-Young;Chung, Choong-Ki
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2010.03a
    • /
    • pp.324-337
    • /
    • 2010
  • For the development of load and resistance factor design, reliability analysis is required to calibrate resistance factors in the framework of reliability theory. The distribution of measured-to-predicted pile resistance ratio was constructed based on only the results of load tests conducted to failure for the assessment of uncertainty regarding pile resistance and used in the conventional reliability analysis. In other words, successful pile load test (piles resisted twice their design loads without failure) results were discarded, and therefore, were not reflected in the reliability analysis. In this paper, a new systematic method based on Bayesian theory is used to update reliability index of driven steel pile piles by adding more pile load test results, even not conducted to failure, into the prior distribution of pile resistance ratio. Fifty seven static pile load tests performed to failure in Korea were compiled for the construction of prior distribution of pile resistance ratio. Reliability analyses were performed using the updated distribution of pile resistance ratio and the total load distribution using First-order Reliability Method (FORM). The challenge of this study is that the distribution updates of pile resistance ratio are possible using the load test results even not conducted to failure, and that Bayesian update are most effective when limited data are available for reliability analysis or resistance factors calibration.

  • PDF

Development of a real time surface and under water image integrating system for Korea artistic swimming team (국가대표 아티스틱 스위밍팀 지원을 위한 실시간 수상 수중 영상 통합 시스템 개발)

  • Min, Seokki;Lee, Sangcheol;Kim, Taewhan;Kil, Sekee;Kim, Ji-eun
    • Journal of the Korea Convergence Society
    • /
    • v.11 no.1
    • /
    • pp.25-31
    • /
    • 2020
  • In this study, a real time image integrating system which can reconstruct two images from a surface camera and an under water camera into one new image was developed to support Korea artistic swimming team. The developed system consists of four USB cameras (two USB 2.0 and two USB 3.0) sealed in water proof case and one note book computer, and a LabVIEW based real time image merging program was developed. During field test, problem in cooperative motion of acrobatic formation was found, and it was proved that correction of motion to improve skill of the player could be possible in real time with aid of the developed system. After the filed test, the developed system has been being used to support Korea artistic swimming team.

Evaluation of Seismic Performance for Bridge Using Capacity Spectrum Method (역량스펙트럼을 이용한 교량의 내진성능평가)

  • Park, Yeon-Soo;Choi, Sun-Min;Kin, Eung-Rok;Suh, Byoung-Chul
    • Proceedings of the KSR Conference
    • /
    • 2007.05a
    • /
    • pp.448-455
    • /
    • 2007
  • In 1992, the first design standard of quake proof bridge was established. However, most bridge structures which were constructed without considering earthquake in former times need performance of quakeproof property. Quakeproof analysis in current bridges, is based on analysis of load base which just has strength over the load of simple structures but is not checked through simple comparison of strength performance of structures so that we would like to check that ADRS method is reasonable or not using ADRS method(Accleration-Displacement Response Spectrum Method), a analysis method based on displacement of object of performance test. As the result of that, the capacity spectrum method can avoid complex dynamic analysis in analysis based on loads and it efficiently applies to design verification with normal checking for quakeproof performance and aimed performance of new structures. However we can not consider effects of high modes and it has problem that does not consider falling of performance in structures by repeated load.

  • PDF

The Gatekeeper's Dilemma: The Changing Relationship between Science and Law after the Introduction of the Daubert Standard (수문장의 딜레마: 도버트 기준 도입 이후 과학과 법의 관계 변화)

  • Kim, Sungeun;Park, Buhm Soon
    • Journal of Science and Technology Studies
    • /
    • v.15 no.1
    • /
    • pp.215-244
    • /
    • 2015
  • The 1993 U.S. Supreme Court decision on Daubert v. Merrel Dow Chemical, Inc. has changed the ways in which scientific evidence is evaluated for legal purposes. A new set of guidelines, called thereafter the Daubert Standard, that was intended to increase the judge's authority in determining the admissibility of scientific evidence in the court, turns out to have increased the burden of proof on the part of plaintiffs and have also considerably influenced the outcome of policy decisions in the regulatory areas. This paper analyzes the changes made in the relationship between science and law after the introduction of the Daubert Standard, examining the epistemological differences between its proponents and opponents. The judge's dilemma as a gatekeeper, this paper argues, is not simply that of an 'amateur scientist' seeking to learn and practice scientific knowledge per se. Rather, the dilemma ought to be that of an 'legal expert,' faithful to ethos of social justice without succumbing to the practical convenience of the Daubert Standard. This paper also suggests that there is much room for STS scholars to make contributions to the use of science in legal settings by conducting in-depth studies on court cases in the broad social and political context.

Fabrication of Nickel-based Piezoelectric Energy Harvester from Ambient Vibration with Micromachining Technology (마이크로 머시닝 기술을 이용한 니켈기반의 압전 진동형 에너지 하베스터 제작)

  • Cha, Doo-Yeol;Lee, Jai-Hyuk;Chang, Sung-Pil
    • Journal of the Korean Institute of Electrical and Electronic Material Engineers
    • /
    • v.25 no.1
    • /
    • pp.62-67
    • /
    • 2012
  • Owing to the rapid growth of mobile and electronic equipment miniaturization technology, the supply of micro mobile computing machine has been fast raised. Accordingly they have performed many researches on energy harvesting technology to provide promising power supply equipment to substitute existing batteries. In this paper, in order to have low resonance frequency for piezoelectric energy harvester, we have tried to make it larger than before by adopting nickel that has much higher density than silicon. We have applied it for our energy harvesting actuator instead of the existing silicon based actuator. Through such new concept and approach, we have designed energy harvesting device and made it personally by making with micromachining process. The energy harvester structure has a cantilever type and has a dimension of $10{\times}2.5{\times}0.1\;mm^3$ for length, width and thickness respectively. Its electrode type is formed by using Au/Ti of interdigitate d33 mode. The pattern size and gap size is 50 ${\mu}m$. Based on the measurement of the nickel-based piezoelectric energy harvester, it is found to have 778 Hz for a resonant frequency with no proof mass. In that resonance frequency we could get a maximum output power of 76 ${\mu}W$ at 4.8 $M{\Omega}$ being applied with 1 g acceleration.