• 제목/요약/키워드: Violation

검색결과 858건 처리시간 0.023초

정형검증 도구를 활용한 Fly-By-Wire 헬리콥터 비행제어법칙 자동코드 무결성 확보 방안 (Secure methodology of the Autocode integrity for the Helicopter Fly-By-Wire Control Law using formal verification tool)

  • 안성준;조인제;강혜진
    • 한국항공우주학회지
    • /
    • 제42권5호
    • /
    • pp.398-405
    • /
    • 2014
  • 내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

여성 구급대원의 현장 스트레스 경감방안 모색에 관한 연구 (A Study on Searching for Reduction of Women EMTs's Stress)

  • 공하성;이란희;이성철
    • 대한안전경영과학회지
    • /
    • 제15권4호
    • /
    • pp.113-121
    • /
    • 2013
  • The rate that women's EMTs(emergency medical technicians) in fire department occupy is increasing, but my general plan is aimed at suggesting the improving plan for the working environment of women's EMTs paying attention to the duty stresses of increasing women's EMTs, because improvement for the working environment of women's EMTs is being proceeded slowly. I suggested my improving plan for solving the working stress on the basis of a survey of the Recognition against women's EMTs as follows. Firstly, I suggested that physical strength of women's EMTs should be managed well continually via program establishment and a defined evaluation not only by employing a professional person in charge for physical strength in firehouse, but also by replenishing the suitable number for the urgent mobilization. Secondly, I suggested that the suitable number for the urgent mobilization should be increased to 3 including an ambulance driver. Thirdly, I suggested necessity such as the fruitful education and the creation of circumstances that can focus on education for improving participation rate, development of various new educational program, incentive program and penalty. finally, I suggested the fact that is related to the actual re-amendment of the concerned law and ordinance such as not only the smooth treatment of penalty for a traffic signal violation of ambulance and the legal remedy system due to aggravation of a patient's condition during a first-aid course, but also workshop and meeting among the periodical EMTs and administration of special therapy program and sufficient recess.

운전자의 정서가 운전행동에 미치는 영향에 관한 연구: 운전스트레스 대처행동을 중심으로 (A Study on Effects of the Driver's Emotion on the Driving Behavior)

  • 권민정;오영태
    • 대한교통학회지
    • /
    • 제31권6호
    • /
    • pp.34-42
    • /
    • 2013
  • 교통사고의 원인은 크게 차량요인, 도로환경요인, 인적요인으로 구성되는데 과거에 비해 비약적으로 발전한 기술로 인하여 현재는 교통참가자들의 교통행동이 가장 중요한 원인으로 주목받고 있다. 최근 활발하게 연구가 이루어지고 있는 정서는 인간의 판단과 행동결정에서 그 역할이 중요시 되고 있다. 이에 운전자가 운전행동을 판단하고 결정할 때에도 정서가 영향을 줄 것으로 예상되며 운전자의 정서가 운전행동에 어떠한 영향을 주는지 밝혀내는 것이 본 연구의 목적이다. 분석결과 긍정적 정서는 운전행동에 큰 영향을 주지 않지만 부정적 정서의 경우 안전운전 요인 및 여유운전 요인과는 부적(-) 상관관계를, 난폭운전 요인 및 법규위반 요인과는 강한 정적(+) 상관관계를 갖는 것으로 나타났다. 또한 회귀분석을 통해 적합도가 가장 높은 2차 함수 모형을 구축하였다. 본 연구는 운전자의 정서와 운전행동과의 관계를 확인했다는 점에서 의의가 있으며 교통사고를 줄이기 위한 정책을 수립하고 결정할 때뿐만 아니라 효과적인 운전자 교통안전교육의 기초연구로서 의미가 있다고 할 수 있다.

인터넷 명예훼손 방지를 위한 정책과 법안에 관한 연구 - 미국의 통신품위법과 Brodie 사건을 중심으로 (A Study on the Internet Defamation Policy and Law - Focusing on the Communications Decency Act of 1996 and the Brodie Case)

  • 배성호
    • 디지털융복합연구
    • /
    • 제10권8호
    • /
    • pp.29-37
    • /
    • 2012
  • '타진요' 사건이나 최진실의 자살사건 등에서 보듯이 인터넷상의 명예훼손은 치명적인 결과를 수반한다. 온라인상의 명예훼손은 연예인이나 공인을 넘어서 일반인에 까지 확산되고 있다. 온라인 포럼과 소셜네트워크의 범람은 인터넷 명예훼손의 피해자들에 대한 체계적인 보호 장치가 절실함을 반증한다. 그동안 우리나라는 미국의 유사한 해당 법률과 정책을 기반으로 "정보통신망이용촉진및정보보호등에관한법률" 등을 통해 네티즌과 인터넷 서비스 제공자간의 법적인 책임에 대한 범위를 규정함으로써 인터넷 명예훼손을 방지하려는 시도를 해왔다. 그러나 내용의 진위여부와 관계없이 인터넷 명예훼손의 피해자들은 제대로 된 보상도 받지 못한 채 낙인으로부터 자유하지 못한 것이 현실이다. 따라서 본 연구는 우리의 인터넷 명예훼손 방지 법안의 근간이 된 미국의 "통신품위법"과 최근 메릴랜드주 항소법원의 판례인 Brodie 사건을 고찰함으로써, 우리의 인터넷 명예훼손 방지 정책이 나아가야 할 실질적인 방향을 분석하고자 한다.

끼어들기 단속시스템 개발 연구 (A Study on Development of Systems to Enforce the interfering Cars on the Ramp)

  • 이호원;현철승;주두환;정준하;이철기
    • 한국ITS학회 논문지
    • /
    • 제11권5호
    • /
    • pp.7-14
    • /
    • 2012
  • 끼어들기 행위에 대한 경찰의 인력단속이 매우 취약해 교통질서 위반자들의 현장단속이 어렵고 단속을 하더라도 위반증거를 확보하기가 어려워 단속이 거의 이루어지지 않고 있다. 램프 구간 진입 및 진출 지점에서 빈번하게 발생하는 끼어들기 위반을 무인단속장비를 이용하여 효율적으로 단속가능한지를 실험을 통해 평가를 하였다. 본 연구에서는 개별 영상 검지 방식의 한계점을 보완하기 위해 구간검지방식을 병행한 알고리즘을 제안하였다. 현장 실험 결과 다음과 같은 결론을 얻었다. 개별 영상검지 방식에 의해 끼어들기 위반을 단속한 결과 검지율이 58.2%인 반면 본 연구에서 제안한 방식의 검지율은 74.5%로 오검지율은 0.0%로 나타났다. 또한 단속범위를 넓게 하기 위해 기존 시설물을 이용할 수 있도록 장비를 소형화 및 경량화를 하고 별도의 제어기를 없애 카메라부에 제어기를 삽입한 일체형 카메라를 개발한 결과, 효율적으로 끼어들기 위반차량을 무인단속장비에 의해 단속이 충분히 가능할 것으로 판단된다.

스포츠분쟁해결기구로서의 스포츠중재재판소(CAS)에 관한 고찰 (An Overview for the Court of Arbitration for Sport (CAS) as the Authority to Settle the Sports-related Disputes)

  • 손창주
    • 한국중재학회지:중재연구
    • /
    • 제28권1호
    • /
    • pp.43-75
    • /
    • 2018
  • The Court of Arbitration for Sport (CAS) was created to focus on the procedural complexity in the resolution of sports-related disputes, confidentiality, the matter of expenses, and the necessity of prompt settlement in the field of international sports. The CAS had originally launched as one of bodies of International Olympic Committee (IOC), but later it became properly operational as an independent organization to facilitate sports-related disputes when the International Council of Arbitration for Sport (ICAS), which came into force in accordance with the Paris Agreement in 1984 and has acted in place of IOC, took responsibility for the administration and financing of the CAS. The CAS is composed of four divisions, the Ordinary Arbitration Division and the Appeals Arbitration Division, the Ad hoc Division created later in 1996 and the CAS Anti-Doping Division (CAS ADD) established as from 2016 only to conduct proceedings and to issue decisions on an alleged anti-doping rule violation, and two (Sydney and New York) permanent decentralized offices. The head office of the CAS is Lausanne, Switzerland. Since CAS ADD was established, CAS Ad hoc Division has had jurisdiction over the appeal case against a decision pronounced by the IOC, an NOC, an international Federation or an Organizing Committee for the Olympic Games. Although there are so many virtues of CAS as a resolution authority for sports-related disputes in terms of its organization, arbitration rules and procedures, it is also true that the CAS has not been showing the consistency. The CAS should overcome these issues through much more advanced system and its instant and fair decisions.

거시적인 관점에서 바라본 취약점 공유 정도를 측정하는 방법에 대한 연구 (Which country's end devices are most sharing vulnerabilities in East Asia?)

  • 김광원;윤지원
    • 정보보호학회논문지
    • /
    • 제25권5호
    • /
    • pp.1281-1291
    • /
    • 2015
  • 과거와 비교하여, 오늘날의 사람들은 오픈 채널을 통해 단말기를 제어할 수 있다. 비록 이러한 오픈 채널이 사용자들에게 편의를 제공하지만, 보안 사고의 빌미를 제공 하기도 한다. 본 논문은 단말기 간의 관계들에 가중치를 주는 인간 중심적인 보안 리스크 분석 방법을 제안한다. 이 방법은 네트워크에 존재하는 한 노드가 가지는 평균적인 불확실성을 표현하는 엔트로피 레이트를 응용하여 만들어졌다. 다른 크기의 네트워크들을 비교하는데 있어서 엔트로피 레이트를 이용하는 것에는 한계가 있기때문에, 주어진 네트워크에 대하여 주어진 네트워크와 동일한 노드수를 가진 컴플릿 네트워크의 엔트로피레이트를 나누어 비교가 가능하도록 만들었다. 또한, 그래프 상에서 랜덤워크에 대한 엔트로피 레이트의 기본 전제인 irreducible의 위배를 피하는 방법 또한 기술하였다.

국제투자분쟁에서 공정·공평 대우에 관한 ICSID 중재사례 연구 - 외국인투자자의 정당한 기대 보호를 중심으로 - (A Study on the ICSID Arbitration Cases for Fair and Equitable Treatment under International Investment Disputes - Focusing on the Protection of the Investor's Legitimate Expectations -)

  • 황지현
    • 무역상무연구
    • /
    • 제71권
    • /
    • pp.195-216
    • /
    • 2016
  • In determining the content of the FET standard, the tribunals stated protection of investor's legitimate expectations, due process and denial of justice, transparency, discrimination and arbitrariness, good faith, etc. The most major elements of the FET standard is the protection of the investor's legitimate and reasonable expectations. It is necessary to consider whether it is possible to what the expectations of investors are protected as legitimate and it is formed under any circumstances. If host state frustrate investor's legitimate expectations, it found a breach of the FET. The host state's specific assurance may reinforce investor's expectations, but such explicit statement is not always necessary. The host state must preserve a stable environment for investments. However, It must not be understood as the inalterability of the host state's legal framework. It implies that the host state's subsequent changes should be made consistently and predictably. The host state is entitled to exercise a reasonable regulatory authority to respond to changing circumstances in the public purpose. Therefore, whether the violation FET shall be determined through a balanced against the investor's legitimate expectations and the host state's reasonable regulatory exercise in the public interest. And investor should keep in mind that the principle of proportionality is applied unless host state provides stabilization clause or similar commitments to investor. Also host state should establish the basis of an argument about reasonable regulatory authority for public interest.

  • PDF

국내 정수장 정수 수질자료의 특성분석 (1994년-1998년까지 5년간 자료를 중심으로) (Investigating Water Quality Data of Finished Water in Domestic Water Treatment Plants (1994-1998))

  • 윤제용;조순행;김해심
    • 한국물환경학회지
    • /
    • 제16권4호
    • /
    • pp.431-443
    • /
    • 2000
  • Water quality data from water treatment plants in Korea during 1994-1998 were investigated to find out the characteristics of their non compliance. The number of plants surveyed were approximately 600 and the number of samples were over 30,000. Ten parameters of water quality selected in this study and their non compliance % (inside parenthesis) were as follows: Heterotrophic plate count (0.14%), Total coliforms (0.08%), $NH_3$-N (0.29%), $NO_3$-N (0.14%), THMs (0.02%), Turbidity (0.11%), Residual chlorine (5.5%), $KMnO_4$ consumption (0.04%), Hardness (0.03%), pH (0.07%). These levels of non compliance were compared to those obtained from WIDB (Water Industry Database, 1996) of American Water Works Association. This study strongly supported that small water plants (<10,000 tons/day) were more vulnerable in meeting the regulation criteria of many water quality parameters such as Heterotrophic plate count. Total coliforms, $NO_3$-N, THMs, Turbidity, Residual chlorine, $KMnO_1$ consumption, Hardness and pH. The $NH_3$-N concentration was especially high in winter and its violation was frequently found in the specific areas such as the downstream of major rivers. The average THMs concentration was surprisingly low, indicating $13{\mu}g/L$ which is 43% of US. Accordingly, these characteristics must be reflected in establishing the effective management of water quality policy of drinking water in Korea.

  • PDF

변형된 IPA 분석기법을 활용한 도시부 도로 서비스 질 평가 (Evaluation of Urban Roadway Service Quality Using Modified-IPA Technique)

  • 김태호;고준호;원제무
    • 한국도로학회논문집
    • /
    • 제10권2호
    • /
    • pp.91-100
    • /
    • 2008
  • 현재 도시부 도로에 대한 서비스 수준 평가는 통행속도, 지체 등과 같은 정량적인 부분만을 고려하였다. 하지만 도시부 도로를 이용하는 운전자들은 정량적인 부분이외에도 도로의 청결, 타운전자의 법규위반 등의 정성적인 측면에서도 영향을 받고 있는 것이 현실이다. 이에 본 연구에서는 정량적인 부분과 정성적인 부분을 함께 고려하여 평가지표를 도출하고, 서비스 측면의 개선사항 도출시 주로 경영분야에서 사용되고 있는 Importance-Performance Analysis (IPA) 기법을 변형하여 사용하였다. 본 연구에서 제안된 변형된 IPA 분석기법은 분석대상 및 항목간 상대적 수준을 반영하여 서비스 수준이 평가될 수 있도록 구성되어 있다. 사례분석 지역으로 서울시 강남 3개구, 강북 3개구를 선정하여 도시부 도로의 서비스 질 평가가 수행되었으며, 변형된 IPA 평가를 토대로 도로 서비스 질 향상을 위한 지역별 개선항목을 도출하였다.

  • PDF