周宁
- 作品数：4 被引量：14H指数：2
- 供职机构：北京交通大学计算机与信息技术学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金广西教育厅科研项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于吴方法的不变式生成算法被引量：6
- 2012年
- 在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式生成问题转换为数值约束求解问题的思想,提出通过检验根理想的从属关系方法使算法具备处理通用代数变迁系统的能力;建立了基于吴方法的非线性不变式自动生成算法,该算法不使用加强的归纳条件,并可以直接处理约束方程.
- 周宁吴尽昭王超
- 关键词：吴方法
- 基于RFID技术的电子防伪书签被引量：6
- 2007年
- 随着互联网技术的飞速发展和电子商务的不断普及,网上购物的防伪问题成为技术领域和商业领域共同关心的重要问题.针对图书防伪问题提出了基于RFID技术的解决方案,利用RFID标签记录图书出版商和书籍信息,用户可以到相关的检验部门,通过识读器读出标签上的信息以鉴别书籍真伪,该方案具有方便快捷,防伪程度高的优点,因此特别适合基于互联网的电子商务模式.
- 胡力中周宁
- 关键词：RFID识读器
- Beta定价理论与实证研究被引量：2
- 2003年
- 资本资产定价问题是投资学的核心问题,我们考察Beta定价理论的实证方法,并对随机选取的20家上市公司(沪、深各10家)的Beta定价有效性做了讨论,从统计结果来看,虽然单个证券的收益率r(t)i与证券组合收益率R(t)之间呈现出一定的线性关系,且残差序列呈现序列无关性,但JB检验的结果却表明残差序列并不服从正态分布,R2统计值偏小,说明β对市场的解释力度明显不足,从而说明Beta定价理论不能完全解释中国证券市场的价格行为,同时也说明资本资产定价模型不完全适合中国证券市场的市场行为.
- 杨兵周宁祝深有
- 关键词：资本资产定价模型有效性套利
- 非经典切片技术及其在形式验证中的应用综述
- 2007年
- 切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发突出。简要地介绍了切片技术思想的起源、发展过程,并着重介绍非经典的计算切片和证明切片技术及其在验证领域的应用。
- 高新岩吴尽昭闫炜周宁
- 关键词：程序切片
