2006年 第3期
显示方式:
2006, (3): 1-7.
摘要
摘要:
证明了迹极限A=(t4)lim (An,Pn)的情况下,对任意的n∈N,K0(An)统一的生成结构可以过渡到K0(A)上来;如果K1(An)的自然生成映射是满的, 则K1(A)的生成映射也是满的.
证明了迹极限A=(t4)lim (An,Pn)的情况下,对任意的n∈N,K0(An)统一的生成结构可以过渡到K0(A)上来;如果K1(An)的自然生成映射是满的, 则K1(A)的生成映射也是满的.
2006, (3): 8-14.
摘要:
在迹极限的意义下, 特别是在单代数的条件下, 研究某些C*-代数性质的封闭性.假设A=(t2)limn - ∞ (An,pn), An上至少有一个迹态或An,具有(SP) 性质，则A也有相同的结果;假设A=(t3)limn - ∞ (An,pn),并且A是单代数,如果\TR(An)=0,tsr(An)=1和An具有投影消去律,则A也有相同的结果.
在迹极限的意义下, 特别是在单代数的条件下, 研究某些C*-代数性质的封闭性.假设A=(t2)limn - ∞ (An,pn), An上至少有一个迹态或An,具有(SP) 性质，则A也有相同的结果;假设A=(t3)limn - ∞ (An,pn),并且A是单代数,如果\TR(An)=0,tsr(An)=1和An具有投影消去律,则A也有相同的结果.
2006, (3): 15-20.
摘要:
通过Bernstein方法，对来源于凸体几何中的Christoffel-Minkowski问题，建立了球面上的退化的Hessian方程的C1,1先验估计，在一定程度上推广了Krylov的结果.
通过Bernstein方法，对来源于凸体几何中的Christoffel-Minkowski问题，建立了球面上的退化的Hessian方程的C1,1先验估计，在一定程度上推广了Krylov的结果.
2006, (3): 21-25.
摘要:
设F为单位圆盘⊿上的 一个全纯函数族，M,N为两个正实数. 如果对于任意的 f∈F,f的零点重级≧ m$, 且f(z)=0= |f(m)(z)| ≦M , f(m)(z)=1 = |f(z)| ≧N则F在⊿上正规.
设F为单位圆盘⊿上的 一个全纯函数族，M,N为两个正实数. 如果对于任意的 f∈F,f的零点重级≧ m$, 且f(z)=0= |f(m)(z)| ≦M , f(m)(z)=1 = |f(z)| ≧N则F在⊿上正规.
2006, (3): 26-31.
摘要:
研究矩阵的{1,3}, {1,4}广义逆和对称L-zero矩阵的广义 Bott-Duffin 逆, 这3种广义逆均在多个领域有广泛应用;得到了它们的新表达式和若干代数性质,并举例说明了它们在最小二乘解和极小问题解中的应用.
研究矩阵的{1,3}, {1,4}广义逆和对称L-zero矩阵的广义 Bott-Duffin 逆, 这3种广义逆均在多个领域有广泛应用;得到了它们的新表达式和若干代数性质,并举例说明了它们在最小二乘解和极小问题解中的应用.
2006, (3): 32-36.
摘要:
讨论了半预不变凸多目标规划问题有效解的充要条件,得到了半预不变凸多目标规划问题Wolfe型对偶模型的弱对偶和强对偶定理.
讨论了半预不变凸多目标规划问题有效解的充要条件,得到了半预不变凸多目标规划问题Wolfe型对偶模型的弱对偶和强对偶定理.
2006, (3): 37-43.
摘要:
结合边连通度，探讨了独立集中具有最小特定度和的点的上可嵌入图.得到了下列结果. (1)设G,是一个2-边连通简单图且满足条件:对任意一个G的3-独立集I, ∨xi ,xj ∈I (i,j = 1,2,3), d(xi ,xj)≧3 (1 ≦ i ≠ j ≦ 3) =∑i = 13 d(xi) ≧ v + 1(v = | V(G)|}), 则G是上可嵌入的;(2)设G是一个3-边连通简单图且满足条件:对任意一个G的6-独立集I, ∨xi ,xj ∈I (1≦i,j≦6), d(xi,xj) ≧3(1 ≦ i ≠ j ≦ 6) = ∑i = 16 d(xi) ≧ v + 1(v = | V(G)|), 则G是上可嵌入的.
结合边连通度，探讨了独立集中具有最小特定度和的点的上可嵌入图.得到了下列结果. (1)设G,是一个2-边连通简单图且满足条件:对任意一个G的3-独立集I, ∨xi ,xj ∈I (i,j = 1,2,3), d(xi ,xj)≧3 (1 ≦ i ≠ j ≦ 3) =∑i = 13 d(xi) ≧ v + 1(v = | V(G)|}), 则G是上可嵌入的;(2)设G是一个3-边连通简单图且满足条件:对任意一个G的6-独立集I, ∨xi ,xj ∈I (1≦i,j≦6), d(xi,xj) ≧3(1 ≦ i ≠ j ≦ 6) = ∑i = 16 d(xi) ≧ v + 1(v = | V(G)|), 则G是上可嵌入的.
2006, (3): 44-50.
摘要:
用D表示n阶可逆实矩阵的集合,Γ表示Rn中的点集.小波分析的一个基本问题是对什么样的(D,Γ)存在小波.本文证明了当D={Aj,j∈Z}, A是n阶实矩阵, 满足A是对角矩阵块时, 存在(D,Zn)小波. 其中, A1是扩展矩阵,A2是行列式不为零的幂等阵.
用D表示n阶可逆实矩阵的集合,Γ表示Rn中的点集.小波分析的一个基本问题是对什么样的(D,Γ)存在小波.本文证明了当D={Aj,j∈Z}, A是n阶实矩阵, 满足A是对角矩阵块时, 存在(D,Zn)小波. 其中, A1是扩展矩阵,A2是行列式不为零的幂等阵.
2006, (3): 51-59.
摘要:
应用雅克比椭圆函数展开法求解了广义混和KdV-mKdV方程,并引入了一个转化用以简化求解过程, 许多解可以由此而得到.若取定一定的参数, 则可以推导出一些著名非线性方程的解.
应用雅克比椭圆函数展开法求解了广义混和KdV-mKdV方程,并引入了一个转化用以简化求解过程, 许多解可以由此而得到.若取定一定的参数, 则可以推导出一些著名非线性方程的解.
2006, (3): 60-65.
摘要:
研究了一类含变时滞扰动不确定系统的输出反馈自适应稳定问题.假定不确定性满足所谓的匹配条件且标称系统的传递函数矩阵是严格反馈正实的.基于Lyapunov稳定性理论和Lyapunov-Krasovskii型泛函设计出了一种自适应输出反馈控制器,并证明了此控制器使得闭环系统最终一致有界.最后给出一个仿真例子说明结论的有效性.
研究了一类含变时滞扰动不确定系统的输出反馈自适应稳定问题.假定不确定性满足所谓的匹配条件且标称系统的传递函数矩阵是严格反馈正实的.基于Lyapunov稳定性理论和Lyapunov-Krasovskii型泛函设计出了一种自适应输出反馈控制器,并证明了此控制器使得闭环系统最终一致有界.最后给出一个仿真例子说明结论的有效性.
2006, (3): 66-70,1.
摘要:
对Chan-Vese提出的基于Mumford-Shah模型的多水平集图像分割算法作了改进.首先，使用AOS算法改进了原模型的差分格式，使得差分格式无条件稳定.其次，在水平集的构造中应用了快速推进法的改进算法，减少了水平集初始化时计算的点数和重复次数.
对Chan-Vese提出的基于Mumford-Shah模型的多水平集图像分割算法作了改进.首先，使用AOS算法改进了原模型的差分格式，使得差分格式无条件稳定.其次，在水平集的构造中应用了快速推进法的改进算法，减少了水平集初始化时计算的点数和重复次数.
2006, (3): 71-76.
摘要:
提出了一种将系统仿真常用于优化随机库存系统的方案，它将遗传算法与离散事件系统仿真相结合，用遗传算法指导控制变量的选择.在遗传算法中，针对库存系统的随机特性提出了一种新的选择算子，并设计了一个候选策略收集器.基于常用(s,S)库存控制的仿真实例表明，本方案是可行且有效的.
提出了一种将系统仿真常用于优化随机库存系统的方案，它将遗传算法与离散事件系统仿真相结合，用遗传算法指导控制变量的选择.在遗传算法中，针对库存系统的随机特性提出了一种新的选择算子，并设计了一个候选策略收集器.基于常用(s,S)库存控制的仿真实例表明，本方案是可行且有效的.
2006, (3): 77-85.
摘要:
通过定义二值图像像素顶点的链码，构造像素顶点矩阵，给出了一个基于像素顶点的线性的图像区域边界追踪和链码树结构的生成算法，算法在追踪和抽取区域边界的顶点链码的同时生成区域边界的链码树结构.算法复杂度是线性的，且适用于任意复杂图像区域.
通过定义二值图像像素顶点的链码，构造像素顶点矩阵，给出了一个基于像素顶点的线性的图像区域边界追踪和链码树结构的生成算法，算法在追踪和抽取区域边界的顶点链码的同时生成区域边界的链码树结构.算法复杂度是线性的，且适用于任意复杂图像区域.
2006, (3): 86-92.
摘要:
提出了一种将反应式路由协议和先应式路由协议结合在一起的抢先式Ad Hoc网络的路由算法.如果接收分组的能量小于危险阈值，则计算该链路的有效时间.如果估算的链路有效时间小于反应时间，则在链路失效前寻找局部替换路由，并用发现的局部路由替代当前即将失效的链路，保证节点的数据传送不受影响.将该算法应用于AODV协议，通过ns-2仿真，并将仿真结果和AODV协议比较，本算法在网络中负载较重的情况下明显降低了报文的传输时延，减少了路由失效数，提高了Ad Hoc网络的性能.
提出了一种将反应式路由协议和先应式路由协议结合在一起的抢先式Ad Hoc网络的路由算法.如果接收分组的能量小于危险阈值，则计算该链路的有效时间.如果估算的链路有效时间小于反应时间，则在链路失效前寻找局部替换路由，并用发现的局部路由替代当前即将失效的链路，保证节点的数据传送不受影响.将该算法应用于AODV协议，通过ns-2仿真，并将仿真结果和AODV协议比较，本算法在网络中负载较重的情况下明显降低了报文的传输时延，减少了路由失效数，提高了Ad Hoc网络的性能.
2006, (3): 93-98.
摘要:
介绍了网页可达性原理、一种知识建模方法以及知识模型与网页知识之间的映射机制；阐述了知识型网络爬虫的组件及其实施的关键技术，提出了一种知识相关度计算模型，可计算页面的知识含量.这种知识提取方法可用于构建新一代智能搜索引擎.
介绍了网页可达性原理、一种知识建模方法以及知识模型与网页知识之间的映射机制；阐述了知识型网络爬虫的组件及其实施的关键技术，提出了一种知识相关度计算模型，可计算页面的知识含量.这种知识提取方法可用于构建新一代智能搜索引擎.
2006, (3): 99-108.
摘要:
研究应用网格技术来构建一个分布式网络教学资源服务系统，以便更好地共享和利用上海教育资源库，即实现了基于数据网格的教育资源服务系统（ERSDG）.首先介绍了Globus Toolkit工具包，阐述了ERSDG系统的架构和功能，提出了资源文件命名规范和资源节点分类，再分别从数据同步、资源访问服务和监控管理等方面论述了该系统的实现，最后从同步数据性能测试、用户访问和系统监控情况等方面分析了该系统性能.
研究应用网格技术来构建一个分布式网络教学资源服务系统，以便更好地共享和利用上海教育资源库，即实现了基于数据网格的教育资源服务系统（ERSDG）.首先介绍了Globus Toolkit工具包，阐述了ERSDG系统的架构和功能，提出了资源文件命名规范和资源节点分类，再分别从数据同步、资源访问服务和监控管理等方面论述了该系统的实现，最后从同步数据性能测试、用户访问和系统监控情况等方面分析了该系统性能.
2006, (3): 109-113.
摘要:
将贪婪算法推广，针对计算网格提出了一种基于经济模型的资源调度算法.将网格计算环境下一组相互独立的计算任务（Meta-Task）的资源调度问题看作是具有限定条件的最优化问题，根据网格用户提供的“deadline”和“budget”，每次选择使得执行最短的任务进行调度.通过在Gridsim环境下的分析与比较，该算法在满足用户要求的QoS需求同时，能够以尽可能少的时间完成任务.
将贪婪算法推广，针对计算网格提出了一种基于经济模型的资源调度算法.将网格计算环境下一组相互独立的计算任务（Meta-Task）的资源调度问题看作是具有限定条件的最优化问题，根据网格用户提供的“deadline”和“budget”，每次选择使得执行最短的任务进行调度.通过在Gridsim环境下的分析与比较，该算法在满足用户要求的QoS需求同时，能够以尽可能少的时间完成任务.
2006, (3): 114-119.
摘要:
用化学镀方法在铜丝上镀NiFeP薄膜，采用电流退火的方法对复合结构丝进行热处理.电流退火使薄膜感生圆周磁各向异性，从而使样品磁阻抗效应有明显提高.退火电流及时间有一个最佳值，当退火电流为2.8 A，退火时间为2 min时，样品在475 kHz时的磁阻抗效应为53.2％.
用化学镀方法在铜丝上镀NiFeP薄膜，采用电流退火的方法对复合结构丝进行热处理.电流退火使薄膜感生圆周磁各向异性，从而使样品磁阻抗效应有明显提高.退火电流及时间有一个最佳值，当退火电流为2.8 A，退火时间为2 min时，样品在475 kHz时的磁阻抗效应为53.2％.
2006, (3): 120-125.
摘要:
介绍了GSM的短消息格式与GPS数据格式，并通过在Sistang手持设备移植嵌入式Linux操作系统，采用嵌入式Qt应用开发平台实现GPS与GSM功能模块在定位导航、远程控制以及个人通信等方面的硬件设计和应用软件的研究.
介绍了GSM的短消息格式与GPS数据格式，并通过在Sistang手持设备移植嵌入式Linux操作系统，采用嵌入式Qt应用开发平台实现GPS与GSM功能模块在定位导航、远程控制以及个人通信等方面的硬件设计和应用软件的研究.
2006, (3): 126-133.
摘要:
提出了一种简化嵌入式通用串行总线USB（Universal Serial Bus）接口应用程序设计的方法，其要点是在汇编编译器里增加处理“头文件”、“宏”和“代码生成器”的功能；以基于ET44M210微控制器的带USB接口的模拟信号采集器为应用实例，说明这一方法的优点和可行性.
提出了一种简化嵌入式通用串行总线USB（Universal Serial Bus）接口应用程序设计的方法，其要点是在汇编编译器里增加处理“头文件”、“宏”和“代码生成器”的功能；以基于ET44M210微控制器的带USB接口的模拟信号采集器为应用实例，说明这一方法的优点和可行性.