An efficient algorithm to generate candidates in discovering frequent episodes

0 IntroductionData mining is widely used in many research fieldssuch as decision supporting systems[1], bio-informationanalysis[2]and knowledge engineering[3-5]. Most data col-lected from scientific experiments or telecommunicationnetworks have inherent sequential nature inthemand canthus be abstractly viewed as a sequence of events . Onebasic problemin miningsuchevent sequencesis discoveryof recurrent combinations of events , which are calledepisodes. Once frequent episodes are discovered,rul…     

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

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

未知数量稀疏源的盲分离方法

提出了一种新的用于未知数量稀疏源的盲分离的统一方法.为了改善聚类分离的精度,首先选取混合空间中半径给定、中心位于原点的超球面以外的数据点,并将这些数据点映射到中心位于原点的单位超球面上.由此,原来的超平面线性聚类变为致密聚类,各聚类互相重叠的现象消失.然后,通过对这些映射到单位超球面上的数据点进行聚类分离来估计混合矩阵,再利用混合矩阵估计源,其中最佳不相似阈值和相应的聚类数量是自动生成的.仿真实验验证了该方法对实际音频信号包括语音信号的有效性.仿真结果表明该方法精确、简便,稳定性好,且计算量较小.     

查询优化器连接顺序评估

连接顺序选择问题,即从连接顺序搜索空间中选出性能最优的连接顺序,是关键的查询优化问题.然而,连接顺序的选择存在庞大的搜索空间,导致其成为难点问题,优化器往往无法确保找到最佳的连接顺序.虽然目前存在许多连接顺序选择策略,但是,现有的评测基准不适用于评估各种连接顺序选择策略的优劣.为了有效地评估优化器在连接顺序选择方面的优化效果,本文基于确定性数据生成方法,采用适用于不同连接形状的连接模板生成算法和基于结果导向的参数实例化方法,生成评测场景的数据与负载,实现了通用的优化器连接顺序选择评估工具.通过对OceanBase和PostgreSQL进行评测,表明本文所提出的工具能够全面且有效地评估查询优化器的连接顺序选择功能的性能.     

结构体系转换顺序对大跨连续梁桥施工控制的影响研究

利用桥梁结构分析软件MIDAS/Civil建立桥梁结构计算模型,对某在建特大跨悬臂浇筑预应力混凝土连续梁桥的整个施工过程进行仿真分析,同时运用前进分析法对桥梁结构进行施工控制分析计算,重点对结构体系转换过程中临时固结拆除引起悬臂端挠度过大以及由于跨中底板预应力筋引起的张拉后底板压应力过大等问题进行了深入研究,提出通过优化结构体系转换顺序的方法解决以上问题.优化方案的验算结果符合设计规范要求,建议已被采纳.     

数学联系实际杂谈(连载之二)

在去鞍山之前,大约是在1961年,我曾在英国的运筹学季刊上看到一篇简短的文章,讲的是关于3个零件在3台机器上同顺序加工的问题。文中的方法很简单{因为只有3个零件),但却有些新意。我就将文中的方法作些修改,推广到4,5个零件上去,应邀到所里做了一次通俗报告。(我的这个推广后来就发展成可行线方法,那是70年代的事了)。之后便到安徽六安去搞"四清"。此时就有人将讲稿打印油印出来寄到六安。我便寄了一份给华罗     

《上海交通大学学报》征稿简则

<正>《上海交通大学学报》是由国家教育部主管、上海交通大学主办的自然科学综合性学术刊物.它以邓小平理论、"三个代表"为指导思想,以促进科学技术发展、培育科技人才,为我国社会主义现代化建设服务为宗旨.本刊坚持党的基本路线,提倡"双百方针".刊登内容主要包括:船舶与海洋工程、机械、动力、能源、材料、电气、电子、信息与控制、计算机、化工、生物工程、建筑、管理科学以及数学、物理、工程力学等方面的最新研究成果.本刊为中国科技论文统计源核心期刊,并被《美国工程索引》(Ei)等国内、外众多权威检索系统所收录.为保证刊物质量,根据国家标准和本刊的编排规则,特制定本简则.     

对体育竞赛中奇数编排的探讨

本文着重阐述了,体育竞赛中奇数编排的方法、利弊、规律。在奇数队单循环制编排法原有的方法的基础上,将其进一步完善,尽可能地使体育竞赛合理、有序、公正、公平。     

拱桥加固实例

根据仁义桥的基本情况,文章从加固技术标准、加固方法、加固顺序、加固主要材料及注意事项等方面,对拱桥的施工方案进行了介绍。