摘要：合理的事件编码方式有助于提升业务流程剩余时间预测效果,为此,有针对性地设计出5种事件编码方式。首先,抽取业务流程包含的全部事件,并利用事件编码方式对获取的事件进行编码。其次,根据业务流程序列性的特点,构建不同类型的剩余时间预测模型,同时将事件编码向量作为预测模型的输入,从而评估事件编码方式对业务流程剩余时间预测的影响。在8个公开事件日志数据集上进行实验,结果表明GloVe事件编码方式在提高业务流程剩余时间预测效果上是最有效的。该实验结果可帮助研究者和从业者选择最合适的事件编码方式以实现最佳剩余时间预测效果。

摘要：传统的虚拟场所的展示系统有着赢利能力较弱的不足,传统的2D网络销售系统也存在真实感、交互性较弱的不足,该文针对以上两个不足研究设计了具有真实感的体育馆虚拟展示并售票系统。系统以W eb3D及其相关技术为基础设计了针对体育馆实际需求的体育馆场景结构、体育馆实时显示技术及交互式售票模块,并根据实际对已有的显示技术做了相应改进。用户通过Internet直接对体育馆进行全方位的浏览,赛前对体育馆的各种设施方位有一个了解,用户还可以与系统进行交互购票。系统较全面虚拟了实时浏览、挑选、购票的过程。具有良好的人机交互功能,克服传统方法的不足,为用户和厂商之间搭建了更高效更完美的沟通渠道。

摘要：业界通常采用路由保护方案来提高域内路由可用性。然而已有的路由保护方案存在下面两个方面的问题:a)没有考虑网络中链路的失效概率,同等对待网络中所有的链路,事实上在互联网中,不同链路的失效概率是不同的,因此应该在路由保护方案中考虑链路的失效概率;b)将保护链路的数量作为设计目标,事实上方面某些链路出错的概率非常低,保护这些链路反而会增加开销,而另一方面某些链路出错的概率非常高,需要重点保护这些链路。因此应该将路由可用性作为路由保护方案的设计目标。针对上述两个问题,提出了一种基于关键网络状态的域内路由保护方案(RPBCNS),该算法首先通过链路失效概率计算出所有的关键网络状态,然后在每种关键网络状态下计算节点对之间相应的路径,保证节点对之间路径的多样性,从而使得尽可能多的节点对满足路由可用性需求。仿真实验将RPBCNS算法与主流算法ECMP、DC、path splicing分别在三个真实网络中进行对比,在网络可用性和节点对可用性满足率上RPBCNS的性能明显优于其他三种算法。仿真结果表明,RPBCNS不仅具有较高的网络可用性,并且能够使得尽可能多的节点对满足路由可用性目标,更符合实时应用的实际需求。

摘要：随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。

摘要：word2vec利用深度学习的思想,可以从大规模的文本数据中自动学习数据的本质信息。因此,借助哈尔滨工业大学的LTP平台,设计利用word2vec模型将对句子的处理简化为向量空间中的向量运算,采用向量空间上的相似度表示句子语义上的相似度。此外,将句子的结构信息添加到句子相似度计算中,并就特殊句式对算法进行了改进,同时考虑到了词汇之间的句法关系。实验结果表明,该方法更准确地揭示了句子之间的语义关系,句法结构的提取和算法的改进解决了复杂句式的相似度计算问题,提高了相似度计算的准确率。

摘要：为贯彻落实《国务院办公厅关于加强政府网站信息内容建设的意见》(国办发〔2014〕57号)、《国务院办公厅关于开展第一次全国政府网站普查的通知》(国办发〔2015〕15号)等文件要求,进一步发挥政府网站在深化政府信息公开、回应社会关切、引导网络舆论和改进政务服务中的作用,中国软件评测中心组织开展了2015年度中国政府网站绩效评估工作。介绍了2015年政府网站绩效评估指标体系的设计思路及调整情况,发布了评估结果,分析了网站的亮点与成绩,指出了存在的问题与不足。

摘要：2021年,国家自然科学基金委员会进行了大气科学学科资助布局改革,形成了分属于“分支学科”“支撑技术”和“发展领域”三大板块的共15个二级申请代码的全新资助体系。作为“支撑技术”板块中的重要成员,“D0510大气数据与信息技术”申请代码旨在鼓励先进技术与方法的创新以及大气学科基础理论与技术的交叉融合。本文从改革背景、逻辑框架、内涵构成等方面对新编“D0510大气数据与信息技术”申请代码的四大类研究方向及关键词进行了专门解读,阐明了D0510主要侧重于提高包容性与覆盖面的设计思路,强调了D0510对“卡脖子”关键技术和潜在“颠覆性”技术的引领作用。本文对往年D0510各方向关键词的基金申请和文献使用情况进行了统计分析,以帮助相关科研人员及时把握D0510申请代码的发展趋势,充分理解研究方向与关键词的内涵和逻辑关系,避免研究方向和关键词的选取过于集中或者与其它板块申请代码间产生混淆等问题,从而为更准确地选择相应的研究方向与关键词提供参考。

摘要：媒质接入控制是无线传感器网络设计的关键问题之一.由于媒质接入控制协议直接控制着节点无线通信模块的活动,而无线通信模块是传感器节点能量消耗的主要来源,因此MAC协议节能效率的好坏将严重影响网络的性能.基于TDMA的MAC协议具有固有的节能特性,即通过合理的TDMA调度避免传输碰撞以及减少节点空闲监听的时间.本文提出了ED-TDMA协议,一种面向事件驱动的传感器网络应用的TDMA协议.该协议根据当前源节点的数目动态地改变TDMA帧的长度,提高了信道利用率;同时采用位图方式的TDMA调度,极大地减少了TDMA调度的开销,节约了能量.此外,通过引入簇内覆盖的思想,使得簇内的活动节点数目为一常数,同时减少了工作节点的数目,从而延长网络的生命周期,并在一定程度上提高了系统的可伸缩性.实验结果显示,ED-TDMA协议更适用于网络负载较低、节点密度高的无线传感器网络.

摘要：文中研究由密文的完整性检查而导致的数据保密性问题,提出一个新的安全概念——加密方案在密文验证攻击下的不可区分性(IND-CVA:indistinguishability ofencryption scheme under ciphertext verification attacks)来刻画加密方案在这种情况下的保密安全性。IND-CVA允许敌手访问加密oracle和密文验证oracle。与IND-CPA和IND-CCA相比,IND-CVA比IND-CPA稍微强些,但要比IND-CCA弱得多。IND-CVA能使多数常用的加密方案(如:OTP,CBC,及CTR)得以满足。并且,这个IND-CVA可以恰当地刻画安全信道的保密安全性。将认证方案和加密方案结合起来是保证通信安全的一种常用方法。然而,在IND-CVA模型下,当利用认证方案来加强保密安全性的时候,却有可能反而破坏了原有的保密安全性。IND-CVA揭示了完整性对保密性的影响,准确刻画了安全信道的保密性要求,为协议设计提供了有益的参考。

摘要：在UC安全框架下,文中提出了一个通用的安全信道协议构造方法.按该方法得到的信道协议首先调用一个理想的密钥交换协议以取得会话密钥,然后再调用一个认证加密方案对要传送的消息进行认证加密处理.其结果是,该安全信道是UC安全的充分必要条件是,其中的认证加密方案同时是IND-CVA和INT-PTXT安全的.这一结论比IND-CCA安全和INT-CTXT安全要弱得多,显示出IND-CVA在刻画安全信道的保密安全性方面的准确性.另外,文中提出的安全信道的构造方法也实现了从安全信道的UC安全性到认证加密方案的保密性和完整性的转换,为安全信道的设计和分析提供了有力的工具.