简介：这已经是远在几千年前,在哲学产生后不久,哲学家、科学家们就争论的问题,至今仍在争论着,但是谁也说服不了谁,问题在于这些论证没有强有力的说服力,正如薛晓舟、张会在《粒子物理学和哲学物质观》一文中指出的那样,“物质无限可分的观点,永远是不能证明的”,“物质的有限可分的观点,永远是不能证伪的”。差不多这是众所周知的,古希腊阿那克萨哥拉曾指出:万物是由很小的种子构成的,种子里有更小的种子,更小的种子里有比它再小的种子,“小中有小”,万物是无限可分的,在我

简介：保险公司往往会经营多种保险,用古典风险模型及其它推广的单一险种风险模型来研究其风险经营过程存在局限性,本文讨论了带干扰的多险种风险模型,模型中保费的收入和理赔都是复合泊松过程,应用鞅论的方法,得出伦德伯格不等式和破产概率公式.

简介：IDMEF(IntrusionDetectionMessageExchangeFormat)是因特网工程任务组(IETF)下属的IDWG(IntrusionDetectionExchangeFormatWorkingGroup)定义的一个统一入侵检测警报消息格式。这里着重介绍利用IDMEF联系网络入侵检测系统(NIDS)和主机入侵检测系统(HIDS)的警报信息的应用。

简介：设T为含n个顶点的树,L(T)为其Laplace矩阵.L(T)的次小特征值α(T)称为T的代数连通度.Fiedler给出如下关于α(T)的界的经典结论.α(Pn)≤α(T)≤α(Sn),其中Pn,Sn分别为含有n个顶点的路和星.Merris和Mass独立地证明了:α(T)=α(Sn)当且仅当T=Sn.通过重新组合由Fiedler向量所赋予的顶点的值,本文给出上述不等式的新证明,并证明了:α(T)=α(Pn)当且仅当T=Pn.

简介：本文讨论了一类具有椭圆解的三次系统（E32）,证明了当椭圆解为此系统的极限环时,还可以存在其它极限环,并描绘出当具有椭圆极限环时此系统的所有可能的全局相图,此外,还举出了一个以此椭圆为无返回映射分界线环的例子,其内部包含三个奇点和至少一个极限环.更多还原

简介：先给出Neumann-Bessel级数的核函数的精确的渐近表示,然后讨论该级数的部分和的收敛速度及其Fejer和的类逼近问题.从中说明了对于非三角级数也能得到相应三角级数中类逼近的精密结果.

简介：设M是带线性联络的光滑流形,F(M)是M上的标架丛.对M上的任意到停时τ为止的连续半鞅,有X对该线性联络而言的到某一停时τ＇为止的连续水平提升U.在本短文中,我们给出τ＇总是等于τ这一事实的一个简短证明.

简介：设T为含n个顶点的树,L(T)为其Laplace矩阵.L(T)的次小特征值a(T)称为T的代数连通度.Fiedler给出如下关于a(T)的界的经典结论.a(Pn)≤a(T)≤a(Sn),其中Pn,Sn分别为含有n个顶点的路和星.Merris和Mass独立地证明了:a(T)=a(Sn)当且仅当T=Sn.通过重新组合由Fiedler向量所赋予的顶点的值,本文给出上述不等式的新证明,并证明了:a(T)=a(Pn)当且仅当T=Pn.

简介：设F24为实一阶李群—F4的一个实型式,我们用F4的weyl群来参数化F24的广义主系列表示,因此,我们可以利用[1]提出的方便和直接的方法对奇异无穷小特征来计算F24的广义主系列表示的组合因子。

简介：设Pn表示n阶的路。文[2]中刘猜测：如果n是偶数且n≠4，则/Pn色唯一的。本文得到/Pn色唯一的充要条件，从而肯定的回作了刘提出的猜测。

简介：令T是以{Wk}∞k=1(Ω)(B)((An)")为权序列的内射算子权移位.设T是强不可约的,而且sup1≤k≤∞‖Wk-1‖＜+∞.用(A)′(T)表示T的换位代数,rad(A)′(T)表示(A)′(T)的Jacobson根.本文刻划了rad(A)′(T)并且证明了商代数(A)(T)/rad(A)′(T)是交换的.

简介：本文考虑一类人寿保险，保费到达为Poisson过程，索赔到达为户一稀疏过程，我们推导三特征的联合分布函数；破产时间，破产概率，破产前的盈余，破产赤字，并由这联合分布得破产概率的显示表达式.

简介：幂级数与三角级数是两类重要的函数项级数。幂级数形式简单、计算方便、收敛域比较规则,但它表示的函数必须在收敛区间上有无穷导数。幂级数的系数可由函数在某点的各阶导数计算出来,所以由某点的邻域的

简介：本文指出[1]中关于矩阵迹的Holder和算术一几何平均不等式可从已知结论得到，而[1]中的Minkowski不等式是错误的。

简介：引入了k-一致超图的补图的概念，并讨论了它的Laplacian与其补图的Laplacian之间的关系。

简介：在微积分范围内给出了参数θ的函数f(θ)的极大似然估计.

简介：本文提出一个复合函数的极限的定理。为使定理的叙述和证明简化,特作如下规定:若limf(x)=A,A为有限或∞,则称limf(x)广义存在。

简介：计算出涉及广义Fibonacci-Lucas数的幂的一些级数的近似值.

简介：在文[1]中，给出了迹为0和2的n阶n-可扩张的TCS-矩阵的一个刻划。本文将给出迹为4的这类矩阵的一个刻划。

简介：描述了一种惯导辅助的基于GPS的航向姿态参考系统的设计与实现,主要工作包括两个方面:第一,采用最小二乘方法和乔里斯基分解,基于基线长度约束设计并实现了实时的GPS定姿系统;第二,采用低成本的光纤陀螺辅助GPS定姿系统,提出了基于姿态角约束的多分辨率方法,用于在GPS定姿失败的情况下,正确求解载体姿态.该系统经过船载航行实验,证明完全能够达到实时计算,在基线长度为3m的条件下,航向角精度优于0.1°.