基于Petri网展开的多线程程序数据竞争检测与重演

数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展开的新型数据竞争检测方法.首先,对程序的某一运行轨迹进行分析和挖掘,构建程序的一个Petri网模型,它由单一轨迹挖掘得到,却可隐含程序的多个不同运行轨迹,由此可在保证效率的同时降低传统动态分析方法的漏报率;其次,提出基于Petri网展开的潜在数据竞争检测方法,相比静态分析方法在有效性上有较大提升,而且能明确给出数据竞争的产生路径;最后,对上一阶段检测到的潜在数据竞争,给出基于CalFuzzer平台的潜在死锁重演调度方法,可剔除误报,保证数据竞争检测结果的真实性.开发相应的原型系统,结合公开的程序实例验证了所提方法的有效性.

脉冲展开式飞网质量分布与展开稳定性优化

针对脉冲展开式飞网的展开稳定性问题,从网面质量分布角度开展研究。首先基于传递矩阵方法、集中质量法和反比例函数推导建立了较优的网面质量分布模型。然后结合遗传算法优化得到了网面最优的质量分布状态,并通过大量数值仿真和回归分析得到了网面质量分布经验公式。提出的网面质量分布模型有效降低了网面质量分布问题中的优化变量个数,提升了网面质量分布最优解的求解效率。网面质量分布最优解所对应的网面展开稳定性得到大幅提升,网面质量分布经验公式对应的网面展开状态与最优解对应的网面展开状态基本一致。结果表明,将网面质量分布模型和网面质量分布经验公式应用到脉冲展开式飞网将有效提升飞网的展开稳定性。

关于地下室室内消火栓系统展开图表达方式的总结与探新

结合工程实例,对地下室室内消火栓系统展开图的绘制要点进行总结,简要介绍环网平面系统对应解析图应用的个人心得,并对展开图中管道标高的表达方式做新的探索,旨在与同仁们互相学习交流。

基于变迁紧邻关系重要性的流程相似性算法

为了提高模型的检索效率,提出一种基于变迁紧邻关系重要性的相似性算法TAR++,其主要思想是在流程中两两任务之间的紧邻关系上增加一个重要性系数,并将流程的相似度用带重要性的变迁紧邻关系集合的相似度表示。经证明,该算法对应的TAR++距离满足距离度量性质。在SAP、东锅、北车三个公司实际业务流程数据上进行的相关实验表明,该算法具有比较好的时间效率以及良好的灵活性和可操作性。

基于完全有限前缀的完备日志生成算法

鉴于理想的完备日志很难被获取,针对特定次序关系完备的日志已成为评估挖掘算法表现的重要数据来源。提出了一种新颖的针对特定次序关系完备日志生成算法,基于完全有限前缀计算轨迹,使日志生成过程可控。扩展了完备日志的生成算法,使日志能够针对Δw关系和w关系完备,从而满足α谱系挖掘算法对日志的完备性要求。同时提出了一种日志生成算法的评估框架,并对日志生成算法进行评估。

女王三连霸

因疫情暂停一年后,扇港杯世界女子围棋最强战于今年复赛续弈,成为2021年开启的首项世界女子棋战。由于疫情尚未平息,本届比赛也像去年所有世界大赛一样采取线上对局的方式,参赛棋手仍为八人,以日本幽玄之间为平台,连接中国新浪、韩国乌鹭网展开较量,唯一令人感到遗憾的是冠军奖金减半为500万日元。因为於之莹是卫冕冠军,依据规则,获得主办方指定资格。

嗨,你生了吗?!

微调查:"生育危机"导致捐精乱象?近年来,育龄夫妻中出现不孕不育症的概率有上升趋势,卵子买卖、自助捐精等乱象也层出不穷,你怎么看待这一现象?《新民周刊》联合手机腾讯网展开调查,结果如下国人熟识的见面,彼此间的招呼,最体现他们的生活纠结。很久很久以前,"吃饭了吗?"无疑是最纠结的关怀,因为物质短缺,不成饿殍,便是幸事。后来相继是"留学了吗?"、"下海了吗?"、"离婚了吗?"、"涨停了吗?"、"买房了吗?"……直至当下"幸福了吗?"。

登顶欧锦赛

因为疫情的关系,传统上作为每年7月底欧洲围棋大会开幕前预热的欧洲围棋团体锦标赛暨熊猫网杯(Pandanet)决赛连续第二年于8月的最后一个周末在熊猫网展开。入围决赛圈的四支队伍由常规赛的前四名俄罗斯队、波兰队、法国队、乌克兰队组成,最终法国队以三战全胜获得年终冠军。

民族的与世界的

当中青队在一群体格硕壮的德国足球"动物"面前倒下时,心中有一种少有的失落,而这种面对中国足球的失落心情已经很久不曾有了,即使当中国国家队小组赛便失去世界杯出线权时也不曾有过这种郁闷。这是一支在各方面都给我们很好印象的球队,在新浪网展开的一项调查活动显示:居然有超过90%的网民对这支中青队的表现表示满意,这也是近几年来少有的关于中国足球的高度统一的赞许。说实话,中青队与德国青年队相比,只有一个环节不如对手,那就是身体素质,其它各项均比对手出色,但是,仅此一项就让中青队付出了出局的代价,实在太冤了。这是力量对技术的胜利,也是粗糙对精巧的胜利,这让我们想到了关于足球风格的问题。

发挥比较优势 创互补双赢

在我看来,视频网站和电视的关系可以用两个字来概括:竞合——有竞争也有合作。在竞合关系中,如何发挥自身优势,是视频网站未来制胜的关键。竞:比较优势推升视频媒体价值目前来看,无论是受众的注意力还是广告主的营销费用,都出现了从电视向视频网站转移的趋势。这和视频网站自身的优势特点不无相关,而更重要的是我们能够充分发挥这些优势。

“小三话题”凸显婚姻“去道德化”倾向

《画皮》的火爆上再次引发了人们关于"第三者"的讨论。近日,中国青年报社会调查中心通过新浪网展开一项在线调查(1093人参加),44.7%的人表示身边的出轨现象非常普遍。资深婚恋咨询专家、中国婚姻研究会成员周小鹏说,出轨是现在家庭较普遍的一个现象。在她接手的离婚个案中,90%是因为有第三方介入,