插值两个平行平面曲线的可展B样条曲面

两条位于平行平面上的分别是[n]次和[n+1]次B-样条曲线,以这两条曲线作边界生成一个直纹面,即[(n,n+1)]次B样条曲面,得到了该直纹面为可展曲面的充要条件,构造了（2,3）次可展B－样条曲面。通过对以上可展B样条曲面进行凸性分析,得到了（n,n+1）次可展B样条曲面为凸曲面的充要条件。给出了几个（2,3）次B-样条可展曲面。     

海量数据链表的并行Iistscan随机算法

本文提出了一种基于PVM的海量数据链表并行Iistscan算法实现的方法和策略，并对它在曙光1000A上的执行效果进行了分析。结果显示所提出的并特处理策略对100M数据大小链表的Iistscan并行操作是可行的，算法复杂度为O（n/p＋p）。     

基于Stuttering等价技术的有界模型检测的优化

在讨论有界模型检测及其转换公式的基础上,对有界模型检测转换公式[[M,f]]k中的[[M]]k进行优化。通过在LTL有界模型检测中引入Stuttering等价技术,对状态转换路径优化,避免了SAT求解工具在有界Stuttering等价路径中的重复搜索。以安全系统验证为例,通过两个重要的模态算子G（p）和G（p→F（q））,验证优化方法,实验结果表明,该方法有效地提高了对安全系统保密性和认证性验证的效率。     

M序列BPSK引信信号的仿真建模与分析

为了考察M序列BPSK引信信号的特征,对M序列BPSK引信信号进行了仿真建模与分析;首先分析了M序列BPSK信号的数学模型以及M序列的数学模型,给出了一种M序列的计算机产生程序;然后应用SIKULINK做出了实际应用中的M序列产生器的仿真模型,并给出了仿真结果,再按照M序列BPSK脉冲信号的产生原理,使用SIMULINK仿真模型仿真得到引信中经常使用的127位M序列BPSK脉冲信号;最后,利用Matlab软件的作图功能,从自相关函数、频谱函数和模糊函数三个方面对M波形的性能进行了仿真分析.结果显示M序列BPSK信号有良好的扩谱效果,并揭示了M序列的阶数与信号各项性能的关系.     

应用于CRM的一类马氏链模型求解及其分析

给出了用于研究客户关系管理（Customer Relationship Management,CRM）模型中的一类马氏链数学模型（Pfeifer模型）的收益期望值的解析解（无限次交易条件下）,以方便该类模型的研究和分析。借助于求逆公式,将V=（I-P）^-1R方程中矩阵求逆部分进行分解和简化,解出矩阵逆的解析解,从而求解出该类模型收益期望值向量的解析解,并推广到n阶。基于该解析解,对该类模型收益总期望值的特性进行了简单分析和讨论,该收益期望值的解析解将给该类方程的解析分析提供帮助。     

软件可靠性增长模型研究综述

软件可靠性增长模型SRGM（Software Reliability and Growth Model）是目前建模可靠性及其过程提高的重要数学工具,对可靠性的评测、保证以及测试资源管控和最优发布研究具有重要作用,文中对SRGM研究进行阐述和分析.对SRGM的核心研究内容与建模流程进行分析,给出了SRGM基本功用.同时,梳理了SRGM的发展演变历程,进而对当前研究现状进行深入剖析,给出当前研究特征.从软件中总的故障个数、故障检测率FDR（Fault Detection Rate）和测试工作量TE（Testing-Effort）三个方面对影响SRGM的因素进行了分析.文中基于作者前期研究中提出的统一性框架模型,对当前典型的解析模型进行了分类比较和分析;对基于有限与无限服务队列模型的SRGM进行分析与讨论;对以率驱动事件过程RDEP（Rate-Driven Event Processes）为重点的仿真方法进行剖析.进一步,为了验证与分析不同模型的差异,对26个典型的模型在公开发表的16个数据集上进行了实验.结果表明,SRGM的性能差异取决于失效数据集的客观性以及研究人员对测试过程进行不同假设下所建立的数学模型的主观性.最后,指出了SRGM面临的挑战、发展趋势和亟待解决的问题.     

视频点播系统用户行为模型的构建与应用

通过研究视频点播系统中用户的行为,构建出用户行为的数学模型,可以为视频媒体数据缓存算法改进提供依据.本文对常用的建立用户访问模型的数学模型进行了研究,对给出的一批媒体访问数据进行了建模分析,指出广延指数模型能够比Zipf模型更接近地描述实际影片点播的频率;并且用广延指数模型对影片播放长度进行了分析和拟合,验证了其有效性;进一步,基于所得的用户点播频率模型和点播长度模型,给出了一种缓存算法命中率上界的计算方法,从而为评价视频媒体数据缓存算法的性能提供了重要指导.     

基于灰色Verhulst模型的因特网访问人数预测分析

本文预测因特网访问人数,为开展网络建设、应用及管理提供决策依据;分析了实测数据反映的特征,给出了基于灰色Verhulst模型的建模理据和预测分析的详细过程;对模型预测结果进行了分析验证,模型的拟合精度检验指标（C=0．09,P=1．00）达优。检验结果表明,所建立的Verhulst模型对同等实测数据的预测效果优于GMC（1,n）模型 。     

数字化仪表着陆系统发射通道校准算法

在对仪表着陆系统（ILS）的数字化改造中,针对仪表着陆系统采用振幅式测角体制,对发射信号的幅度失真敏感的问题,提出了一种数字化仪表着陆系统发射通道校准算法。首先,建立了仪表着陆系统发射端的数学模型,仿真研究了发射通道非线性对仪表着陆系统测角性能的影响;其次,提出了一种在数字化仪表着陆系统发射机中引入反馈回路的发射机结构;最后,通过在基带利用最小均方（LMS）算法求解发射通道的逆模型,并利用该逆模型补偿发射通道的非线性失真,实现了发射通道的校准。仿真结果表明,该算法可以在噪声条件下快速估计出发射通道的逆模型,具有良好的校准性能。     

一种选择制造业信息系统应用的决策模型

给出一种选择制造业信息系统（IS）应用的决策模型，该模型基于系统的关联性原理，即各种IS应用之间相互关联有机结合而产生协同效应，使得总体功能大于各应用功能之和，利用层次分析法（AHP）对IS应用进行初始排序，建立处理协同效应与资金分配的数学模型，通过模型求解确定应加以引进的IS应用集合，并确定它们的实施顺序，给出一个分析实例来说明决策模型的使用方法。     

联图W_4+C_n的交叉数

联图G+H表示将G中每个点与H中的每个点连边得到的图。在Klesc M.给出联图W3+Cn的交叉数的基础上,应用反证法和排除法得到了联图W4+Cn的交叉数为Z(5,n) + n +|n/2|+ 4(n≥3)),并在Zarankiewicz猜想成立的前提下,根据证明,提出对Wm+Cn的交叉数的一个猜想:cr(Wm+Cn)=Z(m+1,n)+|m/2||m-1/2||n/2|+|m/2|+|n/2|+2,n≥3。其中Z(m,n)=|m/2||m-1/2||n/2||n-1/2|,m,n为非负整数。     

Delay and Capacity Trade-offs in Mobile Wireless Networks with Infrastructure Support

In this paper,we investigate the trade-offs between delay and capacity in mobile wireless networks with infrastructure support.We consider three different mobility models,independent and identically distributed （i.i.d） mobility model,random walk mobility model with constant speed and L’evy flight mobility model.For i.i.d mobility model and random walk mobility model with the speed θ（1/n～（1/2））,,we get the theoretical results of the average packet delay when capacityis θ（1）,θ（1/n～（1/2）） individually,where n is the number of nodes.We find that the optimal average packet delay is achieved whencapacity λ（n） <（1/（2.n.log₂（1/（（1-e）-（k/n））+1））,where K is the number of gateways.It is proved that average packet delay D（n） dividedby capacity λ（n） is bounded below by （n/（k·w））.When ω（n～（1/2））≤KO（n（（1-η）·（α+1））/2）ln n） when K=o（n～η）（0≤η<1）.We also provethat when ω（1/2）≤K相似文献   

p元m序列与其采样序列之间的互相关性

设p是奇素数,n为一正偶数,且满足gcd(n-1,p+1)=1。令d=(pn-1+1)/(p+1),α是有限域Fpn的本原元,研究了周期为pn-1的p元m序列{tr1n(αt)}与其采样序列{tr1n(αdt)}之间的互相关性,确定了相关函数Cd(τ)的所有可能取值,并得到了|Cd(τ)+1|￡pn/2+1的概率。当n充分大时,该概率接近1。     

计算SKY的预排序分组算法

在SFS算法的预排序思想基础上,借助数据集R上的单调分值函数,将R的点分组,提出计算Skyline的迭代算法。算法有效地支持用户的偏爱。给出证明：若R的点的个数为n,R的Skyline的点的个数为m,则在计算R的Skyline的过程中,需要对点之间所做的支配比较的次数不超过m(n-m/2-1/2);如果分组的组数为k,则分组算法比SFS减少比较次数不少于m(m-k)/2k。     

密钥m序列与其采样序列的互相关性

研究了GF（p）上周期为pⁿ-1的m序列（a_i）与它的采样序列（a_di）的互相关函数。对于d=（pⁿ+1）/（p+1）+（pⁿ-1）/2,n为奇数且p≡1（mod 4）时,给出了互相关函数的绝对值的上界,从而对Muller的工作进行了较好的推广。     

遥感图像多尺度分割算法与矢量化算法的集成

在遥感图像处理和分析软件中,图像分割/分类和矢量化是前后独立的过程:先分割/分类,再矢量化整幅图像。由于矢量化后得到的矢量文件未写入图像对象(区域、图斑)的特征信息,只能用于显示而不能用于后续操作。此外,处理复杂图像时还存在矢量文件多边形数目与分割/分类后图像区域数目不一致的问题。为此,将多尺度分割算法与矢量化算法进行一体化集成。对遥感图像进行多尺度分割得到图像对象链表,逐个对图像对象做矢量化处理,同时把特征统计信息写入多边形属性中。集成后不仅可保证矢量多边形数目与图像对象数目完全一致,而且由于特征统计信息已作为多边形区域的属性保存在多边形中,后续的多尺度分割、区域合并、空间关系操作等均可基于矢量多边形进行。     

基于细菌觅食算法求解折扣{0-1}背包问题的研究

折扣{0-1}背包问题（D{0-1}KP）是新型的0-1背包问题。提出了基于细菌觅食算法（BFO）求解D{0-1}KP的方法,首先描述了D{0-1}KP的两个数学模型,然后将BFO分别与两个数学模型相结合,即细菌个体分别采用二进制向量和四进制向量的编码方法,并利用贪心策略优化初始解和修复非正常编码个体,给出了求解D{0-1}KP的FirBFO和SecBFO算法。对四类实例的计算结果表明,FirBFO和SecBFO都非常适于求解大规模的D{0-1}KP实例,能得到最优解或近似比接近1的近似解。     

一种基于几何约束的RANSAC改进算法

图像拼接技术中消除特征点误匹配是一项重要环节,针对传统的消除误匹配的RANSAC算法迭代次数多,计算复杂度较大且不能完全消除误匹配等缺点,提出了一种基于几何约束的RANSAC改进算法。该算法将几何约束法应用到RANSAC算法中,对图像特征匹配点进行聚类分组,根据每条匹配点对连接线的斜率应该相等、长度也应该相等这两个几何关系建立预判断模型,对匹配点对集合进行预提纯。实验证明,该算法相较于传统的RANSAC算法,误匹配基本消除,迭代次数减少,计算效率提高,从而提高了图像匹配算法的效率。     

径向磁悬浮电主轴系统设计研究

本文主要从工业实际应用的角度出发,提供了一种从径向磁悬浮电主轴的结构设计开始到控制系统的整个系统的完整新颖的设计方法,其中在结构设计中提出了两个对结构起决定意义的参数——X（每极的圆周宽度／（每极的圆周宽度＋每槽的圆周宽度））和Y（槽的径向厚度／每个槽的圆周宽度）,并对它们的科学取值进行了深入的探讨,还给出了由机械特性——刚度和阻尼出发迅速设计出PID控制器的计算公式,最后进行了功率损耗分析和发热量校验．本文在上述理论分析的基础上,设计了样机,安装在机床厂磨床上进行实地磨削实验,性能稳定、良好,其精度达到1μm．     

变化 Wiener指数的变点研究

Wiener指数是 Harold Wiener提出的广泛应用于化学研究中的一个重要拓扑指数。I ．Gutman等把Wiener指数推广为变化Wiener指数。M ．H ．Liu等给出了最大度Δ≥ n/2时,树中最大的变化Wiener指数的极图。论文用数值计算方法研究了树 F（n ,Δ）和 H（n ,Δ）的变化Wiener指数的大小关系,得到了刻画树 F（n ,Δ）和树 H （n ,Δ）的变化Wiener指数大小关系的变点λ0和 n ,Δ之间的变化规律,以及给定最大度的树中次大（小）的变化Wiener指数的极图。特别地,得出Δ＜ n/2时的变化规律。