事件相互独立性再讨论

1.问题的提出中学生数学2008年4月上《事件相互独立性的有关讨论》一文中对事件A"一个家庭中男孩女孩都有"与事件B"一个家庭中至多一个女孩"的相互独立性做了探究,文章中用列举法告诉我们:当一个家庭中有两个年龄不同的小孩时,事件A与事件B不是相互独立事件:一个家庭中有三个年龄不同的小孩时,事件A与事件B是相互独立事件.这时我们会有这样一个疑问:随着一个家庭中小孩人数的增加,还有没有事件A与事件B相互独立的情形呢?     

Energy Estimate for the Type-Ⅱ Superconducting Film

We study the minimizers of the Ginzburg-Landau model for variable thickness, superconducting, thin films with high k, placed in an applied magnetic field hex, when hex is of the order of the ＂first critical field＂, i.e. of the order of ｜lnε｜. We obtain the asymptotic estimates of minimal energy and describe the possible locations of the vortices.     

Banach空间的Chung-Teicher型大数律

设{Xn，n≥1}是实可分Banach空间独立随机变量，讨论了在弱大数律的假设下使得Chung-Teicher型强大数律也成立，即bn^-1｜｜∑k=1^n（Xk-EXkI（｜｜Xk｜｜≤bk））｜｜→^p0当且仅当bn^-1｜｜∑中k=1^n（Xk-EXkI（｜｜Xk｜｜≤bk））｜｜→^a.s.0.     

保费收取过程是随机过程的双险种风险模型

研究保费收取过程是一个随机过程的双险种风险模型,得出了Lundberg上界、最终破产概率、不破产所满足的微积分方程、索赔服从指数分布的不破产概率、有限时间不破产所满足的微积分方程.     

线性中立型单延迟系统李代数稳定性判据

研究了线性中立型单延迟微分系统的稳定性.从矩阵李代数可解性角度,推导出新的简单的延迟独立稳定性判据.该新判据的重要意义和优越性在于首次突破了以往大多数相关文献的稳定性判据在应用上受条件‖C‖<1,ρ(|C|)<1或ρ(|N|)<1的限制,从而首次成功确定了在‖C‖≥,ρ(|C|)≥1和ρ(|N|)≥1的情形下中立型延迟微分系统渐近稳定性.最后,通过两个例子显示了新判据的优越性.     

哈密尔顿性和部分平方图的独立集

设G是一个图,G的部分平方图G*满足V(G*)=V(G),E(G*)=E(G)∪{uv:uv■E(G),且J(u,v)≠■},这里J(u,v)={w∈N(u)∩N(v):N(w)■N[u]∪N[v]}.利用插点方法,证明了如下结果:设G是k-连通图(k2),b是整数,0min {k,(2b-1+k)/2}(n(Y)-1),则G是哈密尔顿图.同时给出图是1-哈密尔顿的和哈密尔顿连通的相关结果.     

Euler函数积性的概率证明

本文根据初等数论课程的教学经验，给出了Euler函数积性的一个易为学生理解的概率证明。     

课程标准理念下学生的创新实践组织和指导

物理学在日常生活、生产实践和科学研究中有着极其广泛的应用.在物理学习中,注重实际问题的分析探究,对于激发学生学习兴趣,拓宽知识面,提高应用物理基础知识解决实际问题的能力,树立一切从实际出发的良好作风,都是十分必要的.     

高效选取线性独立的原子特征构建精确机器学习势函数

机器学习势由于具有与第一性原理计算相当的准确性,且低得多的计算成本,在原子模拟中极具前景. 然而原子机器学习势的可靠性、速度和可迁移性在很大程度上取决于原子构型的表示. 适当地选取用作机器学习程序输入的描述符是一个成功的机器学习表示的关键. 本文发展了一种简单有效的方法,可以基于训练数据固有的相关性,从大量待选的描述符中自动选取一组最佳的线性独立原子特征. 通过对几个具有较少冗余线性独立嵌入密度描述符的基准分子构建嵌入原子神经网络势的应用,证明了这种新方法的有效性和准确性. 该算法可以大大简化原子特征的初始选取,并极大地提高原子机器学习势的性能.     

Independent continuous mapping for topological optimization of frame structures

Based on the Independent Continuous Mapping method (ICM), a topological optimization model with continuous topological variables is built by introducing three filter functions for element weight, element allowable stress and element stiffness, which transform the 0-1 type discrete topological variables into continuous topological variables between 0 and 1. Two methods for the filter functions are adopted to avoid the structural singularity and recover falsely deleted elements: the weak material element method and the tiny section element method. Three criteria (no structural singularity, no violated constraints and no change of structural weight) are introduced to judge iteration convergence. These criteria allow finding an appropriate threshold by adjusting a discount factor in the iteration procedure. To improve the efficiency, the original optimization model is transformed into a dual problem according to the dual theory and solved in its dual space. By using MSC/Nastran as the structural solver and MSC/Patran as the developing platform, a topological optimization software of frame structures is accomplished. Numerical examples show that the ICM method is very efficient for the topological optimization of frame structures.The project supported by the National Natural Science Foundation of China (10472003) and Beijing Natural Science Foundation (3042002) The English text was polished by Yunming Chen.