关于Polya罐子模型的几个结论

在Polya罐子模型中,分别以Xn,Sn表示第n次抽球并放回后罐中的黑球比例数和在前n次抽球中抽到黑球的次数,得到了Sn/n的极限分布为贝塔分布以及E（Xn）等于E（X∞）,D（Xn）不等于D（X∞）等几个重要结论,并分别运用概率论知识和随机过程的鞅理论知识从不同角度证明结论.     

常利率下信用风险模型的破产问题

对常利率下的信用风险模型进行了研究,运用概率论的分析方法得到了该模型下有限时间内破产概率和破产时间分布所满足的积分方程.进一步通过对破产概率的分析,得出破产前一时刻的瞬时盈余分布和破产时刻余额分布所满足的递推积分方程,完善了Yang Hailiang的相关问题的结果.     

海森堡自旋链中的宏观量子相干

迄今为止,磁性宏观量子效应的研究主要集中于单畴磁体[1],即零维空间.扩展到一维空间(如自旋链)和二维空间(如磁性薄膜)不仅有实际的应用价值,而且具有重要的理论意义,因为一直缺乏满足物理要求的瞬子解.     

基于有限元模型的颌面牵张成骨仿真技术研究

口腔颌面部骨修复与重建治疗主要采用自体骨组织移植与复合骨移植等方法.由于颌面部解剖结构复杂,传统的术前研究方法耗时、耗材且不能重复.本文提出采用有限元模型与计算机仿真技术研究颌面牵张成骨的受力和生长状况,通过有限元分析,得到颌骨生长面的应力分布规律及最大应力存在位置.医生可以在术前根据应力分布情况,确定切口位置和牵张给力大小、生长速度等,最后根据有限元模型开发出一套颌面牵张成骨的仿真软件原型系统.     

基于区块链的物联网应用研究综述

物联网设备数量的快速增长证明了该领域具有巨大的应用及研究价值,但其设备异构性、隐私泄露、安全漏洞及可扩展性等自身问题使得物联网系统安全面临着严峻挑战。通过结合区块链技术解决上述问题,已成为物联网领域的一大主要研究热点。分析了物联网目前所面临的风险挑战及结合区块链后的可解决方案,对近几年国内外区块链技术在物联网各领域的应用最新研究成果及与5G网络的可集成性进行了总结,分析了未来在这些领域的研究发展方向,讨论了区块链与物联网集成后面临的资源受限、计算开销大及隐私性等问题。     

多目标的跟踪区域列表动态优化算法

5G移动网络要适应多样化和不断增加的用户设备(User Equipment, UE),应对终端巨大的位置管理信令开销是实现这一目标的重要保障。文中提出了一种多目标算法优化跟踪区域列表(Tracking area List, TAL)的策略,目的是寻找TAL中跟踪区(Tracking Area, TA)的最优分布以及如何将TAL分配给UE,以最小化位置管理中冲突的跟踪区更新(Tracking area update, TAU)和寻呼信令开销。在本地侧利用多目标粒子群优化算法实现TAL的最优分布,网络侧根据不同UE的移动特性来分配大小合适的TAL。通过仿真验证,所提方案可以在TAU和寻呼开销之间取得妥协,并在节省总位置管理开销方面得到了大幅度改善。     

碱性阴离子交换膜的碱稳定性

碱性阴离子交换膜(AEMs)是碱性阴离子交换膜燃料电池的核心部件之一,目前已成为制约碱性阴离子交换膜燃料电池发展的关键因素.离子传导基团在碱性条件下,容易受到氢氧根离子的攻击发生降解.本文主要从以下3个方面介绍了近期AEMs在耐碱稳定性方面的研究成果:(1)开发稳定的离子传导基团,并通过提高离子传导基团的电子密度和增大缺电子位置的空间位阻提高离子基团的稳定性;(2)在离子传导基团与聚合物主链之间引入长烷基侧链;(3)合成不含醚氧键的聚合物主链,改善AEMs的耐碱稳定性.     

多相化学合成氨研究进展

氨不仅是氮肥的主要原料,亦可作为能源载体在可再生能源的储存与转化过程中发挥重要的作用.而氨的化学合成是实现这一过程的关键.现有的Haber-Bosch合成氨工业是一个高能耗过程,开发温和条件下的合成氨过程是研究人员长期以来不懈追求的目标.随着催化科学与技术的进步,人们对合成氨微观反应机理的认识不断加深,这为进一步设计和开发低温高效的合成氨过程提供了许多有益的启示.本文分析了当前合成氨化学中的挑战与机遇,重点阐述了合成氨多相催化剂及化学链合成氨过程的开发,对近期发展迅速的电、光、等离子体等外场驱动的化学合成氨方面的研究进展也进行了简要介绍,强调了规避过渡金属上线性关系的限制是实现温和条件下合成氨的有效策略.     

青翘水提物对人肠道菌群的影响

通过在体外研究青翘水提取物对人肠道菌群结构和短链脂肪酸产生的影响,初步探讨其药理作用机制.采用16S rRNA基因高通量测序分析了不同剂量的青翘水提物对人肠道菌群结构和组成的影响,并利用气相色谱-质谱法测定了短链脂肪酸的含量.结果 发现青翘水提物能够明显降低肠道菌群的多样性,且多样性随着剂量的增加而逐渐降低.同时,青翘...     

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

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