• Title/Summary/Keyword: functional programming

Search Result 148, Processing Time 0.022 seconds

Implementation of Wireless Network simulator considering a User's Call Characteristics (사용자 통화 특성을 고려한 무선 네트워크 시뮬레이터 구현)

  • Yoon, Young Hyun
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.5 no.3
    • /
    • pp.107-115
    • /
    • 2009
  • Traditionally, simulation method is used to test and evaluate the performance of communication protocol or functional elements for mobile communication service. In this paper, wireless network simulator is implemented using the C++ object-oriented programming language. This simulator can simulate wireless data services, like as ad-hoc networks, by considering the user's mobility. In this paper, the simulator includes network traffic model to reflect wireless data service and traffic source model to represent a user's mobility similar to real service environment and traffic characteristics can be reflected on the simulation, and also more accurate simulation results can be got through that. In addition, by using object-oriented techniques, new service feature or environment can be easily added or changed so that the developed mobile communication simulator can reflect the real service environment all the time. This simulator can be used in adjusting the characteristics of wireless data hosts following the mobility of the user, and also can be used in building new wireless ad-hoc network routing protocols.

Design And Implementation Of A Lecture Supporting Web Site Construction System Using Remote Execution Techniques (원격실행 기술을 이용한 강의지원 웹사이트 자동생성시스템 설계 및 구현)

  • Im, In-Taek;Kim, Jae-Il;Song, Gyu-Baek;Kim, Jong-Geun
    • The Transactions of the Korea Information Processing Society
    • /
    • v.7 no.6
    • /
    • pp.1911-1922
    • /
    • 2000
  • Recently, various web page development tools for both the beginner and the experienced user are introduced. These tools allow them to generate web pages easily and quickly. However the web pages generated by the tools have lots of functional limitations. Generally authors must have much knowledge for web authoring tools, HTML, CGI programming to open web sites for special purpose. Especially, most of the lecture supporting web site necessarily requires much effort to construct it as well as special functions using CGI, Javascript, Java Applet, etc. to generate dynamic web pages. In order to solve above mentioned limitations, we design and implement an automatic web site construction system using RASIS based on remote execution technologies.

  • PDF

SOME FIXED POINT THEOREMS VIA COMMON LIMIT RANGE PROPERTY IN NON-ARCHIMEDEAN MENGER PROBABILISTIC METRIC SPACES

  • Nashine, Hemant Kumar;Kadelburg, Zoran
    • Bulletin of the Korean Mathematical Society
    • /
    • v.52 no.3
    • /
    • pp.789-807
    • /
    • 2015
  • We propose coincidence and common fixed point results for a quadruple of self mappings satisfying common limit range property and weakly compatibility under generalized ${\Phi}$-contractive conditions i Non-Archimedean Menger PM-spaces. As examples we exhibit different types of situations where these conditions can be used. A common fixed point theorem for four finite families of self mappings is presented as an application of the proposed results. The existence and uniqueness of solutions for certain system of functional equations arising in dynamic programming are also presented as another application.

Improved Optimal Approximated Unfolding Algorithm of a Curved Shell Plate with Automatic Mesh Generation (자동 메쉬 생성을 적용한 향상된 자유 곡면의 최적 근사 전개 알고리즘)

  • Ryu C.H.;Shin J.G.
    • Korean Journal of Computational Design and Engineering
    • /
    • v.11 no.3
    • /
    • pp.157-163
    • /
    • 2006
  • Surfaces of many engineering structures, especially, those of ships are commonly made out of either single- or double-curved surfaces to meet functional requirements. The first step in the fabrication process of a three-dimensional design surface is unfolding or flattening the surface, otherwise known as planar development, so that manufacturers can determine the initial flat plate which is required to form the design shape. In this paper, an algorithm for optimal approximated development of a general curved surface, including both single- and double-curved surfaces, is established by minimizing the strain energy of deformation from its planar development to the design surface. The unfolding process is formulated into a constrained nonlinear programming problem, based on the deformation theory and finite element. Constraints are subjected to the characteristics of the fabrication method. And the design surface, or the curved shell plate is subdivided by automatic mesh generation.

An Implementation of Single Stack Multi-threading for Small Embedded Systems

  • Kim, Yong-Seok
    • Journal of the Korea Society of Computer and Information
    • /
    • v.21 no.4
    • /
    • pp.1-8
    • /
    • 2016
  • In small embedded systems including IoT devices, memory size is very small and it is important to reduce memory amount for execution of application programs. For multi-threaded applications, stack may consume a large amount of memory because each thread has its own stack of sufficiently large size for worst case. This paper presents an implementation of single stack multi-threading, called SSThread (Single Stack Thread), by sharing a stack for all threads to reduce stack memory size. By using SSThread, multi-threaded applications can be programmed based on normal C language environment and there is no requirement of transporting multi-threading operating systems. It consists of several library functions and various C macro definitions. Even though some functional restrictions in comparison to operating systems supporting complete multi-thread functionalities, it is very useful for small embedded systems with tiny memory size and it is simple to setup programming environment for multi-thread applications.

STEP-based Information Management of Steel Bridge Using ACIS Soild Modeler (ACIS 솔리드 모델러를 이용한 STEP기반의 강교량정보 운용체계)

  • 이상호;정연석;김소운
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2004.10a
    • /
    • pp.371-376
    • /
    • 2004
  • This study presents a way to generate and manage engineering information by applying steel bridge information model with 3D shape to existing application program. ACIS solid modeling kernel is used to visualize 3D geometric shape of steel bridge on the AutoCAD program. The shape information of 3D solid model can be connected to structural design information of steel bridge by an application module based on information model. The application module for manipulating steel bridge information can be easily developed by ObjectARX programming library supporting functional expansion of AutoCAD program. End-users can use the application module without any additional environmental setup on the AutoCAD. Thus this study facilitates information management of steel bridge by using ACIS solid modeler and ISO/STEP methodology.

  • PDF

Semiparametric support vector machine for accelerated failure time model

  • Hwang, Chang-Ha;Shim, Joo-Yong
    • Journal of the Korean Data and Information Science Society
    • /
    • v.21 no.4
    • /
    • pp.765-775
    • /
    • 2010
  • For the accelerated failure time (AFT) model a lot of effort has been devoted to develop effective estimation methods. AFT model assumes a linear relationship between the logarithm of event time and covariates. In this paper we propose a semiparametric support vector machine to consider situations where the functional form of the effect of one or more covariates is unknown. The proposed estimating equation can be computed by a quadratic programming and a linear equation. We study the effect of several covariates on a censored response variable with an unknown probability distribution. We also provide a generalized approximate cross-validation method for choosing the hyper-parameters which affect the performance of the proposed approach. The proposed method is evaluated through simulations using the artificial example.

A Software Architecture for Highly Reconfigurable Sensor Operating Systems (재구성 가능한 고성능 센서 운영체제를 위한 소프트웨어 아키텍처 설계)

  • Kim, Tae-Hwan;Kim, Hie-Cheol
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.2 no.4
    • /
    • pp.242-250
    • /
    • 2007
  • Wireless sensor networks are subject to highly heterogeneous system requirements in terms of their functionality and performance due to their broad application areas. Though the heterogeneity hinders the opportunity of developing a single universal platform for sensor networks, efforts to provide uniform, inter-operable and scalable ones for sensor networks are still essential for the growth of the industry as well as their technological advance. As a part of our work to develop such a robust platform, this paper presents the software architecture for sensor nodes with focus on our sensor node operating system and its configuration methodology. Addressing principle issues in its design space which includes programming, execution, task scheduling and software layer models, our architecture is highly reconfigurable with respect to system resources and functional requirements and also highly efficient in supporting multi-threading under small system resources.

  • PDF

Limit Analysis of Axisymmetric Forward Extrusion (축 대칭 전방 압출의 극한 해석)

  • Kim, Byung-Min;Choi, In-Keun;Choi, Jae-Chan;Lee, Jong-Soo
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.8 no.3
    • /
    • pp.93-104
    • /
    • 1991
  • Limit analysis is based on the duality theorem which equates the least upper bound to the greatest lower bound. In this study, limit analysis of axisymmetric forming problem with workhardening materials is formulated by minimizing the upper bound functional and finite element program is developed for forward estrusion. Limit loads, velocity and flow line fields are directly obtained under various process conditions and deformation characteristics such as strains, strain rates and grid distortion are obtained from the optimum velocity components by numerical calculation. The experimental observation was carried out for extrusion and compared with computed results. The good agreement between theoretical and experimental results is shown that the developed programming is very effective for the analysis of axisymmetric extrusion.

  • PDF

Optimal Inspection Model for Dependent Product Quality (종속품질의 최적검사 수리모형)

  • 유정상
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.21 no.47
    • /
    • pp.101-112
    • /
    • 1998
  • Recently, researchers show growing interest on product quality characteristic dependence and designing acceptance sampling plans under the quality dependence. This research intends to resolve a few theoretical and practical questions for better application of acceptance sampling when the quality characteristic of product items exhibits a statistical dependence and samples are inspected according to the production order. In this research, a mathematical programming model is developed for the economic modeling of sampling plans based on two evaluation criteria : the average outgoing quality(AOQ) and the average total inspection cost. An efficient solution procedure is then proposed using the functional structure of the two evaluation criteria and the procedure is numerically illustrated.

  • PDF