摘要：针对决策表中对象动态删除的情况,研究了核属性的动态更新问题。首先引入了简化决策表的概念,剔除了大量重复冗余的对象,然后详细分析了当决策表删除对象时核属性的动态更新机制,并将逐层细化的方法应用到核属性的动态更新中,避免了许多不必要的重复计算。在此基础上,设计了一种无需存储差别矩阵的核属性动态更新算法。当决策表有对象删除时,该算法只需扫描一遍变化后的决策表,便可快速对核属性进行动态更新。最后,通过实例分析和实验比较验证了算法的可行性和有效性。

摘要：采用Mx3000P型实时荧光定量PCR仪,以SYBRGreen I法相对定量技术为例,设计1例检测针对HIV-1 vpr基因的特异性siRNA基因沉默效果的实验。介绍了实时荧光定量PCR技术上机前样本的制备过程、检测程序及相关参数的设置方法等操作流程;结合熔解曲线、扩增曲线进行结果分析;强调了实验整体设计、引物设计与PCR反应体系的优化和内参的恰当选择在实时荧光定量PCR技术中的重要性。

摘要：利用ClustalX等软件对公共数据库现有的393753条棉花EST序列分析,得到349815条非冗余EST序列,借助自主开发的SSRmine软件共发掘SSR位点11372个,分布于10507条EST中,EST-SSR的频率是3%,平均相隔21kb出现一个SSR。在2～6bp的重复基元中,三核苷酸和六核苷酸分别占34.1%、40.6%,二、三、四、五和六核苷酸基序分别以AG/CT、AAG/CTT、AAAT/ATTT、AAAAG/CTTTT和AAAAAG/CTTTTT的类型最多。利用去冗余的且在亚洲棉、陆地棉、海岛棉中没有被开发过的410条EST序列设计开发了200对非冗余性SSR引物,利用自主开发的SSRD软件通过SSR引物序列下载、预处理、Blastn、提取相似性分值≥81%的引物编号、提取引物冗余对、冗余引物写成一行6个步骤去除来源于自身部分同源序列以及与CMD释放的不同棉种相似性SSR引物,得到了非相似性引物,定名为CRIXXX(CRI即Cotton Research Institute)。并分别选用棉花12个种的代表性材料对其中100对进行引物功效评价,包括多态信息含量(polymorphism information content,PIC)及引物通用性研究。结果显示,从自主开发的100对SSR引物筛选出56对均能在12份材料间扩增出稳定明显的条带,其中多态性引物35对,多态率占35%。引物的PIC变幅为0.097～0.888,平均为0.482;1对海岛棉EST-SSR引物在12份材料间的通用性为100%,25对亚洲棉引物通用性为81%,74对陆地棉引物通用性为80.1%。

摘要：为了探讨全珊瑚骨料海水混凝土的基本力学性能,并比较其与普通混凝土和轻集料混凝土的差异,通过实验系统测定了珊瑚混凝土的基本力学性能,建立了其轴心抗压强度（fc,m）、劈裂抗拉强度（fsp,m）、抗折强度（ft,m）与立方体抗压强度（fcu,m）之间的线性关系与计算公式。结果表明：在强度等级C20-C50的范围内,珊瑚混凝土的fc,m和fsp,m分别比普通混凝土的fc,m和fsp,m高出10%-48%和9%-33%,随着强度等级的提高,两种混凝土之间的差距在减小。珊瑚混凝土的ft,m与普通混凝土的ft,m之间的差异规律与强度等级有关,较低强度等级的C30珊瑚混凝土ft,m比普通混凝土的ft,m要高4%,而较高强度等级的C55珊瑚混凝土ft,m比普通混凝土的ft,m低13%。较高强度等级的C50珊瑚混凝土fc,m、fsp,m和ft,m分别比页岩陶粒轻集料混凝土的fc,m、fsp,m和ft,m低11%、0.9%和4%。

摘要：从材料内部结构层次的角度,就准脆材料动力强度的本质和侧向惯性效应的作用问题进行了研究。利用岩体的Maxwell型松弛模型,得到了试样的强度、应变率、试样尺度和松弛速度之间的关系。利用这一关系解释了实验得到的岩石试样的动力强度与应变率成正比、与试件的尺寸成正比的结果。利用这一关系和实验数据拟合,得到了断裂传播速度随试件尺寸的增大而减小的结论。利用这一关系,结合Bazant的静力强度尺寸律,确定了相应的区分动力尺寸效应与静力尺寸效应的特征应变率。进一步的研究表明,岩石试样的动力强度的本质是由于断裂传播速度的有限性,当加载速度足够大时,在试样完全宏观断裂之前所发生的超载。侧向惯性约束的作用可以归结为降低了断裂的传播速度,即降低了松弛速度,从而有更充足的时间保证超载的发生。

摘要：结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础。

摘要：节理岩体力学行为是地下工程稳定分析及支护设计的基础。采用岩石力学伺服试验机对含充填共面裂隙群砂岩试样进行单轴加载试验,分析了连通率和充填方式对砂岩强度及变形破裂特征的影响规律。试验结果表明:裂隙砂岩的力学性能较完整砂岩呈现出显著的劣化,且随着裂隙连通率的增大,峰值强度、峰值应变及弹性模量均逐渐减小;试样破裂过程中预制裂隙尖端先后出现Ⅰ类张拉裂纹和Ⅱ类剪切裂纹,但最终的失稳破裂面由II类裂纹扩展形成,Ⅰ类裂纹和Ⅱ类裂纹与预制裂隙的夹角随着裂隙连通率的增大逐渐增大;受充填方式的影响,裂隙砂岩的强度及变形特征均呈现出显著增大的趋势,而弹性模量提升幅度相对较小。

摘要：通过分析综采充填工作面上覆岩层运动规律,将充填液压支架后方直接顶结构简化为悬臂梁结构,确定充填液压支架与直接顶之间的相互关系,建立四柱式充填液压支架的力学模型。在对支架力学模型分析的基础上,得到液压支架前后排立柱以及千斤顶的工作阻力。将四柱式充填液压支架应用于唐山矿工程实践,现场近3年的应用实践表明,四柱式充填液压支架可以有效解决六柱式充填液压支架中存在的立柱受力不合理问题。相关研究成果可为液压支架发展研究及设计提供参考。

摘要：为了高效回收利用废弃石灰石资源,对粒径为0.5～1 mm的石灰石进行了静态煅烧和流态化煅烧实验,比较了其产物活性度的差别,探索流态化煅烧制备高活性度石灰的可行性。实验结果表明:流态化煅烧过程中煅烧时间、煅烧温度对产物活性都有影响。随着温度的升高,得到最佳产物活性的煅烧时间会缩短,在此时间之后,继续煅烧产物活性会下降;相比静态煅烧,流态化煅烧不仅提高了石灰石分解的速率,也提高了产物烧结的速率,大幅度缩短了煅烧时间,同时能够在短时间内得到高活性的石灰。在本实验中,石灰石在1 050℃下流化煅烧3 min,得到的产物活性度为338 mL;流态化煅烧过程中,煅烧温度越高,产物活性度对煅烧时间的变化越敏感。

摘要：分析了流量不对称情况下对称流向放行相位方案的局限性。针对到达流量不对称的十字交叉口,运用经典的信号配时方法和延误模型计算对称流向放行和单进口放行2种相位设计方案下交叉口的平均延误,确定了不同交通需求情况下应选取的相位设计方案。结果表明,与对称流向放行方案相比,单进口放行方案在流量不对称系数较大时有一定的优越性。