求解测试用例自动生成问题的多因子回溯搜索优化算法

路径覆盖测试用例自动生成(ATCG-PC)问题是自动化软件测试领域的热点。ATCG-PC问题中群智能进化算法常用的适应度函数之间具有高度的相似性,然而现有的解决ATCG-PC问题的群智能进化算法尚未考虑这一相似性特征。受相似性特征启发,将两个相似的适应度函数看作两个任务,从而将ATCG-PC问题转化为多任务ATCGPC问题,并提出了一种新的解决多任务ATCG-PC问题的群智能进化算法,即多因子回溯搜索优化算法(MFBSA)。所提算法通过多因子选择Ⅰ的记忆种群功能提高全局搜索能力,并通过选型记忆交配使得相似任务之间能够通过知识转移提高彼此的优化效率。在6个雾计算测试程序和6个自然语言处理测试程序上对所提算法性能进行了评价。与回溯搜索优化算法(BSA)、免疫遗传算法(IGA)、收敛速度控制器粒子群优化(PSO-CSC)算法、自适应粒子群优化(APSO)算法和超立方体差分进化(DE-H)算法相比,MFBSA覆盖12个测试程序上的路径所使用的测试用例总数分别减少了64.46%、66.64%、67.99%、74.15%和61.97%。实验结果表明,所提算法能够有效降低测试成本。

智能时代西方发达国家中小学教师数字素养培养的经验及启示

智能时代,具备数字素养的人才培养尤为必要,而数字人才的培育离不开具有数字素养的教师。西方发达国家近些年来在中小学教师数字素养培养方面积累了宝贵经验。我们得到的启示是:剖析和构建数字素养维度,完善中小学教师专业标准;改革线下培训项目,促进中小学教师精准学习;大力发展线上资源,拓宽中小学教师提升渠道;建立评价标准和工具,指明中小学教师发展方向;重视职前教师培养,纳入中小学师资认定要求;强调数字伦理意识,提升中小学教师群体素质。

改进的差分演化算法及其在函数优化中的应用

提出了一种改进的差分演化算法,该算法记录下了差分演化算法在对每个个体进行变异操作时的差向量,然后以被变异的个体作为邻域的中心,以所记录的差向量作为邻域的半径,再在这个邻域内进行一次挖掘式的搜索。这一改进增强了原差分演化算法的局部搜索能力。典型多峰函数优化的仿真结果表明,改进后的算法具有比原差分演化算法更快的收敛速度,同时新算法也保持了原差分演化算法良好的全局搜索能力。

基于小生境的混合差分演化模拟退火算法

提出了一种新的演化算法——基于小生境的混合差分演化-模拟退火算法(NDESA算法),分析了构造NDESA算法的合理性。并且结合典型多峰值测试函数——Shubert函数的求解试验,说明NDESA算法能够高效地、快速地找到具有多个全局最优值点的多峰函数的所有全局最优值点,且参数的选择不必很严格,是一种较好地求解多峰值函数的所有最优值点的方法。还通过实验说明了结合小生境,差分演化和模拟退火算法这三种策略的必要性。

一种重组腺病毒载体产生及操作的新方法

目的 建立一种快速、高效的产生腺病毒的实验方法。方法 将增强型绿色荧光蛋白 (EGFP)装在穿梭质粒 ,线性化后与腺病毒骨架载体一起电穿孔转染大肠杆菌 ,使之同源重组 ,产生病毒基因组质粒。后Pac酶切 ,脂质体介导转入 2 93细胞以包装出病毒。扩增后收获病毒 ,氯化铯密度梯度离心纯化 ,空斑试验测滴度。结果 5 2个大肠杆菌克隆 ,其中有 1个发生同源重组 ,产生腺病毒基因组质粒pAdEGFP ,转染 2 93细胞 ,荧光显微镜下产生绿色荧光。病毒纯化后达 10 11pfu/ml。 结论 大肠杆菌内质粒间同源重组的方法可以高效、简便、快捷地产生重组腺病毒载体 。

高速铁路桥梁桩基沉降预测模型研究

科学、合理地预测桥梁桩基工后沉降量是高速铁路建设的关键环节。鉴于京沪高速铁路桥梁桩基沉降曲线在多级荷载作用下呈明显阶梯形基本特征,而常规沉降预测模型不能反映全过程的沉降与时间的关系,引入荷载系数的概念,建立了变形过程指数模型,介绍了模型的求解过程及参数的确定方法。并结合沉降实测资料,运用指数曲线模型和Logistic模型进行对比分析。结果表明,变形过程指数模型能将架梁前期的观测数据纳入分析时间段内,其预测精度高,误差小,预测结果与实测数据基本吻合。进一步对模型参数的计算值进行粗差分析及归类,给出了不同地基土层、不同荷载作用下参数β的建议值。

以取代氧丁环为母体制备含能粘合剂

分析了3,3 双取代氧丁环上两个取代基的类型对其均聚物聚集态的影响,认为在3,3 位进行不对称取代可获得液态含能粘合剂。提出了在含能粘合剂分子结构中引入氰基的设想。

沉井基础竖向承载特性的离心模型试验研究

基于离心模型试验对饱和砂土地基中沉井基础在竖向荷载作用下的承载特性进行研究,初步掌握地基极限承载力随基础埋深和基础宽度变化的规律,并对试验结果进行对比分析,结果表明:(1)基础埋深不大于5 m时,荷载-沉降曲线为陡降型,有明显的拐点出现,可取拐点对应的荷载作为极限承载力;基础埋深不小于10 m时,荷载-沉降曲线为缓变型,未出现明显的拐点,建议取相对沉降量(基础的实测沉降量与基础宽度的比值)对应的荷载作为极限承载力。(2)在均质地基环境中,极限承载力随基础相对埋深的增加近似呈指数型曲线增长。(3)进一步推求沉井基础极限承载力随基础宽度和相对埋深变化的函数表达式,其成果可用于估算砂土地基中沉井基础的地基极限承载力。

一种小鼠可溶性Fas cDNA的克隆与表达

为获得调节鼠Fas Fas配体系统诱导凋亡的作用 ,根据GenBank中小鼠Fas基因碱基序列 ,设计扩增可溶性Fas(solubleFas ,sFas)引物 ,用RT PCR方法从幼鼠胸腺组织中克隆出与人可溶性Fas类似的新的鼠sFas (FasC)cDNA序列 .该序列缺乏Fas基因的跨膜区片段 ,但不改变其阅读框 .采用定向克隆的方法将之插入pUC19中间载体 ,DNA序列测定证实该片段序列与预期序列完全一致 .利用亚克隆的方法将鼠FasC的cDNA片段克隆到真核表达载体pCA13上 ,构建出重组载体pCA13 FasC ,通过脂质体LF2 0 0 0转染至 2 93细胞 .RT PCR和Western印迹证实 ,鼠FasC在 2 93细胞获得高效表达 .凋亡诱导实验表明 ,鼠FasC的表达可阻断Fas诱导凋亡的作用 ,证实了所转染鼠FasC的生物活性 .

基于模拟退火的混合差分演化算法研究

介绍了一种求解函数优化问题的新策略——差分演化算法,与其它算法相比,该算法具有稳健性强,收敛速度快的优点;同时,把模拟退火策略融入到差分演化的过程中,提出了一个混合演化算法——基于模拟退火的混合差分演化算法,实验表明混合后的算法比单一的差分演化算法更稳健,收敛速度也略有提高。

通过FasL通路阻抑肿瘤免疫逃逸的研究

许多白血病和实体瘤细胞通过高表达Fas配体 (FasL)而发生肿瘤的免疫逃逸。为了观察腺病毒载体向肿瘤细胞导入小鼠可溶性Fas(sFas)基因后能否阻抑肿瘤细胞通过FasL发生肿瘤免疫逃逸作用 ,采用AdEasy腺病毒载体系统 ,利用大肠杆菌内质粒间同源重组的方法分别构建携带小鼠sFas基因及增强型绿色荧光蛋白 (EGFP)的重组腺病毒载体 ,扩增纯化后利用空斑试验测定滴度 ,Westernblot检测蛋白的表达。然后 ,分别感染肿瘤细胞 EL4细胞 ,用氚胸腺嘧啶核苷 ( 3 H thymidine,3 H TdR)掺入法检测其诱导靶细胞YAC 1的凋亡率。结果表明 ,获得了重组成功的复制缺陷的腺病毒载体AdsFas和AdEGFP ,密度梯度离心纯化后其滴度达到 10 11pfu/ml,Westernblot分析证实前者能够高效表达出sFas蛋白。转染肿瘤细胞EL4细胞之后与YAC 1细胞混合培养 ,导入sFas组的YAC 1凋亡率在效靶比 (E∶T)为 3∶1,10∶1和 30∶1时分别为 6 %、7%和 9% ,与对照组 (分别为 2 8%、37%和4 5 % )相比明显下降 ,统计学有显著性差异 (P <0 .0 1) ;而导入EGFP组YAC 1凋亡率 (分别为 30 %、36 %和 4 8% )与对照组相似 ,没有统计学差异 (P >0 .0 5 )。结论 :腺病毒介导sFas的导入能够明显抑制肿瘤细胞EL4诱导Fas+细胞 YAC 1的凋亡 。

求解约束优化的一个自适应杂交差分演化算法

结合基于可行性规则的约束处理技术,构造了一个求解约束优化问题的自适应杂交差分演化模拟退火算法。该算法以差分演化算法为基础,用模拟退火策略来增强种群的多样性,用一个基于可行性规则的约束处理技术来处理不等式约束,且自适应化关键控制参数,避开人为控制参数的困难。在标准测试集上的实验结果表明该算法的有效性,与同类算法的比较表明了该算法的优越性。

差分演化算法求解旅行商问题

设计了基于差分演化算法的新算法来求解旅行商问题。在新算法中,旅行商问题的城市的个数作为向量的维数,每个向量的元素的大小顺序作为旅行商问题的一个可行解。实验表明,该算法能够成功求解小规模的旅行商问题,而且算法稳健性好;再与同类算法的优化结果相比较,表明了该算法计算量小、收敛速度快的优点。

新型聚醚PBMCMO的合成及表征

以1,4-丁二醇(BDO)为起始剂、三氟化硼乙醚(BF_3·Et_2O)为催化剂、二氯甲烷(CH_2Cl_2)为溶剂、由3-溴甲基-3-(2-氰乙氧基)甲基氧丁环(BMCMO)开环聚合,首次合成出溴化聚醚PBMCMO,并借助红外光谱完成了结构鉴定。利用GPC、TGA、羟值分析等测试方法完成了聚合物的性能表征。

混合进制及其在贝叶斯网络结构学习中的应用

贝叶斯网络因其处理不确定性问题的能力及其良好的因果推理机制已成为因果数据采掘的主要技术,同样,它也是实现分布估计算法的一个重要途径。而应用贝叶斯网络所解决的一些实际问题的知识表示中会用到混合进制数。因此,给出了十进制数与混合进制数之间的相互转化定理及其严密的理论证明,旨在应用定理中简单的公式来代替以往复杂的转化算法。

折衷的差分演化算法在有约束优化中的应用

设计了一种求解有约束优化问题的新方案,该方案以一种折衷的差分演化算法为基础,应用两个简单的基于可行解的规则引导算法向可行域搜索,应用周期模式处理边界约束。并用该方案优化了一个标准测试集上的全部函数,试验结果表明,与同类方法相比而言,该方案在收敛速度和稳定性两方面表现出较强的竞争力。

Fas在人体的表达及其意义

Fas是细胞表面诱导凋亡的分子,表达于胸腺细胞、激活的淋巴细胞、病毒感染细胞、部分肿瘤细胞和其它一些组织和细胞,对于T、B细胞的个体发育、细胞毒T细胞(CTL)和自然杀伤细胞(NKcell)的细胞毒作用、免疫赦免部位的维持、移植排斥作用和组织细胞的自稳调节有重要作用。Fas功能异常涉及肿瘤免疫逃避、自身免疫病、骨髓功能缺陷病和AIDS、肝炎等病毒感染性疾病等,本文拟就有关内容作一综述。

注重实践训练 培养优秀师范生——华中师范大学的办学之路

文章以华中师范大学的办学之路为例,介绍了其专业化开展师范生免费教育的思路,分析其注重实践训练,专业化培养优秀师范生、推进教师教育一体化的师范教育特色。学校强调教师教育专业性,专业化设置教师教育培养模式;注重实践技能训练,全面培养从教执教能力;搭建综合实践平台,构筑综合素质培养体系;推进教师教育一体化,建设教师教育创新与服务综合改革实验区,这些做法和经验对我国师范生的培养有一定的启示。

高校网络论坛中大学生共同关注点调查分析——基于武汉地区六所高校网络状况调查的分析

基于一段时间内对武汉地区六所高校网络论坛:(武汉大学BBS站,华中师范大学博雅论坛,中国地质大学BBS站,武汉理工大学BBS经纬论坛,中南财经政法大学BBS论坛和华中农业大学南湖论坛)的阅读量和跟贴量进行调查与分析,归纳出高校网络论坛中大学生的一些共同关心的问题,旨在对当前大学生的思想动态、热点问题以及他们遇到的困惑问题有所了解,以便更好的进行引导。

函数值比微商值的个数多的Hermite插值公式的推导

文章给出了函数值比微商值的个数多的Hermite插值公式及其推导。