• 대한수학회지
• /
• 제33권4호
• /
• pp.823-855
• /
• 1996

We study Dirichlet forms and the associated diffusion processes for the Gibbs measures related to the quantum unbounded spin systems (lattice boson systems) interacting via superstable and regular potentials. This work is a continuation of the author's previous study on the classical systems [LPY] to the quantum cases. In [LPY], we constructed Dirichlet forms and the associated diffusion processes for the Gibbs measures of classical unbounded spin systems. Furthermore, we also showed the essential self-adjointness of the Dirichlet operator and the log-Sobolev inequality for any Gibbs measure under appropriate conditions on the potentials. In this atudy we try to extend the results of the classical systems to the quantum cases. Because of some technical difficulties, we are only able to construct a Dirichlet form and the associated diffusion process for any Gibbs measure of the quantum systems. We utilize the general scheme of the previous work on the theory in infinite dimensional spaces [AH-K1-2, AKR, AR1-2, Kus, MR, Ro, Sch] and the ideas we employed in our study of the calssical systems ]LPY].

• 대한수학회보
• /
• 제45권4호
• /
• pp.717-728
• /
• 2008

Let H be a real Hilbert space and S = {T(s) : $0\;{\leq}\;s\;<\;{\infty}$} be a nonexpansive semigroup on H such that $F(S)\;{\neq}\;{\emptyset}$ For a contraction f with coefficient 0 < $\alpha$ < 1, a strongly positive bounded linear operator A with coefficient $\bar{\gamma}$ > 0. Let 0 < $\gamma$ < $\frac{\bar{\gamma}}{\alpha}$. It is proved that the sequences {$x_t$} and {$x_n$} generated by the iterative method $$x_t\;=\;t{\gamma}f(x_t)\;+\;(I\;-\;tA){\frac{1}{{\lambda}_t}}\;{\int_0}^{{\lambda}_t}\;T(s){x_t}ds,$$ and $$x_{n+1}\;=\;{\alpha}_n{\gamma}f(x_n)\;+\;(I\;-\;{\alpha}_nA)\frac{1}{t_n}\;{\int_0}^{t_n}\;T(s){x_n}ds,$$ where {t}, {${\alpha}_n$} $\subset$ (0, 1) and {${\lambda}_t$}, {$t_n$} are positive real divergent sequences, converges strongly to a common fixed point $\tilde{x}\;{\in}\;F(S)$ which solves the variational inequality $\langle({\gamma}f\;-\;A)\tilde{x},\;x\;-\;\tilde{x}{\rangle}\;{\leq}\;0$ for $x\;{\in}\;F(S)$.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.1294-1297
• /
• 2003

With the development of medical field, many kinds of operations have been performed on human articulation. Arthroscopic surgery, which has Irrigation Pumping System for security of operator vision and washing spaces of operation, has been used for more merits than others. In this paper, it is presented that the research on a reliable control algorithm of the pumping system instrument for arthroscopic surgery. Before clinical operation, the flexible artificial articulation model is used for realizing the model the most same as human's and the algorithm has been exploited for it. This system is considered of the following; limited sensing point, dynamic effect by compliance, time delay by fluid flow and so on. The system is composed with a pressure controller, a regulator for keeping air pressure, an airtight tank that can have distilled water packs, artificial articulation and a measuring system, and has controlled by the feedback of pressure sensor on the artificial articulation. Also the system has applied to Smith Predictor for time delay and the parameter estimation method for the most suitable system with both the experiment data and modeling. In this paper, the pressure error that is between an air pressure tank and an artificial articulation was measured so that the system could be presumed and then the controller had developed for performing State-Feedback. Finally, the controller with a real microprocessor has realized. The confidence of system can be proved by applying this control algorithm to an artificial articulation experiment material.

• Kyungpook Mathematical Journal
• /
• 제63권2호
• /
• pp.235-250
• /
• 2023

Let 1 ≤ p, q < ∞ be fixed, and let R = [r_jk] be an infinite scalar matrix such that 1 ≤ r_jk < ∞ and sup_j,k r_jk < ∞. Let 𝓑(𝑙_p, 𝑙_q) be the set of all bounded linear operator from 𝑙_p into 𝑙_q. For a fixed Banach algebra 𝐁 with identity, we define a new vector space S^R_p,q(𝐁) of infinite matrices over 𝐁 and a paranorm G on S^R_p,q(𝐁) as follows: let $$S^R_{p,q}({\mathbf{B}})=\{A:A^{[R]}{\in}{\mathcal{B}}(l_p,l_q)\}$$ and $G(A)={\parallel}A^{[R]}{\parallel}^{\frac{1}{M}}_{p,q}$, where $A^{[R]}=[{\parallel}a_{jk}{\parallel}^{r_{jk}}]$ and M = max{1, sup_j,k r_jk}. The existance of S^R_p,q(𝐁) equipped with the paranorm G(·) including its completeness are studied. We also provide characterizations of β -dual of the paranormed space.

• Nonlinear Functional Analysis and Applications
• /
• 제29권1호
• /
• pp.131-164
• /
• 2024

In this research, we study a modified relaxed Tseng method with a single projection approach for solving common solution to a fixed point problem involving finite family of τ-demimetric operators and a quasi-monotone variational inequalities in real Hilbert spaces with alternating inertial extrapolation steps and adaptive non-monotonic step sizes. Under some appropriate conditions that are imposed on the parameters, the weak and linear convergence results of the proposed iterative scheme are established. Furthermore, we present some numerical examples and application of our proposed methods in comparison with other existing iterative methods. In order to show the practical applicability of our method to real word problems, we show that our algorithm has better restoration efficiency than many well known methods in image restoration problem. Our proposed iterative method generalizes and extends many existing methods in the literature.

• 정보관리학회지
• /
• 제38권1호
• /
• pp.1-23
• /
• 2021

2013년, 500세대 이상의 공동주택단지에 작은도서관 설치를 의무화하는 규정 제정과 정부의 '생활 SOC 사업'에 따라 작은도서관이 지속적으로 확충되고 있다. 광명시의 경우, 2020년을 시민과 함께 권한을 나누는 '주민자치의 해'로 정하고, 이의 일환으로 생활문화공간을 대폭 확대한다고 공표하였다. 이처럼 사회 환경 및 이용자의 요구가 변화할 것으로 예측됨에 따라 광명시 작은도서관은 이에 대응하는 중장기계획 실천방안이 마련되어야 할 것으로 보인다. 따라서 본 연구에서는 변화하는 사회 환경 및 이용자의 요구에 대처하기 위한 작은도서관 활성화 정책방안을 제안하고자 하였다. 이를 위해 광명시 작은도서관 운영자를 대상으로 설문조사와 심층그룹인터뷰를 실시하였다. 연구 결과, 다음과 같은 정책을 제안하였다. 첫째, 운영제도 개선을 위해 지원제도 개선, 공공도서관의 협력체계 강화 및 공립 작은도서관의 역할 강화, 사립 작은도서관의 공공성 강화, 역량별 평가를 통한 차등 지원이 필요하다. 둘째, 작은도서관 운영 전문성 강화를 위해 순회사서 및 전문가 봉사자 활용, 상호대차를 통한 자료 공유, 임기제 협력사서, 권역별 작은도서관 협의회 활성화가 필요하다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제25권1호
• /
• pp.57-79
• /
• 2022

본 연구에서 초등 교과서의 비와 비율 단원 및 비례식과 비례배분 단원에서 비와 비례 개념과 관련하여 제시된 활동을 분석하여 교과서에 제시된 비례추론 과제가 교육과정별로 어떠한지 알아보았다. 비와 비율 단원에 제시된 비례추론 과제가 2009 개정 때에는 비와 비율의 곱셈 구조 유형과 비례추론 활동이 모두 늘어 내용이 다양해졌지만, 백분율의 곱셈 구조 유형과 비례추론 활동은 모두 약화되었다. 2015 개정 때에도 둘 다 약화되었고, 백분율의 곱셈 구조 유형과 비례 추론 활동은 모두 늘어 내용이 다양해졌다. 비례식과 비례배분 단원에 제시된 비례추론 과제가 2009 개정 시기에는 비의 성질의 곱셈 구조 유형과 비례추론 활동이 모두 증가하여 내용이 다양해졌지만, 비례식과 비례배분은 곱셈 구조 유형만 늘고 비례추론 활동에는 큰 변화가 없어 이전과 내용이 비슷했다. 그리고 2015 개정 시기에 비례식의 곱셈 구조 유형과 비례추론 활동이 모두 늘어 내용이 다양해졌지만, 비의 성질과 비례배분은 곱셈 구조의 유형과 비례추론 활동에 큰 변화가 없어 이전 내용과 비슷하였다. 비와 비율 단원과 비례식과 비례배분 단원에서 모두 다중 묶음 관점에 따라 측정 공간 내의 분석으로 해석하려는 시도가 주로 있었다.

• Nuclear Engineering and Technology
• /
• 제44권5호
• /
• pp.507-522
• /
• 2012

When decommissioning a nuclear power plant, it is difficult to make an appropriate plan to ensure sufficient space for temporary placement and conveyance operations of dismantling targets. This paper describes a system to support temporary placement and conveyance operations using augmented reality (AR). The system employs a laser range scanner to measure the three-dimensional (3D) information of the environment and a dismantling target to produce 3D surface polygon models. Then, the operator simulates temporary placement and conveyance operations using the system by manipulating the obtained 3D model of the dismantling target in the work field. Referring to the obtained 3D model of the environment, a possible collision between the dismantling target and the environment is detectable. Using AR, the collision position is presented intuitively. After field workers evaluated this system, the authors concluded that the system is feasible and acceptable to verify whether spaces for passage and temporary storage are sufficient for temporary placement and conveyance operations. For practical use in the future, some new functions must be added to improve the system. For example, it must be possible for multiple workers to use the system simultaneously by sharing the view of dismantling work.

• 항공우주정책ㆍ법학회지
• /
• 제35권1호
• /
• pp.3-32
• /
• 2020

급증하는 드론 운용과 더불어 카메라가 장착된 드론은 제3자 개인의 인격권 및 재산권 침해 우려가 있다는 논의는 이미 선행연구에서 지적되었다. 하지만 아직 국내에서는 드론 관련 판례를 찾아보기 어렵다. 독일 법원(Potsdam)의 경우 카메라 장착 드론으로 이웃집 마당을 비행한 사안에서 독일 「민법」 제1004조제1항제2문을 근거로 드론 운영자의 주의의무 해태에 따른 재발위험 방지를 위하여 토지소유자의 예방적부작위청구권을 인용한 바 있다. 또한 자신의 앞마당을 비행하는 카메라장착 드론을 격추한 사건에서도 최근 독일 법원(Riesa)은 카메라 장착 드론이 제3자의 사생활 영역을 비행하는 것은 독일 「형법」 제201조a에 따른 사생활침해에 해당하는 위법한 행위이므로 「형법」 34조 및 「민법」 제288조, 제904조 긴급피난에 해당하므로 형사상 재물손괴죄를 기각하였다. 해외의 사례를 직접적으로 국내에 적용하기는 어려우나, 유사한 사건은 충분히 국내에서도 발생될 수 있으므로 독일 하급심 판결이 국내에 주는 시사점은 크다고 할 수 있다. 국내적으로 카메라를 장착한 드론의 수요가 급증하는 만큼 법익침해에 관한 구체적 방안이 논의될 시점이다.

• Spatial Information Research
• /
• 제20권3호
• /
• pp.95-106
• /
• 2012

최근 무선 액세스 망의 범위가 증가하고 발전함에 따라 다양한 분야에서 u-GIS 서비스가 지원되고 있으며, 특히 모바일 환경에서의 u-GIS 서비스를 위해 시공간 데이터가 널리 활용되고 있다. 그러나 모바일 환경에서 활용되는 시공간 데이터에 대한 표준이 없으므로 서로 다른 시공간 데이터를 사용하는 모바일 u-GIS 서비스 간의 상호운용성을 위한 효율적인 시공간 데이터 처리 기술이 필요하다. 또한 모바일 장치의 저용량과 낮은 성능을 고려한 시공간 데이터의 수집, 저장, 관리 시스템이 필수적이다. 따라서 본 논문에서는 모바일 환경에서 시공간 데이터의 효율적인 관리를 위해 GML 기반의 질의 처리 시스템을 설계 및 구현하였다. GML 기반 시공간 질의 처리 시스템은 GML 문서의 특성인 상호운용성을 유지하고 저장 효율성을 높이기 위해 GML 스키마와 저장 테이블을 매핑하는 구조형 저장 방식과 Fast Infoset 기법을 이용한 바이너리 XML 저장 방식을 제공한다. 그리고 저장된 GML 문서의 시공간 데이터에 대한 신속한 질의 처리를 위하여 시공간 연산자를 제공한다. 마지막으로 본 논문에서 개발한 시스템을 가상 시나리오에 적용하여 본 시스템이 u-GIS 서비스를 위한 시스템으로 활용될 수 있음을 확인하였다.