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

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

基于话题共振的群体情绪演化动力学模型研究

在线社交网络中舆情话题共振现象愈发多见,相似或相关话题的互动与叠加使公众群体情绪变得愈发复杂和不确定,增加了政府管控的难度.为此本文构建了一种在线社交网络中考虑可变交互阈值、基于观点动力学的双层复杂网络模型,将话题关系、时间机制、政府、媒体、网民等因素作为变量参数,利用中国流行的在线社交平台新浪微博数据进行了仿真模拟及对比验证.结果显示话题共振效应的存在对群体情绪的演化产生了一定的“阻尼”作用,使群体情绪表现的更加“固执”,难以被外界环境信息影响;同时在舆情生命周期不同阶段发生的话题共振现象中,群体情绪展示出了不同的演化特征.因此,针对不同情景的舆情事件,政府应采取不同应对策略以提升网络生态的治理能力.     

海滨锦葵花粉及花粉管生长观察

海滨锦葵(Kosteletzkya virginica (L.) Presl.)为锦葵科多年生草本植物[1].1993年,作为开发利用盐碱滩涂的候选物种之一,从美国引入中国.     

基于忆阻器实现多样化STDP学习规则的突触电路设计

忆阻器作为一种具有记忆效应的非线性电路元件,它受到电流刺激后的电导变化与人脑中神经突触的权重变化类似,可用于模拟人脑学习、记忆过程中的突触行为.本文提出了一种基于忆阻器所搭建的突触电路,包含了由运放、逻辑门、模拟开关等器件构成的增强模块和抑制模块,以及由忆阻器和模拟开关构成的忆阻突触模块.通过对增强和抑制模块输入直流脉...     

大肠杆菌依赖链霉素突变对λN和λQ基因表达的影响

核糖体是一切生物蛋白质合成的唯一场所,所以核糖体对生命活动十分重要。目前,核糖体各组分(包括3种rRNA和50多种核糖体蛋白质)的结构已经研究清楚,但对各组分的确切功能却“仍然几乎一无所知”。本实验室多年来分离了大肠杆菌和枯草杆菌大量的核糖体蛋白质突变体,研究了这些突变对其它基因表达的影响,证明不同的核糖体蛋白质突变对同一基因表达的影响不同;同一核糖体蛋白质突变对不同基因表达的影响也不同。     

大鲵行为观察

地球上生存至今的最大两栖类动物——大鲵,以其超脱世外的生物秉性而稍显神秘。两栖动物学界广泛地认为,大鲵已在地球存在3.5亿年。走过侏罗纪,游历宇宙漫漫的演化长河,大鲵保持着它们的水陆两栖生活方式,偏安一隅——执着地坚守在山溪,潜伏在其中清澈的水底,聆听流水叮咚的声音。     

基于符号方法的模拟电路可测度分析

现有电路可测度符号分析方法在低可测度电路故障诊断中没有考虑元件故障模糊组的影响。可测度分析时需要计算所有元件参数组合的可测度,但实质上其中部分参数组合的可测度是相同的,不必重复计算。鉴于上述问题,在可测度符号分析方法的基础上,提出根据系数依赖矩阵划分元件故障模糊组,将各个模糊组中的元件参数赋值后计算电路可测度。该方法减少了符号法可测度分析的计算量,适用于模拟电路的自动测试与故障诊断。     

基于隐马尔可夫模型人脸识别的研究

提出了基于HMM的人脸识别方法.根据人脸的特点建立HMM模型,然后采用奇异值分解抽取观察序列.通过对观察向量的仿真结果表明,这种方法在提高识别率和缩短计算时间方面都有很大进步.     

中国热点论文榜

“热点论文”在科学界已经是耳熟能详的名词。顾名思义，热点论文即为众人所关注的论文。这种关注度在科学计量学领域可以用论文被引用的次数来量化和测度。美Thomson Reuters利用SCI数据，每两个月发布一次物理学、生物学、化学和医学领域的热点论文（见《科学观察》各期）。根据特约撰稿入对热点论文的分析，热点论文的确能够反映世界科学前沿性研究的动态。这里，我们以2004—2008年中国科学家的SCI论文为数据基础，分领域统计了自发表以来被引频次最高的论文，以展现颇具显示度的中国科技成果。《科学观察））编辑部根据统计结果，特约请愿意撰文的科学家对他们的研究成果作了言简意赅的介绍（见统计数据后的一组论文）。本期发布的热点论文榜涉及地学、环境科学、医学和农林科学4个领域。     

马克思人道主义研究的合理方法论原则

合理方法论原则是正确理解马克思人道主义的关键。然而，这一点却一直没有得到应有的重视，这亦是学界关于马克思人道主义存在分歧和争论的症结和根本原因。该文试图在现有研究基础上，深入探究和重点提出正确看待马克思人道主义必须坚持的合理方法论原则，以求真正把握马克思人道主义。