A Stochastic Model for Optimizing the Patching Time of Software Bugs

New bugs and vulnerabilities are discovered and reported from time to time even after software products are released. One of the common ways to handle these bugs is to patch the software. In this paper, the authors propose a stochastic model for optimizing the patching time for software bugs and vulnerabilities. The optimal patching time can be computed in the patching script development and operational costs in fix. The authors present two case studies using the Nimda worm vulnerability in Microsoft Internet Information Services web server and the bug report of the Debian project. These studies indicate that the patch applications are later than their optimal fix time.

端羧基丁腈橡胶/环氧树脂冷补沥青研发及其混合料性能

为研究端羧基液体丁腈橡胶(CTBN)/环氧树脂E51冷补沥青及其混合料性能,基于正交试验,以60℃旋转黏度和1d质量损失率为指标,确定CTBN/E51冷补沥青各组分最佳掺量为稀释剂18%,环氧树脂14%,固化剂4.7%,增韧剂3%和抗剥落剂4%。通过水煮法、动态剪切流变试验(DSR)、弯曲梁流变试验(BBR)评价冷补沥青的黏附性、高温性能和低温性能。采用LB-10级配,6.2%的油石比制备CTBN/E51冷补沥青混合料,与市面上常用的GR牌和GJY牌冷补料进行强度试验、车辙试验、低温劈裂试验、浸水马歇尔试验、施工和易性试验和容留时间试验,结果表明:CTBN/E51冷补料具有较好的路用性能且容留时间为3h。

青海、甘肃与宁夏地区未来大地震预测分析

根据孕震断层多锁固段脆性破裂理论与孕震时空区域划分四项基本原则,确定了青海、甘肃与宁夏地区地震区划分的合理方案,给出了各地震区未来强震的四要素预测结果.结果表明,除海原、共和、昆仑山口西地震区近期无破坏性地震发生,玉树地震区未来地震趋势目前还难以判定外,古浪、乌兰-大柴旦、玛多-阿坝地震区都将有破坏性地震发生,且都距临界点较近.

不同遮盖时间治疗弱视的临床观察

目的比较短时遮盖（4 h/d及6 h/d）和全天遮盖治疗3~7岁单眼弱视患儿的疗效。方法对92例3~7岁单眼患儿进行准确的屈光矫正,均采用遮盖联合弱视训练的疗法,按遮盖时间差异随机分为每天遮盖健眼4 h、6 h和全天遮盖3组,余精细训练方法均相同,于治疗后第1个月和第6个月时对最佳矫正视力（BCVA）提升程度进行分析。结果治疗1个月后,BCVA〈0.3者经全日遮盖后视力提升0.47±0.10,与4 h/d、6 h/d组间差异具有统计学意义（P〈0.05）。BCVA≥0.3者经3种不同遮盖时间治疗,3组间视力提升差异无统计学意义（P〉0.05）,治疗6个月后,BCVA〈0.3者和BCVA≥0.3者经3种不同遮盖时间治疗,3组间视力提高差异均无明显差异（P〉0.05）。结论视力〈0.3的弱视患者在治疗初期采用全天遮盖疗法视力提升较快。在治疗后期,短时遮盖（4 h/d及6 h/d）与全天遮盖治疗弱视的疗效相似,但可提高患儿治疗依从性。

基于AM3358处理器的嵌入式实时EtherCAT主站的构建

工业以太网现场总线Ether CAT作为新兴的现场总线技术被越来越多的应用到数控领域,其中将Ether CAT总线应用到数控系统中的关键技术难点是构建Ether CAT主站。基于此,文章提出了一种基于AM3358处理器构建嵌入式Ether CAT主站的解决方案。首先采用RT Patch在AM3358处理器平台上实现嵌入式实时Linux系统,然后使用Ig H Ether CAT Master开源组件在其上构建嵌入式实时Ether CAT主站。最后在数控系统中对嵌入式Ether CAT主站进行了测试,测试结果表明,构建的嵌入式实时Ether CAT主站可以满足数控系统实时性和多轴控制同步性的要求。

基于ARM的Linux实时抢占补丁的研究与实现

随着ARM处理器计算能力的提高,该类型的处理器在嵌入式领域的应用越来越广泛的同时,也得到了数控系统的青睐。结合数控系统的实时加工技术的要求,通过分析和研究Linux实时抢占补丁(RT-Preempt patch)技术,提出了一种基于ARM微处理器TI AM3358的嵌入式实时系统解决方案。在以TI AM3358为硬件平台的Linux嵌入式系统中实现了RT-Preempt的应用,并对任务调度延迟、中断响应延迟和优先级反转问题进行了测试。经试验证明,提出的实时系统解决方案可以满足中档数控系统实时加工的需求。

介质层振动信号时域分析及其在填埋场漏洞修补技术中的应用

钻探灌浆修补技术是填埋场防渗层漏洞修补的重要发展方向,难点是如何准确地控制和判断钻头到达填埋场防渗层(即卵石保护层)而不会破坏其下面的HDPE膜.利用采集仪对钻头在防渗层不同介质层中的振动加速度信号进行采集,分别采用波形幅度分析法、循环绝对值求和法及分段均方根法对数据进行了分析.结果表明:①波形幅度分析法能够明显区分垃圾层和卵石层;②循环绝对值求和法与分段均方根法也可区分垃圾层和卵石层,但存在约1 s的时间误差或0.5 cm的距离误差,该误差在允许的范围内.3种不同时域分析方法的对比显示,波形幅度分析法简单直观,其他2种分析方法能够直观地反映信号的包络趋势,据此敏感地反映信号的突变情况和加速度幅度大小在单位时间内的概率分布,进而可以灵活地控制钻机.

一种具有快速条件断点的并行程序调试器

快速条件断点是高性能并行程序调试器中进程控制必备的功能之一.分析了快速条件断点基本原理以及快速条件断点设计中需要考虑的代码生成、代码插装和源程序对应等问题.并针对上述问题,提出了预编译与运行时编译结合的代码生成方式、动态代码插装、源断点标识技术等解决方案.利用经过改进的动态补丁码工具Dyninst,设计实现了并行程序调试器XBUSTER,并实现了快速条件断点这一重要功能.测试表明,XBUSTER的执行效率比传统条件断点高.与现有的基于动态插装的系统,如Ceder,ldb和Dyner相比,XBUSTER具有功能性强、可移植性好等鲜明特点.

金氏痔痛贴对实验性大鼠止血作用的研究

目的:研究金氏痔痛贴对实验性大鼠的止血作用。方法:将清洁级SD大鼠随机分为6组,即对照组、云南白药组、赋形剂组及金氏痔痛贴大、中、小剂量组,测定大鼠的凝血时间、凝血酶原时间(PT)、活化部分凝血活酶时间(APTT)、凝血酶时间(TT)、纤维蛋白原(Fg)值及血小板聚集功能。结果:金氏痔痛贴能显著缩短模型大鼠的凝血时间、PT、TT、APTT,并能增强大鼠的血小板聚集功能,均具有统计学意义(P<0.01),但对于Fg,不具有统计学意义(P>0.05),金氏痔痛贴上述指标与云南白药组相比,不具有统计学意义(P>0.05)。结论:金氏痔痛贴能显著缩短凝血时间、PT、TT和APTT,并能增强大鼠的血小板的聚集功能,该药具有良好的止血作用。可作为临床痔疮出血的止血药物,其止血机制可能与促进凝血过程中的凝血酶原和凝血活酶的生成、增强血小板的聚集功能有关。

颅骨缺损修补术时机对神经功能康复的影响

目的探讨颅骨缺损修补术时机的选择对患者神经功能康复的影响。方法选择2009年3月至2011年1月在我院接受颅骨修补术的120例患者临床资料,按颅骨缺损修补时间分为早、中和晚期修补组,每组40例,比较3组患者颅骨修补手术前后神经功能的恢复及生活质量改善情况。结果①早、中、晚期颅骨修补组患者术后生活质量呈下降趋势,早期与中期组患者Barthel指数评分显著高于晚期组,早期组患者Barthel指数评分显著高于中期组,差异均具有统计学意义(P<0.05)。②早期与中期组患者美国国立卫生研究院脑卒中量表》(NIHSS)和《中国卒中患者神经功能缺损评分标准》(CSS)评分均显著低于晚期组,且早期组患者NIHSS和CSS评分显著低于中期组,差异均具有统计学意义(P<0.05)。结论早期行颅骨修补术可更好地改善患者神经功能,提高患者生活质量。

具有功能反应和时滞的三种群捕食-食饵扩散模型的正周期解的存在性

讨论了一类具有时滞和Michaelismenten型功能反应函数的三种群捕食-食饵扩散模型,且所有参数均依赖于时间.应用重合度连续性定理,得到了该系统正周期解存在性的充分条件.

环渤海地区景观格局动态变化轨迹分析

对变化轨迹的目标、特征等进行了总结、归纳,提出变化轨迹斑块的意义,通过轨迹斑块将复杂的时空动态现象用二维图谱表示出来。同时,基于变化轨迹方法,对环渤海地区土地覆盖时空动态变化进行分析,并选取占所有发生变化面积91.25%的30种主要的变化轨迹,生成变化轨迹空间分布图谱,并结合格局指数进行分析。结果表明,(1)"耕地"属于人类干扰最为剧烈的地类,其变化主要表现在耕地的流失上;(2)"耕地"向"人工表面"的转换是研究区最大的变化类型,其中2005-2010年变化面积远大于2000-2005年,占用耕地进行开发建设现象更加严重;(3)"海域"向"人工表面"的转换主要发生在2005-2010年间,主要由人工围填海造成;(4)湿地面积总体上变化不大,但其转入、转出比例均较大,证明湿地内部变化剧烈,湿地的破坏和人工湿地的补充同时进行;(5)研究区内主要变化轨迹类型大都来源于人类的开发利用活动,人类干扰起了至关重要的作用。研究结果为研究区景观格局提供了清晰的时空动态刻画与分析,为有关部门在土地合理利用、耕地和生态用地保护等方面提供了基础数据和理论支撑。

茶叶挥发物对白斑猎蛛觅食行为的影响

为了探明茶树叶片挥发物在白斑猎蛛(Evarcha albaria)选择觅食斑块过程中的作用,采用固相微萃取-气相色谱-质谱联用技术研究了其猎物假眼小绿叶蝉(Empoasca vitis)取食对茶树叶片挥发物释放的影响,同时利用蜘蛛行为观测平台研究了白斑猎蛛在不同味源侧(觅食斑块)的活动行为。结果表明,未损伤叶片(对照)仅释放出微量挥发物,而假眼小绿叶蝉成虫取食后的茶树叶片释放出14种挥发物;雌、雄蛛在进入处理味源(假眼小绿叶蝉取食后的茶树叶片)侧和对照侧的初次选择及进入频次上均无显著差异,但与对照相比,雌、雄蛛在虫害处理叶片中的停留时间显著增加。研究表明,假眼小绿叶蝉取食诱导了茶树叶片挥发物的释放,而挥发物种类和含量的变化造成了白斑猎蛛在不同味源侧停留时间的差异。

阿米替林对大鼠皮层神经元钠离子通道电流及其mRNA的影响

目的:观察阿米替林(AMI)对大鼠皮层神经元钠通道电流及其mRNA表达的影响。方法:运用全细胞膜片钳模式记录AMI加药前后的钠通道电流(INa);采用实时逆转录聚合酶链反应(real time reverse-transcription-polymerase chain reaction,RT-PCR)观察实验组和对照组皮层神经元钠通道各亚型的mRNA表达量。结果:AMI抑制大鼠皮层神经元INa及其mRNA表达(P<0.05)。10μMAMI显著改变钠通道的激活特性和失活特性。10μMAMI在5 min、10 min及24 h对Nav1.1均有抑制作用,而对于Nav1.2的作用只是在5 min时有抑制作用,对Nav1.6的抑制作用存在波动性的变化。结论:AMI对大鼠皮层神经元INa及其各亚型mRNA的表达均有浓度依赖性抑制作用。AMI对INa的抑制主要通过影响钠通道的激活和失活动力学来实现的,对其各亚型mRNA表达的抑制作用具有不同的特点。

间歇生产中过程调度的建模与分析

过程调度在间歇生产过程中起着非常重要的作用。针对过程调度的特点,我们建立了UIS中间存储策略下的间歇过程调度的混合整数规划(MILP)模型和时间Petri网模型,并分别采用Lindo和Hpsim1_1仿真工具对模型进行仿真实现。结果表明,对小规模问题,两种模型都能较好地解决,但前者约束多且描述复杂,而后者以图形化的工具描述单元间的逻辑关系,更适合调度系统的性能分析。

茶叶挥发物对鞍形花蟹蛛觅食行为的影响

为了探明茶叶挥发物在鞍形花蟹蛛(Xysticus ephippiatus Simon)搜寻猎物——茶尺蠖(Ectropis obliqua Prout)过程中的作用,采用固相微萃取气相色谱质谱联用技术研究了茶尺蠖取食对茶树叶片挥发物释放的影响,并通过蜘蛛行为观测平台研究了蟹蛛在不同味源侧(觅食斑块)的活动行为。结果表明:对照叶片没有释放出挥发物,经茶尺蠖幼虫取食后的叶片能释放31种挥发物,其中有12种绿叶挥发物、9种萜类及其衍生物、4种芳香族挥发物和6种未知化合物。行为观测表明,雌、雄蟹蛛进入处理味源侧(茶尺蠖取食后的茶树叶片)和对照味源侧(未损伤茶树叶片)的初次选择均不存在差别(P>0.05),雌蛛进入处理味源侧和对照味源侧的频次分别为3.37±0.18和3.43±0.15,二者无明显区别(P>0.05);雄蛛进入两侧的频次分别为3.86±0.21和3.66±0.20,也无明显区别(P>0.05);雌蛛在处理味源侧和对照味源侧的停留时间分别为(922.57±19.59)s和(818.89±29.63)s,有极显著差异(P<0.01),雄蛛在两侧的停留时间分别为(937.97±18.05)s和(814.83±18.97)s,也有极显著差异(P<0.01),表明雌蛛、雄蛛在处理侧的停留时间明显延长。这说明,猎物取食诱导改变了茶树叶片挥发物的释放,而鞍形花蟹蛛能感知挥发物的变化并由此调整在不同觅食斑块中的停留时间。另外,本文还讨论了挥发物在蟹蛛搜寻猎物过程中的生态学意义。

数千上万核上模拟结果的并行可视化

在科学与工程计算中,在数千上万核上,模拟包含上亿网格单元的模型通常输出TB量级的时变数据集。这些数据集包含多个时刻的数据,每个时刻的数据分布存储在数千个文件,单时刻的数据量达到几GB甚至几十GB。为了并行地可视化这种时变数据集,本文设计了基于网格片的层次化数据结构,基于该数据结构改进和优化了并行可视化流程和数据通信算法。在集成到可视化软件后,实现了两个应用的模拟结果可视化。实测数据表明,对于单时刻5GB和32GB的数据,在数十上百个处理器核上,从数据读入到获得体绘制结果的时间分别为19秒和80秒,交互操作为2秒到10秒;三维面绘制在数秒钟内,切片分析在2秒以内。

基于三角面元的涂层目标FDTD共形网格生成技术

提出了一种基于三角面元数据生成涂层目标时域有限差分(finite-difference time domain,FDTD)共形网格的方法。通过将原目标中各三角面元的顶点沿曲面在该点处的法线方向内移(内涂层)或外移(外涂层)所需的厚度,得到一组关于涂层的三角面元数据。其中曲面上各顶点处的法线方向近似等于包围该顶点的各三角面元的单位法向的矢量和。对于局部涂敷的情况,可根据需要只将涂敷部分所包含的三角面元顶点进行相应的移动,而其余顶点的位置保持不变。利用投影求交法,由原目标的三角面元数据和新生成的涂层三角面元数据即可得到共形FDTD计算所需要的共形网格参数。数值结果验证了方法的正确性和有效性。

基于复用计算的大纹理实时合成

文中提出一种基于复用计算的纹理合成方法,逐步地利用已合成的部分纹理来生成更大的纹理块,以进行后续的纹理合成计算.由此,该方法可节省大量耗时的纹理块选择及缝合计算,提高了合成效率.实验表明,新方法可实时合成2048×2048像素的大纹理,而已有工作至多只能以交互的速度进行这样的合成.

“春·秋分贴敷”-时间医学与痹证防治

中医时间医学是利用中医学理论研究时间因素对人体影响的一门科学,从自然界节律变化角度来阐述人生理、病理节律变化,用以诊断疾病,选择有利时间进行治疗和预防。春分、秋分节气作为昼夜时间相等及春秋平分的节气,是自然界阴阳平衡的最佳时机及阴阳对比由量变到质变之期,天人相应,自然界阴阳转化剧烈之时恰是机体的阴阳转化剧烈之时,风湿病阴阳失调的患者,最易在此时节复发加重及传变。结合痹证病因、病机、病理及春分、秋分的节气特点,选择于春分、秋分两个时节进行"春·秋分贴敷"防治痹证。