• Title/Summary/Keyword: 함수형 언어

Search Result 88, Processing Time 0.025 seconds

Representation and Implementation of Graph Algorithms based on Relational Database (관계형 데이타베이스에 기반한 그래프 알고리즘의 표현과 구현)

  • Park, Hyu-Chan
    • Journal of KIISE:Databases
    • /
    • v.29 no.5
    • /
    • pp.347-357
    • /
    • 2002
  • Graphs have provided a powerful methodology to solve a lot of real-world problems, and therefore there have been many proposals on the graph representations and algorithms. But, because most of them considered only memory-based graphs, there are still difficulties to apply them to large-scale problems. To cope with the difficulties, this paper proposes a graph representation and graph algorithms based on the well-developed relational database theory. Graphs are represented in the form of relations which can be visualized as relational tables. Each vertex and edge of a graph is represented as a tuple in the tables. Graph algorithms are also defined in terms of relational algebraic operations such as projection, selection, and join. They can be implemented with the database language such as SQL. We also developed a library of basic graph operations for the management of graphs and the development of graph applications. This database approach provides an efficient methodology to deal with very large- scale graphs, and the graph library supports the development of graph applications. Furthermore, it has many advantages such as the concurrent graph sharing among users by virtue of the capability of database.

Interactive Statistics Laboratory using R and Sage (R을 활용한 '대화형 통계학 입문 실습실' 개발과 활용)

  • Lee, Sang-Gu;Lee, Geung-Hee;Choi, Yong-Seok;Lee, Jae Hwa;Lee, Jenny Jyoung
    • Communications of Mathematical Education
    • /
    • v.29 no.4
    • /
    • pp.573-588
    • /
    • 2015
  • In this paper, we introduce development process and application of a simple and effective model of a statistics laboratory using open source software R, one of leading language and environment for statistical computing and graphics. This model consists of HTML files, including Sage cells, video lectures and enough internet resources. Users do not have to install statistical softwares to run their code. Clicking 'evaluate' button in the web page displays the result that is calculated through cloud-computing environment. Hence, with any type of mobile equipment and internet, learners can freely practice statistical concepts and theorems via various examples with sample R (or Sage) codes which were given, while instructors can easily design and modify it for his/her lectures, only gathering many existing resources and editing HTML file. This will be a resonable model of laboratory for studying statistics. This model with bunch of provided materials will reduce the time and effort needed for R-beginners to be acquainted with and understand R language and also stimulate beginners' interest in statistics. We introduce this interactive statistical laboratory as an useful model for beginners to learn basic statistical concepts and R.

The Algorithm For Spatial XQuery2SQL Converter (Spatial XQuery2SQL Converter를 위한 알고리즘)

  • Choi, Young Nn;Seo, Hyun-Ho
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2004.11a
    • /
    • pp.442-447
    • /
    • 2004
  • XML is normalized text form that is designed to transmit structured document in web as that propose in W3C (World Wide Web Consortium) in 1996. Function that this can overcome HTML's limit that use in existing in Internet and user define new tag to HTML by way to solve SGML's complexity added. There is many efforts to use storing this XML document in RDBMS but to relation style DB because XML document is tree structure structurally data SQL and perfect disaster caused by things that is language to ask a question accomplish XQuery that so it is W3C's XML standard query appear. After store XML informations including space information to RDBMS in this paper, Spatial XQuery through converter that is Sqatial XQuery2SQL through Spatial operator, Spatial function SQL of by Sqatial XQuery2SQL conversion algorithm that draw information in RDBMS after change embody wish to.

  • PDF

Similarity Detection in Object Codes and Design of Its Tool (목적 코드에서 유사도 검출과 그 도구의 설계)

  • Yoo, Jang-Hee
    • Journal of Software Assessment and Valuation
    • /
    • v.16 no.2
    • /
    • pp.1-8
    • /
    • 2020
  • The similarity detection to plagiarism or duplication of computer programs requires a different type of analysis methods and tools according to the programming language used in the implementation and the sort of code to be analyzed. In recent years, the similarity appraisal for the object code in the embedded system, which requires a considerable resource along with a more complicated procedure and advanced skill compared to the source code, is increasing. In this study, we described a method for analyzing the similarity of functional units in the assembly language through the conversion of object code using the reverse engineering approach, such as the reverse assembly technique to the object code. The instruction and operand table for comparing the similarity is generated by using the syntax analysis of the code in assembly language, and a tool for detecting the similarity is designed.

Improving Haskell GC-Tuning Time Using Divide-and-Conquer (분할 정복법을 이용한 Haskell GC 조정 시간 개선)

  • An, Hyungjun;Kim, Hwamok;Liu, Xiao;Kim, Yeoneo;Byun, Sugwoo;Woo, Gyun
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.6 no.9
    • /
    • pp.377-384
    • /
    • 2017
  • The performance improvement of a single core processor has reached its limit since the circuit density cannot be increased any longer due to overheating. Therefore, the multicore and manycore architectures have emerged as viable approaches and parallel programming becomes more important. Haskell, a purely functional language, is getting popular in this situation since it naturally supports parallel programming owing to its beneficial features including the implicit parallelism in evaluating expressions and the monadic tools supporting parallel constructs. However, the performance of Haskell parallel programs is strongly influenced by the performance of the run-time system including the garbage collector. Though a memory profiling tool namely GC-tune has been suggested, we need a more systematic way to use this tool. Since GC-tune finds the optimal memory size by executing the target program with all the different possible GC options, the GC-tuning time takes too long. This paper suggests a basic divide-and-conquer method to reduce the number of GC-tune executions by reducing the search area by one-quarter for every searching step. Applying this method to two parallel programs, a maximally independent set and a K-means programs, the memory tuning time is reduced by 7.78 times with accuracy 98% on average.

Susceptibility-Contrast-Enhanced MR Venography of Cat Brain Using Tailored RF Pulse at High Magnetic Field of 4.7 Tesla Superconducting Magnet (4.7T 고자장 초전도 자석에서 Tailored RF를 이용한 고양이 뇌의 자화율 강조영상법에 의한 자기공명혈관 조영술)

  • Moon, Chi-Woong;Kim, Sang-Tae;Lee, Dae-Geun;Im, Tae-Hwan;No, Yong-Man;Cho, Jang-Hee;Lee, Yoon
    • Progress in Medical Physics
    • /
    • v.5 no.1
    • /
    • pp.55-66
    • /
    • 1994
  • After proving home-made imaging pulse sequences including tailored RF pulse by phantom, susceptibility-contrast-enhanced MR venograms of cat brain were obtained using tailored RF gradient-echo(TRGE) method. Sagittal MR imaging of the cat brain obtained by TRGE technique shows several veins, for example, dorsal sagittal sinus, straight sinus, vein of corpus callosum and internal cerebral vein, etc., compared with cats anatomical figure. Tailored RF waveform was generated by PASCAL language in ASPECT 3000 computer(Switzland, Bruker). Rectangular-shaped slice profile with bi-linear ramp function as phase distribution in the slice, at which maximum value was 2$\pi$, was fourier transformed to make tailored RF pulse. Experimental MR imaging parameters were TR/TE=205/10 msec, slice thickness TH=7mm, maxtrix size=256$\times$256, in-plane resolution=0.62$\times$0.31mm$^2$, and field of view(FOV)=8cm for both conventional gradient-echo(GE) imaging and TRGE imaging techniques.

  • PDF

SNMPv3 Security Module Design and Implementation Using Public Key (공개키를 이용한 SNMPv3 보안 모듈 설계 및 구현)

  • Han, Ji-Hun;Park, Gyeong-Bae;Gwak, Seung-Uk;Kim, Jeong-Il;Jeong, Geun-Won;Song, In-Geun;Lee, Gwang-Bae;Kim, Hyeon-Uk
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.1
    • /
    • pp.122-133
    • /
    • 1999
  • Uses can share information and use resources effectively by using TCP/IP-based networks. So, a protocol to manage complex networks effectively is needed. For the management of the distributed networks, the SNMP(Simple Network Management Protocol) has been adopted as an international standard in 1989, and the SNMPv2 in which a security function was added was published in 1993. There are two encryption schemes in SNMPv2, the one is a DES using symmetric encryption scheme and the other is a MD5(Message Digest5) hash function for authentication. But the DES has demerits that a key length is a few short and the encryption and the authentication is executed respectively. In order to solve these problems, wer use a RSA cryptography in this paper. In this paper, we examine the items related with SNMP. In addition to DES and MD5 propose in SNMPv3, we chance security functionality by adopting RSA, a public key algorithm executing the encryption and the authentication simultaneously. The proposed SNMPv3 security module is written in JAVA under Windows NT environment.

  • PDF

A Study on Electron Dose Distribution of Cones for Intraoperative Radiation Therapy (수술중 전자선치료에 있어서 선량분포에 관한 연구)

  • Kang, Wee-Saing;Ha, Sung-Whan;Yun, Hyong-Geun
    • Progress in Medical Physics
    • /
    • v.3 no.2
    • /
    • pp.1-12
    • /
    • 1992
  • For intraoperative radiation therapy using electron beams, a cone system to deliver a large dose to the tumor during surgical operation and to save the surrounding normal tissue should be developed and dosimetry for the cone system is necessary to find proper X-ray collimator setting as well as to get useful data for clinical use. We developed a docking type of a cone system consisting of two parts made of aluminum: holder and cone. The cones which range from 4cm to 9cm with 1cm step at 100cm SSD of photon beam are 28cm long circular tubular cylinders. The system has two 26cm long holders: one for the cones larger than or equal to 7cm diamter and another for the smaller ones than 7cm. On the side of the holder is an aperture for insertion of a lamp and mirror to observe treatment field. Depth dose curve. dose profile and output factor at dept of dose maximum. and dose distribution in water for each cone size were measured with a p-type silicone detector controlled by a linear scanner for several extra opening of X-ray collimators. For a combination of electron energy and cone size, the opening of the X-ray collimator was caused to the surface dose, depths of dose maximum and 80%, dose profile and output factor. The variation of the output factor was the most remarkable. The output factors of 9MeV electron, as an example, range from 0.637 to 1.549. The opening of X-ray collimators would cause the quantity of scattered electrons coming to the IORT cone system. which in turn would change the dose distribution as well as the output factor. Dosimetry for an IORT cone system is inevitable to minimize uncertainty in the clinical use.

  • PDF