• 호남수학학술지
• /
• 제44권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.

• 충청수학회지
• /
• 제36권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.

• 전자공학회논문지B
• /
• 제29B권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
• /
• 제3권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
• /
• 제2권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.

• 한국CDE학회논문집
• /
• 제22권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.

• 대한수학회논문집
• /
• 제17권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.

• 전기의세계
• /
• 제31권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.

• East Asian mathematical journal
• /
• 제40권3호
• /
• pp.329-339
• /
• 2024

In the work we generate arithmetic matrix P^(c,b,a) of (cx² + bx+a)ⁿ from a Pascal matrix P^(1,1). We extend an identity P^(1,1))O^(1,1) = P^(1,1,1) with an obtuse matrix O^(1,1) to k degree polynomials. For the purpose we study P^(1,1)kO^(1,1) and find generating polynomials of O^(1,1)k.

• 인재니움
• /
• 제2권4호
• /
• pp.36-42
• /
• 1996