• International Journal of Computer Science & Network Security
• /
• v.21 no.11
• /
• pp.193-198
• /
• 2021

The application of e-Voting plays an important role in order to support democracy activities in Indonesia, such as elections at different levels. E-Voting has the function of providing better service to people in order to participate in elections. This research attempts to develop the appearance of the user interface of e-Voting based on users' emotional preferences using Kansei Engineering. Kansei Engineering is used in this research to analyze emotional feelings regarding e-Voting applications' presented Kansei words and give a recommendation on the most suitable user interface to be considered in their development. This research observed two main users' emotional feelings ("calm" and "formal") selected from ten Kansei words. The final recommendation is a conceptual element designed for designing e-Voting applications based on the Kansei word "calm".

• Journal of Korea Technology Innovation Society
• /
• v.19 no.3
• /
• pp.483-510
• /
• 2016

Disruptive technology is increasingly gaining attention by industries, standards development organizations (SDOs), academia, government and regulatory bodies due to its massive scope of impact on the incumbents and consumers. Companies that take a lead in new technologies intend to dominate the global market by making their technologies into an international standard. However, they tend to seek ways of by-passing the slow procedures of formal SDOs that often hinder prompt action in response to rapid changes in technology and market situations. In the area of disruptive technologies, there is a need to harmonize standardization efforts in formal SDOs for various companies and stakeholders to reap the benefits of technological development and diffusion of innovation. This paper examines the reasons why standardization is more active using market-based mechanisms than through formal SDOs for disruptive technologies. We conducted a Delphi study to investigate standardization strategies in the area of disruptive technologies. This research found that experts understood the core element of disruptive technologies as creating new markets and changing the competition basis in existing industries through the transformation of consumers' behavior. Based on these core characteristics, experts agreed that flexibility and speed are the most important factors for standardization. Results also show that the perception that standardization activities are not directly connected to companies' profit-making is the key barrier to links between research and companies' participation in standardization. This research provides implications for formal SDOs and policymakers.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.557-568
• /
• 2008

An ontology as the core element of Semantic Web is a formal specification of a conceptualization of shared domain knowledge. The use of well-defined ontologies can increase the quality of interoperable information systems in the area of Semantic Web. However, in practice, it is not easy to develop high-quality ontologies which have no errors. Therefore, with methodologies for ontology design, various methods or tools for ontology analysis supporting for error-detection might be very helpful for ontology developers. In this paper, we propose a novel approach for analyzing the core constructs of ontology based on the Formal Concept Analysis and develop a tool that supports error-checking ontologies. Our approach can serve not only as a guidance to modify the existing ontologies, but also as a valuable tool in developing high-quality ontologies.

• The Research Journal of the Costume Culture
• /
• v.19 no.4
• /
• pp.820-835
• /
• 2011

The purpose of this study is to provide a basic pattern to assist in the development of formal pants that reflect the physical characteristics of women with lower-body obesity. The subjects selected for this study were women in their 20s and 30s with a Rohrer index of 1.6 or higher, a waist circumference 78.5cm to 83.5cm, and a lower drop of at least 18cm. The experimental pants patterns were developed by varying the waist line position, the waist ease, the ease in the hip area, the crotch length, the front and rear crotch width, the leg width, and the total length. Data analysis was performed using the SPSS statistics program(version 18.0). To verify the difference, this study used a variance analysis and Duncan's test. The conclusions drawn by the study are as follows. To reflect the form element of an abdomen with fatty deposits, the waist circumference should have an ease of 2cm. The front waist result was W/4+0.5cm+0.75cm and the rear waist result was W/4-0.5cm+0.25cm. The hip circumference showed a total ease of 4.5cm. The front hip result was H/4+0.75cm and the rear hip result was H/4+1.5cm. The crotch width set to H/16-1cm and the applied rear crotch width was H/16+2cm. The rear hip area was given more ease to reflect the protrusion of the hip. Along the line extending from the knee area to the crotch line, the outer seam line was designed with a gradual S-shaped curve to accommodate the protrusion from the maximum thigh width.

• International Journal of Aeronautical and Space Sciences
• /
• v.12 no.2
• /
• pp.200-209
• /
• 2011

An analytical solution for rectangular laminated composite plates was obtained via a formal asymptotic method. From threedimensional static equilibrium equations, the microscopic one-dimensional and macroscopic two-dimensional equations were systematically derived by scaling of the thickness coordinate with respect to the characteristic length of the plate. The onedimensional through-the-thickness analysis was performed by applying a standard finite element method. The derived twodimensional plate equations, which take the form of recursive equations, were solved under sinusoidal loading with simplysupported boundary conditions. To demonstrate the validity and accuracy of the present method, various types of composite plates were studied, such as cross-ply, anti-symmetric angle-ply and sandwich plates. The results obtained were compared to those of the classical laminated plate theory, the first-order shear deformation theory and the three-dimensional elasticity. In the present analysis, the characteristic length of each composite was dependent upon the layup configurations, which affected the convergence rate of the method. The results shown herein are promising that it can serve as an efficient tool for the analysis and design of laminated composite plates.

• Journal of Educational Research in Mathematics
• /
• v.24 no.4
• /
• pp.573-594
• /
• 2014

Capacity of making assessment items among teacher's assessment competency is essential element in validity and reliability of assessment. Errors in test items on the formal and content aspects can be a big stumbling block to derive a correct evaluation result. Through this assessment, the positive feedback can not be derived. In this study, By analyzing midterm and final 60 exam papers for geometry and vector in 45 high Schools of Seoul GyeonggiIncheon area, We argue error items and improvements on the formal and content aspect the paper-based assessment of mathematics. Through this, Our intention is to improve the skills of teachers for making assessment items.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.200-207
• /
• 2006

A new formal standardization methodology of the structural design document information is proposed in this paper. The standardization process is divided into three steps: pre-process of the collected sample document (CSD), construction of the document structure, and definition of the occurrence of each element in the document. During the pre-process, the detail document contents in the CSD are indexed with templates defined in this study, and the indexed CSD is translated into XML Schema (XSD) formal Afterwards the degree of confidences of all elements between the temporary standard document (TSD) and the translated CSD are calculated by using the XML schema matching algorithm; the TSD is then updated. This second step is repeated until all of the CSD are compared. In the final step, the common elements and unbounded elements are extracted by determining the occurrence of the temporary document elements, and the standardized document schema is exported in the XSD format. The case study dealing with the structural calculation documents show that the ,proposed methodology can be effectively used to build a XML -based information model of structural design documents.

• Archives of design research
• /
• v.17 no.3
• /
• pp.335-342
• /
• 2004

Recently there have been various research activities regarding Korean traditional aesthetics. However, those researches were mainly conducted individually, partially, and periodically, which resulted in unsystematic and incomprehensive works. Therefore, it is required to orginze all the precedent research works with more systematic and objective framework. Generally speaking, all the human activities including aesthetic activity have ends, procedure and means. In other words, human being needs three key elements for realizing any thought and those three elements include contents, formal, and practical element. Element of contents is ultimate goal to accomplish as value, concept, and meaning of thought with their aims. Formal element includes methods, principles, norms, procedure, formality and style comprising of thought in order to accomplish the goal. Finally, practical element refers to specific means, tool, media, material and techniques to concretize the contents through form. Almost all of thoughts and meaning which human being tries to express consist of language. Major elements in sentence include 'subject (omissible)' , 'objects (aim)', 'predicate (formality)', 'complement (means)' and they are composed systematically and hierarchically with rules in sentence. The study compared human activity model with language structure and analyzed their implication with design (aesthetics), which made it possible to propose analytic frameworks for traditional aesthetics. In addition, the study also systematically organized the way to realize traditional aesthetic value in the present context based on the methods developed in this study.

• Proceedings of the Korean Society of Computational and Applied Mathematics Conference
• /
• 2003.09a
• /
• pp.9-9
• /
• 2003

Let $\Omega$ be a bounded, open, and polygonal domain in $R^2$ with re-entrant corners. We consider the following Partial Differential Equations: $$(I-\nabla\nabla\cdot+\nabla^{\bot}\nabla\times)u\;=\;f\;in\;\Omega$$, $$n\cdotu\;0\;0\;on\;{\Gamma}_{N}$$, $${\nabla}{\times}u\;=\;0\;on\;{\Gamma}_{N}$$, $$\tau{\cdot}u\;=\;0\;on\;{\Gamma}_{D}$$, $$\nabla{\cdot}u\;=\;0\;on\;{\Gamma}_{D}$$ where the symbol $\nabla\cdot$ and $\nabla$ stand for the divergence and gradient operators, respectively; $f{\in}L^2(\Omega)^2$ is a given vector function, $\partial\Omega=\Gamma_{D}\cup\Gamma_{N}$ is the partition of the boundary of $\Omega$; nis the outward unit vector normal to the boundary and $\tau$represents the unit vector tangent to the boundary oriented counterclockwise. For simplicity, assume that both $\Gamma_{D}$ and $\Gamma_{N}$ are nonempty. Denote the curl operator in $R^2$ by $$\nabla\times\;=\;(-{\partial}_2,{\partial}_1$$ and its formal adjoint by $${\nabla}^{\bot}\;=\;({-{\partial}_1}^{{\partial}_2}$$ Consider a weak formulation(WF): Find $u\;\in\;V$ such that $$a(u,v):=(u,v)+(\nabla{\cdot}u,\nabla{\cdot}v)+(\nabla{\times}u,\nabla{\times}V)=(f,v),\;A\;v{\in}V$$. (2) We assume there is only one singular corner. There are many methods to deal with the domain singularities. We introduce them shortly and we suggest a new Finite Element Methods by using Singular representation for the solution.

• Korean Institute of Interior Design Journal
• /
• v.19 no.5
• /
• pp.38-47
• /
• 2010

The purpose of this study is to examine the characteristics by design component elements of the facade in elementary school buildings after the 7th educational curriculum. This study choose twenty five elementary school as the subjects of the study. And among many elevations of building, an elevation that is alongside of the schoolyard is chosen because this elevation has the highest visual influence on passers-by. To begin with, this elevation is divided into the roof and the surface of a wall, The roof is divided into roof styles, existence of roof and materials. The surface of a wall is divided into design principles(balance, contrast, rhythm), the formal organization(basic elements and form, and transformation of form), the ornamental composition, materials and colors. The results of the research are summarized as follows: First of all, motifs of classical architecture were well expressed in this period and postmodern tendency had been shown until 2005. After Build Transfer Lease(BTL), however, tendency of classical architecture, contrast by the size of the form and base element by point disappeared. Instead, asymmetrical and flat tendency is expressed. Also, emphasized design of the building elevation appear by basic colors of Munsell, not motifs of classical architecture.