• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1414-1421
• /
• 2006

This paper proposes a consistency algorithm that is able to serve streaming data efficiently in VOD system. The media data is stripping into several pieces of data by the Round Robin method in order to media data service. The barrier mechanism is changed into the minimum data factor(SH. GOP) in this paper. The shared memory is allocated at one host with one fragment size. Data is combined with RTP packet transmission data format using barrier mechanism. I experiment and program the suggested algorithm on the VOD system.

• Journal of Internet Computing and Services
• /
• v.2 no.5
• /
• pp.71-79
• /
• 2001

Replication in distributed databases is to improve efficiency, availability, and autonomy, But applying the strict consistency in real systems is very difficult. In this paper, I introduce a hybrid protocol permitting group update through eager update propagation and weakening consistency through lazy update, This protocol manages replica version number for the group update consistency and generates partially ordered replica spanning tree for the serializability of lazy update transactions. It preserves weak consistency by combining synchronous and asynchronous update mechanism. Study of performance analysis for the efficiency of the protocol be included in next paper.

• Coupled systems mechanics
• /
• v.12 no.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
• /
• v.5 no.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.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 1999.05a
• /
• 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) 모형으로 발전되었다.(중략)

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.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.

• Journal of Advanced Navigation Technology
• /
• v.15 no.6
• /
• pp.1180-1186
• /
• 2011

For verifying consistency and completeness of some UML diagrams as a representative of a graphical notations for object-oriented designs, I first give an analysis of some UML diagrams and apply some verifying rules to the UML diagrams. In this paper, I design effective verifying system which possesses both diagramming facility and the consistency and completeness checking capability. The verifying system uses a set of frames to represent internal diagramming information.

• Journal of Internet Computing and Services
• /
• v.4 no.6
• /
• pp.87-93
• /
• 2003

Data Replication makes distributed system and database system improved in availability and performance. But it is difficult to keep strict consistency in data update. Existing algorithms keep strict consistency, but have problems of cost a great deal and delay time. It is to introduce hybrid update propagation algorithm which permits eager update for original copy and propagates lazy update for other copies. Hybrid update propagation algorithm also permits group update in ownership. This algorithm menages replica version in order to control group update consistency. Consistency and performance is improved by combining eager update and lazy update with group ownership. Simulation shows improvement of transaction throughput and response time depending on application and execution environment.

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

Over the last decade, interactive devices such as mobile phones have become complicated drastically mainly because of feature creep, the tendency for the number of features in a product to rise with each release of the product. One of the ways to reduce the complexity of a multi-functional device is to design it consistently. Although the definition of consistency is elusive and it is sometimes beneficial to be inconsistent, in general, consistently designed systems are easier to learn, easier to remember, and causing less errors. In practice, however, it is often not easy to design the user interaction or interface of a multi-functional device consistently. Since the interaction design of a multi-functional device should deal with a large number of design variables and relations among them, solving this problem might be very time-consuming and error-prone. Therefore, there is a strong need for a well-developed methodology that supports the complex design process. This study has developed an effective and efficient methodology, called CUID (Consistent Design of User Interaction), which focuses on logical consistency rather than physical or visual consistency. CUID deals with three main problems in interaction design: procedure design for each task, decisions of available operations(or functions) for each system state, and the mapping of available operations(functions) and interface controls. It includes a process for interaction design and a software tool for supporting the process. This paper also demonstrates how CUID supports the consistent design of user interaction by presenting a case study. It shows that the logical inconsistencies of a multi-functional device can be resolved by using the CUID methodology.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2001.10a
• /
• pp.57.2-57
• /
• 2001