"校园一卡通"系统的设计

文章在对高校使用"校园一卡通"进行分析[1]的基础上,以IC卡为信息载体,对校园消费、管理系统的组成、硬件的构成及网络系统进行了设计.     

数据流时间窗口中闭频繁项集的在线挖掘

在数据流闭频繁项集挖掘过程中,常忽略历史模式对挖掘结果的影响,并采用一种结构来标记闭频繁项集的类型,导致算法的效率不高.为此提出一种挖掘数据流时间窗口中闭频繁项集的方法NEWT-moment.该方法能在单遍扫描数据流事务的条件下完整地记录模式信息.同时,NEWT-moment提出的剪枝方法能很好地降低滑动窗口树F-tr...     

跳-斜度变点估计的强收敛速度

对至多只有一个跳-斜度变点的模型,利用滑窗方法研究了独立误差分布条件下变点估计的强、弱相合性,以及强、弱收敛速度等统计推断问题.     

基于超效率数据包络分析模型的视窗分析

视窗分析作为一种分析效率前沿移动的方法已获得较为广泛的应.而传统的视窗分析中效率评价一般都采用CCR模型,会出现多个时期的决策单元有效的情形,难以对这些决策单元进行全面系统的评价.针对这个问题,借助超效率数据包络分析可以进一步区分有效决策单元的思想,将超效率数据包络分析模型引入视窗分析当中,并利用该方法对福建省九个设区...     

物联网的概念及发展

物联网一经提出就受到了科研人员、政府和大众的广泛关注。有关物联网的探讨和研究工作也已取得了长足的进展。然而,对于物联网的定义、内涵及其随着科技发展而产生的深远影响却值得深入探讨。文章旨在通过对物联网概念及其演进过程的分析,来引起人们对于物联网发展的关注,进而推动物联网更好地应用,为创造智慧城市提供动力。     

基于校园一卡通体系结构的系统安全性探究

＂校园一卡通＂是＂数字化校园＂建设的重要组成部分和基础工程,是今后校园现代化管理的必然趋势,但因为其应用种类多、涉及的信息量大,使得安全问题尤为突出.本文在阐述了＂校园一卡通＂系统的功能、体系架构的基础上,重点对校园一卡通网络系统安全问题进行了研究和探讨,提出了针对复杂应用情况下的安全管理策略.     

物联网和智慧城市数据处理与管理概念体系构建 ——以ITU-T数据处理与管理焦点组标准化项目为例

概念体系构建和术语工作是制定任何标准的基础,在多学科和多领域的场景中,构建概念体系和术语工作面临不同利益相关方需求不同而难以达成共识的巨大挑战.文章梳理了ITU-T FG-DPM在促进不同利益相关方和项目组成员之间达成通用概念共识构建统一术语及定义的经验,通过规范概念体系的构建过程,采用术语多维度协同视角来构建统一的数...     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

微挠度桥梁及其试验研究

由于混凝土收缩、徐变和活载的作用,利用常规的方法很难满足机车对桥梁结构变形的要求,作者提出了一种新颖的结构体系———微挠度桥梁来实现这种要求。常规预应力体系用来消除恒载效应,新型的预应力体系用来消除活载效应及结构时变性效应,此种结构具有自适应性。其机理是通过感知元件监控结构的状态,诊断系统判断结构所处的状态,控制系统控制作动系统通过调整体外束的力调整结构的状态。为了验证微挠度桥梁实现的可能性,作者设计微挠度简支梁模型并实现了上述的控制思路。     

法律智能合约平台模型的研究与设计

现有的智能合约技术本质上只是一段链上代码,而真正的智能合约应是法律合约的数字化,可以实现合约条款的自动执行.为此,介绍了法律智能合约的重要科技,包括法律考量、预言机、事件模型等基础设施,在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤,通过对法律流程标准的研究提出了设计智能合约模版的方法.为解决智能合约模...