双金属管拉拨过程的理论分析

本文叙述了双金属管拉拔复合过程中的变形特点。在适当简化的前提下,建立了运动许可速度场,导出了拔制应力的上限解,并对稳定拔制条件和模角的选定进行了讨论。     

布朗束缚振子的统计性质

研究布朗束缚振子在马尔可夫极限下的统计性质.在绝热近似下获得了q的含时解;计算了q,p的一阶矩、二阶矩、交叉关联函数、自关联函数及其驰豫时间;求出了布朗束缚振子的平均第一通过时间.     

MODEL SELECTION FOR LOG-LINEAR MODELS OF CONTINGENCY TABLES

In this paper, we propose an information-theoretic-criterion-based model selection procedure for log-linear model of contingency tables under multinomial sampling, and establish the strong consistency of the method under some mild conditions. An exponential bound of miss detection probability is also obtained. The .selection procedure is modified so that it can be used in practice. Simulation shows that the modified method is valid. To avoid selecting the penalty coefficient in the information criteria, an alteruative selection procedure is given.     

三色Ramsey数R(3,5,6)的下界

运用计算机构造了既不含实边K3、也不含虚边K5、还不含6顶点独立集的105阶循环图,得到了三色Ramsey数R(3,5,6)≥106的下界.     

两个Ramsey数上界公式的统一与改进

该文在引入参数的基础上统一了两个Ramsey数的上界公式且对其一作了改进。     

基于半定规划多用户检测问题的二次规划法

半定规划是解决极大似然多用户检测问题的一种重要方法,但当问题规模较大时,误码率较高。基于多用户检测问题的半定规划松弛模型,给出了一个二次规划松弛模型。该模型能得到比半定规划模型更好的界。根据这个模型,运用分枝定界方法,可以求得多用户检测问题的次优解。这种方法改善了用户多时半定规划方法误码率高的状况,是解决多用户检测问题的有效方法。仿真实验证实了这一点。     

非机动水下三维情形的纯方位目标运动分析

以无源声纳关于目标方位(包括方位角、高低角)的有噪测量为依据，探讨了水下三维无源TMA(目标运动分析)的实现及精度问题。文中应用伪线性--Kalman滤波结合方法、最大似然估计方法、扩展卡尔曼滤波方法(EKF)，对三维情况^[4]下已知固定深度的的TMA问题进行了研究，并结合数据批处理手段，有效地改善了参数估计的性能，且给出了它们的CRB界。计算机仿真证明了上述算法的有效性。本文所提出的方法要求简单，精度较高，简易平台即可实现，具有一定的实际意义。     

应用消费者行为理论谈住宅商品化改革

文章立足于西方经济学中的消费者均衡理论，试图通过建立模型，说明我国实行住宅商品化改革的做法为什么比过去实行福利分房的办法要好；同时，也指出住宅商品化改革的成功与否还与众多因素有关，因此，经济理论模型与现实改革之间存在一定的差距。文章仅仅是对经济学理论和建模在现实生活中的应用性的一种尝试。     

嵌入式软件组件模型的研究与设计

根据嵌入式系统及其应用的需求，分析了当前嵌入式软件组件技术的发展现状，设计一种新的嵌入式组件模型SECOM，给出了模型的组成元素及其形式化定义，并对组件组合进行详细的描述，同时，通过分析，总结了SECOM模型的多样性、语言无关性和可扩展性等优点，且指出下一步的工作目标。