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

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

N-acetylmuramic acid 6-phosphate lyases (MurNAc etherases): role in cell wall metabolism, distribution, structure, and mechanism

MurNAc etherases cleave the uniqued-lactyl ether bond of the bacterial cell wall sugar N-acetylmuramic acid (MurNAc). Members of this newly discovered family of enzymes are widely distributed among bacteria and are required to utilize peptidoglycan fragments obtained either from the environment or from the endogenous cell wall (i.e., recycling). MurNAc etherases are strictly dependent on the substrate MurNAc possessing a free reducing end and a phosphoryl group at C6. They carry a single conserved sugar phosphate isomerase/sugar phosphate- binding (SIS) domain to which MurNAc 6-phosphate is bound. Two subunits form an enzymatically active homodimer that structurally resembles the isomerase module of the double-SIS domain protein GlmS, the glucosamine 6-phosphate synthase. Structural comparison provides insights into the two-step lyase-type reaction mechanism of MurNAc etherases: β-elimination of the D-lactic acid substituent proceeds through a 2,3-unsaturated sugar intermediate to which water is subsequently added. Received 31 August 2007; received after revision 12 October 2007; accepted 1 November 2007     

一种快速高效二维时域有限元束传播法

提出并建立了一种新型的快速分析平面光波光路器件传输特性的2D时域有限元束传播法(FE-TD-BPM)模型.与常规时域差分格式的有限元束传播法相比,在时域实现了一维有限元(FEM)离散化处理,基于完全匹配层(PML)边界条件给出了全有限元离散化模型.为了验证算法的精度以及速度,模拟分析了直脊波导以及波导光栅,并且与已有文献的计算结果进行比较,结果表明,该算法无条件稳定、计算速度快,与常规时域差分格式的有限元束传播法相差在0.002%以内,并节省了约70%的机时.     

领域本体信息源选取方法研究与实现

构造领域本体所需的信息源选取方法的研究对解决本体的构造质量、构造效率等问题,以及推广与发展领域本体有着重要意义.传统的信息源文档选取方法只考虑概念因素,不能很好地解决该问题.因此,首先利用抽象方法分析了领域本体所需信息源具有的概念性、关系性和预测性等特点.然后,针对这些特点分别采用改进的VSM方法、基于本体关系距离的方法以及神经网络方法计算文档权值.最后,通过编写的软件OnMaker产生模拟数据得到概念、关系和预测3个权值,从而计算出每个文档权值,并使用与"湿地保护"相关的真实文档验证该模型,达到了较好排序选取的效果.     

基于深腾1800机群系统的分子动力学并行仿真研究

介绍了分子动力学并行仿真计算的软硬件环境,分析了现有的几种并行算法,确定采用区域分解法作为并行算法,并在此基础上提出了基于区域二次划分的分子动力学并行仿真算法.另外,阐述了原子链、原子近邻表和原子亲属表的概念,提出了基于永久序号的消息传递策略.最后,设计了分子动力学并行仿真程序,并分别在1、2、3、4台结点机上进行了实验,运行结果表明:加速比随着结点数的增加而增加,并行效率虽略有下降但都在87.5%以上,并行效率并没有随着结点数的增加有明显的降低,说明并行程序具有很好的扩展性.     

基于条件蒙特卡罗方法的信用违约互换合约定价

多标的资产违约相关性结构的度量及其联合违约时间的模拟是信用违约互换合约定价的关键.Copula函数和蒙特卡罗模拟是解决此关键问题的有力工具,被广泛应用于信用衍生品定价.本文基于因子t-copula模型,结合条件蒙特卡罗模拟,构建了计算第7n次信用违约互换合约的条件蒙特卡罗算法.该算法能够捕捉多标的资产违约的尾部相关性,更准确地度量标的资产组合的违约风险及提高违约事件的模拟效率.数值结果表明,在考虑尾部相关性的情形下,采用重要抽样技术的JK算法和改进的JK算法是不稳定的,不能达到减方差的目的;而本文新构建的定价算法更稳定,在高斯copula和t-copula模型下,都能够有效减小估计量的方差,提高信用违约互换合约的定价精度和可靠性.     

现代网络业务流的几个基本定律

为了采用有物理意义的参数,在多个时间尺度下对现代网络业务流进行建模,考察了网络流量长相关(LRD)的基本特征,提出了业务流中满足的几个基本定律,揭示了在流量中描述LRD定量关系的参数cγ(或cf)、流量聚集级m、平均到达率l之间的基本关系,并通过实际测量的数据加以验证.所提出的定律表明:(1)流量确实存在LRD行为;(2)平均到达率(TCP和IP流等)与参数cγ(或cf)存在一定的统计定量关系.     

基于空域和混沌映射的数字水印嵌入算法

提出一种LSB改进算法．利用混沌序列对水印预处理,而后利用固定归一化相关嵌入图像数据低位,从而改进了传统LSB算法稳健性差的缺点。实验结果表明,采用该算法的水印在无原始图像的情况下,通过密钥能够清晰地检测到水印的存在。对常见的图像处理有较好的鲁棒性。     

网络流量自相似性产生原因的分析

网络业务自相似性已经引起了人们广泛关注,一些研究表明自相似性是网络业务中的一个普遍特性,网络自相似性表现出了与传统模型不同的特征。对网络业务自相似的相关理论作了阐述,对网络业务自相似相关研究工作进行了细致研究,在此基础上初步分析了网络业务自相似产生的原因。     

Kaplansky变换在高阶上的推广

给出了高阶Kaplansky变换的定义,并且刻画了高阶Kaplansky变换的基本性质.同时,对v-凝聚整环上的高阶Kaplansky变换进行了系统的研究,证明了若R是v-凝聚整环(分别地,Mori整环),则Ω(s)也是v-凝聚整环(分别地,Mori整环).