• 한국정보통신학회논문지
• /
• 제10권8호
• /
• pp.1414-1421
• /
• 2006

본 논문에서는 VOD에서 스트리밍 데이터를 효율적으로 서비스할 수 있는 Consistency 알고리즘을 제시한다. 미디어 데이터 서비스를 위해 우선 하나의 미디어 데이터를 라운드 로빈 방식으로 스트라이핑하여 각 호스트의 저장 노드에 저장한다. 본 논문에서는 일반적인 계산 용도로 사용되는 barrier 메커니즘을 미디어 플레이 최소 단위인 (SH, GOP) 미디어 데이터에 서비스할 수 있도록 제시하였다. 데이타 처리 방식은 하나의 호스트에 한 프래그먼트 크기의 공유메모리를 할당한다. 이 공유메모리 는 barrier 메커니즘을 통하여 RTP패킷 전송 단위로 결정될 프래그먼트 데이터의 조합을 형성한다. 본 논문에서 제시한 알고리즘에 대해서 실험을 수행하기 위해서 VOD 시스템에서 프로그램을 작성하였다.

• 인터넷정보학회논문지
• /
• 제2권5호
• /
• pp.71-79
• /
• 2001

분산 데이터베이스에서 사본을 복제하는 것은 성능, 가용성, 자치성 향상을 위한 것이다. 그러나 일관성을 엄격하게 적용하는 것은 실제 시스템에서 매우 어렵다. 본 논문에서는 지연 갱신 전파로 일관성을 완화하고. 즉시 갱신 전파로 그룹 갱신을 허용하는 혼합 프로토콜을 제시한다. 이 프로토콜은 그룹 갱신의 일관성을 위하여 사본들의 버전번호를 관리하고, 지연 갱신 트랜잭션의 직렬성을 위하여 반순서화한 사본 스패닝 트리를 생성한다. 비동기 갱신과 동기 갱신 기법을 혼합하여 약한 일관성을 유지한다. 성능 분석에 관한 연구는 향후 연구로 한다.

• Coupled systems mechanics
• /
• 제12권6호
• /
• pp.539-555
• /
• 2023

Although some prediction models have successfully developed for ultra-high performance concrete (UHPC), they do not provide insights and explicit relations between all constituents and its consistency, and compressive strength. In the present study, based on the experimental results, several mathematical models have been evaluated to predict the consistency and the 28-day compressive strength of UHPC. The models used were Linear, Logarithmic, Inverse, Power, Compound, Quadratic, Cubic, Mixed, Sinusoidal and Cosine equations. The applicability and accuracy of these models were investigated using experimental data, which were collected from literature. The comparisons between the models and the experimental results confirm that the majority of models give acceptable prediction with a high accuracy and trivial error rates, except Linear, Mixed, Sinusoidal and Cosine equations. The assessment of the models using numerical methods revealed that the Quadratic and Inverse equations based models provide the highest predictability of the compressive strength at 28 days and consistency, respectively. Hence, they can be used as a reliable tool in mixture design of the UHPC.

• Structural Engineering and Mechanics
• /
• 제5권6호
• /
• pp.853-865
• /
• 1997

The design of robust plate and shell elements has been a very challenging area for several decades. The main difficulty has been the shear locking phenomenon in plate elements and the shear and membrane locking phenomena together in the shell elements. Among the various artifices or devices which are used to develop elements free of these problems is the field-consistency approach. In this paper this approach is reviewed, It turns out that not only Mindlin type elements but also elements based on higher-order theories could be developed using the technique.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 1999년도 춘계 학술발표대회 논문집
• /
• pp.12-13
• /
• 1999

일관성을 평가하기 위한 모형들이 맡은 인터페이스 모델링 연구자들에 의해서 개발되어 왔다. Reisner (1981)의 GRAL(Grammatical Representation of Action language) 모형으로부터 시작된 일관성 평가 모형 개발은 TAG(Task Action Grammar; Payne and Green, 1986), APT(Agent Partitioning Theory: Reisner, 1993), PROCOPE(Poitrenaud, 1995) 모형으로 발전되었다.(중략)

• 한국정보처리학회논문지
• /
• 제6권11호
• /
• pp.2965-2980
• /
• 1999

There are several models and the corresponding diagrams to express software system in many kinds of viewpoints, but these are supposed to be integrated and implemented into only one system. Therefore, the software modelers should have the models ensuring the consistency between information in software development life cycle. To support the robust models for modelers using OO modeling methods, i.e. UML, and CASE tools, the meta models of the software architecture and the consistency rules between the models are suggested in this thesis. Finally, the rules are implemented in the OO CASE tool, DEBUTO(Design By UML Tool). It supports UML1.1 notations and has visual modeling editors that enable users make their own software model.

• 한국항행학회논문지
• /
• 제15권6호
• /
• pp.1180-1186
• /
• 2011

객체지향 설계에 있어서 그래픽 표현의 대표라고 할 수 있는 UML 다이아그램의 일관성과 완전성을 검증하기 위하여, 먼저 UML 다이아그램들을 분석하고 분석된 다이아그램에 검증 규칙들을 적용한다. 본 논문에서는 다이아그램을 작성하는 능력과 다이아그램의 일관성과 완전성을 검사할 수 있는 능력을 모두 갖춘 효과적인 검증 시스템을 설계하였다. 검증 시스템은 내부적인 다이아그램 정보를 표현하기 위하여 일련의 프레임들을 사용하고 있다.

• 인터넷정보학회논문지
• /
• 제4권6호
• /
• pp.87-93
• /
• 2003

자료 복제는 분산 시스템과 데이터베이스 시스템에서 가용성과 성능을 향상시켜 주지만, 자료를 갱신할 때 일관성을 엄격하게 유지하는 것은 쉽지 않다. 기존 알고리즘들은 엄격하게 일관성을 유지하지만, 비용이 많이 들며 시간이 지연된다는 문제점이 있다. 본 논문에서는 원본 자료에 대해서 즉시 갱신을 허락하고 다른 복사본들에 대해서는 지연 갱신을 전파하는 혼합 갱신 전파 알고리즘을 소개한다. 혼합 갱신 전파 알고리즘은 또한 소유권에 있어서 그룹 갱신을 허락한다. 이 알고리즘은 그룹 갱신 일관성을 제어하기 위해 복제 버전을 관리한다. 그룹의 소유권을 가지고 즉시 갱신과 지연 갱신을 결합함으로써 일관성과 성능이 향상된다. 응용과 실행 환경에 따른 트랜잭션 처리량과 응답시간의 향상을 모의실험을 통해 보여준다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2009년도 학술대회
• /
• pp.961-970
• /
• 2009

지난 10여 년 동안 모바일폰과 같은 인터랙티브 기기들은 새로운 버전이 나올 때마다 새로운 기능들이 덧붙여지면서 점점 더 사용하기 복잡해졌다. 다기능 복합기기의 사용 복잡도를 줄이기 위한 한 가지 방법은 그것을 일관성 있게 설계하는 것이다. 일관성을 정의하기가 쉽지 않고 때로는 일관성 있게 디자인한 것이 오히려 사용성을 낮추는 경우도 존재하지만, 일반적으로 일관성 있게 설계된 시스템은 그 사용법을 더 배우기 쉽고, 기억하기 쉬우며, 에러가 덜 발생한다. 그러나 실제적으로 다기능 복합기기의 사용자 인터랙션 또는 인터페이스를 일관성 있게 설계하는 일은 쉽지 않다. 다기능 기기의 인터랙션 설계는 매우 많은 수의 설계 변수들과 그것들 간의 관계를 고려해야 하므로 많은 시간이 소요되고 디자인 에러가 발생하기 쉽다. 따라서, 이런 복잡한 설계 과정을 지원할 수 있는 방법론의 개발이 필요하다. 본 연구에서는 CUID (Consistent Design of User Interaction)라고 명명한 효과적이고 효율적인 인터랙션 설계 방법론을 개발하였다. CUID는 일관성 있는 인터랙션 설계를 위한 디자인 프로세스와 그것을 지원하는 소프트웨어 툴을 포함한다. 이 방법론은 물리적 또는 시각적인 일관성보다는 논리적 일관성에 초점을 맞추고 있으며, 태스크 절차의 설계, 각 시스템 상태에서 가능해야 하는 조작(기능)에 대한 결정, 그리고 가능한 조작(기능)들을 어떤 인터페이스 컨트롤(control)을 통해 수행하도록 할 것인지에 대한 결정을 주요한 설계 문제로 다룬다. 또한, 본 논문에서는 사례 연구를 통해 CUID의 효용성을 검증하였다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 2001년도 Bulletin of The 5th Asian Design Conference International Symposium on Design Science
• /
• pp.57.2-57
• /
• 2001