• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.172-180
• /
• 2011

When it essentially designs and develops the Railway Signal System H/W and S/W, It requires base to build an environment which the safety of the complete system can be certified objectively. It is not rational choice to progress the safety certification of each of the subsystems to ensure reliability from an economic point of view. Furthermore, Even though H/W and S/W already certificated the safety, In case of changing subsystem to comprise relevant system, The safety certification of its parts newly must proceed. This study to solve these problems covers safety H/W platform which is commonly applicable to composition plan at Ground railway signaling systems such as CBTC, ETCS, CBI and safety-based modeling approach with S/W development tools (SCADE) and certificated O/S (Pike) to build the development environment. In addition, When it designs and develops safety S/W, This study explains structure to separate the data section which for logical operations and logical operations itself and provides guideline to support the certification through minimizing changes to the software.

• Journal of the Korean Ceramic Society
• /
• v.53 no.3
• /
• pp.263-272
• /
• 2016

Electronic structure calculations have become a powerful foundation for computational materials engineering. Four major factors have enabled this unprecedented evolution, namely (i) the development of density functional theory (DFT), (ii) the creation of highly efficient computer programs to solve the Kohn-Sham equations, (iii) the integration of these programs into productivity-oriented computational environments, and (iv) the phenomenal increase of computing power. In this context, we describe recent applications of the Vienna Ab-initio Simulation Package (VASP) within the MedeA$^{(R)}$ computational environment, which provides interoperability with a comprehensive range of modeling and simulation tools. The focus is on technological applications including microelectronic materials, Li-ion batteries, high-performance ceramics, silicon carbide, and Zr alloys for nuclear power generation. A discussion of current trends including high-throughput calculations concludes this article.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.297-308
• /
• 2001

In this paper, we design, validate and implement WTP(Wireless Transaction Protocol) using SDT(SDL Design Tool). We do modeling WTP protocol by SDL(Specification and Description Language), design and implement the environment function for the interface between the SDL system and the UDP platform and design APIs(Application Programming Interface). And we do conformance testing for WTP protocol software using ITEX(Interactive TTCN Editor and eXecutor). We write ATS(Abstract Test Suite) by TTCN(Tree and Tabular Combined Notation) and make ETS(Executable Test Suite) by the TTCN compiler supplied by ITEX.

• Smart Structures and Systems
• /
• v.13 no.1
• /
• pp.81-98
• /
• 2014

This paper presents the elastic buckling of smart lightweight column structures integrated with a pair of surface piezoelectric layers using artificial intelligence. The finite element modeling of Smart lightweight columns is found using $ANSYS^{(R)}$ software. Then, the first buckling load of the structure is calculated using eigenvalue buckling analysis. To determine the accuracy of the present finite element analysis, a compression study is carried out with literature. Later, parametric studies for length variations, width, and thickness of the elastic core and of the piezoelectric outer layers are performed and the associated buckling load data sets for artificial intelligence are gathered. Finally, the application of soft computing-based methods including artificial neural network (ANN), fuzzy inference system (FIS), and adaptive neuro fuzzy inference system (ANFIS) were carried out. A comparative study is then made between the mentioned soft computing methods and the performance of the models is evaluated using statistic measurements. The comparison of the results reveal that, the ANFIS model with Gaussian membership function provides high accuracy on the prediction of the buckling load in smart lightweight columns, providing better predictions compared to other methods. However, the results obtained from the ANN model using the feed-forward algorithm are also accurate and reliable.

• Architectural research
• /
• v.19 no.1
• /
• pp.1-6
• /
• 2017

Over the past decade, building information modeling (BIM) has gained a foothold in the construction sector. However, as digital data generated in the virtual space of a computer environment, BIM-based data have an inherent limitation in their application efficacy under field conditions. To overcome this, the present study employs augmented reality (AR) to reduce the discrepancy between the digital data generated in virtual spaces and real-world conditions. We assessed the potential applicability of an AR-based interface by analyzing existing examples of Apple, Google, and Facebook, which reflect the recent developments of technologies focusing on user experience. We then proceeded with an AR study, restricting the scope of application to a mobile environment in which an efficient information transmission between a digital model and real life can take place. Object-oriented software engineering was employed to ensure an efficient implementation of a BIM-based AR system for campus space management (CSM) in a mobile environment. Finally, we conducted a module test to check the reliability of the CSM method by using an AR-based mobile system with a prototype of the model used in university campuses, and extracted and itemized the supplementary requirements for CSM by using BIM tools for running AR applications.

• The Journal of Asian Finance, Economics and Business
• /
• v.7 no.9
• /
• pp.427-438
• /
• 2020

This study aims to analyze and confirm brand awareness' role in influencing the repurchase intention both directly and indirectly on customer satisfaction variables and repurchase intention variables. The contribution brought by this study is to reflect manifest variables such as recall, purchase, and consumption. The number of respondents in this study was 200 samples using the online survey data collection method (Google form), while the research approach is quantitative explanatory. The data analysis test tools include the Structural Equation Modeling (SEM) approach with AMOS as a statistical data analysis software and Sobel test to indirectly test the relationship. This study consists of four hypotheses, of which three hypotheses are positively and significantly related (brand awareness on repurchase intention, brand awareness on customer satisfaction, and customer satisfaction on repurchase intention). Through indirect relationship, namely, brand awareness on repurchase intention through customer satisfaction, the study showed no significant effect. In a comprehensive way, this study emphasizes the factor of customer satisfaction as a determinant of consumer loyalty and repurchase intention. Therefore, creating optimal customer satisfaction, service excellence, promotion and massive advertising, guaranteeing the safety and ease-of-use apps, and ease of shopping, especially for e-commerce industry, is a serious concern.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.42 no.4
• /
• pp.785-790
• /
• 2017

Network scanning tools typically use port scans to steal information from network terminals and identify vulnerabilities. In particular, Shodan and Censys use a network scanning tool to gather a wide range of terminal information, store it in their database and provide it to the users. In order to prevent such information gathering, it is required to know the scanning methods of Shodan and Censys. However, the scanning model used by Shodan and Censys is not known exactly. Therefore, this paper estimates scanning models of Shodan and Censys and analyzes the performance of each models.

• Journal of Distribution Science
• /
• v.20 no.11
• /
• pp.71-78
• /
• 2022

Purpose: The study aims to investigate the impact of factors affecting the work motive distribution of public universities lecturers in Hanoi. Research design, data and methodology: The questionnaire survey method is applied in this research to analyze the relationship between the variables and verify the hypothesis based on the collected 306 valid questionnaires. The partial least square method structural equation model (PLS-SEM) is used to carry out structural equation modeling to study the relationship between latent variables with reliable tools (SmartPLS 3.0 software). Results: The research results show that the intrisic motivation of the lecturers, the extrisic motivation of the lecturers and the job characteristics of the lecturers all have a positive impact on the motivation of public universities lecturers in Hanoi. In which, intrinsic motivation has the greatest influence on the work motive distribution of lecturers. In addition, the research results also prove that job characteristics affect the work motive distribution of lecturers. This is a new factor in the factors affecting the work motive distribution of public universities lecturers. Conclusion: Based on the research results, the authors propose some recommendations to increase the work motive distribution of public universities lecturers in Hanoi through improving the factors affecting their work motive distribution.

• Proceedings of the ESK Conference
• /
• 1992.10a
• /
• pp.54-62
• /
• 1992

This work has been directed at studying and developing a prototype Computer Aided Design(CAD) tool to be used for planning tendon paths in hand reconstructive surgery. The application of CAD to rehabilitative surgery of the hand is a new field of endeavor. There are currently no existing systems designed to assist the orthopedic surgeon in planning these complex peocedures. Additionally, orthopedic surgeons are not trained in mechanics, kinematics, math modeling, or the use of computers. It was also our intent to study the mechanisms and the efficacy of the application of CAD techniques to this important aspect of hand surgery. The following advances are reported here: Interactive 3D tendon path definition tools., Software to calculate tendon excursion from an arbitrary tendon path crossing any number of joints., A model to interactively compute and display the foirces in muscle and tendon., A workstation environment to help surgeons evaluate the consequences of a simulated tendon transfer operation when a tendon is lengthened, rerouted, or reattached in a mew location., It also has been one of the primary concerns in this work that an interactive graphical surgical workstation must present a natural, user-friendly environment to the orthopedic durgeon user. The surgical workstation must ultimately aid the surgeon in helping his patient or in doing his work more efficiently or more reliably.

• Genomics & Informatics
• /
• v.20 no.4
• /
• pp.41.1-41.9
• /
• 2022

The pathogen Gallibacterium anatis has caused heavy economic losses for commercial poultry farms around the world. However, despite its importance, the functions of its hypothetical proteins (HPs) have been poorly characterized. The present study analyzed the functions and structures of HPs obtained from Gallibacterium anatis (NCTC11413) using various bioinformatics tools. Initially, all the functions of HPs were predicted using the VICMpred tool, and the physicochemical properties of the identified virulence proteins were then analyzed using Expasy's ProtParam server. A virulence protein (WP_013745346.1) that can act as a potential drug target was further analyzed for its secondary structure, followed by homology modeling and three-dimensional (3D) structure determination using the Swiss-Model and Phyre2 servers. The quality assessment and validation of the 3D model were conducted using ERRAT, Verify3D, and PROCHECK programs. The functional and phylogenetic analysis was conducted using ProFunc, STRING, KEGG servers, and MEGA software. The bioinformatics analysis revealed 201 HPs related to cellular processes (n = 119), metabolism (n = 61), virulence (n = 11), and information/storage molecules (n = 10). Among the virulence proteins, three were detected as drug targets and six as vaccine targets. The characterized virulence protein WP_013745346.1 is proven to be stable, a drug target, and an enzyme related to the citrate cycle in the present pathogen. This enzyme was also found to facilitate other metabolic pathways, the biosynthesis of secondary metabolites, and the biosynthesis of amino acids.