圆柱空间中长方体群布局优化的模型,函数凸性及算法

1引言50年代以来，几何布局问题的研究越来越引起人们的重视．随着电子计算机的大量应用，使得几何布局的研究得到了迅速发展．布局问题有两种类型，一是装填问题，二是切段问题，本文属于前者．但由于布局本身的复杂性及多样化，迄今为止，还没有通用的精确求解的方法，大多是     

一个无处凹凸的非线性可导函数

在高等数学的学习中,常可借助于图形理解所阐述的概念、定理或一些结论,这样不乏直观明了、通俗易懂．但是反过来,要从直观图形中归纳出一个正确的命题却不是件很容易的事．我在高等数学教学过程中,曾遇到学生问到这样一个问题：具有一阶导数的非线性函数的图形是否总有一段是凹的或凸的？从图形上看,这个问题的答案好象是肯定的,因为看上去,一条连续的光滑曲线,如果不是直线,总有弯的地方．但结论是：未必！即存在“处处无凹凸的具有一阶导数的非线性函数”．下面我们就给出一个这样的函数：在《分析中的反例》一书中（上海科学技…     

一类具有奇异系数的弱双曲型方程的解的可微性及渐近性

本文讨论如下形式的方程((?)/(?)~t-it~ρD_x)(?)/(?)~t+it~ρD_x+(α+β)/t~α)u+α/t~α-(?)/(?)~t+α(α+β)/t~(2α)u=f(t,x) (1)x∈R~n,00,α≥1的常数。α及β也是常数。方程在 t=O 有重特征。而低阶项的系数正好在 t=0 有奇异性。我们在方程的低阶项符合一定条件,且方程的特征根的重数与低阶项的奇异性的阶数满足一定关系时,给出了方程(1)的解的唯一性与可微性定理。并讨论了当 t→+0 时,解的渐近性态。     

关于一类非线性映象的可微性

本文主要在 Orlicz 空间中给出一类较广泛的型非线性映象可微性的充分条件,进而得到有关歧点方面的相应结果。     

BCI—代数的积代数

我们先引入一族BCI-代数的积代数。定理1 设(α∈I)是一族BCI-代数,其中I是指标集。设X=π{X_α:α∈I}是一切映射f:I?U{X_α:α∈I}的集合,使得f(α)∈X_α。对于任意的f,g∈X,定义f*g为     

积分型Cauchy中值函数若干分析性质

给出"积分型Cauchy中值函数"的定义,对"积分型Cauchy中值函数"的分析性质进行了系统讨论,证明了"积分型Cauchy中值函数"的单调性、可积性、连续性、可微性等分析性质.作为"积分型Cauchy中值函数"的特例,给出了"第一积分中值函数"的定义及"第一积分中值函数"相应的分析性质.     

函数可导性的几点注记

讨论了不可导函数的和、差、积、商问题     

INTERGRATION BBBBY PARTS FOR THE APPROXIMATELY CONTINUOUS FORAN INTERGRAL

This note gives an integration by parts fomula for the approximately continuous Foran integral.     

关于Taylor中值函数若干分析性质的讨论

给出了"Taylor中值函数"的定义,对Taylor中值函数的分析性质进行了系统的综合讨论,证明了Taylor中值函数的单调性、可积性、连续性、可微性等分析性质.     

广义Taylor中值函数若干分析性质

文[2-8]对微分中值定理及Taylor定理"中间点"的渐近性质进行了研究,本文在此基础上,给出了"广义Taylor中值函数"的定义,对"广义Taylor中值函数"的分析性质进行了系统的讨论,证明了"广义Taylor中值函数"的单调性、可积性、连续性、可微性等分析性质.     

第二积分中值函数

通过上、下确界定义,给出了"第二积分中值函数"的定义,并对"第二积分中值函数"的单调性、可积性、连续性、可导性等分析性质进行了系统的讨论.     

超图中的着色问题

本文是近三十年来有关超图中涉及的着色问题的综述。它包含了有关超图着色中的基本结果,临界可着色性,２－可着色性,非２－可着色性以及在超图中与顶点着色、边着色和其它着色相关的极值问题。     

岭型组合主成分估计

本文提出了回归系数的一种新的改进估计－岭型组合主成分估计，讨论了它的可容许性，约束条件下的可容许性和相合性问题，分别在均方误差意义下和Ｐｉｔｍａｎ接近原则下，证明了在一定条件下，它优于最二乘估计和岭估计，并且证明了它有比它们更好的抗干扰能力和稳健性。     

线性系统的输出反馈特征结构配置——具有不可控不可观模态的情形

本文考虑具有不可控不可观模态的线性系统的输出反馈特征结构配置问题。根据文中给出的矩阵方程AV＋BW＝VF的一种显式参数解，得到了线性系统的输出反馈特征结构配置的一种参数化方法，本文没有对系统附加能控能观条件，在[AB]能控的条件下，本文得到的矩阵方程的解是文[5]中定理2的结果，在[AB]能控且[AC]能观的条件下，本文得到的输出反馈特征结构配置方法是文[6]在系统为定常时算法Ⅱ的结果。     

与直径和围长有关的最大亏格的下界

本文证明了如下结果:设G为直径为d的简单图,若G的围长不小于d,则当d为不小于4的偶数时,有ξ(G)≤1,即G是上可嵌入的;当d为不小于3的奇数时,有ξ(G)≤2,即γM(G)≥1/2β(G)-1.     

关于反函数求导定理的注记

通过建立命题、构造反例,论述了反函数求导定理中,函数y=f(x)在点x0的某邻域连续这一条件不能减弱为f在点x0连续,即使有附加条件:f在点x0可导且导数不为零,也不足以保证结论成立     

可拓逻辑的可满足性问题研究

可满足性是逻辑语义理论的基本概念.在分析基元命题内部的逻辑形式的基础上,研究了可拓逻辑的语法及语义理论,给出了可拓逻辑中的可满足性定义.讨论了矛盾问题的可拓逻辑表示,并给出了基于可满足性概念的矛盾问题定义和表示实例.     

Zygmund微分映射的正则点

该文的主要结果是: 对任意Zygmund类$C^{p,Z}$映射$f:R^{n}\rightarrow R^{m}$, 若$\frac{n-m}{2}\leq p\leq n-m-1$, 则有mes$K_{f}>0$或者mes$C_{f}>0$. 这个结果给出了Hirsch问题的部分回答.     

Dirichlet函数与Riemann函数的性质及应用

探讨Dirichlet函数和Riemann函数的连续性、可导性和可积性,并由此分别构造出在一点连续、多点连续、一点可导、多点可导的函数.     

奇特征域上的全正交图的自同态群（英文）

令F_q~n是奇特征有限域F_q上的n维行向量空间,S_n是F_q上任一n阶非奇异对称矩阵.S_n上的全正交图O(S_n,q)的顶点为F _q~n上的任一一维子空间,图中两顶点相邻当且仅当它们所对应的子空间[α]与[β]满足αS_(nβ)~T≠0.本文刻画了O(S_n,q)的自同态群,证明当n为偶数时,其顶点集有两个轨道;当n为奇数时,其顶点集有三个轨道.