• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.16
• /
• pp.59-81
• /
• 2001

There are two methods of quantifying the damages when the contract is avoided. One is 'concret' assessment, the other is 'abstract' assessment. The former looks to the actual cost incurred by the aggrieved party in concluding a contract for the substitute transaction, while the latter is based on the market price. The concrete method of assessment forms the starting point in the Civil Law systems. In the Common Law systems, it is likewise available. The aggrieved party is entitled to recover the difference between the cost of cover or (as the case may be) the proceeds of resale and the contract price. Both systems also recognize the abstract method of assessment. If the aggrieved party does not resell or cover, damages are equal to the difference between the price fixed by the contract and the market price. The CISG and the UNIDROIT Principles recognize expressly both concrete and abstract methods. Under the relevant articles, the aggrieved party can recover the damages assessed by one of the methods as well as any further damages such as loss of profit, incidental and consequential damages.

• Communications for Statistical Applications and Methods
• /
• v.8 no.3
• /
• pp.615-623
• /
• 2001

A functional central limit theorem is obtained for a stationary multivariate linear process of the form (no abstract. see full-text) where{ $Z_{t}$} is a sequence of strictly stationary m-dimensional negatively associated random vectors with E $Z_{t}$=O and E∥ $Z_{t}$∥$^2$<$\infty$ and { $A_{u}$} is a sequence of coefficient matrices with (no abstract. see full-text) and (no abstract. see full-text).text).).

• ETRI Journal
• /
• v.19 no.4
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.99-117
• /
• 1998

Let $(B, H, p_1)$ be an abstract Wiener space and $F(B)$ the Fresnel class on $(B, H, p_1)$ which consists of functionals F of the form : $$ F(x) = \int_{H} exp{i(h,x)^\sim} df(h), x \in B, $$ where $(\cdot, \cdot)^\sim$ is a stochastic inner product between H and B, and f is in $M(H)$, the space of complex Borel measures on H. We introduce an $L_1$ analytic Fourier-Feynman transforms for functionls in $F(B)$. Furthermore, we introduce a convolution on $F(B)$, and then verify the existence of the $L_1$ analytic Fourier-Feynman transform for the convolution product of two functionals in $F(B)$, and we establish the relationships between the $L_1$ analytic Fourier-Feynman tranform of the convolution product for two functionals in $F(B)$ and the $L_1$ analytic Fourier-Feynman transforms for each functional. Finally, we show that most results in [7] follows from our results in Section 3.

• Communications of Mathematical Education
• /
• v.23 no.4
• /
• pp.1131-1148
• /
• 2009

Algebra is one of the important subjects that not only mathematics but many science major students should know at least at the elementary level. Unfortunately abstract algebra, specially, is seen as an extremely difficult course to learn. One reason of difficulties is because of its very abstract nature, and the other is due to the lecture method that simply telling students about mathematical contents. In this paper we study about the teaching and learning abstract algebra in universities in corporation of a programming language such as ISETL. ISETL is a language whose syntax closely imitates that of mathematics. In asking students to read and write code in ISETL before they learn in class, we observe that students can much understand and construct formal statements that express a precise idea. We discuss about the classroom activities that may help students to construct and internalize mathematical ideas, and also discuss about some barriers we might overcome.

• ETRI Journal
• /
• v.16 no.4
• /
• pp.27-47
• /
• 1995

This paper improves top-down execution models of logic programs based on a two-phase abstract interpretation which consists of a bottom-up analysis followed by a top-down one. The two-phase analysis provides an approximation of all (possibly non-ground) success patterns of clauses relevant to a query. It is specialized by considering Sato and Tamaki’s depth k abstraction as abstract function. By the ability of the analysis to approximate possibly non-ground success patterns of clauses relevant to a query, it can be statically determined whether some subgoals will fail during execution and some succeeding subgoals do not participate in success patterns of program clauses relevant to a given query. These properties are utilized to improve execution models. This approach can be easily applied to any top-down (parallel) execution models. As instances, it is shown to be applicable to linear execution model and AND/OR Process Model.

• The Pure and Applied Mathematics
• /
• v.7 no.1
• /
• pp.41-47
• /
• 2000

Johnson and Skoug [Pacific J. Math. 83(1979), 157-176] introduced the concept of scale-invariant measurability in Wiener space. And the applied their results in the theory of the Feynman integral. A converse measurability theorem for Wiener space due to the $K{\ddot{o}}ehler$ and Yeh-Wiener space due to Skoug[Proc. Amer. Math. Soc 57(1976), 304-310] is one of the key concept to their discussion. In this paper, we will extend the results on converse measurability in Wiener space which Chang and Ryu[Proc. Amer. Math, Soc. 104(1998), 835-839] obtained to abstract Wiener space.

• Journal of the Korea Furniture Society
• /
• v.28 no.4
• /
• pp.362-370
• /
• 2017

To improve usability and recognition of product, the term, Affordance, started to be known in the design world by US recognitive psychologist, Donald A. Norman, has the meaning of providing, Act inducement, Act motivation, Expectancy or what environment provides, etc., thus as one of Mental Model, providing ever more importance not only to the everyday life goods but to the time like these days when products for information overflow. Particularly, this study is oriented toward providing basic study framework on Affordance-like approach in pursuing psychological approach in design for changing the limitless phenomena involved in environment and human body and further for inquiring into source of idea from abstract form hint latent in act and further from the act conducted everyday while peoples are unconscious.

• Journal of applied mathematics & informatics
• /
• v.3 no.2
• /
• pp.279-290
• /
• 1996

In the present paper we study the Cauchy problem in a Banach space E for an abstract nonlinear differential equation of form $$\frac{d^2u}{dt^2}=-A{\frac{du}{dt}}+B(t)u+f(t, W)$$ where W=($A_1$(t)u, A_2(t)u)..., A_{\nu}(t)u), A_{i}(t),\;i=1,2,...{\nu}$,(B(t), t{\in}I$=[0, b]) are families of closed operators defined on dense sets in E into E, f is a given abstract nonlinear function on $I{\times}E^{\nu}$ into E and -A is a closed linar operator defined on dense set in e into E which generates a semi-group. Further the existence and uniqueness of the solution of the considered Cauchy problem is studied for a wide class of the families ($A_{i}$(t), i =1.2...${\nu}$), (B(t), $t{\in}I$) An application and some properties are also given for the theory of partial diferential equations.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.117-139
• /
• 2017

This paper presents a systematic study for theoretical aspects of a unified approach to the abstract relative Fourier transforms over canonical homogeneous spaces of semi-direct product groups with Abelian normal factor. Let H be a locally compact group, K be a locally compact Abelian (LCA) group, and ${\theta}:H{\rightarrow}Aut(K)$ be a continuous homomorphism. Let $G_{\theta}=H{\ltimes}_{\theta}K$ be the semi-direct product of H and K with respect to ${\theta}$ and $G_{\theta}/H$ be the canonical homogeneous space (left coset space) of $G_{\theta}$. We introduce the notions of relative dual homogeneous space and also abstract relative Fourier transform over $G_{\theta}/H$. Then we study theoretical properties of this approach.