国家自然科学基金(61063003)
- 作品数：5 被引量：16H指数：2
- 相关作者：丁志义吴杰冯锋顾勋梅施珺更多>>
- 相关机构：宁夏大学淮海工学院中国科学技术大学更多>>
- 发文基金：国家自然科学基金宁夏回族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 蕴含一类图论性质的可图序列
- 2011年
- 设σ(Tm,k,n)是最小正偶数,使得所有满足σ(π)=d1+d2+…+dn≥σ(Tm,k,n)的n项可图序列π是蕴含Tm,k可图的,即π=(d1,d2,…,dn)有一个实现含一直径为k的m阶树.考虑了σ(Tm,k,n)之值问题,并确定了当k=3且n充分大时σ(Tm,3,n)的值.
- 陈纲丁志义
- 关键词：度序列
- 一种程序推导与验证方法研究
- 2014年
- 随着软件规模越来越大,软件正确性问题也随之而来,基于Hoare公理系统的程序形式化验证方法,能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题,利用最弱前置变换法求出前置谓词作为公理化方法的前置条件。
- 张哲丁志义
- 关键词：公理化方法
- 基于MVC的网络化学习云平台架构被引量：7
- 2011年
- 首先分析了网络化学习系统中引入云计算的优点,然后在深入阐述当前网络化学习的基本结构的基础上,提出了采用使用任务管理模型来协调教与学活动的基本思想,并基于MVC架构和任务管理模型构建了网络化学习云平台.该平台把网络化学习和云计算融合在一起,能够使得教育机构和个人能更方便地利用更多的资源.
- 施珺顾勋梅
- 关键词：云计算网络化学习MVC架构任务管理
- 一类Schrdinger-Virasoro型李代数的量子化
- 2012年
- 李双代数的量子化是获取新的量子群的重要方法.本文通过Drinfel'd扭元,对一类Schr(o|¨)dinger-Virasoro型李代数进行了量子化,得到了一类既非交换又非余交换的Hopf代数.
- 王伟许莹
- 关键词：量子化
- 基于RFID与WSN融合技术的井下定位算法研究被引量：9
- 2014年
- 综合无线射频识别与无线传感器网络的融合技术,提出了一种改进的三边测量定位算法。当信标节点数量较少,未知节点利用接收信号强度指示(RSSI)技术未找到与信标节点的3个距离值时,采用定位向量和未知节点的平均移动速度,计算求出新的未知节点到信标节点的距离值。实验结果表明,该算法有效地弥补了射频信号覆盖不完全和空隙区域的定位,提高了运动轨迹的定位精度和覆盖范围。
- 吴杰冯锋丁志义
- 关键词：接收信号强度无线射频识别信标节点
