• 한국환경보건학회:학술대회논문집
• /
• 한국환경보건학회 2003년도 Challenges and Achievements in Environmental Health
• /
• pp.24-25
• /
• 2003

Lead is ubiquitous in the human environment as a result of industrialization. China's rapid industrialization and traffic growth have increased the potential for lead emissions. Lead poisoning in children is one of the most common public health problems today, and it is entirely preventable. Children are more vulnerable to lead pollution and lead in their bodies can affect their nervous, circulatory, and digestive systems. Children are exposed to lead from different sources (such as paint, gasoline, and solder) and through different pathways (such as air, food, water, dust, and soil). Although all children are exposed to some lead from food, air, dust, and soil, some children are exposed to high dose sources of lead. Significant sources of lead for China's children include industrial emissions (often close to housing and schools), leaded gasoline, and occupational exposure that occurs when parents wear lead-contaminated clothing home from work, burning of coal for home heat and cooking, contaminated food, and some traditional medicines. To assess the blood lead level in children in China, a large-scale study was conducted in 19 cities among 9 provinces during 1997 to 2000. There were 6502 children, aged 3-5 years, were recruited in the study The result indicates that the mean blood lead level was 8.83ug/dl 3-5 year old living in city area. The mean blood lead level of boys was higher than that of girls (9.1l ug/dl vs 8.73ug/dl). Almost 30 percent childrens blood lead level exceeded 10ug/dl. The average blood lead level was higher than that of in 1985 (8.83ug/dl vs 8.lug/dl). An epidemiological study was carried on the children living around the cottage industries recycling the lead from battery. Nine hundreds fifty nine children, aged 5-12 years, living in lead polluted villages where the lead smelters located near the residential area and 207 control children live in unpolluted area were recruited in the study. The lead levels in air, soil, drinking water and crops were measured. The blood lead and ZnPP level were tested for all subjects. The results show that the local environment was polluted. The lead levels both in the air and crops were much higher than that of in control area. In the polluted area, the average blood level was 49.6ug/dl (rang 19.5-89.3ug/dl). Whereas, in the unpolluted area, the average blood level was 12.4ug/dl (rang 4.6-24.8ug/dl). This study indicates that in some countryside area, some cottage industries induce seriously lead pollution and cause children health problem. For the introducing of unleaded gasoline in some large cities, such as Beijing and Shanghai, the blood lead level showed a declined trend since 1997. By 2000, the use of leaded gasoline in motor vehicles has been prohibited in China. The most recent data available show that levels of lead in blood among children in Shanghai decreased from 8.3ug/dl in 1997 to 7.6ug/dl in 1999. The prevalence rate of children lead poisoning (blood lead >10ug/dl) was also decreased from 37.8% to 24.8%. In children living in downtown area, the blood lead level reduced dramatically. To explore the relationship between gene polymorphisms and individual susceptibility of lead poisoning, a molecular epidemiological study was conducted among children living in lead polluted environment. The result showed that the subjects with ALAD2 allele has higher ZPP level, and the subjects with VDR B allele has larger head circumference than only with b allele. In the present study, we demonstrated that ALAD genotypes modify lead effects on heme metabolism and VDR gene variants influence the skull development in highly exposed children. The polymorphism of ALAD and VDR genes might be the molecular inherited factor modifying the susceptibility of lead poisoning. Recently, Chinese government pays more attention to lead pollution and lead poisoning in children problem. The leaded gasoline was prohibited used in motor vehicles since 2000. The government has decided to have a clampdown on the high-polluted lead smelters for recycling the lead from battery in countryside. It is hopeful that the risk of lead poisoning in children will be decreased in the further

• 분석과학
• /
• 제32권1호
• /
• pp.17-23
• /
• 2019

질소산화물(NOx)은 인위적 배출원(화석연료 연소, 이동오염원, 산업배출원 등)과 자연배출원(번개, 생물기원 토양, 산불 등)으로부터 배출된다. 질소안정동위원소를 이용한 분석 기법은 배출원의 기여도 및 추적 인자로 활용되어 왔다. 본 연구는 NOx의 특성을 보기 위하여 ${\delta}^{15}N-NO_2$를 측정하였으며 배출원의 동위원소 특성을 파악하기 위하여 수행되었다. 시료채취가 용이한 Ogawa PAS를 이용하여 대기 중 가스상 질소를 포집하여 안정동위원소를 분석하였다. 도심지역 터널내부의 평균 $NO_2$ 농도는 $3808.8{\pm}2656.5ppbv$이며, ${\delta}^{15}N-NO_2$ 값은 $7.7{\pm}1.8$‰를 나타내며 일반적인 이동오염원의 값을 나타냈다. 고속도로의 이동오염원으로부터 거리에 따른 결과, 고속도로와 인접한 지점의 $NO_2$ 농도는 $965.4{\pm}125.2ppbv$이며 ${\delta}^{15}N-NO_2$는 $5.9{\pm}1.4$‰이었고, 1.1 km 떨어진 지점의 $NO_2$ 농도는 $372.5{\pm}95.9ppbv$이며 ${\delta}^{15}N-NO_2$는 $-11.5{\pm}2.9$‰로 고속도로인근의 값이 높게 나타내었다. 고속도로부터 이동오염원 기여율을 보기 위하여 binary mixing model을 수행하였으며 고속도로와 근접할수록 기여율, 농도 및 동위원소가 높게 나타나는 경향을 나타냈다.

• 환경위생공학
• /
• 제24권4호
• /
• pp.1-26
• /
• 2009

We conclude the following with air pollution data measured from city measurement net administered and managed in Gwangju for the last 7 years from January in 2001 to December in 2007. In addition, some major statistics governed by Gwangju city and data administered by Gwangju as national official statistics obtained by estimating the amount of national air pollutant emission from National Institute of Environmental Research were used. The results are as follows ; 1. The distribution by main managements of air emission factory is the following ; Gwangju City Hall(67.8%) > Gwangsan District Office(13.6%) > Buk District Office(9.8%) > Seo District Office(5.5%) > Nam District Office(3.0%) > Dong District Office(0.3%) and the distribution by districts of air emission factory ; Buk District(32.8%) > Gwangsan District(22.4%) > Seo District(21.8%) > Nam District(14.9%) > Dong District(8.1%). That by types(Year 2004~2007 average) is also following ; Type 5(45.2%) > Type 4(40.7%) > Type 3(8.6%) > Type 2(3.2%) > Type 1(2.2%) and the most of them are small size of factory, Type 4 and 5. 2. The distribution by districts of the number of car registrations is the following ; Buk District(32.8%) > Gwangsan District(22.4%) > Seo District(21.8%) > Nam District(14.9%) > Dong District(8.1%) and the distribution by use of car fuel in 2001 ; Gasoline(56.3%) > Diesel(30.3%) > LPG(13.4%) > etc.(0.2%). In 2007, there was no ranking change ; Gasoline(47.8%) > Diesel(35.6%) > LPG(16.2%) >etc.(0.4%). The number of gasoline cars increased slightly, but that of diesel and LPG cars increased remarkably. 3. The distribution by items of the amount of air pollutant emission in Gwangju is the following; CO(36.7%) > NOx(32.7%) > VOC(26.7%) > SOx(2.3%) > PM-10(1.5%). The amount of CO and NOx, which are generally generated from cars, is very large percentage among them. 4. The distribution by mean of air pollutant emission(SOx, NOx, CO, VOC, PM-10) of each county for 5 years(2001~2005) is the following ; Buk District(31.0%) > Gwangsan District(28.2%) > Seo District(20.4%) > Nam District(12.5%) > Dong District(7.9%). The amount of air pollutant emission in Buk District, which has the most population, car registrations, and air pollutant emission businesses, was the highest. On the other hand, that of air pollutant emission in Dong District, which has the least population, car registrations, and air pollutant emission businesses, was the least. 5. The average rates of SOx for 5 years(2001~2005) in Gwangju is the following ; Non industrial combustion(59.5%) > Combustion in manufacturing industry(20.4%) > Road transportation(11.4%) > Non-road transportation(3.8%) > Waste disposal(3.7%) > Production process(1.1%). And the distribution of average amount of SOx emission of each county is shown as Gwangsan District(33.3%) > Buk District(28.0%) > Seo District(19.3%) > Nam District(10.2%) > Dong District(9.1%). 6. The distribution of the amount of NOx emission in Gwangju is shown as Road transportation(59.1%) > Non-road transportation(18.9%) > Non industrial combustion(13.3%) > Combustion in manufacturing industry(6.9%) > Waste disposal(1.6%) > Production process(0.1%). And the distribution of the amount of NOx emission from each county is the following ; Buk District(30.7%) > Gwangsan District(28.8%) > Seo District(20.5%) > Nam District(12.2%) > Dong District(7.8%). 7. The distribution of the amount of carbon monoxide emission in Gwangju is shown as Road transportation(82.0%) > Non industrial combustion(10.6%) > Non-road transportation(5.4%) > Combustion in manufacturing industry(1.7%) > Waste disposal(0.3%). And the distribution of the amount of carbon monoxide emission from each county is the following ; Buk District(33.0%) > Seo District(22.3%) > Gwangsan District(21.3%) > Nam District(14.3%) > Dong District(9.1%). 8. The distribution of the amount of Volatile Organic Compound emission in Gwangju is shown as Solvent utilization(69.5%) > Road transportation(19.8%) > Energy storage & transport(4.4%) > Non-road transportation(2.8%) > Waste disposal(2.4%) > Non industrial combustion(0.5%) > Production process(0.4%) > Combustion in manufacturing industry(0.3%). And the distribution of the amount of Volatile Organic Compound emission from each county is the following ; Gwangsan District(36.8%) > Buk District(28.7%) > Seo District(17.8%) > Nam District(10.4%) > Dong District(6.3%). 9. The distribution of the amount of minute dust emission in Gwangju is shown as Road transportation(76.7%) > Non-road transportation(16.3%) > Non industrial combustion(6.1%) > Combustion in manufacturing industry(0.7%) > Waste disposal(0.2%) > Production process(0.1%). And the distribution of the amount of minute dust emission from each county is the following ; Buk District(32.8%) > Gwangsan District(26.0%) > Seo District(19.5%) > Nam District(13.2%) > Dong District(8.5%). 10. According to the major source of emission of each items, that of oxides of sulfur is Non industrial combustion, heating of residence, business and agriculture and stockbreeding. And that of NOx, carbon monoxide, minute dust is Road transportation, emission of cars and two-wheeled vehicles. Also, that of VOC is Solvent utilization emission facilities due to Solvent utilization. 11. The concentration of sulfurous acid gas has been 0.004ppm since 2001 and there has not been no concentration change year by year. It is considered that the use of sulfurous acid gas is now reaching to the stabilization stage. This is found by the facts that the use of fuel is steadily changing from solid or liquid fuel to low sulfur liquid fuel containing very little amount of sulfur element or gas, so that nearly no change in concentration has been shown regularly. 12. Concerning changes of the concentration of throughout time, the concentration of NO has been shown relatively higher than that of $NO_2$ between 6AM~1PM and the concentration of $NO_2$ higher during the other time. The concentration of NOx(NO, $NO_2$) has been relatively high during weekday evenings. This result shows that there is correlation between the concentration of NOx and car traffics as we can see the Road transportation which accounts for 59.1% among the amount of NOx emission. 13. 49.1~61.2% of PM-10 shows PM-2.5 concerning the relationship between PM-10 and PM-2.5 and PM-2.5 among dust accounts for 45.4%~44.5% of PM-10 during March and April which is the lowest rates. This proves that particles of yellow sand that are bigger than the size $2.5\;{\mu}m$ are sent more than those that are smaller from China. This result shows that particles smaller than $2.5\;{\mu}m$ among dust exist much during July~August and December~January and 76.7% of minute dust is proved to be road transportation in Gwangju.

• 한국방재학회 논문집
• /
• 제8권6호
• /
• pp.155-160
• /
• 2008

도시화는 토지이용의 고도화 및 오염물질의 극대화를 초래한다. 일반적으로 도시지역은 상업, 주거, 산업, 공공지역 등과 복합적 토지이용지역과 도로, 주차장, 교량 및 공원과 같은 단일 토지이용 지역으로 형성된다. 이러한 지역에서의 인간과 차량의 활동은 도시지역의 모든 공간을 인근 수계 및 수생태계에 심각한 영향을 끼치게 하는 비점오염원으로 나타나게 한다. 도시지역의 다양한 토지이용은 건축물, 주차장 또는 도로 및 조경공간으로 세분류 될 수 있으나, 강우시 유출되는 비점오염원은 도로와 주차장으로 유출되기에 이러한 토지이용 지역을 관리함으로써 도시 비점오염물질의 효율적 저감이 이루어 질 수 있다. 도로와 주차장은 많은 차량의 운행과 인간의 활동으로 인하여 다양한 비점오염물질의 축적과 유출이 발생하고 있으며, 그 중에서 중금속과 입자상 물질이 주요 오염원으로 나타나고 있다. 이러한 비점오염원은 비점오염저감시설을 통하여 저감할 수 있으나, 강우의 특성에 영향을 크게 받고 있으며 유출특성의 불확실성이 높아 관리에 어려움을 겪고 있다. 특히 모니터링을 통한 기초자료의 부족은 부하량 예측, 저감메커니즘 및 저감시설 선정을 어렵게 하고 있다. 현재 토지이용에서의 부하량 예측에는 7개의 세분류 토지지목으로 형성된 토지이용별 오염원단위를 사용하고 있으나, 정확성이 낮아 새로운 원단위 산정을 위한 다양한 연구가 수행중이다. 따라서 본 연구에서는 교통과 관련된 토지이용 지역에서의 모니터링을 수행하여 원단위를 제시함으로써 효율적 포장지역 원단위 산정에 기여하고자 한다. 본 논문에서는 고속도로, 휴게소, 영업소, 주차장 및 교량을 포함하는 9개 지점에서의 모니터링 결과를 해석하고자 하며, 최종적으로 오염물질 원단위를 제시할 것이다.

• 한국방재학회 논문집
• /
• 제8권5호
• /
• pp.59-64
• /
• 2008

포장지역 중 도로는 많은 차량의 운행으로 건조시 각종 오염물질의 축적인 높은 토지이용이며, 불투수율이 높아 강우시 고농도의 비점오염물질의 유출이 발생한다. 특히 도로 노면에서 유출되는 강우유출수는 입자상 물질 및 각종 중금속 등의 함량이 높아 인근 수계 유입시 수질악화 및 수생태계 파괴의 원인으로 작용한다. 도로에 침착되는 오염물질의 원인으로는 차량 통행으로 수반되는 윤활계통의 오일류 누출 및 타이어 마모 등이 주요 원인이다. 이러한 비점오염물질의 유출을 저감하고 관리하기 위하여 환경부는 2006년 수질 및 수생태계보전에 관한 법률을 개정하여 비점오염원 관리를 환경부의 중요 정책으로 확립하였다. 또한 수질오염총량관리제도의 도입으로 그 중요성이 높은 토지계의 오염원단위 개정을 위하여 환경기초조사사업을 통해 2015년까지 수행되는 장기모니터링을 수립하여 시행하고 있다. 그러나 오염총량제의 조기정착과 효율적 비점오염원 관리를 위해서는 토지이용별 비점오염물질의 특성파악, 부하량 산정, 처리 메커니즘 규명 및 원단위 산정이 시급하다. 따라서 본 연구에서는 차량의 운행이 많은 국도에서의 모니터링 결과를 활용하여 유출 특성파악과 EMC 산정 등을 통하여 비점오염원 관리에 중요한 기본 자료를 제공하고자 한다. 본 연구를 위한 모니터링 지점은 경기도 용인시에 위치하고 있으며, 모니터링은 2006년부터 최근까지 총 16회의 강우사상에 대하여 수행되었다. 국도는 많은 차량으로 인하여 비점오염물질의 유출이 높은 토지이용 지역이다. 따라서 본 연구에서는 경기도 용인시에 위치하고 있는 국도에서의 비점오염 모니터링을 통하여 유출특성 파악, 초기 강우현상 파악, EMC 산정 및 오염물질간의 상관성을 분석하였다. 오염물질간의 상관분석결과, 오염물질 중 TSS항목이 다른 오염물질과의 상관관계가 높은 것으로 분석되었고, TSS농도로부터 다른 오염물질의 농도의 산정이 가능하여, 향후 효율적 비점 오염 모니터링 수행과 비점오염저감시설 선정시 중요한 기초자료로 활용할 수 있을 것이다.

• 자원리싸이클링
• /
• 제20권3호
• /
• pp.12-27
• /
• 2011

일본의 주요 비철제련소는 100년 이상의 오랜 역사를 가지고 있으며 환경 리싸이클링산업을 주도하고 있다. 이러한 배경에는 오랫동안 배양된 비철제련 프로세스와 환경오염 방지의 고도화된 전문기술과 기술개발력이 기초가 되고 있다. 일본의 도시광산 재자원화산업은 고부가가치 자원의 회수와 유해폐기물 처리의 통합된 비즈니스로 전개되고 있다. 최근 도시광산으로서 E-waste(폐휴대전화, PC 등)의 비중이 높아지고 있다. 레어메탈 등의 유가금속과 유해물질을 함께 함유하고 있는 E-waste의 처리에는 비철제련(특히 복잡황화광)의 고도 분리 정제기술의 이용이 절대적이다. 이러한 관점에서 동화(同和)그룹의 리싸이클 콤비나트, JX일광(日鑛)그룹의 일광환경(日鑛環境) + HMC의 리싸이클시스템과 리싸이클기술은 무한 경쟁력을 가지고 있으며, E-waste의 회수시스템 구축이 중요과제로 대두되고 있다.

• 한국도로학회논문집
• /
• 제8권1호
• /
• pp.89-98
• /
• 2006

오르막차로 설계에 쓰이는 표준트럭의 중량/마력비는 200 lb/hp로 알려져 있다. 그 값은 일반적으로 다양하기 마련인 지역간 트럭의 분포를 일정하다고 간주하여 트럭의 성능을 한가지로 표준화시킨 값이다. 또한 실제 교통량 중에서 트럭구성비를 측정하기보다는 그동안 전국범위의 트럭 등록대수 기준으로 표준트럭화 시킨 값이다. 따라서 표준트럭의 중량마력비는 지역적 산업적 트럭의 다양성이나 실제 트럭분포와 거리가 있다고 할 수 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 실제 트럭 구성비에 지역특성을 반영한 다양한 표준트럭의 중량마력비에 대해 검토하였다. 본 논문을 위해 전국에 걸쳐 고속도로 요금소에서 측정한 개별트럭의 중량마력비를 사용하였다. 지역적 분석을 위해 전국 8개 지역으로 나누고, 지역별 중량/마력비를 특성화하여 현재 단일기준의 지역별 적용성을 검토하였다. 분석결과 전국의 표준트럭은 208 lb/hp로 현재의 200 lb/hp와 8 lb/hp 차이가 나며, 지역별로 분석한 결과 170 lb/hp $\sim$ 230 lb로 현재 기준과 30 lb/hp 내외의 차이가 나는 것으로 나타났다. 그 결과로 지역별 트럭분포의 격차가 있음을 확인할 수 있었고 전국적인 지역특성을 반영한 세가지의 중력마력비가 제안될 수 있었다. 다양한 표준트럭이 설계에 반영이 되면 두가지 효과가 기대된다. 즉 트럭과 승용차의 오르막차로에서의 속도차 때문에 발생하는 추돌사고를 줄이고 또한 특정지역에서 오르막차로 건설비를 줄이는 것이 가능할 것으로 생각된다.

• 한국전자통신학회논문지
• /
• 제9권2호
• /
• pp.219-230
• /
• 2014

철도차량에 RFID 시스템을 도입함으로써 철도 부품관리 등을 포함한 철도차량의 스마트한 운영관리가 가능하도록 하는 것은 경제적, 산업적 뿐 아니라 사회적으로도 많은 필요성이 대두되고 있다. 본 논문에서는 해외의 RFID 연구 및 개발 활용사례를 조사 분석하였다. 철도 뿐 아니라 다양한 산업분야에 RFID 기술이 적용된 사례에 관해서도 조사하였다. 철도분야에서는 주로 차량위치 검지, 차량인식 등에 RFID 시스템이 사용된 경우가 거의 대부분이었고 부품의 단순이력 관리 등에 응용한 사례도 있었다. 본 연구를 통해, 세계적으로 이미 여러 산업분야에서 RFID 기술이 활용되고 있고 철도분야에서도 여러 국가에서 RFID 기술을 활용한 운영이 활성화되어 있으나 이러한 기술 활용은 주로 차량운행과 관련된 분야에 국한되어 있고 철도부품의 유지보수 등의 분야에서는 RFID 기술개발 및 활용이 미흡하다는 것을 알 수 있었다. 따라서 국내의 철도차량의 스마트한 운영관리를 위해서는 RFID 기술을 철도부품의 유지보수 및 이력관리에 적용할 수 있는 시스템이 반드시 필요하다.

• Strategy21
• /
• 통권39호
• /
• pp.5-46
• /
• 2016

North Korea's 4th nuclear test on Jan. 6 and following developments once again awakened the world into seriousness of the nuclear matters on the Korean peninsula. On March 2, UNSC adopted Resolution 2270 which is complemented by Seoul government's measures such as withdrawal from the Gaesung Industrial Complex (Feb. 9) and announcement of unilateral sanction (March 8). Seoul government also strongly urged the international community to strangle North Korea's 'financial resources.' The U.S., Japan, China, and other countries have issued unilateral sanctions to complement the UNSC measure. South Korea and the U.S. conducted their annual joint military drill (Resolve-Foal Eagle) in the largest-ever scale. North Korea, however, responded with demonstration of its nuclear capabilities and announcement of de facto 'nuclear-first' politics. North Korea test-fired a variety of delivery vehicles, threatened nuclear strikes against South Korea and the U.S., and declared itself as an 'invincible nuclear power armed with hydrogen bombs' at the 7th Workers 'Party Congress held in May, 2016. Considering the circumstantial evidences, the North's 4th nuclear test may have been a successful boosted fission bomb test. North Korea, and, if allowed to go on with its nuclear programs, will become a nuclear power armed with more than 50 nuclear weapons including hydrogen bombs. The North is already conducting nuclear blackmail strategy towards South Korea, and must be developing 'nuclear use' strategies. Accordingly, the most pressing challenge for the international community is to bring the North to 'real dialogue for denuclearization through powerful and consistent sanctions. Of course, China's cooperation is the key to success. In this situation, South Korea has urgent challenges on diplomacy and security fronts. A diplomatic challenge is how to lead China, which had shown dual attitudes between 'pressure and connivance' towards the North's nuclear matters pursuant to its military relations with the U.S, to participate in the sanctions consistently. A military one is how to offset the 'nuclear shadow effects' engendered by the North's nuclear blackmail and prevent its purposeful and non-purposeful use of nuclear weapons. Though South Korea's Ministry of Defense is currently spending a large portion of defense finance on preemption (kill-chain) and missile defense, they pose 'high cost and low efficiency' problems. For a 'low cost and high efficiency' of deterrence, South Korea needs to switch to a 'retaliation-centered' deterrence strategy. Though South Korea's response to the North's nuclear threat can theoretically be boiled down into dialogue, sanction and deterrence, now is the time to concentrate on strong sanction and determined deterrence since they are an inevitable mandatory course to destroy the North' nuclear-first delusion and bring it to a 'real denuclearization dialogue.'

• 항공우주시스템공학회지
• /
• 제14권1호
• /
• pp.44-53
• /
• 2020

무인항공기 산업은 인공지능, 빅데이터, 사물 인터넷 등의 4차 산업혁명 기술과 융합하여 새로운 패러다임으로 발전하고 있다. 미국과 같은 항공 선진국들은 비행안전성이 보장된 무인항공기 개발에 많은 역량을 집중하고 있다. 대한민국의 경우, 한국항공우주연구원에서 2011년 국가 R&D 사업의 일환으로 국내 최초 수직이착륙 무인항공기인 스마트무인기 개발에 성공하였고, 이를 통해 첨단 IT 기술이 접목된 수직이착륙 무인항공기 개발 기술을 보유하게 되었다. 이러한 국가차원의 노력에도 불구하고 아직까지 국내 수직이착륙 무인항공기의 개발과 시장 운용은 제한적이다. 국내 기술로 개발한 수직이착륙 무인항공기의 형식증명 절차는 국내 항공안전법에 명시되어 있으나 형식증명을 위한 감항기준은 아직 제정되어 있지 않다. 따라서 본 연구에서는 자체 중량 150 kg을 초과하는 수직이착륙 무인항공기의 국내 외 개발 동향과 국가별 인증제도 및 절차에 대해 조사하고, 유럽항공안전청에서 2019년 7월 2일 제정공포한 수직이착륙 항공기용 특별감항요건(special conditions)을 벤치마킹하여 국내 수직이착륙 무인항공기 형식증명을 위한 감항기준을 정립할 수 있는 방안에 대해 연구하였다.