计算机病毒运行条件的分类研究

从程序语言的角度出发,应用一一映射的方法,建立起计算机病毒规范与运行条件的同构模型.在此基础上,提出了计算机病毒运行条件的基于共性的分类方法,并给出了其在病毒防范领域中的应用方法.该分类法的应用领域包括:软件开发人员的参考指南,计算机软件工程领域的研究素材,以及病毒测试人员或审计人员的"条件核查列表".     

世界最大对撞机将破解五大科学谜团

过去几十年来,物理学家不断在细节上加深对构成宇宙的基本粒子及其交互的了解。了解的加深让粒子物理学的“标准模型”变得更为丰满,但这个模型中仍存在缝隙,以至干我们无法绘制一幅完整的图画。为了帮助科学家揭示粒子物理学上这关建性的未解之谜,需要大量实验数据支持,大型强子对撞机便担负起“数据提供者”的角色,这也是非常重要的一个步骤。大型强子对撞机能够将两束质子加速到空前的状态而后发生相撞,此时的撞击可能带来意想不到的结果,绝对是任何人都无法想象的。五大科学建团真的会被一一破解吗？     

反应堆堆内构件流体激振力的数值模型研究

针对反应堆堆内构件流致振动分析评价中如何合理获取流体激振力的关键技术难题,开展了典型反应堆堆内构件三维流场分析的数值模型研究.研究基于计算流体动力学方法,首先,根据反应堆堆内构件的结构特点和运行工况参数,将实际结构的关键部件、物理边界提取并做适当简化,在合理降低计算规模的同时,又充分保留其流场特征;其次,综合考虑计算资...     

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

为在支持用户间的转借行为的数字版权管理(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色差图、色差分布、色差比率和色差均值能够直观、准确地反映半调噪声的抑制情况和重建图像质量.