概率空间（Ω，F，μ）中关于μ的packing维数与经典的实直线上的packing维数之间的关系

本文将概率空刚（Ω，μ）中ｐａｃｋｉｎｇ维数的定义与经典的实直线上的ｐａｃｋｉｎｇ维数的定义相联系，证明了在Ｌｅｂｅｓｇｕｅ情形，对所有的Ａ∈，关于μ的ｐａｃｋｉｎｇ维数Ｄｉｍ＿μ（Ａ）与被Ｔａｙｌｏｒ和Ｔｒｉｃｏｔ所定义的ｐａｃｋｉｎｇ维数Ｄｉｍ（Ａ）是一致的。Ｂｉｌｌｉｎｇｓｌｅｙ的结果与我们的结果相结合，表明在Ｌｅｂｅｓｇｕｅ情形，关于μ的分形与被Ｔａｙｌｏｒ所定义的分形是一致的。     

Probabilistic analysis of a parallel algorithm for finding maximal independent sets

We consider a natural parallel version of the classical greedy algorithm for finding a maximal independent set in a graph. This version was studied in Coppersmith, Raghavan, and Tompa and they conjecture there that its expected running time on random graphs of arbitrary edge density of O (log n). We prove that conjecture.     

构建“葡萄糖”立体化教学案例启迪科研创新思维

构建了"葡萄糖"立体化教学案例,将葡萄糖在生命体系中的代谢平衡、消化吸收、分子转运、糖尿病成因、血糖检测、无创诊断技术、分子诊疗等领域的研究串联起来,从微观与宏观、疾病与健康、生活应用与科研前沿的不同角度来展示相关内容。将该案例用于化学与生命相关知识的教学,探索其在本科生科研创新思维训练中的应用。     

从证据推理视角对“离子反应”教学案例的分析及其启示*

证据推理是学生以其经验为基础、问题为起点,根据教师提供的一个或几个学习材料(已知判断),得出目标概念(新判断)的深度思维过程。通过梳理和界定证据推理的概念、证据类型、证据推理过程及核心要素,建构出实验探究教学中以“问题、解释、假设、证据、推理、结论”为要素及其之间关系的证据推理线形模型和循环模型,以此分析视角及其框架对“离子反应”教学中证据推理的过程进行了分析,并基于证据推理的6要素得出培养学生证据推理能力的启示与建议,达到证据推理过程中基本思想方法的外显,落实证据推理与模型认知的化学学科核心素养,也为今后的教学实践提供核心推理思路及教学建议。     

基于改进FSM的协议一致性测试方法

介绍了一种基于FSM(finite state machine)的生成一致性测试序列的改进算法,该方法混合了UIO(unique input/output)方法和T方法,UIO方法的测试能力优于T方法,但是生成的测试序列的长度较后者要长一些。实验结果表明,本改进方法的能力与UIO方法相同,并且测试序列的长度接近于T方法。     

一种新的基于Web服务超市平台的QoS测试方法

为保证Web服务的质量,需要对QoS(Quality of Service)进行测试.针对QoS测试中测试用例的自动生成和动态更新这些难点,基于实验室自主开发的Web服务超市平台,创新性地提出两阶段QoS测试方法:预测试阶段根据不同的数据选取策略,从数据池中不同的数据分区随机选择需要的数据组成若干测试用例进行测试;实值...     

将素质教育贯穿于数学教学的始终

数学作为打开科学大门的钥匙,在素质教育中有着举足轻重的地位．本文通过几个典型案例,介绍了我们如何在数学教学的过程中贯彻素质教育的思想,以开发学员的学习潜能,启发学员的科学思维,调动学员的创造精神．     

Strong solutions to the Stokes equations of a flow around a rotating body in weighted Lq spaces

We consider the motion of a fluid in the exterior of a rotating obstacle. This leads to a modified version of the Stokes system which we consider in the whole space ${\mathds R}^n$, n = 2 or n = 3 and in an exterior domain $D\subset {\mathds R}^3$. For every q ∈ (1, ∞) we prove existence of solutions and estimates in function spaces with weights taken from a subclass of the Muckenhoupt class A_q. Moreover, uniqueness is shown modulo a vector space of dimension 3. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim