• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권1호
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권5호
• /
• pp.416-428
• /
• 2001

뉴스 아카이브 시스템을 구축하기 위하여서는 먼저 뉴스 비디오 스트림을 기사 단위로 인덱싱하고, 사용자가 기사 비디오를 모두 시청하지 않아도 그 내용을 이해할 수 있도록 하는 추상화 방법이 필요하다. 본 논문에서는 뉴스 비디오 스트림에 대하여 샷 타입을 이용하여 기사 단위로 인덱싱할 수 있는 새로운 기사 경계 검출 방법 및 기사 추상화 방법을 제안하다. 제안한 인덱싱 방법에서는 뉴스 비디오의 샷들을 앵커 샷, 인터뷰 샷, 연설 샷, 보도 샷, 그래픽 자료 샷 등으로 나눈다. 모든 기사는 앵커 샷으로 시작하고, 앵커 샷은 다른 샷에 비하여 길이가 길고 특별한 화면 구조를 가지고 있기 때문에 이를 이용하여 기사 단위의 인덱싱을 수행한다. 또한 각 기사에 대한 효과적인 추상화를 위하여 앵커 샷의 오른쪽 위에 있는 그래픽 데이타와 기사를 이루는 다른 샷들의 키 프레임들을 이용한 기사 포스터를 구성하는 방법을 제안하였다. 여러 종류의 뉴스 비디오 스트림에 대한 실험 결과에 의하면 본 논문에서 제안한 기사 경계 검출 알고리즘의 검출율(recall) 및 정확도 (precision)값이 각각 0.92 및 0.96 이상 됨을 알 수 있다. 또한 본 논문에서는 WWW상에서 수행되는 뉴스 아카이브 시스템의 프로토타입 시스템의 설계 및 구현에 대하여서도 설명한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권5호
• /
• pp.389-401
• /
• 2001

본 논문에서는 MPEG형식의 영화 데이터를 대상으로 폭발 장면 자동 추출을 위한 저급 수준 비디오 내용정보의 추상화 방법을 제안하고, 실제 구현을 통하여 그 유용성을 보인다. 제안한 추상화 방법은 폭발시 발생하는 불꽃의 색이 노란색 톤을 가진다는 사실과, 불꽃이 나타나는 프레임은 같은 tit에 속하는 이웃한 프레임과는 화면 구성이 달라지게 되므로 움직임 에너지 값이 커지게 된다는 사실을 바탕으로 한다. 이를 위해서 샷 단위의 인덱싱을 자동적으로 수행하고 각 샷의 첫 번째 프래임을 키 프레임으로 하다. 이를 위해서 샷 단위의 인덱싱을 자동적으로 수행하고 각 샷의 첫 번째 프레임을 키 프레임으로 선택한 후 영역별 주 색깔(Dominant Color)를 추출한다. 이때 색 공간은 양자화를 통한 512색 중 노란색 톤을 가지는 48 색 범위로 정의한다. 이후 매 샷마다 첫 번째 프레임과 이웃한 프레임의 에지 이미지(Edge Image)를 추출하여 이들의 차이로써 움직임 에너지(Motion Energy)를 얻는다. 이 두 가지 정보, 즉 노란색 톤을 가지는 색 정보와, 같은 장면 내의 다른 샷의 움직임 에너지에 비해 큰 값의 움직임 에너지를 갖는 샷을 폭발장면이 포함된 장면으로 검출한다. 실험 결과에 의하면 검색 결과는 주어진 임계값에 의존적이나, Recall과 Precision에서 80% 이상의 검출률을 보이고 있다. 그러나 일반적인 폭발 장면은 찾기에는 노란색 불꽃을 보이지 않는 예외적인 경우가 발생하여 이를 추출하는데 어려움이 있었다. 앞으로 이러한 문제점등은 기존의 오디오 정보를 이용한 폭발 장면 검출 방법과 함께 이용함으로써 해결되어질 수 있을 것이다.

• 생명과학회지
• /
• 제17권8호통권88호
• /
• pp.1121-1128
• /
• 2007

초피나무(Z. piperitum) 열매는 다양한 생리활성을 갖고 있으며, 과피 용매추출물은 세균에 대한 강한 항균활성을 갖고 있어, 간장과 된장제조에 초피를 첨가하여 생리활성효과를 조사하였다. 초피를 간장제조에 1%, 2%, 4% 첨가하여 제조하고, 간장추출물을 식중독균(Sta. aureus, Sal. typhimurium, V. parahemolyticus, E. coli 0157:H7)에 대한 항균활성을 조사했다. 초피를 2% 첨가한 간장은 E. coli 0157:H7과 V. parahemolyticuS 의 생육을 각각 70%와 50% 억제했으며, Sal. typhimurium 과 Sta. aureus 에 대한 항균효과는 농도와 간장제조시기에 따라 40% ${\sim}$ 60% 의 생육을 억제했다. 초피된장의 용매추출물에서는 약한 항균활성을 확인할 수 있었다. 초피간장의 추출물을 백혈병세포 U-937에 처리하여 caspase-3 활성으로 항암활성을 조사했다. 그 결과 초피의 량을 1%, 2%, 4% 첨가한 간장의 추출물은 초피를 침가하지 않은 간장보다 caspase-3 활성이 각각 4배, 12배, 15배 활성이 증가하는 것이 확인되어졌다. 이는 초피간장의 추출물이 apoptosis를 유도하는 것을 의미하며, 된장의 용매추출물은 caspase-3 활성에 아무런 영향이 없었다. 초피간장 추출물을 처리한 세포의 죽음이 necrosis인지 apoptosis인지 알아보기 위하여 세포내의 DNA fragmentation을 확인한 결과, 초피간장 추출물을 처리한 세포는 DNA 단편화가 형성되어졌다. 초피틀 1% 첨가한 것에서는 fragmentation을 확인하기 힘들었고, 2%와 4%초피를 첨가한 간장추출물은 DNA fragmentation을 강하게 일으켰다. 초피를 첨가한 간장추출물이 caspase를 활성화시키고, DNA fragmentation을 일으키는 apoptosis 기작에 의해 암세포를 죽음으로 유도하는 초피간장의 항암효과를 입증했다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 1998년도 제16회 학술발표회 논문개요집
• /
• pp.118-118
• /
• 1998

• Bulletin of the Korean Chemical Society
• /
• 제28권2호
• /
• pp.181-182
• /
• 2007

• 대한수학교육학회지:수학교육학연구
• /
• 제8권1호
• /
• pp.299-312
• /
• 1998

In this study, we have investigated the meaning and mechanism of the 'construction' in the operational constructivism and the social constructivism. According to Piaget, a mathematical concept is the operational sch me, which is constructed through the reflective abstraction from a general coordination of activities and operations. The process of the reflective abstraction consists of 'reflechissement'and 'reflexion'. The reflechissement starting from 'intriorisation' concludes with 'thematisation', and the reflexion consists in the 'equilibration' of the result of reflechissement. The 'construction' in the social constructivism includes two process. One is the process from the individual, subjective knowledge of mathematics to the social, objective knowledge of mathematics, and the other is vice versa. The emphases is placed on the 'social interaction' and the 'representation' in this two processes. In this context, if we want to apply the social constructivism, we should clarify the meaning of 'society', and consider the difference between the society of mathematicians and the society of students.

• 대한인간공학회지
• /
• 제31권1호
• /
• pp.41-48
• /
• 2012

Objective: Companies want to expand their business by providing their services at other devices and new services based upon existing services. Therefore, they look for building brand identity by providing same experience throughout devices and services. Background: Many services are available to use at multiple devices including mobile phones, tablet, personal computers, and televisions, thanks to proliferation of n-screen and cloud technology. Method: It was discussed that consistency, which emphasizes the regularity and has been one of essential aspects of user interface design, seems not effective to be applied to n-screen services, owing to different screen size, input and output peripherals, usage environment and users' attitude. Results: A new definition of same experience among different devices and services, called coherence, was introduced and abstraction levels of user interfaces were proposed as the denominator of defining coherence. Then types of users' task knowledge at each abstraction level were discussed with examples. Conclusion: This paper concluded by discussing design requirements for designing coherent user interfaces among devices and services.

• 한국CDE학회논문집
• /
• 제1권3호
• /
• pp.177-188
• /
• 1996

An approach to providing computational support with an expert shell is discussed with the scope of an industrial wire harness design, especially at a manufacturing stage. Key issues include the development of an architecture that supports a frequent design change among engineers associated with different parts of the wiring design process and the development of hierarchical representations that capture the different characteristics (e.g., connectivity, configuration) of the harnesses. The abstraction of design information results in features, while the abstraction of drawing elements leads to the definition of objects. These abstractions are essential for efficient transactions among people and computer tools in a domain that involves numerous interacting constraints. In this paper the strategy for the problem decomposition, the definition of features, and the ways in which features are shared by various operations and design changes, are discussed. We conclude with a discussion of some of the issues raised by the project and the steps underway to address them.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1999년도 춘계공동학술대회: 지식경영과 지식공학
• /
• pp.161-171
• /
• 1999

Query language has been widely used as a convenient tool to obtain information from a database. However, users demand more intelligent query processing systems that can understand the intent of an imprecise query and provide additional useful information as well as exact answers. This paper introduces a meta-database and presents a query processing mechanism that supports a variety of intelligent queries in a consistent and integrated way. The meta-database extracts data abstraction knowledge from an underlying database on the basis of a multilevel knowledge representation framework KAH. In cooperation with the underlying database, the meta-database supports four types of intelligent queries that provide approximately or conceptually equal answers as well as exact ones.