功能性统计软件在统计学专业实践环节中的运用探索

探讨了商业性统计软件Minitab在统计学专业本科实践教学中的运用.以Minitab的宏命令为编译语言,辅以软件的统计数据处理、图形功能,实现了软件在数理金融课程实践、产业经济学产业空间布局仿真两个方面的应用探索.结果表明,Minitab统计软件在向量计算、随机数据仿真等方面具有丰富的拓展运用功能,结合功能性统计软件的自身优势,能有效发挥其在统计学专业课程中的实践教学价值.     

改进的SPC控制图在食品质量检测中的应用

统计过程控制中的控制图是从事统计过程管理常用的重要工具多年的发展与实践表明传统的控制图已得到广泛的应用可是运用多张控制图进行过程控制仍然存在许多不便和弊端.对此用综合主成分分析法对传统的控制图进行了整合,从而得到一张综合控制图并用这个改进的综合控制图对食品检验过程进行控制,给出了具体的应用步骤以及对结果进行了详细地分析.其结果表明综合控制图不仅结合了传统控制图的优点避免了运用多张控制图进行控制的不便同时又提升了警报的准确率降低了虚假警报的概率.     

基于多元泊松模型的累积和控制图设计

多元离散数据在现代制造业中非常普遍,多元泊松控制图常被用来监控此类数据,如MP,MP-CUSUM和MP-EWMA图等.然而,这些控制图都假设数据服从等协方差的多元泊松模型,因为等协方差的多元泊松模型对各个变量之间的相关性有严格的约束,因此应用范围狭窄.本文基于异协方差多元泊松模型,提出GMP-CUSUM累积和控制图.在考虑不同模型,变量偏移个数和偏移大小的情况下,通过蒙特卡洛模拟比较了传统控制图和新控制图GMP-CUSUM的平均运行链长(ARL),证明异协方差多元泊松模型更加适应对多元离散数据的建模,应用范围广,并且新控制图能更快速地检测到异常过程偏移,灵敏度高.     

修正贝叶斯控制图与累积和控制图的比较分析

面向多品种、小批量制造过程的小波动检验是目前统计过程控制图发展和研究的方向.在对修正贝叶斯控制图与累积和控制图原理进行比较后,通过一组过程仿真数据对两种控制图进行了分析,指出了两种控制图的特性和应用前景.     

基于主成分原理的多元质量控制图的构造

控制图是从事统计质量管理经常使用的重要工具,经过多年的发展和实践,一元质量控制图业已得到普遍推广,可是如何开展多元质量控制仍有许多问题值得探讨。在这篇文章中,我们着重讨论了基于主成分分析的多元质量控制图的构造,并结合从企业现场采集到的数据给出了具体的应用说明。     

参数未知下基于定数截尾样本监控指数分布的控制图设计北大核心CSCD

实际应用中,过程的目标参数常常未知,需由第Ⅰ阶段数据集估计得到.不同的第Ⅰ阶段数据集会导致目标参数的不同估计值和不同的控制图控制限,因此也意味着不同的控制图表现.对于某个实际工作者而言,最可能的情况是他手中仅有一个第Ⅰ阶段数据集,因此研究基于一个给定的第Ⅰ阶段数据集所构建的控制图表现,即条件表现更具现实意义.该文研究了参数未知时针对定数截尾样本数据指数分布控制图的条件表现,推导出了参数估计下控制图条件平均链长的精确分布,并利用条件平均链长分布及其数字特征评价了参数估计对控制图表现的影响,结果显示参数估计严重影响着控制图的表现.于是,又提出了精确分析方法设计了具有理想条件表现的控制图.最后用一个例子说明如何执行本文所提控制图.     

数学与应用数学特色专业建设的研究与实践——以合肥工业大学为例

首先分析了数学与应用数学特色专业建设的意义.然后,以合肥工业大学为例,阐述了数学与应用数学专业特色专业建设思路与目标、人才培养模式与培养层次.最后,从以下五个方面:师资队伍及教学团队建设、课程与教学资源建设、教学方式方法改革、强化实践教学环节及教学管理改革等探讨了数学与应用数学特色专业建设的措施与实践.     

关于理科统计学专业定位、建设的思考与实践

关于新型的理科统计学本科专业的办学定位、行业特色以及相应的课程体系、实践环节设计等问题进行了较全面细致地分析、讨论,并介绍了我校本专业的办学指导思想、实践以及效果.     

参数未知下基于定数截尾样本监控指数分布的控制图设计

实际应用中,过程的目标参数常常未知,需由第Ⅰ阶段数据集估计得到.不同的第Ⅰ阶段数据集会导致目标参数的不同估计值和不同的控制图控制限,因此也意味着不同的控制图表现.对于某个实际工作者而言,最可能的情况是他手中仅有一个第Ⅰ阶段数据集,因此研究基于一个给定的第Ⅰ阶段数据集所构建的控制图表现,即条件表现更具现实意义.该文研究了参数未知时针对定数截尾样本数据指数分布控制图的条件表现,推导出了参数估计下控制图条件平均链长的精确分布,并利用条件平均链长分布及其数字特征评价了参数估计对控制图表现的影响,结果显示参数估计严重影响着控制图的表现.于是,又提出了精确分析方法设计了具有理想条件表现的控制图.最后用一个例子说明如何执行本文所提控制图.     

管理专业与数学专业运筹学课程教学比较与分析

运筹学是管理专业和应用数学专业的重要课程,但是不同的专业特点、教学目的、学生知识基础等情况,决定了运筹学这门课程的教学内容和教学重点的不同.本文就此进行了对比和分析,提出管理专业的运筹学应侧重应用性,应用数学专业的运筹学课程应理论、应用并重,另外应加强该课程的实践教学环节.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.