• Title/Summary/Keyword: Formalization

Search Result 209, Processing Time 0.021 seconds

Design of Expandable Neuro-Chip with Nonlinear Synapses (비선형 시냅스를 갖는 확장 가능한 Analog Neuro-chip의 설계)

  • 박정배;최윤경;이수영
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.31B no.4
    • /
    • pp.155-165
    • /
    • 1994
  • An analog neural network circuit of rhigh density integration is introduced. It's prototype chip is designed in 3 by 3 mm2 die. It uses only one MOSFET to implement a synapse. The number of synapses per neuron can be expanded by cascading several chips. The influence of nonlinearity in synapses is analyzed. A formalization of the back propagation which can be applied to this circuit is shown. Some simulation results are shown and disscussed.

  • PDF

Courseware Formalization based on XML (XML기반 코스웨어 구조화)

  • 양경민;한성국
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04b
    • /
    • pp.697-699
    • /
    • 2001
  • 현재 대부분의 코스웨어는 HTML 및 멀티미디어 요소로 작성되어 있다. 그러나 이들 자료들은 다른 용도로 재사용하기는 어렵다. 이러한 학습자료들은 Web에서 정보의 공유, 검색, 재사용 등이 유연하게 이루어져야 한다. 이에 본 논문은 계층적인 구조를 갖는 XML을 이용하여 효율적인 코스웨어를 구현할 수 있도록 DTD를 정의하여 검증(valid)된 XML문서를 만들고자 한다. 코스웨어 제작을 위해서는 교과의 내용 및 교육과정을 구조화하고 다양하게 만들어진 자료를 공유 및 재사용할 수 있는 표준이 필요하다. 본 논문에서는 이를 위해 Courseware DTD를 정의하고 표준 XML문서 형식의 코스웨어 제작 방안을 제시한다.

  • PDF

Contextual Factors Affecting the Information Sharing through Information Systems (정보시스템을 통한 정보공유에 영향을 미치는 상황요인)

  • Kang, Jae-Jung
    • Asia pacific journal of information systems
    • /
    • v.11 no.2
    • /
    • pp.141-158
    • /
    • 2001
  • This paper examines the effects of environmental uncertainty, structural decentralization, formalization, complexity and task interdependence on the information sharing through information system. 197 firms in Korea are surveyed and analyzed to investigate the relationship between the contextual variables and the information sharing. The result of multiple regression analysis shows that task interdependence, structural decentralization, complexity are significant factors to influence on the Information Sharing. Also, additional analysis shows that task interdependence, structural decentralization are major factors in service industry, and task interdependence, structural complexity are in manufacturing industry.

  • PDF

Towards a Improved Methodology for developing domain ontology (향상된 도메인 온톨로지 구축 방법 연구)

  • Liu Haitao;Kong Hyunjang;Kim Pankoo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2004.11a
    • /
    • pp.591-594
    • /
    • 2004
  • Existing methodologies and practical ontology development experiences have explored a broad spectrum of knowledge management challenges. Each has its own characteristics and evaluates only a subset of specific domain. However, there is still no one 'correct' way or methodology for developing ontologies. In this paper, we described a methodology for domain driven ontology development, covering the whole lifecycle from the formalization of domain to the evolution of ontologies.

  • PDF

Formalization of Tracing Join Table Using Dimension Attribute Level in Multidimensional Databases (다차원 데이터베이스에서 차원속성 레벨을 이용한 조인 테이블 추적의 정형화)

  • 윤원식;신동천
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1999.10a
    • /
    • pp.129-131
    • /
    • 1999
  • 다차원 데이터베이스에서 데이터분석을 위한 OLAP질의에 대한 응답 시간을 줄이기 위해 실체 뷰를 고려할 수 있다. 다차원 데이터베이스에서의 실체 뷰는 차원 테이블과 사실 테이블의 조인으로 구성되어 있는 조인 뷰를 형성하며 적절한 개수의 실체 뷰를 선택하는 일은 중요하다. 조인비용은 다차원 데이터베이스의 실체 뷰 선택에 있어서 가장 중요한 요소이다. 본 논문에서는 조인 비용을 구하기 위해서 실체 뷰의 계층정보를 이용하여 조인 테이블 추적하는 방법을 정형화하고 구현한다.

  • PDF

Keyed learning: An adversarial learning framework-formalization, challenges, and anomaly detection applications

  • Bergadano, Francesco
    • ETRI Journal
    • /
    • v.41 no.5
    • /
    • pp.608-618
    • /
    • 2019
  • We propose a general framework for keyed learning, where a secret key is used as an additional input of an adversarial learning system. We also define models and formal challenges for an adversary who knows the learning algorithm and its input data but has no access to the key value. This adversarial learning framework is subsequently applied to a more specific context of anomaly detection, where the secret key finds additional practical uses and guides the entire learning and alarm-generating procedure.

Personalization of Document Warehouses: Formalization, Design and Implementation

  • Khrouf, Kais;Turki, Hela
    • International Journal of Computer Science & Network Security
    • /
    • v.22 no.10
    • /
    • pp.369-373
    • /
    • 2022
  • In the decision-making domain, a document warehouse is designed to meet the analysis needs of users who may have a wide variety of analysis purposes. In this paper, we propose to integrate the preferences and interactions of users based on profiles to the concept of document warehouses. These profiles guarantee the integration of personalized documents and the collaborative recommendation of documents between different users sharing common interests.

Business Process Model Formalization and Structural Anomaly Verification Techniques for Integrated Process Management of Medical Institutions (의료기관 프로세스 통합 관리를 위한 비즈니스 프로세스 모델 정형화 및 구조적 이상 현상 검증 기법)

  • Kim, Gun-Woo;Kim, Seong-Hyuk
    • The Journal of the Korea Contents Association
    • /
    • v.18 no.7
    • /
    • pp.177-193
    • /
    • 2018
  • The business process management system that can integrate and manage a medical institution's processes has been increased importance to adapt to constantly changing medical environments and share information with various external medical institutions. The business process management system is an automated process tool that converts the graphic-based BPMN process model into a WS-BPEL, the execution language of the web service environment, and executes it through the process engine. However, the BPMN process model can be difficult to convert into WS-BPEL due to several ambiguities and structural inconsistencies. The process model may also contain structural anomalies that can lead to execution errors during process execution. In this paper, we present business process model formalization and structural anomaly verification techniques for facilitating integrated process management in medical institutions. Through the case study based on the IHE profile, we presented a formalized BPMN process model and verify the structural anomalies. We show the superiority of the proposed technique through comparative experiments with other related works.

An Exploratory Investigation of On-line Organizational Structure Design for the E-Commerce Firm (전자거래기업에서의 온-라인 조직구조 설계방안에 관한 연구)

  • Yoon, Jung-Hyeon
    • The Journal of Society for e-Business Studies
    • /
    • v.10 no.1
    • /
    • pp.21-39
    • /
    • 2005
  • This paper focused on exploratory testing the organizational management area by examining conceptualized relationships between e-commerce usage type and organizational structure. The research model consists of three e-commerce usage type such as buy-side, internal, sell-side activities and four organizational structure dimensions like decentralization, specialization, formalization, and administration intensity. An interview and an e-mail survey of managers were used to obtain information on the variables relevant to e-commerce activities and organizational structure. The data resulted in response from 58 companies. Major findings of this research are summarized as follows: buyer related e-commerce activities is positively relate to the administrative intensity and the specialization, internal process is positively relate to the formalization, while customer related e-commerce is directly relate to the decentralization and the specialization in terms of organizational management.

  • PDF

A Study on the Spatial effect of Phenomenological Light and Water in Architectural works of Steven Holl (스티븐 홀 작품에 나타난 현상학적 빛과 물의 공간작용)

  • 안우진;손광호;고성룡
    • Korean Institute of Interior Design Journal
    • /
    • no.27
    • /
    • pp.20-27
    • /
    • 2001
  • The tendency of formalization in Contemporary Architecture deeply relies on the thought of Western Philosophy, which emphasizes the art of image perceived visually but ignores the body and perception of a human beig who uses the architecture and lives in it. On the contrary, Merleau-Ponty asserted long time ago that the world and the body are inseparably related to each other. The phenomenology is important in Architecture, since the center of thought should be taken back to the human body if a artistic meaning can be obtained by Architecture. From this point of view, the meaning of Contemporary Architecture can be renewed by the phenomenological idea of Merleau-Ponty as a means of expanding thought that overcomes the limit of formalization in Contemporary Architecture. This research aims to ream from Steven Holl's work, and show the Architectural elements that are used for preceptual experience of phenomenon and the function of those element sin Architectural space of his works. The result of study on about the phenomenal light and water in Architectural space of Steven Holl is as follows; First, in perceptional experience of phenomenon, time is an important element, which is successive and make a field that cause perceptional experience. Second, light, as a phenomenological element, acted as a means of expressing the comparison and change of light and shadow in Architectural space and showing the change of color by the diversity of time in inner space. Third, water, as a phenomenal lens, not only acted functional but also functioned as an element of sensual experience in Architectural space. It acted as an image containing time, space, just like a mirror that reflect the environment.

  • PDF