包含—受扭迴转轴的半空间的性质*

本文研究包含有一根部份嵌入的迴转轴的半空间的性质.不用知道一给定的嵌入的轴的扭转问题的精确解,这些性质能指出此半空间的位移或应力场的某些特点并且有时可以用来检查数值解.文中给出嵌入半空间的受扭的刚性圆柱的轴的表面上的正确的应力分布的检查的例子.     

方程a~x=loga~x的解

一个方程的解可以看作两个函数的图象的交点的横坐标。反过来,方程的解又可以反映两个函数之间的某种关系,即它们的图象相交的情况。因此,可以利用函数的性质对方程的解,特别是直接求解很困难的某些超越方程的解的情况作出定性的讨论。也可以利用方程的解对函数的图象间的交点个数作出定量的研究,本文主要通过对函数y=x~(1/x)和y=x~x的性质的分析,就方程a~x=x和a~x=loga~x等的解的情况进行讨论。     

关于二次曲线的切线及奇异点的探讨

利用二次曲线的切线的定义,分别讨论过二次曲线上的一点的切线的求法及过二次曲线外的一点的切线的两种求法,并且得到了存在奇异点的二次曲线的具体类型.     

关于直接揭露本貭特征对于学生掌握几何基本概念的作用的問題

一、研究的任务和方法概念乃是一种反映对象和現象的一般的并且是本质的特征的思维形式。概念的形成是在人类历史发展过程中进行的,概念的掌握是掌握現成的、社会上形成的概念。所以概念的掌握就不需要通过概念形成时人类所走过的复杂的、漫长的道路。虽然如此,但是概念的掌握仍然是一种复杂的过程,它取决于过去的經驗、已有的知识、掌握过程中实现的活动(如教学活动、生活活动等)、掌握借以实現的智力过程的系统。概念的教学方法是多种多样的,主要可分为两种:一种是直接揭露本质特征的方法,另一种是間接揭露本质特征的方法(如变式、对比等)。在平面几何的概念的教学中应該采用直接揭露本质特征的方法还是采     

横看成岭侧成峰善于联想思路清——一类三角问题的解法分析

匈牙利数学家乔治·波利亚致力于解题的研究,为了回答"一个好的解法是如何想出来的"这个令人困惑的问题,他专门研究了解题的思维过程,并把研究所得写成<怎样解题>一书.在波利亚的解题表中,拟定计划是解题的关键环节,拟定计划的过程是在"过去的经验和已有的知识"基础上,探索解题思路的发现过程,是不断变换问题,把复杂的问题向简单的问题转化,陌生的问题向熟悉的问题转化,最终把待解决的问题化归为已解决的或易解决的问题的过程,其中善于联想又是转化的关键.下面通过一道习题的分析,体验这种联想转化的思维过程.     

平面图形的形心在旋转体体积计算中的应用

本文讨论平面图形绕平面内的直线旋转的旋转体体积与被旋转的平面图形的形心的关系.当被旋转的平面图形的内部与旋转轴没有交点时,得到了用被旋转的平面图形的面积以及被旋转的平面图形的形心到旋转轴的距离表示的旋转体体积公式.     

大学校长为何很多是数学家

1 大学校长多是数学家 经常关注数学教育的人可能会发现一个有趣的现象：国内许多大学的校长（包括现任的、离任的，以及正职、副职），都是数学专业出身，一些还是大名鼎鼎的数学家．比如：老一代的，1890-1920年间出生的就有云南大学的熊庆来、重庆大学（安徽大学）的何鲁、中国科大的华罗庚、复旦大学的苏步青、四川大学的柯召、南开大学的吴大任、上海大学的钱伟长等；     

维数不同的相关量之间的微积分关系

维数不同的相关量之间的微积分关系王金贵（北京电力高等专科学校１０００４４）我们可能都留意过，圆的面积的导数等于圆的周长，即，球的体积的导数等于球的表面积，即．反过来，当然有圆的周长的积分等于圆的面积，即．球的表面积的积分等于球的体积，即．事实上，不仅...     

条件中位数的最近邻估计和它的Bootstrap统计量的渐近性质

本文讨论条件中位数的估计问题,证明了条件中位数的最近邻估计序列的渐近正态性。在讨论估计的误差的分布特性时,作者引用了Efron的Bootstrap方法。证明了在一定条件下,最近邻估计的误差的Bootstrap分布在渐近意义下是可用的。即估计量的误差的渐近分布与它的Bootstrsp统计量的渐近分布是相同的。     

斜三角形的面积向量式及其应用

文[1]介绍了余弦定理的向量式：以同一点为起点的任意两向量的数量积等于这个向量的模的平方和与这两个向量终点的连线段所表示的向量的模的平方的差的一半．如△ABC中，     

泛系分析:数学·方法论·相对论·辩证思维

基于对广义系统、泛导、泛对称、泛箱原理、泛系相对性提出了新的分析模式与新的相对数学化的简化强化的定义,发展了泛系方法论与泛系相对论的框架与理法,具体内容涉及:相对普适的数学化的泛系,200类对偶,对偶转化,泛对称转化,泛系辩证,八畴方法,泛系数学方法,广义量化,逼近转化原则,泛等价定理,供求分析,思维实验,广义灰色系统,等等.     

Transverse compression of PPTA fibers

Results of single transverse compression testing of PPTA and PIPD fibers, using a novel test device, are presented and discussed. In the tests, short lengths of single fibers are compressed between two parallel, stiff platens. The fiber elastic deformation is analyzed as a Hertzian contact problem. The inelastic deformation is analyzed by elastic-plastic FE simulation and by laser-scanning confocal microscopy of the compressed fibers ex post facto. The results obtained are compared to those in the literature and to the theoretical predictions of PPTA fiber transverse elasticity based on PPTA crystal elasticity.Presented at the 11th International Conference on Mechanics of Composite Materials (Riga, June 11–15, 2000).3TEX, Inc. 109, MacKenan Drive, Cary, North Carolina 27511, USA. Published in Mekhanika Kompozitnykh Materialov, Vol. 36, No. 4, pp. 533–544, March–April, 2000.     

区组长为奇素数的自反MD设计

本文利用差方法对自反MD设计SCMD(4mp,p,1)的存在性给出了构造性证明,这里p为奇素数,m为正整数．     

Formulation of linear problems and solution by a universal machine

Using the predicate language for ordered fields a class of problems referred to aslinear problems is defined. This class contains, for example, all systems of linear equations and inequalities, all linear programming problems, all integer programming problems with bounded variables, all linear complementarity problems, the testing of whether sets that are defined by linear inequalities are semilattices, all satisfiability problems in sentenial logic, the rank-computation of matrices, the computation of row-reduced echelon forms of matrices, and all quadratic programming problems with bounded variables. A single, one, algorithm, to which we refer as theUniversal Linear Machine, is described. It solves any instance of any linear problem. The Universal Linear Machine runs in two phases. Given a linear problem, in the first phase a Compiler running on a Turing Machine generates alinear algorithm for the problem. Then, given an instance of the linear problem, in the second phase the linear algorithm solves the particular instance of the linear problem. The linear algorithm is finite, deterministic, loopless and executes only the five ordered field operations — additions, multiplications, subtractions, divisions and comparisons. Conversely, we show that for each linear algorithm there is a linear problem which the linear algorithm solves uniquely. Finally, it is shown that with a linear algorithm for a linear problem, one can solve certain parametric instances of the linear problem.Research was supported in part by the National Science Foundation Grant DMS 92-07409, by the Department of Energy Grant DE-FG03-87-ER-25028, by the United States—Israel Binational Science Foundation Grant 90-00434 and by ONR Grant N00014-92-J1142.Corresponding author.     

Professor Sun Yongsheng

Sun Yongsheng, professor of mathematics, was born on January 22, 1929, in Wanghaisi Village, Cang County, Hebei Province, China. He died of lung cancer at 23 hour 15 minutes,March 22, 2006 in Beijing.     

Immersive Projection Technology for Visual Data Mining

The PlatoCAVE, the MiniCAVE, and the C2 are immersive stereoscopic projectionbased virtual reality environments oriented toward group interactions. As such they are particularly suited to collaborative efforts in data analysis and visual data mining. In this article, we provide an overview of virtual reality in general, including immersive projection technology, and the use of stereoscopic displays for data visualization. We discuss design considerations for the construction of these immersive environments including one-wall versus four-wall implementations, augmented reality, stereoscopic placement, head tracking, the use of LCD devices, polarized light stereo, voice control, and image synchronization.     

Components of the Fundamental Category II

In this article we carry on the study of the fundamental category (Goubault and Raussen, Dihomotopy as a tool in state space analysis. In: Rajsbaum, S. (ed.) LATIN 2002: Theoretical Informatics. Lecture Notes in Computer Science, vol. 2286, Cancun, Mexico, pp. 16–37, Springer, Berlin Heidelberg New York, 2002; Goubault, Homology, Homotopy Appl., 5(2): 95–136, 2003) of a partially ordered topological space (Nachbin, Topology and Order, Van Nostrand, Princeton, 1965; Johnstone, Stone Spaces, Cambridge University Press, Cambridge, MA, 1982), as arising in e.g. concurrency theory (Fajstrup et al., Theor. Comp. Sci. 357: 241–278, 2006), initiated in (Fajstrup et al., APCS, 12(1): 81–108, 2004). The “algebra” of dipaths modulo dihomotopy (the fundamental category) of such a po-space is essentially finite in a number of situations. We give new definitions of the component category that are more tractable than the one of Fajstrup et al. (APCS, 12(1): 81–108, 2004), as well as give definitions of future and past component categories, related to the past and future models of Grandis (Theory Appl. Categ., 15(4): 95–146, 2005). The component category is defined as a category of fractions, but it can be shown to be equivalent to a quotient category, much easier to portray. A van Kampen theorem is known to be available on fundamental categories (Grandis, Cahiers Topologie Géom. Différentielle Catég., 44: 281–316, 2003; Goubault, Homology, Homotopy Appl., 5(2): 95–136, 2003), we show in this paper a similar theorem for component categories (conjectured in Fajstrup et al. (APCS, 12(1): 81–108, 2004). This proves useful for inductively computing the component category in some circumstances, for instance, in the case of simple PV mutual exclusion models (Goubault and Haucourt, A practical application of geometric semantics to static analysis of concurrent programs. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005 – Concurrency Theory: 16th International Conference, San Francisco, USA, August 23–26. Lecture Notes in Computer Science, vol. 3653, pp. 503–517, Springer, Berlin Heidelberg New York, 2005), corresponding to partially ordered subspaces of R ⁿ minus isothetic hyperrectangles. In this last case again, we conjecture (and give some hints) that component categories enjoy some nice adjunction relations directly with the fundamental category.      

Splitting up value: A critical review of residual income theories

This paper deals with the notion of residual income, which may be defined as the surplus profit that residues after a capital charge (opportunity cost) has been covered. While the origins of the notion trace back to the 19th century, in-depth theoretical investigations and widespread real-life applications are relatively recent and concern an interdisciplinary field connecting management accounting, corporate finance and financial mathematics (Peasnell, 1981, 1982; Peccati, 1987, 1989, 1991; Stewart, 1991; Ohlson, 1995; Arnold and Davies, 2000; Young and O’Byrne, 2001; Martin, Petty and Rich, 2003). This paper presents both a historical outline of its birth and development and an overview of the main recent contributions regarding capital budgeting decisions, production and sales decisions, implementation of optimal portfolios, forecasts of asset prices and calculation of intrinsic values. A most recent theory, the systemic-value-added approach (also named lost-capital paradigm), provides a different definition of residual income, consistent with arbitrage theory. Enfolded in Keynes’s (1936) notion of user cost and forerun by Pressacco and Stucchi (1997), the theory has been formally introduced in Magni (2000a,b,c; 2001a,b; 2003), where its properties are thoroughly investigated as well as its relations with the standard theory; two different lost-capital metrics have been considered, for value-based management purposes, by Drukarczyk and Schueler (2000) and Young and O’Byrne (2001). This work illustrates the main properties of the two theories and their relations, and provides a minimal guide to construction of performance metrics in the two approaches.     

Financial Risk Modelling and Econometric Inference

In finance, the explicit modelling of uncertainty takes on a particularly important role. The values of financial derivatives increase in the return volatility of the underlying security. This notion requires a concept of volatility and hence uncertainty. In addition, the choice between modelling in discrete and continuous time is not arbitrary, since it corresponds to a distinction between incomplete and complete markets, respectively, and this distinction matters for asset pricing, financial risk modelling, and inference. Risk and volatility are closely connected, and implied volatility, volatility forecasting, volatility in term structure models, stochastic volatility, and portfolio analysis are considered and related to a more general interplay between cross-sectional and dynamic aspects in finance. Stocks, bonds, and options are considered and placed in the context of efficiency and separation in inference.