• Title/Summary/Keyword: computational tools

Search Result 524, Processing Time 0.028 seconds

The preliminary study of developing computational thinking practice analysis tool and its implementation (컴퓨팅 사고 실천 분석도구 개발 및 이의 활용에 대한 기초연구)

  • Park, Young-Shin;Hwang, Jin-Kyung
    • Journal of the Korean Society of Earth Science Education
    • /
    • v.10 no.2
    • /
    • pp.140-160
    • /
    • 2017
  • The purpose of this study was to develop computational thinking (CT) analysis tool that can be used to analyze CT practices; first, by defining what CT practices are, and then, by identifying which components of CT are reflected in STEAM classes. Exploring various kinds of CT practices, which can be identified while applying the proposed CT analysis tool for exemplary STEAM classes, is another goal of this study. Firstly, to answer the question of "What is CT in science education" and thereby to develop the proposed CT practice analysis tool, three types of published documents about CT definition as the main data in this study have been considered. In the first "analysis tool development" part of this study, the following five elements have been identified as the main components of CT analysis tool as follows; (1) connecting open problems with computing, (2) using tools or computers to develop computing artifact, (3) abstraction process, (4) analyzing and evaluating computing process and artifact, and (5) communicating and cooperating. Based on the understandings that there is a consistent flow among the five components due to their interactions, a flow chart of CT practice has also been developed. In the second part of this study, which is an implementation study, the proposed CT practice analysis tool has been applied in one exemplary STEAM program. To select the candidate STEAM program, four selection criteria have been identified. Then, the proposed CT practice analysis tool has been applied for the selected STEAM program to determine the degree of CT practice reflected in the program and furthermore, to suggest a way of improving the proposed CT analysis tool if it shows some weak points. Through the findings of this study, we suggest that the actual definition of computational thinking will be helpful to converge Technology and Engineering to STEAM education and a strong complement to reinforce STEAM education.

Elementary School Teacher's Recognition on Establishing the Concept of Software Gifted Persons (소프트웨어 영재상 정립을 위한 초등교사의 인식 조사)

  • Lee, Jaeho;Jang, Junhyung;Shin, Hyunkyung
    • Journal of Gifted/Talented Education
    • /
    • v.27 no.1
    • /
    • pp.97-118
    • /
    • 2017
  • This paper aims to provide reference model for directions and objectives of Software(SW) gifted education. In order to achieve the goals introduced above, we conducted the research in the following steps. First, we selected the concept of ICT-based creative talented person as a base model to establish the concept of SW gifted person. The selected base model composed three core competencies which were 'knowledge and technology competencies', 'synthesizing and creativity competencies', and 'personality competencies'. Second, we developed survey tools, like questionnaires, to investigate participant's recognition of SW gifted person. The survey tools composed three components 'computational thinking', 'entrepreneurship', and 'social responsibility'. Each of the components composed seven elements. Third, after selecting the opinion poll participants as an elementary school teacher, we surveyed opinion polling. By selecting an elementary school teacher as the opinion poll participants, we wanted to identify theirs ' opinions which are thought to be the starting point for gifted education. To survey we developed on-line survey system by using Google functions. Fourth, we analyzed the collected opinion data. To identify we summarized and synthesized participant's opinions that average values and agreement level by using frequency analysis. Also, in order to compare opinions that average values and agreement level based on whether or not participant's various experiences and competencies we computed t-value, F-value, and ${\chi}^2$ verification.

PPEditor: Semi-Automatic Annotation Tool for Korean Dependency Structure (PPEditor: 한국어 의존구조 부착을 위한 반자동 말뭉치 구축 도구)

  • Kim Jae-Hoon;Park Eun-Jin
    • The KIPS Transactions:PartB
    • /
    • v.13B no.1 s.104
    • /
    • pp.63-70
    • /
    • 2006
  • In general, a corpus contains lots of linguistic information and is widely used in the field of natural language processing and computational linguistics. The creation of such the corpus, however, is an expensive, labor-intensive and time-consuming work. To alleviate this problem, annotation tools to build corpora with much linguistic information is indispensable. In this paper, we design and implement an annotation tool for establishing a Korean dependency tree-tagged corpus. The most ideal way is to fully automatically create the corpus without annotators' interventions, but as a matter of fact, it is impossible. The proposed tool is semi-automatic like most other annotation tools and is designed to edit errors, which are generated by basic analyzers like part-of-speech tagger and (partial) parser. We also design it to avoid repetitive works while editing the errors and to use it easily and friendly. Using the proposed annotation tool, 10,000 Korean sentences containing over 20 words are annotated with dependency structures. For 2 months, eight annotators have worked every 4 hours a day. We are confident that we can have accurate and consistent annotations as well as reduced labor and time.

Towards Safety Based Design Procedure for Ships

  • Bakker, Marijn;Boonstra, Hotze;Engelhard, Wim;Daman, Bart
    • Journal of Ship and Ocean Technology
    • /
    • v.5 no.3
    • /
    • pp.1-13
    • /
    • 2001
  • Present-day rules and regulations for the design and construction of ships are almost without exemption of a prescriptive and deterministic nature. Often it is argued that this situation is far from ideal; it does no right to the advances, which have been made during the past decades in engineering tools in marine technology, both in methodology and in computational power. Within IMO this has been realized for some time and has resulted in proposals to use Formal Safety Assessment(FSA) as a tool to improve and to modernize the rule making process. The present paper makes use of elements of the FSA methodology, but instead of working towards generic regulations or requirements, a Risk Assessment Approach, not unlike a 'safety case'; valid for a certain ship or type of ship is worked out. Delft University of Technology investigated the application of safely assessment procedures in ship design, in co-operation with Anthony Veder Shipowners and safety experts from Safely Service Center BV. The ship considered is a semi-pressurized-fully refrigerated LPG carrier. On the basis of the assumption that a major accident occurs, various accident, scenarios were considered and assessed, which would impair the safety of the carrier. In a so-called Risk Matrix, in which accident frequencies versus the consequence of the scenarios are depicted, the calculated risks all appeared lo be in the ALARP('as low as reasonable practicable') region. A number of design alternatives were compared, both on safety merits and cost-effectiveness. The experience gained with this scenario-based approach will be used to establish a set of general requirements for safety assessment techniques in ship design. In the view that assessment results will be most probably presented in a quasi-quantified manner, the requirements are concerned with uniformity of both the safety assessment. These requirements make it possible that valid comparison between various assessment studies can be made. Safety assessment, founded on these requirements, provides a validated and helpful source of data during the coming years, and provides naval architects and engineers with tools experience and data for safety assessment procedures in ship design. However a lot of effort has to be spent in order to make the methods applicable in day-to-day practice.

  • PDF

Computational Optimization of Bioanalytical Parameters for the Evaluation of the Toxicity of the Phytomarker 1,4 Napthoquinone and its Metabolite 1,2,4-trihydroxynapththalene

  • Gopal, Velmani;AL Rashid, Mohammad Harun;Majumder, Sayani;Maiti, Partha Pratim;Mandal, Subhash C
    • Journal of Pharmacopuncture
    • /
    • v.18 no.2
    • /
    • pp.7-18
    • /
    • 2015
  • Objectives: Lawsone (1,4 naphthoquinone) is a non redox cycling compound that can be catalyzed by DT diaphorase (DTD) into 1,2,4-trihydroxynaphthalene (THN), which can generate reactive oxygen species by auto oxidation. The purpose of this study was to evaluate the toxicity of the phytomarker 1,4 naphthoquinone and its metabolite THN by using the molecular docking program AutoDock 4. Methods: The 3D structure of ligands such as hydrogen peroxide ($H_2O_2$), nitric oxide synthase (NOS), catalase (CAT), glutathione (GSH), glutathione reductase (GR), glucose 6-phosphate dehydrogenase (G6PDH) and nicotinamide adenine dinucleotide phosphate hydrogen (NADPH) were drawn using hyperchem drawing tools and minimizing the energy of all pdb files with the help of hyperchem by $MM^+$ followed by a semi-empirical (PM3) method. The docking process was studied with ligand molecules to identify suitable dockings at protein binding sites through annealing and genetic simulation algorithms. The program auto dock tools (ADT) was released as an extension suite to the python molecular viewer used to prepare proteins and ligands. Grids centered on active sites were obtained with spacings of $54{\times}55{\times}56$, and a grid spacing of 0.503 was calculated. Comparisons of Global and Local Search Methods in Drug Docking were adopted to determine parameters; a maximum number of 250,000 energy evaluations, a maximum number of generations of 27,000, and mutation and crossover rates of 0.02 and 0.8 were used. The number of docking runs was set to 10. Results: Lawsone and THN can be considered to efficiently bind with NOS, CAT, GSH, GR, G6PDH and NADPH, which has been confirmed through hydrogen bond affinity with the respective amino acids. Conclusion: Naphthoquinone derivatives of lawsone, which can be metabolized into THN by a catalyst DTD, were examined. Lawsone and THN were found to be identically potent molecules for their affinities for selected proteins.

Big Data Analytics in RNA-sequencing (RNA 시퀀싱 기법으로 생성된 빅데이터 분석)

  • Sung-Hun WOO;Byung Chul JUNG
    • Korean Journal of Clinical Laboratory Science
    • /
    • v.55 no.4
    • /
    • pp.235-243
    • /
    • 2023
  • As next-generation sequencing has been developed and used widely, RNA-sequencing (RNA-seq) has rapidly emerged as the first choice of tools to validate global transcriptome profiling. With the significant advances in RNA-seq, various types of RNA-seq have evolved in conjunction with the progress in bioinformatic tools. On the other hand, it is difficult to interpret the complex data underlying the biological meaning without a general understanding of the types of RNA-seq and bioinformatic approaches. In this regard, this paper discusses the two main sections of RNA-seq. First, two major variants of RNA-seq are described and compared with the standard RNA-seq. This provides insights into which RNA-seq method is most appropriate for their research. Second, the most widely used RNA-seq data analyses are discussed: (1) exploratory data analysis and (2) pathway enrichment analysis. This paper introduces the most widely used exploratory data analysis for RNA-seq, such as principal component analysis, heatmap, and volcano plot, which can provide the overall trends in the dataset. The pathway enrichment analysis section introduces three generations of pathway enrichment analysis and how they generate enriched pathways with the RNA-seq dataset.

Topology Design Optimization and Experimental Validation of Heat Conduction Problems (열전도 문제에 관한 위상 최적설계의 실험적 검증)

  • Cha, Song-Hyun;Kim, Hyun-Seok;Cho, Seonho
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.28 no.1
    • /
    • pp.9-18
    • /
    • 2015
  • In this paper, we verify the optimal topology design for heat conduction problems in steady stated which is obtained numerically using the adjoint design sensitivity analysis(DSA) method. In adjoint variable method(AVM), the already factorized system matrix is utilized to obtain the adjoint solution so that its computation cost is trivial for the sensitivity. For the topology optimization, the design variables are parameterized into normalized bulk material densities. The objective function and constraint are the thermal compliance of the structure and the allowable volume, respectively. For the experimental validation of the optimal topology design, we compare the results with those that have identical volume but designed intuitively using a thermal imaging camera. To manufacture the optimal design, we apply a simple numerical method to convert it into point cloud data and perform CAD modeling using commercial reverse engineering software. Based on the CAD model, we manufacture the optimal topology design by CNC.

Isogeometric Analysis of Mindlin Plate Structures Using Commercial CAD Codes (상용 CAD와 연계한 후판 구조의 아이소-지오메트릭 해석)

  • Lee, Seung-Wook;Koo, Bon-Yong;Yoon, Min-Ho;Lee, Jae-Ok;Cho, Seon-Ho
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.24 no.3
    • /
    • pp.329-335
    • /
    • 2011
  • The finite element method (FEM) has been used for various fields like mathematics and engineering. However, the FEM has a difficulty in describing the geometric shape exactly due to its property of piecewise linear discretization. Recently, however, a so-called isogeometric analysis method that uses the non-uniform rational B-spline(NURBS) basis function has been developed. The NURBS can be used to describe the geometry exactly and play a role of basis functions for the response analysis. Nevertheless, constructing the NURBS basis functions in analysis is as costly as a meshing process in the FEM. Since the isogeometric method shares geometric data with CAD, it is possible to intactly import the model data from commercial CAD tools. In this paper, we use the Rhinoceros 3D software to create CAD models and export in the form of STEP file. The information of knot vectors and control points in the NURBS is utilized in the isogeometric analysis. Through some numerical examples, the accuracy of isogeometric method is compared with that of FEM. Also, the efficiency of the isogeometric method that includes the CAD and CAE in a unified framework is verified.

Assessment of Extreme Wind Risk for Window Systems in Apartment Buildings Based on Probabilistic Model (확률 모형 기반의 아파트 창호 시스템 강풍 위험도 평가)

  • Ham, Hee Jung;Yun, Woo-Seok;Choi, Seung Hun;Lee, Sungsu;Kim, Ho-Jeong
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.28 no.6
    • /
    • pp.625-633
    • /
    • 2015
  • In this study, a coupled probabilistic framework is developed to assess wind risk on apartment buildings by using the convolution of wind hazard and fragility functions. In this framework, typhoon induced extreme wind is estimated by applying the developed Monte Carlo simulation model to the climatological data of typhoons affecting Korean peninsular from 1951 to 2013. The Monte Carlo simulation technique is also used to assess wind fragility function for 4 different damage states by comparing the probability distributions of the window system's resistance performance and wind load. Wind hazard and fragility functions are modeled by the Weibull and lognormal probability distributions based on simulated wind speeds and failure probabilities. The modeled functions are convoluted to obtain the wind risk for the different damage levels. The developed probabilistic framework clearly shows that wind risk are influenced by various important characteristics of terrain and apartment building such as location of building, exposure category, topographic condition, roof angle, height of building, etc. The risk model presented in this paper can be used as tools to predict economic loss estimation and to establish wind risk mitigation plan for the existing building inventory.

Multiscale Modeling and Simulation of Direct Methanol Fuel Cell (직접메탄올 연료전지의 Multiscale 모델링 및 전산모사)

  • Kim, Min-Su;Lee, Young-Hee;Kim, Jung-Hwan;Kim, Hong-Sung;Lim, Tae-Hoon;Moon, Il
    • Membrane Journal
    • /
    • v.20 no.1
    • /
    • pp.29-39
    • /
    • 2010
  • This study focuses on the modeling of DMFC to predict the characteristics and to improve its performance. This modeling requires deep understanding of the design and operating parameters that influence on the cell potential. Furthermore, the knowledge with reference to electrochemistry, transport phenomena and fluid dynamics should be employed for the duration of mathematical description of the given process. Considering the fact that MEA is the nucleus of DMFC, special attention was made to the development of mathematical model of MEA. Multiscale modeling is comprised of process modeling as well as a computational fluid dynamics (CFD) modeling. The CFD packages and process simulation tools are used in simulating the steady-state process. The process simulation tool calculates theelectrochemical kinetics as well as the change of fractions, and at the same time, CFD calculates various balance equations. The integrated simulation with multiscal modeling explains experimental observations of transparent DMFC.