定理机械化证明的数值并行法及单点例证法原理概述

本文浅近地介绍以检验数值实例为基本手段的两种方法——洪加威提出单点例证法和张景中.杨路提出的数值并行法以及这两种方法与吴文俊数学机械化理论的关系.     

关于Sarkovskii序的一些定理

引言数学家对定义于区间上的连续函数的研究,少说也有三百年了吧·令人惊异的是,它的一些非常美丽而又相当深刻的规律,在近20年中却刚刚被人们揭示出来。1964年由A.N.Sa-rkovskii所提出的关于连续函数“周期点”出现顺序的有趣定理,便是一个突出的例子.以下设f:I→R是线段I到实数轴R的连续映射.若f(I)(?)I,称f为I上的连续自映     

逐段单调连续函数嵌入拟半流问题

<正> 则说F可以嵌入连续半流φ. 在定义(1),(2)中,把R~+换成R=(-∞,+∞),则φ叫做M上的连续流.显然,若φ为流,φ限制于M×R~+上为半流,这时称(3)中的F可嵌入流.易知可嵌入连续流的映射必为同胚.关于线段上或圆周上的同胚可嵌入连续流的条件的研究,已有相当完善的结果,例如[1—3],但映射嵌入半流的条件,目前所知甚少.     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性多任务的特点、运用 有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计 的思路和方法。     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性、多任务的特点，运用有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计的思路和方法。     

中美高水平创新型人才培养比较——密歇根大学访学感悟

创新型人才培养是国家创新体系和人力资本强国建设的重要前提基础，如何培养高水平创新型人才是当代高等教育必须直接面对且很好解决的重大课题。研究并汲取境外高等教育发展取得的成功经验，对于探索中国高等教育改革创新路径无疑是有积极意义的。美国密歇根大学以其高水平创新型人才培养及科研实力享誉世界，为中国高等教育改革创新提供了有益的启示和借鉴。     

同胚嵌入流和渐近嵌入流的问题

将流形上的自同胚嵌入一个流,尤其是嵌入流的唯一性,是一个颇为困难的课题.本文引进了“渐近嵌入”和“渐近于给定流的流”的概念,并建立了两者之间的某种联系.作为推论,我们得到了有关嵌入流唯一性的一个结果,这结果可应用于相当广泛的场合。     

度量和与Alexander对称化

近期 R.AIexander 在度量几何研究中提出了度量和与对称化的基本概念.本文作了进一步工作,建立了度量和与对称化不增高空间维数的一个充要条件;并举例说明其应用.     

Ni/Pb(Zr,Ti)O3/TbFe2层状复合材料的谐振磁电特性研究

采用化学镀和黏接法制备层状磁电复合材料Ni/PZT/TbFe₂,研究其磁电性能及谐振频率随Ni层厚度的变化情况. 结果表明:Ni/PZT/TbFe₂层状磁电复合材料与其他结构的磁电性能不同,其一阶弯曲谐振峰值和纵向谐振峰值都很大. 随着Ni层厚度的增加,Ni/PZT/TbFe₂层状磁电复合材料的一阶纵向谐振峰值逐渐增大. 结合实验数据和理论计算值得出了材料的一阶弯曲谐振频率fr1和一阶纵向谐振频率f 关键词： 磁电效应 正磁致伸缩 负磁致伸缩 谐振频率