• Title/Summary/Keyword: Formal power

Search Result 175, Processing Time 0.029 seconds

Middleware for Context-Aware Ubiquitous Computing

  • Hung Q.;Sungyoung
    • Korea Information Processing Society Review
    • /
    • v.11 no.6
    • /
    • pp.56-75
    • /
    • 2004
  • In this article we address some system characteristics and challenging issues in developing Context-aware Middleware for Ubiquitous Computing. The functionalities of a Context-aware Middleware includes gathering context data from hardware/software sensors, reasoning and inferring high-level context data, and disseminating/delivering appropriate context data to interested applications/services. The Middleware should facilitate the query, aggregation, and discovery for the contexts, as well as facilities to specify their privacy policy. Following a formal context model using ontology would enable syntactic and semantic interoperability, and knowledge sharing between different domains. Moddleware should also provide different kinds of context classification mechanical as pluggable modules, including rules written in different types of logic (first order logic, description logic, temporal/spatial logic, fuzzy logic, etc.) as well as machine-learning mechanical (supervised and unsupervised classifiers). Different mechanisms have different power, expressiveness and decidability properties, and system developers can choose the appropriate mechanism that best meets the reasoning requirements of each context. And finally, to promote the context-trigger actions in application level, it is important to provide a uniform and platform-independent interface for applications to express their need for different context data without knowing how that data is acquired. The action could involve adapting to the new environment, notifying the user, communicating with another device to exchange information, or performing any other task.

  • PDF

Harmonic Noise Evaluation Method for Home Appliance based on Sensory Evaluation (소비자 감성 평가에 의한 고조파 소음의 평가 방법)

  • Lee, Jin-Kyung;Jeoung, Jeoung-Kyo;Lee, Jea-Won;Joo, Jae-Man
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2005.11a
    • /
    • pp.439-442
    • /
    • 2005
  • Generally, noise from a home appliance has been measured by overall sound pressure level or sound power level, dB. Customers evaluation, however, of this noise should be depend on the only overall level but also the sensory feeling, annoyance, unpleasure and so on. Moreover, in this sensory evaluation, irregular, time-varying and uneven sounds which are difficult to describe itself by overall level are more affectable. Unfortunately however the formal evaluation method for this kinds of noise is not determined yet. In this research, the evaluation method for harmonic noise, which is a major noise from home appliance and one of the unmeasurable sounds by overall level, is proposed to evaluate its acceptability based on the consumer's sense of hearing. The proposed approach could be applied to the other sound, which acoustical characteristics are similar to the tonal noise.

  • PDF

Formal Verification of Digital Power Plant System Designed by STATECHART (STATECHART 로 설계한 Digital Plant Protection System 의 정형 검증)

  • Kim, Il-Gon;Kim, Jin-Hyun;Nam, Won-Hong;Lee, Na-Young;Kwak, Hee-Hwan;Choi, Jin-Young
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2001.04a
    • /
    • pp.185-188
    • /
    • 2001
  • 원자력 발전소 내장형 시스템과 같이 시스템 오작동으로 인하여 엄청난 재난을 불러올 수 있는 시스템은 시스템을 구축하기 이전에 완전한 설계 및 검증이 절대적으로 필요하다. 이에 따라 원자력 발전소의 비상 차단 시스템과 같이 고도의 안정성을 요하는 부분에 대해 정형 명세 언어인 STATECHART 를 이용하여 명세하고 테스팅하는 연구가 있어 왔다. 하지만 테스팅 기법만으로는 시스템에서 생길 수 있는 예기치 못한 오류들을 정확히 검출해 낼 수 없다. 그래서 본 논문에서는 시스템의 보다 높은 안전성과 신뢰성을 제공하기 위해 원자력 발전소 비상 차단 시스템인 DPPS(Digital Plant Protection System)를 분석하여 이를 시각적 기반의 설계 명세 언어인 STATECAHRT를 이용하여 명세함으로써 설계자와 구현자간의 의사 소통을 원활하게 전달함은 물론 모델 체킹 검증 도구인 SMV 로 검증함으로써 실제 원자력 발전소 비상 차단 시스템의 신뢰성과 안전성을 높이고자 한다.

  • PDF

Interactive Augmented-Reality Authoring Tool (대화식 증강현실 저작 도구)

  • Kim, Iljin;Seo, Jinseok
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2009.10a
    • /
    • pp.181-184
    • /
    • 2009
  • Authoring AR(augmented-reality) contents not only takes too much time and cost, but also needs the help of professionals in the areas of computer science, VR(virtual reality), AR, 3D computer graphics, computer vision, etc. This paper proposes an authoring tool to allow non-programmers as content creators to author AR contents easily and quickly. An ideal AR authoring tool, which is the goal of our research, faces four major challenges from a technical point of view: (1) easy and quick authoring, (2) strong power of expression, (3) ease of verification and validation, (4) interactive authoring and debugging. To tackle with the challenges, we employ the interactive framework approach using formal and visual specification techniques.

  • PDF

A Study on the Anti-Architectural Thinking of Georges Bataille (조르주 바타유의 반건축적 사유에 관한 연구)

  • Khang, Hyuk
    • Journal of architectural history
    • /
    • v.30 no.6
    • /
    • pp.59-70
    • /
    • 2021
  • Compared with other philosophers and writers who were engaged in architecture Georges Bataille was extraordinary. Because he produced anti-architectural discourse. This paper studied the Bataille's thinking with relation to architecture that used as a fundamental and privileged metaphor. Philosophy regarded as the foundation of all academic discipline needed architecture in order to show its system was durable, synthetic and hierarchical. The will to build a solid system of reasoning made philosophy to call architecture to pretend that it is structurally stable. Metaphor and representation is inevitable in philosophy. Then architectural image that supported by discourse of philosophy became a representation of sociocultural system. According to Bataille architectural representation justified existing power and belief system. With architecture Identity always represented the true and good. This kind of architectonic thinking erased the Other that allowed metaphysics and symbolic Against architecture Bataille produced writings of violation and excess corresponding to labyrinth. Labyrinth in fact made a formal structure of architecture possible to be a metaphor of symbolic system. Bataille's anti-architectural thinking paradoxically shows the importance of Architecture and give a chance to rethink the ethical aspect of architecture instead of aesthetics.

Urban Communal Housing in North Korea from an Artistic Point of View ('건축예술'적 관점에서 살펴본 북한 공동살림집의 복합성)

  • Shin, Gunsoo
    • Journal of architectural history
    • /
    • v.32 no.5
    • /
    • pp.7-20
    • /
    • 2023
  • This study aims to reveal the multilayered nature of the formal aspects of communal house architecture in North Korea. It is said that Kim Jong Il, who emerged as a successor after the mid-1970s, brought about a change in the architecture, leading the construction of a sculptural communal house on Gwangbok Street in 1989, and wrote The art of architecture (1992), which theorized architecture as an object of art. Therefore, it is widely perceived that the communal house was transformed from a simple form of living function to an artistic architecture with the rise of Kim Jong Il. This study, however, argues that this change was the result of an internal evolution in North Korean architecture, rather than a simple change in the position of an individual in power. It seeks to move away from the dichotomy that divides the communal house into two periods: the "KimIl-sung period," in which the communal house was laid out in a simple form to provide mass supply and a socialist lifestyle, and the "Kim Jong-il period," in which the communal house took on an artistic form, such as the Gwangbok Street communal house, in the early years of reconstruction. In the 1950s and 1960s, before KimJong-il's arrival, the communal house form was not simply a flat arrangement, but a three-dimensional and sculptural consideration of the effect on the cityscape.

The Maritime Strategy of Continental Powered Country and Maritime Powered Country based on Attack and Defense theory (공격과 방어의 관점에서 본 해양국가와 대륙국가의 해양전략 - 냉전 기 미·소간 해양전략 및 탈냉전 기 미·중간 해양전략 비교 -)

  • Jung, Gwang-Ho
    • Strategy21
    • /
    • s.32
    • /
    • pp.160-191
    • /
    • 2013
  • This article is focused how the maritime strategy between continental powered country(the Soviet, the China) and maritime powered country(the U.S.) interact with attack and defense theory. We will know, what is the maritime strategy that the U.S. of military superiority has pursued with the point of view of attack, on the other hand, relatively what is the maritime strategy that the Soviet-Sino of military inferiority has pursued with the point of view of defense. In cold war, the Soviet has counteracted to 'blue belt defense' in active defense as to the U.S. 'sea strike' and in post cold war, the China counteract to 'A2/AD' as to the U.S. 'Air-Sea Battle'. The difference between the Soviet-Sino maritime strategy is that the China has emerged the second an economic power and their leadership has a strong's will to strengthen their navy's power. although the U.S. declare the pivot to Asia, the influence on Asia of the U.S. tend to decrease because of sequest. therefore, the China will seek to the more active defense beyond the first island chain. Meanwhile, the U.S. has reinforced of 'hub and spoke strategy' to solidify the U.S. formal allies to band together regional powers and to overcome the A2/AD challenge, the U.S. has been developed that the Air-Sea Battle concept meshes with Washington's 'rebalancing' policy toward the Asia-Pacific as its vital missions to safeguard core island or semi-island allies-namely, Korea and Japan-and crucial sea lanes of communication in the region are conducted mostly from or over the sea.

  • PDF

A Study on the Application of Nature Organic Form for Industrial Products -Mainly around Examples of Product Design- (자연유기체를 통한 산업제품 조형의 응용성에 대한 연구 - 제품디자인에 나타난 사례를 중심으로 -)

  • 곽희준
    • Archives of design research
    • /
    • v.17 no.3
    • /
    • pp.91-100
    • /
    • 2004
  • Natural forms could be ultimate visual expression power that affects on the industrial design. The rule of power in nature as nature formal characteristics have a direct influence and can be also applied to productional and artificial form. All organic forms and structures in nature have unique form and shape to be self controlled and good in order. Such an order in nature comes from regular and ratio principles which has aesthetical order by mathematics. The specialty of beauty in nature can be revealed not only visual form but also the ratio, balance and rhythm of structural principles. As we examine the aesthetic source, embodied some object can be developed into basic principles. Furthermore, through this study we can find out that the form theory in nature forms share the quality attribute with geometrical form to be shown in industrial product design. In this context, this study aims to make dear visual quality of organic form and structure that is immanent in nature about a form as formative principles of industrial product design, the significancy of this study is to prove the application into functional and structural form of product design.

  • PDF

A Study on the Jewelry decorative pattern based on Wa-Dang in Unified Silla period (통일신라시대 와당을 모티브로 한 주얼리장식용 문양 연구)

  • kyeng-Tae Kim
    • The Journal of the Convergence on Culture Technology
    • /
    • v.9 no.6
    • /
    • pp.113-122
    • /
    • 2023
  • This study was conducted on the premise of the development of cultural products using relic assets of traditional culture in a knowledge and information society led by culture and soft power. It was conducted in the context of exploring the possibility of cultural content products of Wa-Dang relics excavated from traditional architecture in the Unified Silla Period and expanding the scalability of commercialization motifs that are highly useful in jewelry design. First, the original form, material, use, size, meaning, and formative aesthetics of Wa-Dang were identified through literature and media research. Among the considered Wa-Dang, 10 types of Wa-Dang which represent the category and have values in modules and patterns were selected, and, then, circular images were extracted and modularized with a "formal simplification technique." Based on the "mathematical symmetry analysis technique," which is a method of systematizing pattern composition arrangement format. we derived a planar formative element that can be used in the development of the cultural content industry and jewelry design. In order to expand its usability in the jewelry industry in the future, it was presented as a 2D digital image. In the future, we hope more studies on the various cultural content industry utilizing the traditional culture will be carried out.

Changes in the Fashion Preferences of Women in their Twenties according to Awareness of in Gender Equality (성평등 인식에 따른 20대 여성의 패션 선호도 변화)

  • Guanghuan Zhou;Yihui Liu;Youngjoo Na
    • Human Ecology Research
    • /
    • v.62 no.2
    • /
    • pp.303-315
    • /
    • 2024
  • In response to recent changes in gender equality and social awareness among female college students, we sought to investigate whether there were corresponding changes in their preferred fashion styles and items. A survey was conducted with 200 women in their twenties to determine whether they were aware of gender equality and social change, as well as their preferred fashion styles and items at both the time of college admission and the current time. Awareness of gender equality was divided into two factors: feminism and a perceived increase in women's social power. A significant difference was observed in the fashion styles of female college students in their twenties between the time of admission and the current time. Compared with the past, the preferred style has changed to gender-neutral rather than feminine, useful rather than aesthetics, character rather than fashion, sporty rather than elegance, and casual rather than formal. Preferred items included pants rather than skirts, sneakers rather than shoes, socks rather than stockings, long skirts rather than short skirts, and backpacks rather than handbags. The level of attention paid to campus attire per week decreased over time. No correlation was found between gender equality awareness and preferred fashion style, while feminism was correlated with preferred fashion items. The degree to which attention was paid to campus attire per week was correlated with feminism, but was not correlated with a perceived increase in womens' social power.