C++程序质量评测系统的研究与实现

任何软件错误都可能导致严重的后果.通过介绍一组由S R Chidamber和C F‰merer提出的,针对面向OO软件类一级的度量,对它们应用Weyuker的度量评价标准进行了评价.作为面向对象软件的质量度量模型的具体实现,个绍了C++程序质量评测系统的设计与实现.图2,表1,参5.     

关于导数的SchwarzPick不等式

关于导数Schwarz-Pick引理,叙述了任何单位圆盘到其本身的解析函数,在双曲度量下是一个收缩,本文对于解析函数的导数给出相应的结论。     

非紧超凸空间的Browder不动点定理及其应用

在非紧超凸度量空间中的非紧允许集上,改进并推广了Browder 不动点定理,讨论了Ky Fan极大极小不等式.在应用中,给出了2个新的非合作n-人对策的Nash平衡存在定理.     

广义渐近拟非扩张映射不动点的收敛性

在凸度量空间中,引入一类比渐近拟非扩张映射更加广泛的广义渐近拟非扩张型映射,并在完备凸度量空间给出修改的Ishikawa迭代序列收敛于广义渐近拟非扩张型映射不动点的充要条件。     

MPLS流量工程中基于约束的路由选择技术研究

在介绍MPLS流量工程基本概念的基础上，对流量工程的核心技术——基于约束的路由选择进行了系统的研究，并重点对基于约束路由研究的难点、计算方式、度量参数的选择作了深入的探讨，结合存在的问题，提出了今后基于约束路由可能的发展方向。     

一种新的导音辅助OFDM符号定时算法

提出的算法仅利用一个导音符号来进行符号定时恢复，适合与突发模式的正交频分多路(OFDM)信号，而且OFDM帧同步和符号同步能一次完成，简化同步实现的复杂度，算法采用自相关计算，对载波频率偏移具有较强的鲁棒性。仿真结果表明，即使在频率选择性衰落信道中，提出的算法也能快速地实现符号定时同步。     

度量空间上泛函的一致连续性

定义了度量空间上泛函的一致连续性以及一致连续性的判定函数,研究了判定函数的性质,建立了判定函数和泛出一致连续的关系,利用判定函数给出了度量空间和次范整线性空间上泛函一致连续的一个充分必要条件,使得泛函一致连续性的判定变得简单。     

关于序列覆盖K映射的注记

利用sn覆盖和cs覆盖概念,以及度量空间的序列覆盖k-映象和1序列覆盖k-映象的内部特征,证明了度量空间上的序列覆盖k-映射是1序列覆盖映射,并构造例子说明度量空间上的序列商k-映射不是序列覆盖映射．     

距离度量下的一类非线性系统输出反馈控制

针对一类非线性项下三角形依赖的输出反馈控制系统,在非线性距离度量框架下,设计状态观测器和反馈控制律稳定闭环,并分析控制器的鲁棒性.在有测量误差和输入误差时,控制器实现了闭环在距离度量意义下的稳定.当模型扰动小于正常数时,控制器可实现对于模型扰动的鲁棒稳定性.     

无穷数列集的Hausdorff测度和Hausdorff维数

对于无穷数列集　R∞ ={z =(zi) ∞i=1:zi ∈R } ,定义度量　 ρ(x ,y) =∑∞i=1｜xi- yi｜2 i(1+｜xi- yi｜) , x=(xi) ∞i=1、y=(yi) ∞i=1∈R∞ .在此度量下 ,考虑Hausdorff测度Hs,0≤s <∞ ,并求出一些无穷数列集的Hausdorff维数