• Honam Mathematical Journal
• /
• v.44 no.1
• /
• pp.26-35
• /
• 2022

In this paper we introduce two type of representations of the Pascal matrix via induced transformations of some q-derivatives as well as their some combinatorial applications.

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.2
• /
• pp.65-76
• /
• 2023

With the Stirling matrix S of the second kind and the Pascal matrix T, we study recurrence rules and sequences of certain sums over the matrix ST^k. We find a matrix E satisfying ST = ES and interrelations of S and the Stirling matrix of the first kind.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.29B no.11
• /
• pp.1-7
• /
• 1992

The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.1
• /
• pp.15-31
• /
• 2005

Nowadays, the road safety is an important research field. One of the principal research topics in this field is the vehicle localization in the road network. This article presents an approach of multi sensor fusion able to locate a vehicle with a decimeter precision. The different informations used in this method come from the following sensors: a low cost GPS, a numeric camera, an odometer and a steer angle sensor. Taking into account a complete model of errors on GPS data (bias on position and nonwhite errors) as well as the data provided by an original approach coupling a vision algorithm with a precise numerical map allow us to get this precision.

• International Journal of CAD/CAM
• /
• v.2 no.1
• /
• pp.1-12
• /
• 2002

Computer-Aided Reliable and Optimal Design (CAROD) system is an efficient tool defining the best compromise between cost and safety. Using the concurrent engineering concept, it can supply the designer with all numerical information in the design process. This system integrates several fields such as multidisciplinary optimization, reliability analysis, finite element analysis, geometrical modeling, sensitivity analysis and concurrent engineering. When integrating these disciplines, many difficulties are found such as model coupling and computational time. In this paper, we propose a new concurrent methodology satisfying the reliability requirement, allowing the coupling of different models and reducing the computational time. Two applications (rotating disk and hook structures) demonstrate that CAROD system can be a practical concurrent engineering application for designers.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.2
• /
• pp.172-180
• /
• 2017

The fractal structures, which include Sierpinski and Pascal triangular fractals, have provided many mathematical interests. In this study, the hydrodynamic and mechanical properties of the triangular fractals were investigated, and their application to the design of various artificial bone scaffolds has been implemented via CAD modeling, computational analysis and mechanical testing. The study proved that the Sierpinski and Pascal triangular fractal structures could effectively be applied to bone scaffold design and manufacturing regarding permeability and mechanical stiffness.

• Communications of the Korean Mathematical Society
• /
• v.17 no.3
• /
• pp.383-387
• /
• 2002

Let p be an odd prime, and let f($\varkappa$) be the interpolating polynomial associated with a table of data points (j+1, (equation omitted) ) for 0$\leq$j$\leq$p. In this article, we find congruence identities modulo p of (p-1)!f($\varkappa$), (p-2)!f($\varkappa$), and (p-3)!f($\varkappa$). Moreover we present some conjectures of these types.

• 전기의세계
• /
• v.31 no.4
• /
• pp.281-287
• /
• 1982

PASCAL has a recursive nested structure and uses deep binding of identifiers. This paper studies the problems and techniques in storage management for PASCAL on the IBM 370 system, and presents run-time storage administration algorithms which use stack scheme and heap efficiently on the view of storage. The stack-scheme was used to implement the feature of recursive nested structure and the heap was used to implement the feature of the dynamic allocation procedure and pointer variable, allowing an additional dynamic storage recovery procedure.

• Ingenium
• /
• v.2 no.4
• /
• pp.36-42
• /
• 1996

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.5
• /
• pp.619-633
• /
• 1993

A new High level hardware Description Language, ASPHODEL(Algorithm Synthesis Pascal Hardware for Optimal Design and Efficient Language), and its algorithm compiler for high level synthesis are described in this paper. The new HDL, appropriated to the description of algorithmic level and lower, models VLSI circuits as an abstracted block which is consisted of input/output ports and hierachical processors to control VLSI complexities with efficiency. Also, in order to improve the descriptive power, popular Pascal programming language is modified to build ASPHODEL syntax rules. ASPHODEL algorithm compiler generates an intermediate form through lexical and syntax analysis from ASPHODEL source codes. To show the validation of presented language and its compiler, those are applied to practical design examples.