It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre hav...It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.展开更多
连词whiler的用法有好几种,使用时不可掉以轻心。它大致有以下四种用法: 1.表示时间,意思是“当……的时候”。while可以位于句首,也可以位于句中。如: While we were watching TV,she was readinga novel alone in her room.我们在看...连词whiler的用法有好几种,使用时不可掉以轻心。它大致有以下四种用法: 1.表示时间,意思是“当……的时候”。while可以位于句首,也可以位于句中。如: While we were watching TV,she was readinga novel alone in her room.我们在看电视时,她一个人在房间里读小说。展开更多
The wave diffraction and radiation around a floating body is considered within the framework of the linear potential theory in a fairly perfect fluid. The fluid domain extended infinitely in the horizontal directions ...The wave diffraction and radiation around a floating body is considered within the framework of the linear potential theory in a fairly perfect fluid. The fluid domain extended infinitely in the horizontal directions but is limited by the sea bed, the body hull, and the part of the free surface excluding the body waterplane, and is subdivided into two subdomains according to the body geometry. The two subdomains are connected by a control surface in fluid. In each subdomain, the velocity potential is described by using the usual boundary integral representation involving Green functions. The boundary integral equations are then established by satisfying the boundary conditions and the continuous condition of the potential and the normal derivation across the control surface. This multi-domain boundary element method （MDBEM） is particularly interesting for bodies with a hull form including moonpools to which the usual BEM presents singularities and slow convergence of numerical results. The application of the MDBEM to study the resonant motion of a water column in moonpools shows that the MDBEM provides an efficient and reliable prediction method.展开更多
文摘It is well known that there exists a tight connection between nonmonotonic reasoning and conditional implication. Many researchers have investigated it from various angles. Among th em, C.Boutilier and P.Lamarre have shown that some conditional implication may b e regarded as the homology of different nonmonotonic consequence relations. In t his paper, based on the plausibility space introduced by Friedman and Halpern, w e characterize the condition logic in which conditional implication is nonmonoto nic, and this result characterizes the conditional implication which may be rega rded as the corresponding object in Meta language for nonmonotonic inference rel ations.
文摘连词whiler的用法有好几种,使用时不可掉以轻心。它大致有以下四种用法: 1.表示时间,意思是“当……的时候”。while可以位于句首,也可以位于句中。如: While we were watching TV,she was readinga novel alone in her room.我们在看电视时,她一个人在房间里读小说。
文摘The wave diffraction and radiation around a floating body is considered within the framework of the linear potential theory in a fairly perfect fluid. The fluid domain extended infinitely in the horizontal directions but is limited by the sea bed, the body hull, and the part of the free surface excluding the body waterplane, and is subdivided into two subdomains according to the body geometry. The two subdomains are connected by a control surface in fluid. In each subdomain, the velocity potential is described by using the usual boundary integral representation involving Green functions. The boundary integral equations are then established by satisfying the boundary conditions and the continuous condition of the potential and the normal derivation across the control surface. This multi-domain boundary element method （MDBEM） is particularly interesting for bodies with a hull form including moonpools to which the usual BEM presents singularities and slow convergence of numerical results. The application of the MDBEM to study the resonant motion of a water column in moonpools shows that the MDBEM provides an efficient and reliable prediction method.
