一种基于转借行为的数字读物传播模型

为在支持用户间的转借行为的数字版权管理(DRM)方案中研究数字读物传播范围,在分析动态数字版权管理(DDRM)转借树传播模型和流行病传播模型的基础上,根据节点用户间的联系建立了针对转借行为的数字读物传播状态机并进行了分析.提出了一种允许用户发生转借行为的数字读物传播模型(HPD模型),该模型引入了扩展速度来描述转借行为发生的速度,并且量化了传播范围随时间变化的情况,使其能够对一定时间段内的传播情况进行预测.最后给出了DDRM结合HPD模型使用许可时间和转借层级进行转借控制的方法和可能产生的传播范围.     

腐蚀混凝土单轴受压力学性能研究

对分别受酸、无机盐、有机物和微生物等腐蚀作用的混凝土试块进行了单轴受压试验,采用等应变率加载得到了混凝土的应力-应变全曲线.试验结果表明:受腐蚀混凝土由于腐蚀介质的物理化学作用,内部存在较一般混凝土更多、分布更不均匀的初始缺陷,导致弹性模量、峰值应力和残余变形能力降低,降低程度受腐蚀程度影响.腐蚀越严重的混凝土,加载过程中剥落现象越严重,且主裂缝发展迅速,发育显著,而其他裂缝发展不明显.引入初始损伤因子表示腐蚀作用,应用损伤力学理论和概率统计方法建立了腐蚀混凝土单轴受压本构关系模型,所建模型与试验结果基本一致.     

模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

Witty蠕虫的传播模型与分析

为了能够深入了解Witty蠕虫传播的具体过程和采取更为有效的防御措施,利用动力学方法提出了一个含有潜伏期且在潜伏期内和感染阶段均具有传染性的模型.根据网络的实际情况,该模型考虑了延时因素,采用了动态感染率.利用该模型得出了蠕虫爆发的阈值.将已有的模型与该模型进行了比较,仿真结果表明:该模型能更好地符合Witty蠕虫的实际传播数据,偏差比已有的模型分别减小了4.4 %和6.2 %.     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

基于光栅扫描的NAM优化策略

借助于Packing问题的优化思想,提出了一种基于光栅扫描的NAM优化策略.以矩形子模式的NAM表示方法为研究对象,进行了理论分析与实验验证.NAM优化策略的最终目标是不断地逼近模式的最优化表示,NAM优化问题在降低存储空间、提高传输速度、加快处理过程、模式匹配等方面具有较高的理论参考和实际应用价值.结果表明:基于光栅扫描的NAM优化策略是行之有效的,对NAM的优化具有一定的指导意义.     

基于HVS的彩色逆半调色差预测及可视化方法

提出了一种彩色逆半调色差预测及可视化评价方法.该方法从HVS特性着手,首先将图像变换到模式一颜色分离的S-CIELab空间,然后运用CIEDE2000色差公式和NBS色差感知参考值建立了彩色逆半调质量评价方案.仿真结果表明:该方法提高了色差计算的精度,拓展了色差表现形式,符合HVS特性,所生成的HVS色差图、色差分布、色差比率和色差均值能够直观、准确地反映半调噪声的抑制情况和重建图像质量.     

直流电纵向激励机械调Q CO2激光器的动力学分析

用一种快速斩波器实现简单直流电纵向激励CO₂激光的机械Q调制. 产生了峰值功率为1~2 kW、 重复频率为740 Hz、 单脉冲宽度为200~300 ns的激光脉冲. 用六温度模型模拟该机械调Q CO₂激光器Q调制的动力学过程, 分析了CO₂分子分解为CO分子比率、 腔内放电电子密度(放电电流)对输出脉冲强度的影响, 并计算了Q转换输出脉冲线形、 脉冲峰值功率及脉冲宽度, 理论计算分析与实验结果相符.      

附加应力扩散项的Johnson-Segalman流体模型相图分析

研究一类带附加应力扩散项的Johnson-Segalman模型, 通过不变流形分析方法以及同宿轨与异宿轨的研究, 刻画了该模型的相空间结构, 并证明了一类具有三井位势的Hamilton系统同宿轨和异宿轨的存在性.     

基于深度强化学习的区域化视觉导航方法

针对移动机器人在分布式环境中的导航问题,提出一种基于深度强化学习的区域化视觉导航方法.首先,根据分布式环境特征,在不同区域内独立学习控制策略,同时构建区域化模型,实现导航过程中控制策略的切换和结合.然后,为使机器人具有更好的目标导向行为,在区域导航子模块中增加奖励预测任务,并结合经验池回放奖励序列.最后,在原有探索策略...