• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.028초

독일 행정절차법상의 허가의제제도와 그 시사점 (Die Genehmigungsfiktion im deutschen VwVfG)

  • 김중권
    • 법제연구
    • /
    • 제54호
    • /
    • pp.39-69
    • /
    • 2018
  • 신속을 통한 효율성 극대화는 행정법제에서 강구되는데, 그 수단으로써 의제의 방식이 활용된다. 의제는 절차의 생략을 통한 시간의 절약을 목표로 하기에, 탈규제화 및 행정의 간소화의 일환으로 행정법제상으로 적극적으로 확대가 강구되고 있다. 독일의 경우 허가의제(Genehmigungsfiktion)제도가 유럽서비스지침(RL 2006/123/EG)을 계기로 동지침의 전환과정에서 2008.11.12.의 제4차 행정절차법개정을 통해 그들 일반행정법상의 일반적 법제도로 격상되었다. 인허가의 의제를 둘러싼 논의에서 여전히 의견이 모아지지 않는 점에서 그것의 체계적 정립은 시급하다. 특히 독일의 경우 일종의 기간경과적 의제효과의 방식만이 존재하는 데 대해서 우리의 경우 그것에 더해 일종의 동반적 집중효적 의제효과의 방식이 존재함에 따라 의제제도에 대해 정연한 접근이 어렵다. 의제규정이 날로 늘어감에 따라 일반규정을 통해 관련 법제도를 체계적으로 정비할 필요가 있다. 우리의 동반적 집중효적 의제효과의 방식은 법치국가원리의 차원에서 법률유보의 원칙 및 개별수권의 원칙과 충돌한다. 의제제도를 둘러싼 이상의 논의를 숙고하여 하루바삐 독일 행정절차법에 해당하는 행정기본법을 통해 의제에 관한 일반규정을 마련하여야 한다.

블록 암호를 이용한 안전한 심층 암호 (Secure Steganography Using a Block Cipher)

  • 유정재;김종현;박종혁;양우일;이상진
    • 정보보호학회논문지
    • /
    • 제13권3호
    • /
    • pp.1-15
    • /
    • 2003
  • Cachi $n^{[1]}$ 으로부터 시작된 심층 암호의 안전성에 대한 정의는 Katzenbeisse $r^{[2]}$가 심층 암호의 공격 모델을 기반으로 한 안전성을 논의함으로써 보다 구체화되었으며, 이 후 Hoppe $r^{[3]}$가 계산 이론적인 관점에서 일방향 함수가 존재한다면 안전한 심층 암호도 존재함을 증명하였다. 그러나 실제 구현함에 있어 지금까지의 심층 암호 알고리즘은 앞서 정의된 이론적인 안전성을 고려하지 않고, 데이터의 최하위 비트와 비밀 메시지를 치환해 왔다. 비록 데이터의 최하위 비트가 인간의 감각으로는 인지할 수 없으며 랜덤해 보이기까지 하지만 Westfel$d^{[4]}$ 등이 제안한 시각 및 통계 공격에 의하여 비밀 메시지의 삽입을 탐지해낼 수 있었다. 본 논문에서 우리는 블록 암호의 출력이 랜덤한 점을 이용하여 원본을 최소한으로 변형시키지만 충분한 양의 데이터를 삽입하는 방법을 제안하려고 한다. 실험 결과, 제안하는 알고리즘은 단순 최하위 비트 치환 심층 암호와 대등한 데이터 삽입량를 가지면서도 시각 및 통계 공격에 강인하였다.

완전 피복 문제의 원소 수 기반 알고리즘 (Algorithm Based on Cardinality Number of Exact Cover Problem)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제23권2호
    • /
    • pp.185-191
    • /
    • 2023
  • 본 논문은 지금까지 NP-완전 문제로 다항시간 알고리즘이 존재하지 않는 완전피복 문제에 대해 선형시간으로 해를 구할 수 있는 알고리즘을 제안하였다. 제안된 알고리즘은 "행과 열에는 동일한 값이 존재하면 안된다"는 완전피복문제의 특징을 이용하였다. 이를 위해 먼저 최소 원소 개수를 가진 부분집합을 선택하고 선택된 부분집합의 원소를 가진 부분집합을 삭제하였다. 남은 부분집합들을 대상으로 반복적으로 수행하면 해를 구한다. 만약, 해를 구하지 못하면 최대 원소 개수를 가진 부분집합을 선택하여 동일한 과정을 수행하였다. 제안된 알고리즘은 일반적인 완전피복 문제의 해를 쉽게 구하였다. 추가로, 완전피복 문제를 보다 일반화한 N-퀸 문제를 대상으로 제안된 알고리즘을 적용할 수 있음을 보였다. 결국, 제안된 완전피복 알고리즘은 완전피복 문제에 대해 P-문제임을 증명하였다.

비구조화된 불확실성과 시변 지연시간을 갖는 이산 시변 구간 시스템의 안정조건 (Stability Condition for Discrete Interval Time-Varying System with Unstructured Uncertainty and Time-Varying Delay Time)

  • 한형석
    • 한국항행학회논문지
    • /
    • 제26권6호
    • /
    • pp.504-509
    • /
    • 2022
  • 본 논문에서는 시변 지연 시간이 있는 선형 이산 시변 구간 시스템에 비구조화된 불확실성이 존재하는 경우에 대하여 안정조건을 다룬다. 구간 시스템은 시스템 행렬들이 구간행렬의 형태로 주어지는 시스템으로 본 논문에서는 이러한 구간 시스템 행렬과 상태변수의 지연 시간이 시변인 특성을 갖는 시스템에 대하여, 비선형성을 포함하며 그 크기만을 알 수 있는 비구조화된 불확실성이 존재하는 경우에 대한 시스템의 안정조건을 제안한다. 안정조건의 유도는 리아프노프 방정식의 상한 해를 이용하는 기존 결과와는 다르게 리아프노프 안정 조건을 기반으로 이루어지며, 간단한 부등식의 형태로 표현되어 안정성 판단에 편리하게 적용될 수 있는 장점을 갖는다. 또한, 제안된 안정조건은 기존에 발표된 다양한 선형 이산 시스템에 대한 안정 조건을 포함할 수 있는 포괄적이고 강력한 것으로, 시변 지연시간 변동 크기, 불확실성의 크기와 구간행렬의 범위를 모두 조건식에 포함하게 된다. 새로운 조건의 우수함은 유도과정에서 증명되어지며 수치예제를 통하여 제안된 조건의 효용성과 우수성을 검증한다.

비구조화된 불확실성과 시변 지연 시간을 갖는 이산 구간 시스템의 안정조건 (Stability Condition for Discrete Interval System with Unstructured Uncertainty and Time-Varying Delay Time)

  • 한형석
    • 한국항행학회논문지
    • /
    • 제25권6호
    • /
    • pp.551-556
    • /
    • 2021
  • 본 논문에서는 시변 지연 시간이 있는 선형 구간 이산 시스템에 비구조화된 불확실성이 존재하는 경우에 대하여 안정조건을 다룬다. 이산 시스템의 시스템 행렬들이 구간행렬의 형태로 주어지는 구간시스템에 대하여, 지연 시간이 일정 구간 범위 안에서 시변으로 변동되고, 비선형성을 포함한 불확실성이 그 크기만이 주어지는 비구조화된 불확실성의 형태로 존재하는 시스템의 안정성 조건을 제안한다. 안정조건의 유도는 기존의 리아프노프 방정식의 상한 해를 이용한 방법과는 다르게 리아프노프 안정 조건을 기반으로 이루어지며, 간단한 부등식의 형태로 표현되어 안정성 판단에 편리하게 적용될 수 있는 장점을 갖는다. 또한, 제안된 안정조건은 기존에 발표된 다양한 선형 이산 시스템의 안정조건들을 포함하는 매우 포괄적이고 강력한 것으로, 시변 지연시간 변동 크기, 불확실성의 크기와 구간행렬의 범위를 모두 조건식에 포함하게 된다. 새로운 조건의 우수함은 유도과정에서 증명되어지며 수치예제를 통하여 제안된 조건의 효용성과 우수성을 검증한다.

아메리카동애등에 장내세균 동정과 생리적 특징 (Identification and Physiological Characters of Intestinal Bacteria of the Black Soldier Fly, Hermetia illucens)

  • 김은성;박지영;이상훈;김용균
    • 한국응용곤충학회지
    • /
    • 제53권1호
    • /
    • pp.15-26
    • /
    • 2014
  • 다양한 먹이 조건에서 생활하는 아메리카동애등에(Hermetia illucens)는 장내 세균의 의존성을 가질 수 있다. 이 가설을 증명하기 위해 본 연구는 종령 유충의 소화관에 존재하는 세균을 분리, 동정하고 효소활성 및 항균 능력을 분석하였다. 종령 유충의 소화관은 몸 체장에 약 7 배의 길이를 나타냈다. 한 개체의 소화관 내 존재하는 세균 수는 $5.0{\times}10^6$ cfu로 98% 이상이 후장에 존재했다. 소화관에는 3 종류의 상이한 세균이 존재했고, 미생물 동정 장치는 이들이 각각 Morganella morganii, Providencia rettgeri 및 Bacillus halodurans로 동정하였다. 이들 소화관 세균을 16S rDNA 서열을 분석한 결과 이 외에 Proteus mirabilis, Providencia alcalifaciens, Providencia sp.를 검출하였다. 이들 장내세균은 항생제 내성을 보였고, 타 미생물의 성장을 억제하였다. 또한 섬유소, 지질, 단백질 및 탄수화물의 분해 능력을 보유하였다. 본 연구 결과들은 아메리카동애등에 소화관에 유용성이 높은 세균을 보유하고 있다고 제시하였다.

노년 철학에 관한 베단따의 전망 (A Vedāntic Perspective on Philosophy for Old Age)

  • 박효범
    • 철학연구
    • /
    • 제145권
    • /
    • pp.245-270
    • /
    • 2018
  • 이 글은 고령시대에 진입한 우리나라에서 노년에 관한 인문학적인 성찰이 본격화되는 시점에 '노년 철학'의 가능성을 타진해 보는 데 목적을 둔다. 특히 해탈을 목표로 삼는 인도의 힌두철학이 주로 개인적 차원에서 노년철학을 구성하거나 적용하는 경우에 최적의 모형일 수 있다고 가정한 채 힌두철학의 대표주자인 베단따 철학을 노년 철학의 한 모형으로 재구성해 보려고 한다. 우선 해탈 중심적인 힌두철학의 공통적 사유가 노년의 특성과 매우 흡사하다는 점을 밝힘으로써 그 철학이 인생의 후반기를 위한 철학 즉 '노년을 위한 철학'이라는 것을 규명한다. 그러고 나서 베단따 철학의 정신 우월주의, 세계 환영설, 무관계의 해탈론이 노년 철학에 잘 부합할 수 있는 특성이라는 것을 증명한다. 마지막으로 베단따 철학에서 가장 잘 구현되어 온 힌두교의 산냐신(진리유랑자) 전통이 '노년을 위한 철학'을 넘어 '철학을 위한 노년'을 정립한다고 역설한다. 베단따 철학은 '노년을 위해' 존재한다기보다 '노년에 의해' 존재한다고 할 수 있을 만큼, 진리 탐구에 최적화된 존재인 노년의 산냐신을 철학적 탐구의 당당한 주체로 확립하고 있기 때문이다. 결국 베단따 철학에 따르면, 존재론적으로 또 수행론적으로 긍정성이 극대화되는 시기인 노년 그 자체는 노년의 부정성이 아니라 인간 조건의 부정성 또는 삶의 부정성을 극복할 수 있는 최적의 상태이다.

의견정보 모니터링을 위한 웹 마이닝 시스템에 관한 연구 (A Study on Web Mining System for Real-Time Monitoring of Opinion Information Based on Web 2.0)

  • 주해종;홍봉화;정복철
    • 한국컴퓨터정보학회논문지
    • /
    • 제15권1호
    • /
    • pp.149-157
    • /
    • 2010
  • 최근에 인터넷 사용이 점차 활발해 짐에 따라, 다른 사람들이 인터넷 상에 올려놓은 의견정보를 참조하고자 하는 수요가 높아지고 있다. 하지만, 이러한인터넷상에존재하는의견들은개개의웹사이트들에만존재하여, 이러한 의견정보들을 사용하고자 할 경우에는 사용자가 일일이 이러한 개개의 모든 웹사이트를 수동으로 찾아보아야 하는 번거로움이 존재하는 문제점이 있다. 본 논문은 웹 콘텐츠에서의 통계기반 웹 마이닝(Web Mining)을 통한 의견 추출 및 분석 시스템에 관한 것으로, 인터넷 상에 존재하는 여러 웹사이트들에 흩어져 있는 웹문서에서 사용자 의견정보들을 자동으로 추출 및 분석한다. 또한, 긍정/부정 의견별로 실시간으로 검색 및 통계를 확인할 수 있는 의견정보 검색 서비스를 간편하게 제공할수 있으며, 의견정보 검색 사용자들은 특정 키워드에 대하여 다른 사용자들의 의견정보를 손쉽게 실시간으로 검색 및 모니터링(Monitoring)할 수 있는 시스템이다. 제안한 기법들은 기존의 다른 기법들과의 비교 실험을 수행하여 실제 성능이 우수함을 증명하였다. 성능 평가는 긍정/부정 의견정보를 추출하는 기능의 성능 평가를 실시하였다. 그 적용 사례로 대표적인 영화 리뷰 문장 실험 데이터를 대상으로 실험하고 그 결과를 분석하였다.

셀룰러 오토마타 변환을 이용한 새로운 워터마킹 (A Novel Watermarking using Cellular Automata Transform)

  • 박영일;김석태
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2008년도 춘계종합학술대회 A
    • /
    • pp.155-158
    • /
    • 2008
  • 본 논문에서는 2D CAT (Two dimensional Cellular Automata Transform)을 이용한 새로운 블라인드 워터마킹 방법을 제안한다. 먼저 GV (Gateway Values)로 기저함수를 만들고 그것을 이용하여 원 영상을 CA (Cellular Automata) 영역으로 변환한다. 그 후 변환 영역의 특정부분에 랜덤 시퀀스를 워터마크로 삽입한다. 제안방법에서 2D CAT 기저함수는 한 개의 GV에 의해 유일하게 하나가 존재하며 가능한 GV의 종류는 $2^{96}$개가 있기 때문에 뛰어난 보안성 (security)을 가진다. 워터마크 된 영상은 충실도가 기존의 주파수 영역의 방법보다 높을 뿐만 아니라 JPEG 압축, 필터링, 첨예화, 노이즈 등 공격에도 강인성 (robustness)을 가지고 있음을 증명한다.

  • PDF

가스사출시 가스흐름방향의 예측 및 제어 (Control of Gas Direction in Gas Assisted Injection Molding)

  • Soh, Young-Soo
    • 유변학
    • /
    • 제11권2호
    • /
    • pp.153-158
    • /
    • 1999
  • 가스사출시 두개이상의 가스흐름가능방향이 존재 할 때 가스는 선택적인 방향으로 흐르게는데 여기에서는 이 가스흐름 방향을 예측하는 방법을 제시하였다. 지금까지는 가스흐름방향은 가스의 하류에 있는 수지의 저항값, 즉 압력손실필요량을 비교하여 예측되어 왔는데 이방법은 대부분의 경우에 정확한 예측력을 가지고 있었다. 그러나 수지의 저항값 또는 압력손실필요량을 비교하는 방법이 실제에는 경우에따라 맞지 아니하였다. 이 연구에서는 수지속도비교가 압력손실필요량비교 보다 한단계위의 판단기준(criterion)이 되는 것을 설명하고 그예를 들어 증명 하고 있다. 압력손실필요량비교 대신 수지속도비교방법을 쓰면 예외없이 모든 경우 정확하게 가스흐름방향을 예측을 할수 있다.

  • PDF