周宁

作品数：4被引量：13H指数：2
导出分析报告
供职机构：北京交通大学计算机与信息技术学院更多>>
发文主题：变式RFID技术RFID吴方法识读器更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《北京交通大学学报》《计算机工程与应用》《兰州交通大学学报》《甘肃科学学报》更多>>
所获基金：国家自然科学基金国家教育部博士点基金广西教育厅科研项目广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于吴方法的不变式生成算法被引量：6
《北京交通大学学报》2012年第2期1-7,共7页周宁 吴尽昭 王超 
国家自然科学基金资助项目（63873118,60973147）;教育部博士点基金项目资助（200900009110006）;广西自然科学基金项目资助（2011GxNSFA018154）;广西区主席科技资金资助（10169.1）;广西教育厅科研资助项目资助（201012MS274）;广西混杂计算与集成电路设计分析重点实验室开放基金项目资助（HCIC201102）
在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式生成问题转换为数值约束求解问题的思想,提出通过检验根理想的从属关系方法使算法具备处理通用代数变迁系...
关键词：程序验证 不变式生成 符号计算 吴方法 
非经典切片技术及其在形式验证中的应用综述
《计算机工程与应用》2007年第36期43-47,54,共6页高新岩 吴尽昭 闫炜 周宁 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60373113);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2004CB318000)
切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发...
关键词：程序切片 计算切片 证明切片 约简 形式验证 性质验证 模型检验 
基于RFID技术的电子防伪书签被引量：5
《兰州交通大学学报》2007年第4期119-122,共4页胡力中 周宁 
随着互联网技术的飞速发展和电子商务的不断普及,网上购物的防伪问题成为技术领域和商业领域共同关心的重要问题.针对图书防伪问题提出了基于RFID技术的解决方案,利用RFID标签记录图书出版商和书籍信息,用户可以到相关的检验部门,通过...
关键词：防伪书签 RFID 识读器 
Beta定价理论与实证研究被引量：2
《甘肃科学学报》2003年第4期22-26,共5页杨兵 周宁 祝深有 
甘肃省软科学计划项目(RS002-A65-069)
　资本资产定价问题是投资学的核心问题,我们考察Beta定价理论的实证方法,并对随机选取的20家上市公司(沪、深各10家)的Beta定价有效性做了讨论,从统计结果来看,虽然单个证券的收益率r(t)i与证券组合收益率R(t)之间呈现出一定的线性关系...
关键词：资本资产定价模型 有效性 套利 均差有效 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部