• Title/Summary/Keyword: 절차적 언어

Search Result 181, Processing Time 0.026 seconds

On Representations of Linear Systems and Analysis for the Meaning of Elimination Method (연립일차방정식의 다양한 표현과 소거법의 의미에 관한 연구)

  • Kim, Jin Hwan;Park, Kyo Sik
    • School Mathematics
    • /
    • v.17 no.3
    • /
    • pp.407-421
    • /
    • 2015
  • Linear system is a basic subject matter of school mathematics courses. Even though elimination is a useful method to solve linear systems, its fundamental principles were not discussed pedagogically. The purpose of this study is to help the development of mathematical content knowledge on linear systems conceptions. To do this, various representations and translations among them were considered, and in particular, the basic principles for elimination method are analyzed geometrically. Rectangular representation is used to solve word problem treated in numbers of things in elementary mathematics and it is useful as a pre-stage to introduce elimination. Slopes and intercepts of lines associated linear equations are used to obtain the Cramer's formula and this solving method was showing the connection between algebraic and geometric procedures. Strategy deleting variables of linear systems by elementary operations is explored and associated with the movements of lines in the family of lines passing through a fixed point. The development of mathematical content knowledge is expected to enhance pedagogical content knowledges.

Implementation of Software Product-Line Variabiliy Applying Aspect-Oriented Programming (AOP를 적용한 프로덕트 라인 가변기능의 구현)

  • Heo Seung-Hyun;Choi Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.13D no.4 s.107
    • /
    • pp.593-602
    • /
    • 2006
  • Software development methodology has been developed for satisfying goals of improvement in productivity and reduction in time-to-market through the reuse of software assets. The current methods that implement software product-line, one of software development methodologies, interfere massively with the core assets, which require high cost in assembly level reducing the effectiveness. In this paper, we introduce Aspect-Oriented Programming (AOP) as a method for improving assembly process in software product-line. The method that assembles core assets and variabilities is described by grammar elements such as Join point, pointcut and advice without code-change. We analyze requirements of a mini-system as an example adapting AOP and design using UML. Our study implements the variabilities, which are from design stage, using an Aspect-Oriented Programming Language, AspectJ and prove usability and practicality by implementing the proposed idea using an Aspect-Oriented Programming Language, AspectJ.

The Design of Automated System for Ubiquitous Healthcare Examination (유비쿼터스 기반의 건강진단 자동화 시스템의 설계)

  • Kung, Sang-Hwan
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.8 no.3
    • /
    • pp.541-548
    • /
    • 2007
  • The workflow, one of core features for modern business operation, models common elements and their relationships in business processes. The research is focused on how to adapt the workflow model to the healthcare examination which becomes popular these days. Especially, we intend to have fully automated process for healthcare examination by providing customers with PDA with RFTD chip. In order to realize this goal, this paper proposes the design of software architectures the class structures, and the definition of messages used for the system interactions. In other word, the paper shows the analysis of healthcare application in terms of service scenario and the design of workflow engine ant ubiquitous healthcare application under the Object-Oriented programming environment. the The result of the study may also enable the unmanned healthcare examination as well as ubiquitous based healcare examination sooner or later.

  • PDF

A Study on the Object-Oriented Program Slicing using Module Class Dependency Graph (모듈 클래스 종속 그래프를 이용한 객체지향 프로그램 슬라이싱에 관한 연구)

  • Kim, Un-Yong;Jeong, Gye-Dong;Choe, Yeong-Geun
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.7
    • /
    • pp.1805-1816
    • /
    • 1999
  • This paper presents the Module Class Dependency Graph for expressing the dependency relations between classes effectively. The object-oriented language is developed independently at design time, and consists of relationship between classes. Therefore we need to consider these characteristics of independence, and to express effectively the relation of classes which is existed in class hierarchy. In the System Dependence Graph and Class Dependence Graph, the relationship of classes is not expressed. To express the class relationship, we propose the Module Class Dependence Graph, and we verify the effectiveness of this method applying to object constructor, inheritance relationship and dynamic binding. Also, we presents the expressing method of parameter to identify the member data of classes. Using this Module Class Dependency Graph, we can analyze the relationship of module class correctly at design time. This method can be applied to reverse engineering, testing, visualization and other various fields to analyze system.

  • PDF

Verification Methods for Vulnerabilities of Airborne Object-Oriented Software (항공용 객체지향 소프트웨어에 대한 취약점 검증 방안)

  • Jang, Jeong-hoon;Kim, Sung-su;Lee, Ji-hyun
    • Journal of Aerospace System Engineering
    • /
    • v.16 no.2
    • /
    • pp.13-24
    • /
    • 2022
  • As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

Interactive content development of voice pattern recognition (음성패턴인식 인터랙티브 콘텐츠 개발)

  • Na, Jong-Won
    • Journal of Advanced Navigation Technology
    • /
    • v.16 no.5
    • /
    • pp.864-870
    • /
    • 2012
  • Voice pattern recognition technology to solve the problems of the existing problems and common issues that you may have in language learning content analysis. This is the first problem of language-learning content, online learning posture. Game open another web page through the lesson, but the concentration of the students fell. Have not been able to determine the second issue according Speaking has made the learning process actually reads. Third got a problem with the mechanical process by a learning management system, as well by the teacher in the evaluation of students and students who are learning progress between the difference in the two. Finally, the biggest problem, while maintaining their existing content made to be able to solve the above problem. Speaking learning dedicated learning programs under this background, voice pattern recognition technology learning process for speech recognition and voice recognition capabilities for learning itself has been used in the recognition process the data of the learner's utterance as an audio file of the desired change to a transfer to a specific location of the server or SQL server may be easily inserted into any system or program, any and all applicable content that has already been created without damaging the entire component because the new features were available. Contributed to this paper, active participation in class more interactive teaching methods to change.

Development of Web-based Construction-Site-Safety-Management Platform Using Artificial Intelligence (인공지능을 이용한 웹기반 건축현장 안전관리 플랫폼 개발)

  • Siuk Kim;Eunseok Kim;Cheekyeong Kim
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.37 no.2
    • /
    • pp.77-84
    • /
    • 2024
  • In the fourth industrial-revolution era, the construction industry is transitioning from traditional methods to digital processes. This shift has been challenging owing to the industry's employment of diverse processes and extensive human resources, leading to a gradual adoption of digital technologies through trial and error. One critical area of focus is the safety management at construction sites, which is undergoing significant research and efforts towards digitization and automation. Despite these initiatives, recent statistics indicate a persistent occurrence of accidents and fatalities in construction sites. To address this issue, this study utilizes large-scale language-model artificial intelligence to analyze big data from a construction safety-management information network. The findings are integrated into on-site models, which incorporate real-time updates from detailed design models and are enriched with location information and spatial characteristics, for enhanced safety management. This research aims to develop a big-data-driven safety-management platform to bolster facility and worker safety by digitizing construction-site safety data. This platform can help prevent construction accidents and provide effective education for safety practices.

Convergence Reconstruction of Transition Education Model for Korean Students with Disabilities: A Feasibility View on the Development of Support System for Lifelong Education for the Disabled through the Linkage between Schools and Community (한국 장애학생 전환교육(transition education) 모델 융합 재구성: 학교-지역사회 연계 장애인평생교육지원체제 개발 타당성 관점)

  • Kim, Young-Jun;Kim, Wha-Soo;Kwon, Ryang-Hee
    • The Journal of the Convergence on Culture Technology
    • /
    • v.7 no.4
    • /
    • pp.95-104
    • /
    • 2021
  • This study was conducted for the purpose of convergence reconstruction of the transition education model for students with disabilities in Korea. Ultimately, this study was also conducted with the aim of enhancing the perspective of the development of a lifelong education support system for the disabled in connection with schools and communities. The research method consisted of a procedure with a meeting of experts based on the procedure of analyzing the previous research literature that tried to materialize the transition education model for students with disabilities from the viewpoint of connection between school age and adulthood. The contents of this study were reflected in the dimension of ensuring consistent connectivity validity based on the viewpoint of school-centered, community-centered, education, and welfare between special education and lifelong education for the disabled in order to reconstruct the conversion transition education model constructed in the current special education field. Accordingly, the transition education model for students with disabilities built in the field of special education centered on school age minimizes the tendency of a fragmented approach between school age and adulthood, and presents a standard basis and structure that can be linked to the entire adulthood. The transition education model was reconstructed convergence in terms of content.

Contrastive Information Processing in Discourse Comprehension

  • Lee Jung-Mo;Lee Jae-Ho
    • Korean Journal of Cognitive Science
    • /
    • v.16 no.2
    • /
    • pp.69-92
    • /
    • 2005
  • A brief survey of linguistic studies on the nature of contrastive information in discourse was Presented first, and an attempt was also made to incorporate the Linguistic theories and concepts about contrast in discourse into a psychological framework. A tentative model of processing of contrastive information in discourse was Proposed, and eight experimental studies on the effects of contrastive information on comprehension and memory of short and ions discourses were reviewed. Experimental results showed that contrastive sentences took more time to process at encoding, and yet were recognized faster and cued-recalled in greater amount than noncontrastive sentences. It was also found that levels of contrast in the discourse structure have some effects on encoding time. It was further found that the sentence immediately following the contrastive sentence was processed slowly regardless of whether it does or does not resolve the contrast. The implications of the results of empirical studies were discussed in relation to developing a research framework that integrate coherence studies and contrast studies urns the two disciplines of linguistics and cognitive psychology.

  • PDF

Development of Web-based Dosimetry Calibration Program for High Energy Radiation (웹 기반 고 에너지 방사선에 대한 흡수선량 교정 프로그램 개발)

  • Shin Dong Oh;Shin Dong Ho;Kim Sung Hoon;Park Sung Yong;Seo Won Seop;Ahn Hee Kyung;Kang Jin Oh;Hong Seong Eon
    • Progress in Medical Physics
    • /
    • v.16 no.3
    • /
    • pp.116-124
    • /
    • 2005
  • Absorbed dose dosimetry protocols of high energy photon and electron beams, which are widely used and based on an air kerma calibration factors, have somewhat complex formalism and limitations for improving dosimetric accuracy due to uncertainty of the physical parameters used. Recently the IAEA and the AAPM published the absorbed dose to water-based dosimetry protocol. In this work web-based dose calibration program for IAEA TRS-398 and AAPM TG-51 protocols were developed. This program developed using the Visual C$\#$ language can be used in the internet. User selectable dosimetry protocol on the web allows the absorbed dose to water data of the two protocols at a reference point to be easily compared, and enables to conveniently manage and understand the current status of the dosimetry calibration performed at participating institutions in korea. This program and the resultant database from the web-based calibration can be useful in developing new dosimetry protocols in Korea.

  • PDF