一些组合地图新算法的实现

本文主要讨论组合地图列举问题.刘的一部专著中提出了一个判定两个地图是否同构的算法.该算法的时间复杂度为O(m2),其中m为下图的规模.在此基础上,本文给出一个用于地图列举以及进而计算任意连通下图的地图亏格分布的通用算法.本文所得结果比之前文献中所给结果更优.     

运用新课程的理念提高数学复习课的课堂效率

如何提高数学复习课的教学效率?这是当前数学教学中值得研究的问题."复习",如果只是基础知识的简单罗列,难免使学生厌倦;如果只是习题解法的演示,又会令学生深陷题海无所适从……,对复习课的目标和功能的认识,决定了复习课内容的选择、教学的模式和教学的效果.     

最小填充问题的可分解性

起源于稀疏矩阵计算和其它应用领域的图G的最小填充问题是在图G中寻求一个内含边数最小的边集F使得G F是弦图.这里最小值|F|称为图G的填充数,表示为f(G).作为NP-困难问题,该问题的降维性质已被研究,其中包括它的可分解性.基本的可分解定理是:如果图G的一个点割集S是一个团,则G经由S是可分解的.作为推广,如果S是一个"近似"团(即只有极少数边丢失的团),则G经由S是可分解的.本文首先给出基本分解定理的另外一个推广:如果S是G的一个极小点割集且G-S含有至少|S|个分支,则G经由S是可分解的;其次,给出了这个新推广定理的一些应用.     

自由群的直积的检验元素的注记

本文研究了自由群的直积的检验元素,通过对直积的自同态的分解,得到了直积中的元素为检验元素的充分必要条件,改进了O'neill和Turner的结果.此外,构造了两类具体的检验元素.     

一个基于复制变异准则的蛋白质作用网络的构建模型

本文主要根据生物学的复制和变异的基本原理,提出了具有反偏爱复制特性的一个蛋白质作用网络的新的演化模型.通过计算,发现所得的网络与实测的蛋白质作用网络的某些拓扑性质能够很好的吻合.生成的网络不仅是稀疏的,而且具有小世界性和无标度(scale-free)性质.     

例谈题目“提示”信息的有效利用

解题的一个重要环节是"审题",审题的目的就是希望从题目中提取有用的解题信息.一些创新性的试题,常在题干中设置了明显的"提示"信息,而对于解题者而言,如何利用好题目的这些"提示"信息,将是成功解题的关键.     

在向量解题中强化学生的解题意识

向量在近几年高考中越来越重要,其工具性作用已渗透以数学的各个分支.解答题中主要是以向量为载体的综合问题,体现向量"搭台",其他知识"唱戏"的特点.近年来高考中小题综合化的特点,已被大家所共识.选填题中对向量知识的考查更加灵活多变,对学生能力要求较高,可是只要是题型新颖一点或能力要求高点的题就成为学生得分的"事故多发地带".……     

员工配置资源行为的优化研究:自适应组织的视角

组织目标必须通过约束体系规范员工行为得以实现.进行组织约束下员工行为的定量研究,这对保证组织健康稳定发展非常必要.员工自身适应组织目标,服从组织的约束体系,配置好自有的资源,使得自身行为得以优化的研究较少.本文简要回顾了经济学理论、组织行为学、人力资源管理等方面对员工配置资源行为优化的研究及应用.界定了组织资源,并将其分为三种类型.在约束体系给出的基础上,将组织对员工行为的控制、要求或激励转为员工在之上或之下的运行约束;认为约束体系具有离散、悬河效应的特点;得出了评价组织约束体系的两种算法.讨论了员工资源及行为.尝试构造了基于员工适应组织约束下,员工的多目标、非线性,既有连续又有离散约束条件的配置资源行为优化的定量模型,并在基于员工利益最大化的前提下,对模型求解最优解的几种情况进行了研究.希望能够填补员工自身适应组织目标,行为优化定量模型这方面研究的空白.     

简议数列综合题的求解策略

数列在中学数学中占有极为重要的地位,它不仅广泛应用于实际,而且还融于高中数学的各个章节构成精彩纷呈的综合题,因此数列的综合题是高考中久考不衰的热点,且常考常新,并以此为压轴题者也屡见不鲜.本文拟就数列的几类主要综合题求解的基本策略简议如下:……     

让我们的课堂充满探索与交流——一个定值问题的诱思教学实录

新课程倡导"数学学习过程应该表现为一个探索与交流的过程--在探索的过程中形成自己对数学的理解,并在与他人的交流过程中逐渐完善自己的想法."     

Gravity waves on the surface of the sphere

Summary We propose a Hamiltonian model for gravity waves on the surface of a fluid layer surrounding a gravitating sphere. The general equations of motion are nonlocal and can be used as a starting point for simpler models, which can be derived systematically by expanding the Hamiltonian in dimensionless parameters. In this paper, we focus on the small wave amplitude regime. The first-order nonlinear terms can be eliminated by a formal canonical transformation. Similarly, many of the second order terms can be eliminated. The resulting model has the feature that it leaves invariant several finite-dimensional subspaces on which the motion is integrable. This paper is dedicated to the memory of Juan C. Simo This paper was solicited by the editors to be part of a volume dedicated to the memory of Juan Simo.     

On the Security of the Digital Signature Algorithm

We present a key-recovery attack against the Digital Signature Algorithm (DSA). Our method is based on the work of Coppersmith [7], and is similar in nature to the attacks of Boneh et al. [5,9] which use lattice reduction techniques to determine upper bounds on the size of an RSA decryption exponent under which it will be revealed by the attack. This work similarly determines provable upper bounds on the sizes of the two key parameters in the DSA for which the system can be broken. Specifically if about half of the total number of bits in the secret and ephemeral keys, assuming contiguous unknown bits in each key, are known, the system can be shown to be insecure. The same technique shows that if about half of the total number of bits in two ephemeral keys are known, again assumed contiguous unknown bits in each key, but with no knowledge of the secret key, the system can be shown to be insecure.     

On the linearization of the equations of motion of a rotating disk

In this paper, we present a consistent approach to reduce the fully nonlinear equations of a rotating disk to the classical linear equation derived by Lamb and Southwell and the nonlinear equations derived by Nowinski. The approach recognizes the fact that the out-of-plane deflection and the in-plane deflections are of different orders of magnitude. By using the ratio between the plate thickness and the outer radius as a measurement and carefully examining the reasonable magnitudes of all the variables involved, the fully nonlinear equations can be non-dimensionalized with all the terms being sorted according to their orders of magnitude. It is found that the classical linear equation derived by Lamb and Southwell can be recovered if all the terms of the lowest order of magnitude in the fully nonlinear equations are retained. If all the terms of the lowest two orders of magnitude are retained, Nowinski’s equations can then be recovered. Furthermore, the terms arising from in-plane deformation and rotary inertia are of the highest order and can be ignored in most of the applications.     

On the geometry of the Frobenius problem

The geometrical method to find the Frobenius number indicated by Arnold (Funct. Anal. Other. Math. 2, 2007) in the case of 3 generators can be extended to any number of generators. The method provides not only the Frobenius number but also a set of numbers, from which all the nonrepresentable numbers can be generated. In the case of three generators, we show some geometrical implications of the conditions for a semigroup to be symmetric or nonsymmetric.     

Ⅰ型试件裂端三维应力结构分析之二——应力结构分析

在文献[1]的基础上,本文分别对试件纤维区和剪切唇的应力结构进行考察.纤维区的应力结构特点为:可以进行变量z分离;对称面上的应力结构可由平面应变FEM解或HRR场解经应力三维度修正获得;载荷水平及试样厚度对应力结构的影响,可由厚度方向的CTOD得到反映,所得到应力表达式大为简便与直观.对剪切唇的应力结构进行考察,发现满足一定的精度可由插值法近似获得.本文提出了一种平面应变近似程度系数,并对此进行分析,该系数可较好地反映试样厚度、型式及载荷水平.本文也对断裂参量进行了分析,指出可对CTOD进行应力三维度修正获得.     

连续时间LQ控制主要本征对的算法

本文首先提出了离散时间LQ控制的本征值方程当△t→0时怎样退化成为连续时间LQ控制的本征值方程.在建立了分离出的n阶连续时间的本征值方程,并保证了其本征值必定都在左半平面后,本文提出计算其最靠近于虚轴的若干个本征对,可以通过A_e=eA的矩阵变换.A_e的本征值全在单位圆之内.本征向量不变,至于本征值则只要做一次对数运算就可以求得原阵的本征值.A_e阵的最接近于单位圆的若干个本征对的算法,可以通过共轭子空间迭代解解决之.     

On the complexity of polyhedral separability

It is NP-complete to recognize whether two sets of points in general space can be separated by two hyperplanes. It is NP-complete to recognize whether two sets of points in the plane can be separated withk lines. For every fixedk in any fixed dimension, it takes polynomial time to recognize whether two sets of points can be separated withk hyperplanes.     

Validity of the Weakly Nonlinear Solution of the Cauchy Problem for the Boussinesq‐Type Equation

We consider the initial‐value problem for the regularized Boussinesq‐type equation in the class of periodic functions. Validity of the weakly nonlinear solution, given in terms of two counterpropagating waves satisfying the uncoupled Ostrovsky equations, is examined. We prove analytically and illustrate numerically that the improved accuracy of the solution can be achieved at the timescales of the Ostrovsky equation if solutions of the linearized Ostrovsky equations are incorporated into the asymptotic solution. Compared to the previous literature, we show that the approximation error can be controlled in the energy space of periodic functions and the nonzero mean values of the periodic functions can be naturally incorporated in the justification analysis.     

The problem of the motion of a solid in an ideal fluid. Integration of the Clebsch's case

This paper deals with a geometric approach to the integration of Clebsch's case of equations describing the motion of a solid body in an ideal fluid. This problem is defined by a nonlinear system of 6 differential equations admitting 4 polynomial first integrals. We show that the intersection of surface levels of these integrals can be completed to an abelian surface, i.e., a 2-dimensional algebraic torus. Also, we prove that the problem can be linearized, i.e., can be written in terms of abelian integrals, on a Prym variety of a genus 3 curve obtained naturally. Received August 1998     

利用Ito公式求布朗运动和几何布朗运动的矩

利用Ito公式及Ito积分的性质求出了布朗运动和几何布朗运动的矩的一般形式,同时指出可以利用这种方法求其他扩散过程的矩.