局部有限超拓扑的局部紧性

本文讨论了赋予局部有限拓扑的非空闲子集超空间的局部紧性.主要结果是:X正则,则其闭子集超空间局部紧当且仅当X可表示成一个紧空间与一个离散空间的拓扑和.     

Epoxy based coatings on glass: strengthening mechanisms

Glass may be strengthened by epoxy coatings although the strengthening mechanisms remain unclear. Possible strengthening mechanisms are reviewed and are used to analyse strength data for both a solvent based and a water based coating system. The coatings either fill (solvent based coatings), or partially fill (water based coatings) surface cracks and it is shown that closure stresses arising from the thermal expansion mismatch of the coating within these cracks can account for the observed degrees of strengthening. It is also demonstrated that other suggested mechanisms such as flaw healing cannot fully account for the observed degree of strengthening.     

Comparison of higher-order accurate schemes for solving the two-dimensional unsteady Burgers' equation

This paper is devoted to the testing and comparison of numerical solutions obtained from higher-order accurate finite difference schemes for the two-dimensional Burgers' equation having moderate to severe internal gradients. The fourth-order accurate two-point compact scheme, and the fourth-order accurate Du Fort Frankel scheme are derived. The numerical stability and convergence are presented. The cases of shock waves of severe gradient are solved and checked with the fourth-order accurate Du Fort Frankel scheme solutions. The present study shows that the fourth-order two-point compact scheme is highly stable and efficient in comparison with the fourth-order accurate Du Fort Frankel scheme.     

Formula 1 – A Mathematical Microworld with CAS: Analysis of Learning Opportunities and Experiences with Students

In this article we describe a mathematical microworld for investigating car motion on a racing course and its use with a group of grade 12 students. The microworld is concerned with the mathematical construction of courses and functions which describe car motion. It is implemented in the computer algebra system, Maple^®, which provides the means to represent courses and functions symbolically and graphically. We describe the learning opportunities offered by the microworld in relation to the research literature on functions. Various facets and layers of the function concept are addressed in the microworld, and we suggest how work in the microworld might help in overcoming some well-known misconceptions.This revised version was published online in September 2005 with corrections to the Cover Date.     

K-非常凸空间

本文引入了一种新的K凸空间K-非常凸空间,及其对偶空间K-非常光滑空间,它们分别是非常凸空间和非常光滑空间的推广但又严格弱于非常凸空间和非常光滑空间,因此它们又有许多独特的性质.本文讨论了它们的一些特性及与其它K凸性和K光滑性的关系,推广了[3]、[6]、[7]、[8]中的一些结果.     

稀磁半导体Zn1-xMnxTe吸收光谱压力红移的理论研究

以自由Mn²⁺离子的径向波函数为基础,通过引入电子云延伸效应系数κ来修正这一径向波函数,得到了稀磁半导体Zn_1-xMn_xTe晶体中Mn²⁺离子的径向波函数.以此波函数为基础,研究了Zn1-xMnxTe晶体吸收光谱的高压谱移特性,并且得到了吸收谱中四条谱线随压力的红移规律.     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

CM分担三个公共值的亚纯函数的进一步结果

进一步研究了具有三个cM公共值的亚纯函数的唯一性，改进了H．Ueda和仪洪勋等人的有关结果．     

凸度量空间中单值和集值映象的公共不动点定理

§ 1.　Introduction　　Anecessaryandsufficientconditionandasufficientconditiontoensurethataset valuedmappingandasingle valuedmappinginacompletemetricspaceandacompleteconvexmetricspacehavingacommonfixedpointarerespectivelygivenin [1 ] .Meanwhilethemainresultsin[2 ]— [5]areimprovedandextendedin [1 ] .Inthispaper ,theexistenceatcommonfixedpointsoftwoset valuedmappingandasing valuedmappingwerestudied ,andthecorrespond ingresultsin [1 ]— [5]wereextendedandimproved .Let(X ,d)beanon emptymetricspa…     

Positive set‐operators of low complexity

The powerset operator, ??, is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ?‐operators. The question we address in this paper is: How is the class of ?‐operators generated ? It is shown that every positive ?‐operator Γ such that Γ(??) ≠ ??, is finitely generated from ??, the identity operator Id, constant operators and certain trivial ones by composition, ∪ and ∩. This extends results of [3] concerning bounded positive operators.