计量逻辑学中的误差累计理论

在二值逻辑系统中,初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论（作为Γ结论）的误差不会超过各前提误差的和。     

相互依赖网络的多参数混合幂次迭代瓦解策略

探寻复杂网络的最优瓦解策略是网络科学研究中的重要课题.相比于单层网络,更为普遍的多层耦合网络的最优瓦解成为新的研究方向.传统算法大多集中在研究高中心性节点,而单一的中心性测度往往会导致对节点重要性的评估出现偏差.首次结合质量扩散(MD)和热传导(HC)两种经典物理方法,提出了一种新的基于幂次迭代的算法(PIA),该方法...     

计量逻辑学中的收敛理论

初步给出了计量逻辑学中的收敛理论。提出了逻辑度量空间中的度量收敛,赋值收敛和网收敛概念,对它们做出刻画并初步论证了它们之间的关系。     

隐私计算的学术内涵与研究趋势

笔者在国际上率先提出隐私计算的概念、定义及学术内涵,并形成了较为成熟的理论与技术体系。为了持续推动隐私计算的学术研究和产业应用,详细诠释了隐私计算的学术内涵,包括如何理解全生命周期、延伸控制、隐私量化与映射、脱敏效果评估,为什么要做迭代按需脱敏、为什么要研究隐私计算语言以及自存证在泛在共享中的作用等,并对一些被曲解的学术概念予以澄清;给出了隐私计算九大方面37个研究点,以及数据安全八大方面40个研究点,并从18个维度将隐私计算与数据安全等技术进行了全面对比,以帮助读者更好地理解隐私计算的研究范畴,正确区分隐私计算与数据安全。     

Attribute-based strong designated-verifier signature scheme

In a strong designated-verifier signature scheme, only the verifier who is designated by a signer can check the validity of a signature via her/his private keys, which process contrasts with the public verifiability of a typical signature scheme. In applications in multi-user communication environments, a user may want to sign a document such that only some specified parties can confirm the signature. To do so, the signer can generate many designated-verifier signatures on a document for various designated verifiers, or she/he signs the document, encrypts the signature, and then sends the encrypted messages to the specified parties. However, the signer has to generate multiple signatures, as determined by the numbers of the designated verifiers in the former method and the latter method, signs a document and then encrypts it, that could lose their designation (which phenomenon is called source hiding). To solve the above problems, this study proposes an attribute-based strong designated-verifier signature scheme with source hiding, such that a signer needs to generate only one signature for a group of designated verifiers with attributes at specified values. To the best of the authors’ knowledge, no attribute-based strong designated-verifier signature scheme has been formally presented before.     

高效的隐私保护在线开票服务认证方案

近年来,发票形式由传统的纸质凭据向电子凭据转变。相比于开具纸质凭据,在线开具电子凭据具有流程简化、成本降低以及便于存储等优势。但是,如何保证在线开具电子凭据服务中实体身份的合法性以及身份信息的隐私性是当前研究的重点问题。为了解决此问题,利用预共享密钥机制,该文提出一种隐私保护在线开具电子凭据的认证方案。在此方案中,合法用户与企业完成交易后可以本地在线发起开票申请,国家税务总局的电子凭据系统成功核验实体身份和交易信息后可为该用户提供电子凭据。安全和性能分析结果表明提出方案可以在耗费较少认证开销的情况下提供鲁棒的安全属性。     

改进MobileNet的图像分类方法研究

针对神经网络结构的特征提取能力不足以及在包含复杂图像特征的数据集上分类准确率不高的问题,本文提出了一种对MobileNet神经网络的改进策略(L-MobileNet)。将原标准卷积形式替换为深度可分离卷积形式,并将深度卷积层得到的特征图执行取反操作,通过深度卷积融合层传递至下一层;采用Leaky ReLU激活函数代替原ReLU激活函数来保留图像中更多的正负特征信息,并加入类残差结构避免梯度弥散现象。与6种方法进行对比,实验结果表明:L-MobileNet在数据集Cifar-10、Cifar-100(coarse)、Cifar-100(fine)和Dogs vs Cats上平均准确率和最高准确率都取得了最佳结果。     

Three-Way Behavioral Decision Making With Hesitant Fuzzy Information Systems: Survey and Challenges

Three-way decision (T-WD) theory is about thinking, problem solving, and computing in threes. Behavioral decision making (BDM) focuses on effective, cognitive, and social processes employed by humans for choosing the optimal object, of which prospect theory and regret theory are two widely used tools. The hesitant fuzzy set (HFS) captures a series of uncertainties when it is difficult to specify precise fuzzy membership grades. Guided by the principles of three-way decisions as thinking in threes and integrating these three topics together, this paper reviews and examines advances in three-way behavioral decision making (TW-BDM) with hesitant fuzzy information systems (HFIS) from the perspective of the past, present, and future. First, we provide a brief historical account of the three topics and present basic formulations. Second, we summarize the latest development trends and examine a number of basic issues, such as one-sidedness of reference points and subjective randomness for result values, and then report the results of a comparative analysis of existing methods. Finally, we point out key challenges and future research directions.      

基于ZigBee无线通信技术的河流水位监测系统

针对目前国内的河流水位监测现状,文中提出了一种将ZigBee无线通信技术和超声波测量技术相结合的河流水位监测系统。该系统将超声波测量模块与无线传感器节点相结合,充分发挥无线传感器体积小、功耗低、易于扩展的特点,具有广阔的应用前景。