向量函数强(弱)可导的判定与导函数连续的特征

本文提出了向量函数一阶强和弱一致连续等概念,建立了它们的简单性质。得到向量函数强、弱可导的四个判别定理以及强、弱导函数连续的两个充要条件。     

下方图形

下方图形这一概念是为了说明非负函数可测的几何意义而引进的。它在证明某些积分定理中发挥了很大的功效。本文归纳、推导了下方图形的一些基本性质,并探讨它在证明一些积分定理上的应用。     

一类函数最值的解法

本文给出了在有界闭区域内连续而无极值的情况下的函数最值的求法,指出了它的最值只能在其区域的边界上取得,顺便给出了求最值的有效方法。     

面向众核处理器的独立调试系统设计方法

基于片上网络(Network-on-Chip,NoC)技术的众核处理器正成为当前高性能处理器的设计焦点.传统的调试系统结构不能很好地应用于众核处理器体系结构,众核处理器中踪迹数据传输、调试事件传播、时间戳同步等方面均面临重大挑战.为解决上述问题,提出一种具有高带宽、低资源消耗的独立调试系统设计方法.该方法通过减少长互连线,提高了调试通道工作频率,以较少的互连线即可实现高带宽传输通道;同时调试组件采用分布式的对称结构,具有良好的可扩展性.在踪迹数据传输结构中,提出了一种带宽平衡的非侵入式踪迹数据导出方法,该方法通过软硬协同方式来配置踪迹通道仲裁的权重值,降低硬件复杂度.在调试事件的传播上,构建了与片上网络拓扑一致的事件传播网络,该网络在易于物理实现的同时具有事件传播延迟低的特点.在时间戳的同步方法上,提出了一种通过软硬件协同的时间同步方式,以很小的硬件代价实现了较精确的时间戳同步.     

基于真实数据集的动态网络时间中心性分析

针对动态网络中时间中心性的适用性问题进行实证性研究.对动态网络建模方法进行了描述,在分析时间可达图构建方法的基础上,定义了与传统的度值、接近数、介数等中心性相对应的时间中心性度量.进而基于公开发布的第三方数据集以及来自本校校园网的用户在线数据,对时间中心性和静态中心性之间的相关性进行了实证性研究和分析.实验结果表明:在合适的时间跨度下,时间度中心性和静态度中心性具有较高且稳定的相关度,而接近数和介数在不同的度量方法下不存在显著的相关性.     

国际地磁参考场的计算与软件实现

为提高磁测正常梯度改正精度、 完善磁力仪功能, 在研究国际地磁参考场的数学原理的基础上, 给出了用于编程的计算公式, 包括施密特准归一化的缔合勒让德函数及其一阶导数的递推公式以及地理坐标和磁场分量的坐标转换公式。通过编写基于Visual C++的C语言程序完成了地磁正常场的精确解算。研究结果表明, 该计算程序能对全球任意位置在IGRF 11（International Geomagnetic Reference Field）模型下的地磁场七要素进行计算, 与标准结果的对比显示, 其总场值计算精度约为±1.2 nT, 满足正常梯度改正的要求, 为磁力仪的自动配谐及上位机软件的研制提供了理论依据。     

几种混沌布谷鸟搜索算法的优化性能比较与仿真

针对布谷鸟搜索迭代后期收敛速度慢和搜索精度不高的不足,通过将混沌优化方法嵌入到布谷鸟搜索中构建混沌布谷鸟搜索算法。新算法利用混沌序列的随机性和遍历性来改善布谷鸟搜索的优化性能。基准测试函数集的测试结果显示新算法在收敛速度和计算精度方面都得以提高。最后将所构建的算法应用到PID参数整定问题上,对比实验结果表明改进算法是可行性和有效性的。     

三维等熵欧拉方程组解的爆破

研究了带阻尼项的三维等熵欧拉方程组初值问题经典解的爆破.在M(0)0条件下,若初始动量的某些泛函足够大时,得到了其经典解在有限时间内必定发生爆破的结论.     

一类非线性斯图谟—刘维尔问题正解的存在性

本文讨论了非线性斯图谟-刘维尔方程[p(x)u'(x)]'+f[u(x)]=0在两端固定边条件下的边值问题,当p(x)是区间[0,1]上的分段线性函数时,其正解存在。     

分担依赖于函数的常数亚纯函数正规族

研究关于分担值的亚纯函数族的正规性,证明了如下结果:设k,n(≥k+3)是两个正整数,F为单位圆盘Δ内的一族亚纯函数,如果对于每一个f∈F,f的零点重级≥k,且存在仅依赖于f的非零有穷复数bf,cf满足:bf/cf是一个常数;min{σ(0,bf),σ(0,cf),σ(bf,cf)}≥m,这里m0;对于每一对f,g∈F,有f(k)-1/bfn-1fn=cfg(k)-1/bgn-1gn=cg,那么F在Δ内正规.