• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.027 seconds

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

  • Kim, Jung-Kwon
    • Journal of Legislation Research
    • /
    • no.54
    • /
    • pp.39-69
    • /
    • 2018
  • In $j{\ddot{u}}ngster$ Zeit wird eine Fiktion im Verwaltungsrecht als essentielles Instrument $f{\ddot{u}}r$ Deregulierung sowie Verwaltungsvereinfachung mehr und mehr ins Feld $gef{\ddot{u}}hrt$ und ihre Erweiterung gefordert, weil sie in der Regel auf das Zeitsparen durch Verfahrenswegfall zielt. In Deutschland $erh{\ddot{o}}hte$ sich eine Bedeutung der Genehmigungsfiktion, indem sie durch 4.Novelle des VwVfG, die bei der Umsetzung der Richtlinie 2006/123/EG $ben{\ddot{o}}tigt$ wurde, als ein allgemeines verwaltungsrechtliches Rechtsinstitut eingeordnet wird. In Korea gibt es $vielf{\ddot{a}}ltige$ Fiktionsmethode, $w{\ddot{a}}hrend$ im deutschen Recht die Fiktion lediglich darin besteh, nach Ablauf der festgesetzten Frist die Entscheidung bzw. den Verwaltungsakt anzunehmen. Die systematische und logische Festsetzung der Fiktionslehre in Korea ist erforderlich. Deshalb wird eine allgemeine Regel zur Fiktion durch eine Kodifikation des allgemeinen Verwaltungsgesetzes, wie VwVfG, gefordert.

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

  • 유정재;김종현;박종혁;양우일;이상진
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.13 no.3
    • /
    • pp.1-15
    • /
    • 2003
  • ${Cachin}^{[1]}$ defined the security of steganography theoretically at first, then ${Katzenbeisser}^{[2]}$ and ${Hopper}^{[3]}$ also discussed it on the different aspects. Unfortunately, because many steganographic systems couldnt overcome the statistical gap between a stego-cover and a pure cover, the secure steganography hasn' been evaluated yet. By the effectivel steganalysis algorithm, statistical test which was suggested by Westfel $d^{[4]}$, the attacker Wendy could select the stego-covers out of suspicious covers. Our newly developed algorithm which minimizes the changes of a pure cover by using the block cipher withstands a statistical test and has a similar embedding capacity in comparison with a simple LSB substitution steganography.

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

  • Sang-Un Lee
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.23 no.2
    • /
    • pp.185-191
    • /
    • 2023
  • To the exact cover problem that remains NP-complete to which no polynomial time algorithm is made available, this paper proposes a linear time algorithm that yields an optimal solution. The proposed algorithm makes use of the set cover problem's major feature which states that "no identical element shall be included in more than one covering set". To satisfy this criterion, the proposed algorithm initially selects a subset with the minimum cardinality and deletes those that contain the cardinality identical to that of the selected subset. This process is repeatedly performed on remaining subsets until the final solution is obtained. Provided that the solution is unattainable, it selects subsets with the maximum cardinality and repeats the same process. The proposed algorithm has not only obtained the optimal solution with ease but also proved its wide applicability on N-queens problems, hence disproving the NP-completeness of the exact cover problem.

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

  • Hyung-seok Han
    • Journal of Advanced Navigation Technology
    • /
    • v.26 no.6
    • /
    • pp.504-509
    • /
    • 2022
  • In this paper, we deal with the stability condition of linear time-varying interval discrete systems with time-varying delays and unstructured uncertainty. For the time-varying interval discrete system which has interval matrix as its system matrices, time-varying delay time within some interval value and unstructured uncertainty which can include non-linearity and be expressed by only its magnitude, the stability condition is proposed. Compared with the previous result derived by using a upper bound solution of the Lyapunov equation, the new result is derived by the form of simple inequality based on Lyapunov stability condition and has the advantage of being more effective in checking stability. Furthermore, the proposed condition is very comprehensive, powerful and inclusive the previously published conditions of various linear discrete systems, and can be expressed by the terms of magnitudes of the time-varying delay time and uncertainty, and bounds of interval matrices. The superiority of the new condition is shown in the derivation, and the usefulness and advantage of the proposed condition are examined through numerical example.

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

  • Hyung-seok Han
    • Journal of Advanced Navigation Technology
    • /
    • v.25 no.6
    • /
    • pp.551-556
    • /
    • 2021
  • In this paper, we deal with the stability condition of linear interval discrete systems with time-varying delays and unstructured uncertainty. For the interval discrete system which has interval matrix as its system matrices, time-varying delay time within some interval value and unstructured uncertainty which can include non-linearity and be expressed by only its magnitude, the stability condition is proposed. Compared with the previous result derived by using a upper bound solution of the Lyapunov equation, the new results are derived by the form of simple inequality based on Lyapunov stability condition and have the advantage of being more effective in stability application. Furthermore, the proposed stable conditions are very comprehensive and powerful, including the previously published stable conditions of various linear discrete systems. The superiority of the new condition is proven in the derivation process, and the utility and superiority of the proposed condition are examined through numerical example.

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

  • Kim, Eunsung;Park, Jiyeong;Lee, Sanghoon;Kim, Yonggyun
    • Korean journal of applied entomology
    • /
    • v.53 no.1
    • /
    • pp.15-26
    • /
    • 2014
  • The black soldier fly, Hermetia illucens, larvae may depend on indigenous bacteria in the intestine to feed and digest diverse food sources. To prove this hypothesis, we isolated and identified the intestinal bacteria of the black soldier fly for their digestive and antimicrobial abilities. The last instar larvae had long digestive tracts, which were about seven times longer than its body length. An individual of H. illucens larvae possessed a total of $5.0{\pm}10^6$ bacteria in the whole intestine, of which more than 98% bacteria were located in the hindgut. Three different bacterial isolates cultured on nutrient agar (NA) medium were detected in the intestine and identified as Morganella morganii, Providencia rettgeri and Bacillus halodurans by Biolog microbial identification system. Analysis of 16S rDNA sequences of the intestinal bacteria detected the additional bacteria of Proteus mirabilis, Providencia alcalifaciens, and Providencia sp. These intestinal bacteria cultured on NA medium exhibited high resistance to 4 antibiotics and inhibited growth of other microbes which are mainly plant pathogens. Also, these bacteria exhibited catalytic activities to degrade cellulose, lipid, proteins, and carbohydrates. These results suggest that H. illucens larvae possess intestinal bacteria that may play crucial roles in their digestive physiology.

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

  • Park, Hyo-yeop
    • Journal of Korean Philosophical Society
    • /
    • v.145
    • /
    • pp.245-270
    • /
    • 2018
  • This article aims to examine the possibility of 'philosophy for old age' when humanity begins to reflect on old age in earnest as our country shifts to the aged society. In particular, this article aims to reframe $Ved{\bar{a}}ntic$ philosophy, i.e. a beacon of Hindu philosophy as a model of philosophy for old age, on the assumption that liberation-oriented Hindu philosophies in India can be the most suitable model to frame and apply philosophy for old age mainly at the individual level. First of all, this article identifies that liberation-oriented Hindu philosophies are nothing but a philosophy for the later part of one's life, that is, a philosophy for old age, showing that their common thoughts are very similar to the characteristics of old age. Then, it proves that three points of $Ved{\bar{a}}ntic$ philosophy, i.e. spirit supremacy, the world as an illusion, and freedom from all relations, are fully compatible with philosophy for old age. Finally, it argues that the tradition of Hindu saṃnyāsin (wonderer) embodied to the extreme in $Ved{\bar{a}}ntic$ philosophy is to establish 'old age for philosophy' beyond 'philosophy for old age.' Because $Ved{\bar{a}}ntic$ philosophy establishes saṃnyāsin of old age, which is optimized to strive for the truth as the confident subject of philosophical inquiry, so much that it exists more 'by old age' than 'for old age.' After all, according to $Ved{\bar{a}}ntic$ philosophy, as ontological and practical positivity is maximized in old age, so old age itself can be the best position to overcome not 'negativity of old age', but 'negativity of human condition' or 'negativity of life.'

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

  • Joo, Hae-Jong;Hong, Bong-Hwa;Jeong, Bok-Cheol
    • Journal of the Korea Society of Computer and Information
    • /
    • v.15 no.1
    • /
    • pp.149-157
    • /
    • 2010
  • As the use of the Internet has recently increased, the demand for opinion information posted on the Internet has grown. However, such resources only exist on the website. People who want to search for information on the Internet find it inconvenient to visit each website. This paper focuses on the opinion information extraction and analysis system through Web mining that is based on statistics collected from Web contents. That is, users' opinion information which is scattered across several websites can be automatically analyzed and extracted. The system provides the opinion information search service that enables users to search for real-time positive and negative opinions and check their statistics. Also, users can do real-time search and monitoring about other opinion information by putting keywords in the system. Proposed technologies proved to have outstanding capabilities in comparison to existing ones through tests. The capabilities to extract positive and negative opinion information were assessed. Specifically, test movie review sentence testing data was tested and its results were analyzed.

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

  • Piao, Yong-Ri;Kim, Seok-Tae
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2008.05a
    • /
    • pp.155-158
    • /
    • 2008
  • In this paper, we propose a novel blind watermarking Method using 2D CAT (Two dimensional cellular automata transform). In our scheme, firstly, we obtain the gateway values to generate a dual-state, dual-coefficients basis function. Secondly, the basis function transforms images into cellular automata space. Lastly, we use the cellular automata transform coefficients to embed random noise watermark in the cover images. The proposed scheme allows only one 2D CAT basis function per gateway value. Since there are $2^{96}$ possible gateway values, better security is guaranteed. Moreover, the new method not only verifies higher fidelity than the existing method but also stronger stability on JPEG lossy compression, filtering, sharpening and noise through tests for robustness.

  • PDF

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

  • Soh, Young-Soo
    • The Korean Journal of Rheology
    • /
    • v.11 no.2
    • /
    • pp.153-158
    • /
    • 1999
  • An improved method to predict preferred direction of gas in gas assisted injection molding processes is introduced. Resistance of resin flow is defined and this resistance of resin flow is not directly related to the resistance of gas flow. Pressure drop requirement was believed to be proportional to the resistance to gas flow in our previous work. Instead of using the pressure drop requirement, velocity of resin should be compared to predict the gas flow direction. This method predicts the gas flow direction from the knowledge of process variables such as resin flow length, cross section area of cavity, melt temperature, and short shot. A simulation package was used to confirm the method.

  • PDF