• 대한수학회논문집
• /
• 제9권3호
• /
• pp.607-616
• /
• 1994

I. M. Gelfand and G. E. Shilov [GS] introduced the Gelfand-Shilov spaces of type S, generalized type S and type W of test functions to investigate the uniqueness of the solutions of the Cauchy problems of partial differential equations. Using the heat kernel method Matsuzawa gave structure theorems for distributions, hyperfunctions and generalized functions in the dual space $(S^s_r)'$ of the Gelfand-Shilov space of type S in [M1, M2 and DM], respectively. Also, we gave structure theorems for ultradistributions, Fourier hyperfunctions in [CK, KCK], respectively.

• 대한수학회지
• /
• 제53권5호
• /
• pp.1133-1148
• /
• 2016

In this paper, we first discuss a representation of solutions to the initial value problem and the initial-boundary value problem for discrete evolution equations $${\sum\limits^l_{n=0}}c_n{\partial}^n_tu(x,t)-{\rho}(x){\Delta}_{\omega}u(x,t)=H(x,t)$$, defined on networks, i.e. on weighted graphs. Secondly, we show that the weight of each link of networks can be uniquely identified by using their Dirichlet data and Neumann data on the boundary, under a monotonicity condition on their weights.

• Educational Technology International
• /
• 제11권1호
• /
• pp.93-117
• /
• 2010

The purpose of this study was to develop the problem solving instruction facilitating novice learner to represent the problem. For the purpose, we mainly focused on three aspects of problem solving. First, learner should represent the targeted problem and its solutions for problem solving. Second, from crucial notions of cognitive load theory, learner's mental load should be optimized for problem representation. Third, for optimizing students' mental load, experts may support making their thinking more visible and mapping from their intuition to expert practice. We drew the design principles as follows. First, since providing worked examples for the targeted problem has been considered to minimize analogical errors as well as reduce cognitive load in problem representation at line of problem solving and instructional research, it is needed to elaborate the way of designing. The worked example alternatively corresponds to expert schema that consists of domain knowledge as well as strategies for expert-like problem representation and solution. Thus, it may help learner to represent what the problem is and how to solve it in problem space. Second, principle can be that expert should scaffold learner's self-explanations. Because the students are unable to elicit the rationale from worked example, the expert's triggering scaffold may be critical in that process. The unexplained and incomplete parts of the example should be completed not by expert's scaffold but by themselves. Critical portion of the expert's scaffold is to explain about how to apply and represent the given problem, since students' initial representations may be reached at superficial or passive pattern of example elaboration. Finally, learner's mental model on the designated problem domain should be externalized or visualized for one's reflection as well as expert's scaffolding activities. The visualization helps learner to identify one's partial or incorrect model. The correct model of learner could be constructed by expert's help.

• Kyungpook Mathematical Journal
• /
• 제62권1호
• /
• pp.1-28
• /
• 2022

In this paper, we define the G-Brauer algebras $D^G_f(x)$, where G is a cyclic group, called cyclic G-Brauer algebras, as the linear span of r-signed 1-factors and the generalized m, k signed partial 1-factors is to analyse the multiplication of basis elements in the quotient $^{\rightarrow}_{I_f}^G(x,2k)$. Also, we define certain symmetric matrices $^{\rightarrow}_T_{m,k}^{[\lambda]}(x)$ whose entries are indexed by generalized m, k signed partial 1-factor. We analyse the irreducible representations of $D^G_f(x)$ by determining the quotient $^{\rightarrow}_{I_f}^G(x,2k)$ of $D^G_f(x)$ by its radical. We also find the eigenvalues and eigenspaces of $^{\rightarrow}_T_{m,k}^{[\lambda]}(x)$ for some values of m and k using the representation theory of the generalised symmetric group. The matrices $T_{m,k}^{[\lambda]}(x)$ whose entries are indexed by generalised m, k signed partial 1-factors, which helps in determining the non semisimplicity of these cyclic G-Brauer algebras $D^G_f(x)$, where G = ℤ_r.

• Steel and Composite Structures
• /
• 제17권3호
• /
• pp.237-252
• /
• 2014

The use of composite structures is increasingly present in civil building works. Composite Box Girder Bridges (CBGB), particularly, are study of effect of shear connector's numbers and distribution on the behavior of CBGBs is submitted. A Predicti structures consisting of two materials, both connected by metal devices known as shear connectors. The main functions of these connectors are to allow for the joint behavior of the girder-deck, to restrict longitudinal slipping and uplifting at the element's interface and to take shear forces. This paper presents 3D numerical models of CBGBs to simulate their actual structural behavior, with emphasis on the girder-deck interface. Additionally, a Prediction of several FE models is assessed against the results acquired from a field test. A number of factors are considered, and confirmed through experiments, especially full shear connections, which are obviously essential in composite box girder. A good representation for shear connectors by suitable element type is considered. Numerical predictions of vertical displacements at critical sections fit fairly well with those evaluated experimentally. The agreement between the FE models and the experimental models show that the FE model can aid engineers in design practices of box girder bridges. Preliminary results indicate that number of shear studs can be significantly reduced to facilitate adoption of a new arrangement in modeling CBGBs with full composition. However, a further feasibility study to investigate the practical and economic aspects of such a remedy is recommended, and it may represent partial composition in such modeling.

• 과학교육연구지
• /
• 제37권1호
• /
• pp.117-130
• /
• 2013

본 연구는 고등학생들의 생물 학습 상황의 소집단 활동에서 나타나는 상호작용 유형을 분석하고자 하였다. 상호작용의 유형 분석은 소집단 활동을 위해 교사가 피드백을 제공하고자 하는 면담 과정을 통해 이루어졌다. 상호작용의 유형은 학생과 학생, 학생과 교사간 상호작용 수준에 따라 4가지로 분류되었는데 이는 소집단 내에서 교사와 소집단의 대표 학생 사이에서만 상호작용이 이루어지는 유형(LR, Leader Representation), 일부 학생과 교사의 상호작용이 이루어지고 있는 유형(PSI, Partial Students Interaction), 학생과 학생 사이에 상호작용이 활발히 일어나나 교사와는 대표 학생과 상호작용이 이루어지는 유형(SAI, Students Active Interaction), 구성원 모두가 활발히 상호작용을 하고 모든 학생들이 교사와도 상호작용을 하는 유형(TSAI, Teacher-students Active Interaction) 등이다. 고등학생들은 면담 과정이 거듭될수록 학생과 학생 사이에 상호작용이 활발하게 일어났으며, 학습에 대한 개념 이해가 부족한 초기 단계에서는 학생들 간에 복잡한 상호작용 양상이 나타나지만 개념의 이해가 완성되어 갈수록 점차 상호작용 유형이 간결하게 변화되어가는 특성을 보였다. 이로부터 생물 학습을 위한 소집단에서의 상호작용은 개념 이해가 부족한 학습자에게는 개념을 확인하고 이해할 수 있는 기회를 제공하며, 학습 개념을 상호 형성할 수 있는 긍정적 영향을 미칠 수 있을 것이다.

• International Journal of Computer Science & Network Security
• /
• 제21권6호
• /
• pp.127-136
• /
• 2021

In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML uses a model multiplicity formulation approach, wherein a number of models are used to represent alternative views. By contrast, a model singularity approach uses only a single integrated model. Each of these styles of modeling has its strengths and weaknesses. This paper introduces a partial solution to the issue of multiplicity vs. singularity in modeling by adopting UML use cases and class models into the conceptual thinging machine (TM) model. To apply use cases, we adopt the observation that a use-case diagram is a description that shows the internal structure of the part of the system represented by the use case in addition to being useful to people outside of the system. Additionally, the UML class diagram is recast in TM representation. Accordingly, we develop a TMUML model that embraces the TM specification of the UML class diagram and the internal structure extracted from the UML use case. TMUML modeling introduces some of the advantages that have made UML a popular modeling language to TM modeling. At the same time, this approach supplies UML with partial model singularity. The paper details experimentation with TMUML using examples from the literature. Our results indicate that mixing UML with other models could be a viable approach.

• Asian Pacific Journal of Cancer Prevention
• /
• 제14권11호
• /
• pp.6347-6350
• /
• 2013

Post-transplant lymphoproliferative disorder (PTLD) is a common complication of therapeutic immunosuppression after organ transplantation. Gene expression profile facilitates the identification of biological difference between Epstein-Barr virus (EBV) positive and negative PTLDs. Previous studies mainly implemented variance/regression analysis without considering unaccounted array specific factors. The aim of this study is to investigate the gene expression difference between EBV positive and negative PTLDs through partial least squares (PLS) based analysis. With a microarray data set from the Gene Expression Omnibus database, we performed PLS based analysis. We acquired 1188 differentially expressed genes. Pathway and Gene Ontology enrichment analysis identified significantly over-representation of dysregulated genes in immune response and cancer related biological processes. Network analysis identified three hub genes with degrees higher than 15, including CREBBP, ATXN1, and PML. Proteins encoded by CREBBP and PML have been reported to be interact with EBV before. Our findings shed light on expression distinction of EBV positive and negative PTLDs with the hope to offer theoretical support for future therapeutic study.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2001년도 가을 학술발표회 논문집
• /
• pp.295-302
• /
• 2001

In the present study, we propose the framework which directly links shell finite element to the surface geometric modeling. For the development of a robust shell element, partial mixed variational functional is provided. The NURBS is used to generate the general free form of parameterized shell surfaces. Employment of NURBS makes shell finite element handle the arbitrary geometry of the smooth shell surfaces. The proposed shell finite element model linked with NURBS surface representation provides efficiency for design and analysis and can be directly extended to surface shape optimization problems in future work.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2001년도 가을 학술발표회 논문집
• /
• pp.303-310
• /
• 2001

We propose the framework which directly links shell finite element to the free form surface geometric modeling. For the development of a robust shell element, a first order shear deformable shell theory and partial mixed variational functional are provided. Bubble functions are included in the shape function of displacement to improve the performance of the developed element. The Spline/NURBS is used to generate the general free form of parameterized shell surfaces. The proposed shell finite element model linked with NURBS surface representation provides efficiency for design and analysis. Numerical examples are given in order to assess the accuracy of the performances of the proposed element.