探寻数形变化规律,提升数形结合思想

数形结合的本质就是将直观的图形与抽象的语言符号相结合,实现形象思维与抽象思维的融合,让复杂、抽象的问题变得直观、简单化.在初中数学教学的各个环节,有效地渗透数形结合思想,能激发学生思维的灵活性与创造性.本文中,从数量变化规律、图形变化规律与数形结合思想的实际应用三方面着手,具体谈谈数形结合思想在教学中的应用.     

可变抽样区间的非参数控制图

最近几年一些学者研究了可变抽样区间的质量控制图。Amin等提出了可变抽样区间(VSI)的非参数控制图———符号 (Sign)统计量图〔1〕。本文在此基础上研究位置VSI符号控制图的制定方法 ,并设计离散VSI符号控制图。符号控制图的优点是对非正态总体亦可应用 ,并且不需要过程方差的信息。本文将所设计的VSI符号控制图同固定抽样区间 (FSI)的常规图作比较 ,并举实例说明符号控制图的应用     

NEW WAVELET BASES FOR NON－HOMOGENEOUS SYMBOLIC SPACE OpS1,1^m AND RELATED KERNEL－DISTRIBUTION SPACES

This paper constructs several classes of new wavelet bases, which are unconditional bases for related operator spaces. Using these bases, the author analyzes non-homogeneous symbolic space OpSm1,1 and two related kernel-distribution spaces, and characterizes them in two wavelet coefficients spaces. Besides, some properties for singular integral operators are studied.     

Bounds for the Least Laplacian Eigenvalue of a Signed Graph

A signed graph is a graph with a sign attached to each edge. This paper extends some fundamental concepts of the Laplacian matrices from graphs to signed graphs. In particular, the relationships between the least Laplacian eigenvalue and the unbalancedness of a signed graph are investigated.     

谱任意的符号模式矩阵

一个n阶符号模式矩阵A称为是谱任意的,如果对任意的实系数n次首1多项式r(x),在A的定性矩阵类Q(A)中至少存在一个实矩阵B,使得B的特征多项式是r(x),文中证明了当n为奇数时n阶谱任意符号模式矩阵是存在的。     

陈式刚

浙江省温江市人，1935年11月生，汉族，1958年毕业于复旦大学物理系。理论物理学家。历任组长、研究室副主任。现任北京应用物理与计算数学研究所研究员、博士生导师。2001年11月当选中国科学院数学与物理学部院士。陈院士40多年来一直潜心从事基础理论研究和核武器理论研究与设计。是我国混沌研究的主要开拓研究者之一，在映象混沌、符号动力学、混沌控制与同步等方向上的研究都获得了多项创见性成果。     

要正确理解符号“≤”的含义

要正确地使用一个数学符号 ,首先要正确理解它的含义 .“≤”是一个完整的和独立的数学符号 ,不是两个符号“<”和“ =”的合写 .它表示左边的数量小于或等于 (即不大于)右边数量 ,读作“小于等于”(“小于或等于”) ,也可以记为“≯” ,读作“不大于”.如 3≤ 2 (3≯2 ) ,a≤b (a≯b) ,R2 ≤ 1 (R2 ≯ 1 )等[1 ] [2 ] .上面的关于符号“≤”的定义是清晰和无歧义的 .符号“≤”用于数量关系可比、能分清楚小于或等于或大于的场合 ,是对大于的否定 .若 |f(2 ) |≤7,则 |f(2 ) |不大于 8,即 |f(2 ) |≤ 8成立 ,所以文 [3]关于这个问题的看法…     

关于概率测度收敛的注记(英文)

本文给出并证明了概率测度收敛中不为人俗知的一个结果 .     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.