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

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

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

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

聚丙交酯——聚乙二醇嵌段共聚物的合成与性能研究

采用两段反应,先通过辛酸亚锡催化低分子量端羟基聚乙二醇(PEG)(数均分子量1000和2000)与L-丙交酯(L-LA)的开环聚合合成含有端羟基的低分子量聚丙交酯--聚乙二醇-聚丙交酯(PLA-PEG-PLA)三嵌段低聚物,再用六亚甲基二异氰酸酯(HDI)进行扩链反应合成了一系列不同力学性能的聚丙交酯--聚乙二醇(PLA-PEG)多嵌段共聚物.确定了扩链过程中,多嵌段共聚物膜达到最佳力学性能的反应条件.采用X射线衍射及DSC分析表征了聚合物的结晶结构与熔融温度的变化,发现随PEG含量的增加,聚合物的结晶性与熔融温度均下降.对聚合物膜的吸水性及降解性的测试结果表明,PEG分子量相同时,PEG含量增加,聚合物膜吸水性增强,降解速度加快;同组分比例的PEG2000-PLA多嵌段共聚物的吸水性及降解性均比PEG1000-PLA多嵌段共聚物强.     

稀疏网络编码中秩分布分析模型研究

针对现有稀疏网络编码研究中线性相关概率性能指标精准度较低的问题,提出基于马尔可夫链的性能分析模型。对线性相关概率、秩的概率分布等性能指标及其复杂度进行分析,并通过该性能分析模型分析编码包传输后期的译码成功概率;基于吸收马尔可夫链计算编码包传输过程中的瞬态、吸收态以及各状态间的状态转移概率,并对状态转移概率中蒙特卡罗模拟误差较大的问题进行改进,由状态转移概率构建吸收马尔可夫链基本矩阵,得出信宿端收到非再生包的线性相关概率,进而推导出秩的概率分布和译码成功概率性能指标。仿真结果表明,在相同条件下所提模型性能指标精确度均优于对比模型,且能精确地评估信宿端解码矩阵秩的概率分布、译码成功概率等稀疏网络编码的译码行为。     

基于区块链的车联网群智感知位置隐私保护方法

针对车联网群智感知位置隐私泄露和用户参与任务公平性的问题,提出了一种基于区块链的车联网群智感知位置隐私保护方法(location privacy protection method based on blockchain and crowdsensing, LPPMBC)。将分布式的区块链引入车联网群智感知位置隐私保护方法中,消除第三方服务平台对参与用户数据的控制;通过保序加密和Geohash编码相结合,为参与工人提供多级别的位置隐私保护,确保参与工人位置隐私的保密性;通过Haversine公式进行感知位置验证,防止工人通过非感知区域数据获得非法奖励,保障感知数据的质量。仿真结果表明,LPPMBC能够更好地权衡感知数据质量与工人隐私保护关系,保障用户参与任务的公平性, 提高用户参与任务的积极性。     

系统科学视域下区块链技术在数字音乐版权保护中的应用价值分析

数字音乐版权保护是一项系统工程,其内部三大子系统：确权系统、用权系统和维权系统相互关联、相互作用,形成一个有机统一的运作整体。本文基于系统科学视角,通过分析区块链技术特征,结合数字音乐版权系统存在的问题,从著作权人、传播者和使用者三方角度剖析区块链技术特征对构建数字音乐版权系统的应用价值,认为区块链+数字音乐版权系统的应用可弱化版权确权过程中的垄断力量、有效建立用权交易过程中的信任机制以及解决维权过程中面临的司法公正问题。     

ARIMA组合模型在地区降水量预测中的应用

传统的ARIMA模型和马尔科夫模型在降水量预测中具有一定的偏差和不稳定性,为此建立了基于加权马尔科夫链修正的ARIMA组合模型.阐述ARIMA模型,并讨论了加权马尔科夫链修正预测值的方法.在此基础上,构建出基于加权马尔科夫链修正的ARIMA组合模型,将其应用于地区降水量的预测中,并利用相关数据进行实证分析.将组合模型和...     

不确定环境下链与链竞争的纵向控制结构绩效

利用贝叶斯统计推断方法和博弈理论构建市场不确定环境下链与链竞争的控制结构模型,分析市场风险、产品竞争强度对供应链纵向控制结构绩效的影响,从制造商与供应链系统角度识别了不确定环境下纵向控制结构选择的贝叶斯均衡与可能的囚徒困境,特别是,供应链系统控制结构选择不依赖于市场的风险环境,只取决于市场竞争强度,这显著不同于制造商对纵向控制结构选择还依赖于市场风险及零售商预测能力,该结果为不确定环境下链与链竞争的纵向控制结构选择提供了理论基础.     

基于动态贝叶斯网络的动态故障树分析

针对传统的动态故障树Markov链分析方法的不足,研究了优先或门、顺序相关门、功能相关门、存在公共备件的备件门和层叠功能相关门向动态贝叶斯网络的转化方法以及基于动态贝叶斯网络的顶事件概率、重要度等计算方法.用该方法对心脏辅助装置进行了分析,通过与Markov链、离散时间贝叶斯网络分析的结果比较表明,基于动态贝叶斯网络的建模分析方法可以有效地避免组合爆炸,而且能够保证较高的求解精度.     

基于图象的人体运动追踪系统研究

首先介绍了运动测量的几种主要方法,讨论了基于图象的运动追踪研究中要考虑的时间延迟问题及多摄像机的采集同步问题,最后介绍了一个能较好地完成大尺度空间人体无约束追踪的基于透视四点投影(P4P)问题的单摄像机运动追踪实验系统,包括摄像机标定、图象处理、特征提取、特征匹配、深度估计和姿态估计等等技术。