属性代理重加密的区块链密文云存储共享研究

为了更安全高效地实现信息存储共享服务，提出一种支持关键词检索及属性代理重加密的区块链存储共享方案。采用节点分类和密文存储分离的方式，更好地实现了抗共谋攻击；引入信息交互智能合约，使信息共享双方无需中心机构参与就可以自发地进行通信。利用属性代理重加密算法，信息属主不需要重新加密、上传、下载就可以向其他用户共享信息，在一定程度上减轻云存储器高频访问的压力。通过与现有的属性代理重加密方案进行对比，结果验证了方案的安全性和高效性。     

SlightDetection：一种以太坊智能合约安全漏洞的静态分析工具

以太坊智能合约若存在安全漏洞，则会导致无可估量的损失。为缓解该问题，提出了一种以静态程序分析技术实现代码全覆盖的智能合约漏洞检测工具SlightDetection。该工具将智能合约源代码转化为对应的抽象语法树，并翻译为XML中间表示；以几个经典漏洞的特征为例，书写自定义的XPath规则库；将XML中间表示与XPath库作为输入不断遍历XPath规则库并进行匹配，最终得到漏洞检测的报告。该文测试了3个经典合约，充分展示了SlightDetection具有更快、更准确的检测特性；对Etherscan上提供的大量智能合约进行测试并对其中100多份合约进行了手动验证，进一步证明了该工具的有效性。     

也谈企业的性质

对于企业性质的研究应该从外部和内部两个角度展开。从外部即从企业与市场、政府、家庭的关系来看,企业是一种生产组织;从内部即从剩余索取权和控制权的分配来看。企业中两种权利的不对称分布是企业最根本的特征。     

基于胶囊网络和注意力机制的智能合约漏洞检测方法

近年来,随着智能合约的数量越来越多,因合约漏洞而造成的经济损失愈发严重,智能合约的安全性越来越受到广泛的关注。基于深度学习的漏洞检测方法能够解决早期传统智能合约漏洞检测方法检测效率低、准确率不足的问题,但大多现有基于深度学习的漏洞检测方法都是直接使用智能合约源代码、操作码序列或字节码序列作为深度学习模型的输入,会因引入过多无效信息而削弱有效信息。为此,文中提出了一种基于胶囊网络和注意力机制的智能合约漏洞检测方法。考虑到程序的执行时序信息,文中通过提取智能合约的关键操作码序列作为源代码特征,然后利用胶囊网络和注意力机制的混合网络进行训练,其中胶囊网络模块用于提取智能合约的上下文信息以及局部与整体的联系,注意力机制用于给不同的操作码按照其重要程度分配不同的权重。实验结果表明,文中提出的算法在智能合约数据集中的F₁分数和准确率分别为94.48%和97.15%,与其他传统检测方法和深度学习方法相比有较明显的性能提升。     

差价合约交易中的风险分析

本文主要分析了在CFD交易中存在的一些潜在风险,并对各种风险给予解释和提醒,最后对CFD交易中存在的"杠杆越高风险越高"的普遍认识给予了全新的注解,也让人觉得耳目一新。作为对一个金融领域的新产品注解,该文章有很好的启示作用。     

基于多媒体网络和学习合约的个性化课外英语自主学习——河北科技大学理工学院大学英语第二课堂活动现状及改进措施

众所周知,在大学英语学习过程中,第二课堂活动对于大学生的英语学习起着重要作用。然而,目前河北科技大学理工学院的大学英语第二课堂活动的现状却不容乐观,存在着活动涉及学生范围小,活动内容缺少计划、不系统、不连贯、无目的,活动过程缺少引导、没有监督,活动结果无评估等一系列问题。另外,虽然河北科技大学理工学院有大学英语自主学习中心,但是该中心在帮助学生提高英语水平方面的作用却没有充分发挥出来。笔者通过调查和访谈,从"签订个性化语言学习合约"、"完善大学英语多媒体网络自主学习中心的配套建设"、"组织形式多样的课外活动每个学生都有参与竞技的机会"三个方面,提出了对河北科技大学理工学院的大学英语第二课堂活动的整改措施。     

限定摹状词的指称问题

罗素的摹状词理论被认为是20世纪上半叶最为重要的论文,而到了20世纪下半叶罗素的主张不断受到挑战。首先发起挑战的是斯特劳森,之后唐奈兰试图对罗素和斯特劳森之间的争论进行黑格尔式的综合,并提出了摹状词的归属性—指称性区分。概要论述了近几十年来围绕着这一问题的主要论证以及所争论焦点,并概述了这种争论对语言哲学的意义。     

高校教师合约化管理风险规避的思考

高校人事制度改革的主要内容是实施合约化管理,然而高校教师合约化管理风险是高校人力资源管理风险中的一部分。通过从合约化管理入手,分析合约化管理风险的原因,进而提出风险规避的思考。     

数学是不可完全的

数学的不可完全性是哥德尔不完全性定理揭示的深刻的数学本质。由此引发的哲学反思是哥德尔建立柏拉图主义数学哲学的坚实基础，同地在各种哲学争论中哥德都以这一哲学义蕴空前深刻的数学结果为自己的立场辨护。