位置：立项数据库 > 立项详情页
测试一阶逻辑可定义图性质
  • 项目名称：测试一阶逻辑可定义图性质
  • 项目类别：青年科学基金项目
  • 批准号：61309006
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：韦立
  • 依托单位：贵州师范大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 15
  • 0
  • 0
  • 0
  • 0
期刊论文
概率逻辑程序研究综述
面向方面程序的静态语义研究
基于图像插值的大容量可逆水印算法
基于关系的提升小波变换域自适应水印方案
基于LWT-SVD的鲁棒自适应水印方案
基于3D-DCT的盲彩色图像水印方案
基于直方图平移的多遍与多比特嵌入性能比较
基于整数小波变换的鲁棒零水印算法
基于三维离散余弦变换的鲁棒彩色图像水印算法
云计算平台虚拟机迁移能耗研究
一个素变量混合幂丢番图不等式
云计算数据中心实时能耗建模
云平台调度能耗测量研究
关于广义Ramanujan-Nagell方程x^2-D=3^n的解数
韦立的项目
　基于性质测试的同构问题研究
　基于性质测试的同构问题研究