基于区块链非同质化代币的软件订阅模型

区块链预言机将外界数据写入区块链,是区块链获取外界数据的一般方法. 调研区块链预言机研究与实践,归纳目的数据确定性和数据聚合方法之间的关系,将区块链预言机分成强投票协议与弱投票协议2种区块链预言机. 区块链预言机项目越来越开放,开放区块链预言机是可拓展的,应用基于椭圆曲线群的分布式密钥生成算法,实现在链下聚合多点数据,在链上验证聚合结果,节省智能合约开销,适合大型分布式区块链预言机. 为解决海外研究中一般依赖虚拟货币抵押对节点身份授信的方法难以应用于国内的问题,应用非同质化通证映射节点身份,支持区块链预言机服务所有者治理节点身份,与全局公钥更新过程结合,使节点加入状态可跟踪. 相比同类研究,更贴近分布式系统范型.

     

基于时序规范的测试预言自动生成技术评述

测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节.针对反应式实时系统,我们使用时序规范来描述系统性质.本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍.最后,并分析了基于时序规范的的测试预言生成面临的困难.     

1999会怎样

又到了新的一年的开始,笔者希望这回预言能够准确一点,去年笔者的预言相当失败。虽不甚准确,但笔者去年的预言具体明确。不象其他“大师”的预言那么泛泛,他们当然可以与神经网络扯上关系,或者说点“你将与某个死对头发生分岐”之类的东西。     

下一代安全可信IP网络的神秘之旅

在下一代网络的发展中,不管是 WLAN、IPv6还是网络带宽性能的提升,以及多业务融合的智能网络,都将由“安全”下达“是否继续”的指令。正如一种预言：下一代网络的发展没有安全可信作为前提,作为技术保障, 所有的新技术、新方向将黯然失色。这预言是科学的预言,是基于一定现实的对未来的判断。因此,揭示规律, 实现这一愿景,将是我们必争的任务与荣耀。     

手持PC并不远

■ IT业界巨头比尔·盖茨先生近日在芬兰预言,5年后的个人电脑将是可以装在口袋里的便携式无绳微机,能看、能听、能学习,成为人人会使用的工具。今天的手持PC就是盖茨先生预言的明日电脑的雏形。     

下一代安全可信IP网络的神秘之旅

在下一代网络的发展中,不管是WLAN、IPv6,还是网络带宽性能的提升,以及多业务融合的智能网络,都将由"安全"下达"是否继续"的指令.正如一种预言:下一代网络的发展没有安全可信作为前提、作为技术保障,所有的新技术、新方向都将黯然失色.这预言是科学的预言,是基于一定现实的对未来的判断.因此,揭示规律,实现这一愿景,将是我们必争的任务与荣耀.     

揭露65nm工艺的秘密

1965年4月,当时还是仙童公司电子工程师的摩尔在《电子学》杂志上发表文章对半导体产业做出预言——半导体芯片上集成的晶体管数量将每年翻一番。1975年他对此预言做出修正,芯片上集成的晶体管和电阻数量将每两年翻一番。而就在该理论提出时,集成电路才问世6年。而摩尔所在的实验室也只能将50只晶体管和电阻集成在一个芯片上。摩尔当时的预测在     

网络总动员

想当年,1993年,我初入大学时,曾预言:计算机和网络必将成为普及。可惜我不是孙中山:想当年孙中山曾经站在中国北方某片海滩上预言“这里将建成北方第一大深水良港”,于是在七八十年后,修建唐山港时这句话就被掘出来了。可现在不到七八年,我所预言的都已成为现实,而没有人来发掘我说过的话,不公平哪!不过了解到     

基于门限签名的分布式预言机链下共识方案

为解决现有分布式预言机网络链上共识方案存在的区块链网络压力大、共识效率低等问题,提出一种基于门限签名的分布式预言机链下共识方案。基于(t,n)门限签名技术和Schnorr签名算法,设计包含密钥生成、签名生成、签名验证和预言机奖励4个阶段的共识流程。各预言机节点在链下达成共识后,由一个节点将聚合后的单一数据和可验证签名发送到区块链,在保证上链数据可信性的同时,减缓了区块链网络压力,提高了共识效率。给出方案实施的具体步骤并证明方案的正确性和安全性。实验结果表明,该方案具有较好的有效性和实用性。     

国产手机的新陈代谢

早在2007年就有人预言,2008年将会是国产手机的重要拐点,在国际大品牌和国内黑手机的双重夹击下,国产手机已经走入了一个生死攸关的关键时期。 这样的预言恐怕很快就要成真。业内人士普遍担忧的是,我们曾经引以为自豪的国产手机巨头们,现在都开始淡出手机市场。而另一方面,新鲜血液正迫不及待地想要进入其中。     

Cisco公司CEO John Chambers:e-Iearning带来收益

Cisco 公司的 CEOJohn Chambers 警告他的听众,在今天这个快速增长的计算时代中,不对雇员进行经常性的培训是非常危险的。通过 e-learning,雇员可以更好的进行工作。Chambers 预言,e-learning 将会保持两年半左右的稳定增长,它的发展将与 e-commerce 极其类似。两年前,Cisco 提出了 IT 产业中一个最为大胆而乐观的预言,那就是     

给力你的世界——2011年12款平板电脑评测专题

早在2003年,比尔·盖茨便预言平板电脑将改变人类生活与工作方式。随着平板电脑大举进入我们的生活,这一预言正逐步成为现实。当然,如今平板电脑的概念,无论从内涵还是外观设计都已经被苹果iPad重新定义,一年4000万台的销量,也令整个业界为之侧目!     

未来展望

数字未来将会怎样? 世纪之初,人们都在做出各种各样的未来预言,尤其是在数字技术领域,各种预言向人们展示了各种引人入胜的美好蓝图。PCMagazine《个人电脑》也不例外,在本期的封面专题中,大家可以看到信息技术在未来几年中是如何改变电子商务、计算、通信以及我们工作和生活的方方面面。 尽管各种预言五花八门,但在有些方面却极为相似。比如,我们们将拥有速度极快、功能极强的电脑以便能够达到即时通信,各种连接方式可以使我们在任何地方、在任何时候访问这些电脑,智能化的应用方案可以自动完成某些商业运作。这些技术的发展已经在改进我     

蜕变测试和断言检查的比较与实验研究

在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.     

移动生活搜索大战 已经发生的未来

当管理大师、社会思想家德鲁克在他的作品《管理新现实》中阐述他的奇特的预言的时候，大多数人关注的是预言能否成功，却忽略了预言的深层原因。     

信息化造就“无墙”医院

美国未来学家阿尔文·托夫功多年以前曾经预言:“未来医疗活动中,医生将面对计算机,根据屏幕显示的从远方传来的病人的各种信息对病人进行诊断和治疗”。如今看来,这种预言早已被现代医疗技术变为了现实。     

标准模型下基于身份的代理环签名方案研究

现有的基于身份的代理环签名方案的安全性大都是在随机预言模型下证明的,随机预言机模型将Hash函数理想化为一个完全随机模型,在实际应用中不一定安全.鉴于此,提出一个新的基于身份的代理环签名方案.在标准模型下证明了该方案能够抵抗存在性伪造攻击,且签名者具有无条件匿名性,因此具有更好的安全可靠性.     

技术预言2012

有关2012的预言,有很多很多,最为著名的,是你懂的那个。无论如何,技术的变革发展不会停下脚步,就算是造方舟,也需要高科技;就算你能登船,也需要IT设备传承文明。2012年,我们的技术预言将会缩小范围,将重点集中在人们最关心的那些移动设备上,以及与之相关的核心部分;操作系统。2012年,对于这些设备和操作系统来说,是至关重要的一年,也是即将水落石出、尘埃落定的一年。     

1997将流行“回归”?

业界“舵主”Andrew Grove预言15年后微处理器将达到这样一个水准:集成10亿个晶体管,尺寸可能会达到4.6cm,钟频达到比微波快3倍的10GHz,每秒运行1000亿条指令。 呜呼,这个预言对我们太遥远。我们只关注眼前……     

马蒂阿斯·霍尔克斯的未来观 未来必须重新书写

技术亢奋的时代将会过去,完全网络化的预言正在落空。未来,技术不可能决定一切,而只是在幕后起作用,人类的聪明才智将重新占据主导,人类的创造性和艺术性将重获新生。