• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.10a
• /
• pp.325-328
• /
• 2018

With the rapid development of autonomous driving technology, commercialization of freight cars and buses as well as passenger cars has come to the near future. As researches for commercialization of autonomous navigation are being actively carried out in various countries around the world, in accordance with the development of technology, this paper proposes a bus adopting a new concept of community driving technology based on C-V2X for more effective autonomous driving of buses do. In order to realize the cluster bus, we propose a more effective cluster bus using C-V2X, which is the core communication of the cluster driving, which is complementary to the existing V2X for inter-vehicle communication and vehicle-to-infrastructure communication.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2007.06a
• /
• pp.300-301
• /
• 2007

$Mg_4(Nb_{2-x}V_x)O_9$ (MNV) ceramics have been prepared by a hydrothermal method. Low-temperature sintering of $Mg_4(Nb_{2-x}V_x)O_9$ (MNV) by V substitution for Nb was discussed in this study. A $Q{\cdot}f_0$ value of 103,297 GHz with a ${\varepsilon}_r$ of 12.56 and a ${\tau}_f$ of $-10.53\;ppm/^{\circ}C$ was obtained when x=0.0625 after sintering at $1100^{\circ}C$ for 5 h.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.121-126
• /
• 1985

D.K. Harrison [5] has shown that if R and S are fields of characteristic different from 2, then two Witt rings W(R) and W(S) are isomorphic if and only if W(R)/I(R)$^{3}$ and W(S)/I(S)$^{3}$ are isomorphic where I(R) and I(S) denote the fundamental ideals of W(R) and W(S) respectively. In [1], J.K. Arason and A. Pfister proved a corresponding result when the characteristics of R and S are 2, and, in [9], K.I. Mandelberg proved the result when R and S are commutative semi-local rings having 2 a unit. In this paper, we prove the result when R and S are 2-fold full rings. Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is nondegenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$ (V, R) induced by B is an isomorphism), and with a quadratic mapping .phi.:V.rarw.R such that B(x,y)=(.phi.(x+y)-.phi.(x)-.phi.(y))/2 and .phi.(rx)= $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U(R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$, .., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2, we reserve the notation [ $a_{11}$, $a_{22}$] for the space.the space.e.e.e.

• Journal of Advanced Navigation Technology
• /
• v.25 no.6
• /
• pp.450-455
• /
• 2021

In this paper, we introduce the contents of research on the establishment of an evaluation environment for autonomous cooperative driving platform for commercial vehicles based on V2X communication. For the evaluation of the autonomous cooperative driving platform based on V2X communication, various standards, standards, and guidelines for test evaluation should be developed and provided to the test subject, along with the establishment of test beds such as roads and V2X infrastructure that can apply various driving scenarios. do. In addition, based on this, various reference equipment and test equipment for actual test and evaluation should be developed. In this paper, various technologies, standards, equipment, and construction infrastructure developed to construct the evaluation environment for autonomous cooperative driving platform for commercial vehicles based on V2X communication are introduced.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.395-398
• /
• 2018

we propose a design method and process for hardware and software of hybrid V2X communication systems that support both C-ITS communication protocol and Legacy LTE communication technology. The hybrid V2X communication systems support multiple communication technologies of WAVE and LTE, in which WAVE supports multiple channels, so that it is designed to transmit road information such as LDM and positioning correction information to an autonomous vehicle in real time.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.11-15
• /
• 1985

Manddelberg [9] has shown that a Clifford algebra of a free quadratic space over an arbitrary semi-local ring R in Brawer-Wall group BW(R) is determined by its rank, determinant, and Hasse invariant. In this paper, we prove a corresponding result when R is a full ring.Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is non-degenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$(V,R) induced by B is an isomorphism), and with a quadratic mapping .phi.: V.rarw.R such that B(x,y)=1/2(.phi.(x+y)-.phi.(x)-.phi.(y)) and .phi.(rx) = $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U9R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$,.., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2 we reserve the notation [a $a_{11}$, $a_{22}$] for the space. A commutative ring R having 2 a unit is called full [10] if for every triple $a_{1}$, $a_{2}$, $a_{3}$ of elements in R with ( $a_{1}$, $a_{2}$, $a_{3}$)=R, there is an element w in R such that $a_{1}$+ $a_{2}$w+ $a_{3}$ $w^{2}$=unit.TEX>=unit.t.t.t.

• Korean Journal of Mathematics
• /
• v.19 no.1
• /
• pp.77-85
• /
• 2011

In [7], Th.M. Rassias proved that the norm defined over a real vector space V is induced by an inner product if and only if for a fixed integer $n{\geq}2$ $${\sum_{i=1}^{n}}\left\|x_i-{\frac{1}{n}}{\sum_{j=1}^{n}}x_j \right\|^2={\sum_{i=1}^{n}}{\parallel}x_i{\parallel}^2-n\left\|{\frac{1}{n}}{\sum_{i=1}^{n}}x_i \right\|^2$$ holds for all $x_1$, ${\cdots}$, $x_n{\in}V$. Let V, W be real vector spaces. It is shown that if an even mapping $f:V{\rightarrow}W$ satisfies $$(0.1)\;{\sum_{i=1}^{2n}f}\(x_i-{\frac{1}{2n}}{\sum_{j=1}^{2n}}x_j\)={\sum_{i=1}^{2n}}f(x_i)-2nf\({\frac{1}{2n}}{\sum_{i=1}^{2n}}x_i\)$$ for all $x_1$, ${\cdots}$, $x_{2n}{\in}V$, then the even mapping $f:V{\rightarrow}W$ is quadratic. Furthermore, we prove the generalized Hyers-Ulam stability of the quadratic functional equation (0.1) in Banach spaces.

• Journal of applied mathematics & informatics
• /
• v.35 no.1_2
• /
• pp.121-130
• /
• 2017

This study is concerned with the existence of positive solution for the following nonlinear elliptic system $$\{-M_1(\int_{\Omega}{\mid}x{\mid}^{-ap}{\mid}{\nabla}u{\mid}^pdx)div({\mid}x{\mid}^{-ap}{\mid}{\nabla}u{\mid}^{p-2}{\nabla}u)\\{\hfill{120}}={\mid}x{\mid}^{-(a+1)p+c_1}\({\alpha}_1A_1(x)f(v)+{\beta}_1B_1(x)h(u)\),\;x{\in}{\Omega},\\-M_2(\int_{\Omega}{\mid}x{\mid}^{-bq}{\mid}{\nabla}v{\mid}^qdx)div({\mid}x{\mid}^{-bq}{\mid}{\nabla}v{\mid}^{q-2}{\nabla}v)\\{\hfill{120}}={\mid}x{\mid}^{-(b+1)q+c_2}\({\alpha}_2A_2(x)g(u)+{\beta}_2B_2(x)k(v)\),\;x{\in}{\Omega},\\{u=v=0,\;x{\in}{\partial}{\Omega},$$ where ${\Omega}$ is a bounded smooth domain of ${\mathbb{R}}^N$ with $0{\in}{\Omega}$, 1 < p, q < N, $0{\leq}a$ < $\frac{N-p}{p}$, $0{\leq}b$ < $\frac{N-q}{q}$ and ${\alpha}_i,{\beta}_i,c_i$ are positive parameters. Here $M_i,A_i,B_i,f,g,h,k$ are continuous functions and we discuss the existence of positive solution when they satisfy certain additional conditions. Our approach is based on the sub and super solutions method.

• Journal of Digital Convergence
• /
• v.20 no.2
• /
• pp.345-351
• /
• 2022

For simple undirected graph G=(V,E), L(2,1)-coloring of G is a nonnegative real-valued function f : V → [0,1,…,k] such that whenever vertices x and y are adjacent in G then |f(x)-f(y)|≥ 2 and whenever the distance between x and y is 2, |f(x)-f(y)|≥ 1. For a given L(2,1)-coloring c of graph G, the c-span is λ(c) = max{|c(v)-c(v)||u,v∈V}. L(2,1)-coloring number λ(G) = min{λ(c)} where the minimum is taken over all L(2,1)-coloring c of graph G. In this paper, based on Harary's Theorem, we use Tabu Search to figure out the existence of Hamiltonian Path in a complementary graph and confirmed that if λ(G) is equal to n(=|V|).

• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.1157-1163
• /
• 2009

Let G be a graph with vertex set V(G) and let f be a nonnegative integer-valued function defined on V(G). A spanning subgraph F of G is called a fractional f-factor if $d^h_G$(x)=f(x) for all x $\in$ for all x $\in$ V (G), where $d^h_G$ (x) = ${\Sigma}_{e{\in}E_x}$ h(e) is the fractional degree of x $\in$ V(F) with $E_x$ = {e : e = xy $\in$ E|G|}. In this paper it is proved that if ${\delta}(G){\geq}{\frac{b^2(k-1)}{a}},\;n>\frac{(a+b)(k(a+b)-2)}{a}$ and $|N_G(x_1){\cup}N_G(x_2){\cup}{\cdots}{\cup}N_G(x_k)|{\geq}\frac{bn}{a+b}$ for any independent subset ${x_1,x_2,...,x_k}$ of V(G), then G has a fractional f-factor. Where k $\geq$ 2 be a positive integer not larger than the independence number of G, a and b are integers such that 1 $\leq$ a $\leq$ f(x) $\leq$ b for every x $\in$ V(G). Furthermore, we show that the result is best possible in some sense.