基于函数调用图的静态数据分配

在许多嵌入式设计中,数据存储器是稀缺资源.如何基于静态分配方案,用最少的内存空间来存储程序数据成为嵌入式设计中一个非常重要的问题.如果两个函数之间不存在直接或者间接的调用关系的话,这两个函数的局部变量的生命期就没有重叠.这样的两个函数的局部变量可以共用存储空间而不会影响程序的正确性.基于这个思路,本文提出一种基于函数调用图的拓扑排序的最优静态分配算法(TBA)并证明了该分配算法的最优性.该分配算法通过静态分析技术,构建函数调用图(FCG),基于FCG的拓扑排序,计算每个函数的私有数据段的全局地址以及段内每个符号的全局地址,并根据重定位表更新对这些符号的引用.实验结果表明该算法优于前人提出的启发式算法.     

具有拓扑稳定测度的非自治动力系统的复杂性

针对具有拓扑稳定测度的非自治动力系统的初值敏感依赖性和传递属性进行研究,得到:若一个具有拓扑稳定测度的非自治动力系统能被一列具有初值敏感依赖性的非自治动力系统逼近,则其也具有初值敏感依赖性;若一个具有拓扑稳定测度的非自治动力系统能被一列具有（r,s）-传递性或弱混合性的非自治动力系统逼近,则其也具有（r,s）-传递性或弱混合性。     

单调类定理的一个集合论证明

本文利用集合论中的序数理论和超限归纳法,给出概率测度论中一个集族生成的最小σ代数,最小λ类和最小单调类的具体形式,并给出单调类定理一个直接的证明.     

基于RBF网络信道均衡器

在数字通信系统中为了克服信道畸变引起的码间干扰，在接收端必须采用信道均衡技术。在本文中，我们将RBF网络用作均衡器。采用最近邻聚类和直接判决算法来调整隐藏层中心，然后再用LMS算法调整输出层的系数。该算法可以实现在线学习，根据相应的准则增加，删除隐藏层节点。算法事先不必确定隐藏层的节点个数。模拟结果显示，RBF网络均衡器能够正确地将信号从有噪信道中恢复出来，在计算机模拟仿真中其性能与理想贝叶斯均衡器相当。     

带有随机波动率的交换期权定价

通过利用计价单位的变换及等价鞅测度,得到了在随机波动率下的交换期权定价公式.     

图簇GS*(i)j1j2…jt(p,tkm)的伴随多项式的因式分解及色性分析

令S1,k表示k+1个顶点的星,Pm表示m个顶点的路,G是任意的p阶连通图.设V(Pm)={V1,V2,…,Vm-1,Vm}及相应的度序列为(1,2,…,2,1).SP(i)km+1表示把kPm的每个分支的第i个顶点Vi分别与星S1,k的k个1度点重迭后得到的图,用GS*(i)j1j2…jt(p,tkm)表示把tSP(i)km+1的每个分支的k度点分别与图G的顶点uj1,uj2,…,ujt(t≤p)重迭后得到的图,这里p≥1,k≥2,m≥3,1≤i≤m,t≥1.我们通过讨论图簇SP(i)km+1∪(k-1)K1、SP(i)2rm+1,SP(i)(2r-1)m+1以及GS*(i)j1j2…jt(p,2rmt),GS*(i)j1j2…jt(p,(2r-1)mt)的伴随多项式的因式分解,证明了它们的补图的色等价图的结构定理.推广了张秉儒证明的文[8]中的定理2和定理4.     

基于偏序关系的Rough集模型及其应用

在标准Rough集理论的指导下,利用偏序关系性质构造了不同分类,并以此为基础探讨了上、下近似集,从而构建了基于偏序关系的Rough集模型。新模型将Rough集理论的应用范围由等价关系扩展到偏序关系。为了更好地增强模型的实用性和灵括性,一方面从程度、精度、概率等角度出发分别对其进行了扩展,另一方面引入依赖度使其适用于研究各种非严格的偏序关系。给出了实例分析,并结合现实生活中的现象阐述了模型的应用价值。     

大学物理实验中A类不确定度探究

由于许多大学物理实验教材对A类不确定的估算方法不够明了透彻,给大学物理实验教学带来不便,也影响了学生的数据处理,本文对大学物理实验中A类不确定度的估算进行了探究.     

激光金等离子体的电子离子碰撞电离速率系数

电子离子碰撞电离过程在超组态碰撞辐射(SCROLL)模型中真实模拟非局域热动力学平衡(non-LTE)高Z材料Au激光等离子体M带谱5f-3d跃迁中各种复杂离子的电离态特性,诸如离子的平均电离度和电荷态分布是一个主要过程.基于准相对论扭曲波玻恩交换近似,采用组态平均的方法,从头计算了金M带类铁金离子-类锗金离子的电子离子碰撞电离速率系数,其中电离截面的高能行为由Bethe系数决定.结果表明:在"神光Ⅱ"实验装置诊断的电子温度～2keV,电子密度～6×1021cm-3范围内,这些参数有利于使用超组态碰撞辐射模型拟Au的激光等离子体M带细致谱5f-3d跃迁的平均电离度和电荷态分布.     

可数sober化

对于给定的拓扑空间X,借助于X中的可数既约闭集给出了拓扑空间X的一种可数sober化。证明了拓扑空间X的可数既约集可以诱导出集合X上的一个拓扑,讨论了在该拓扑下的一些性质,特别地证明了可数sober空间上由可数既约集诱导的拓扑与原拓扑一致。