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

本文主要讨论组合地图列举问题.刘的一部专著中提出了一个判定两个地图是否同构的算法.该算法的时间复杂度为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)性质.     

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

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

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

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

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

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

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

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

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

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

Depth notions for orthogonal regression

Global depth, tangent depth and simplicial depths for classical and orthogonal regression are compared in examples, and properties that are useful for calculations are derived. The robustness of the maximum simplicial depth estimates is shown in examples. Algorithms for the calculation of depths for orthogonal regression are proposed, and tests for multiple regression are transferred to orthogonal regression. These tests are distribution free in the case of bivariate observations. For a particular test problem, the powers of tests that are based on simplicial depth and tangent depth are compared by simulations.     

Morse decompositions of nonautonomous dynamical systems

The global asymptotic behavior of dynamical systems on compact metric spaces can be described via Morse decompositions. Their components, the so-called Morse sets, are obtained as intersections of attractors and repellers of the system. In this paper, new notions of attractor and repeller for nonautonomous dynamical systems are introduced which are designed to establish nonautonomous generalizations of the Morse decomposition. The dynamical properties of these decompositions are discussed, and nonautonomous Lyapunov functions which are constant on the Morse sets are constructed explicitly. Moreover, Morse decompositions of one-dimensional and linear systems are studied.

     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

Manufacturing flow line systems: a review of models and analytical results

The most important models and results of the manufacturing flow line literature are described. These include the major classes of models (asynchronous, synchronous, and continuous); the major features (blocking, processing times, failures and repairs); the major properties (conservation of flow, flow rate-idle time, reversibility, and others); and the relationships among different models. Exact and approximate methods for obtaining quantitative measures of performance are also reviewed. The exact methods are appropriate for small systems. The approximate methods, which are the only means available for large systems, are generally based on decomposition, and make use of the exact methods for small systems. Extensions are briefly discussed. Directions for future research are suggested.     

Enumeration of point-determining graphs

Point-determining graphs are graphs in which no two vertices have the same neighborhoods, co-point-determining graphs are those whose complements are point-determining, and bi-point-determining graphs are those both point-determining and co-point-determining. Bicolored point-determining graphs are point-determining graphs whose vertices are properly colored with white and black. We use the combinatorial theory of species to enumerate these graphs as well as the connected cases.     

Matrix-valued polynomials generated by the scalar-type Rodrigues’ formulas

The properties of matrix-valued polynomials generated by the scalar-type Rodrigues’ formulas are analyzed. A general representation of these polynomials is found in terms of products of simple differential operators. The recurrence relations, leading coefficients, completeness are established, as well as, in the commutative case, the second order equations for which these polynomials are eigenfunctions and the corresponding eigenvalues, and ladder operators.A new, direct proof is given to the conjecture of Durán and Grünbaum that if the weights are self-adjoint and positive semidefinite then they are necessarily of scalar type.Commutative classes of orthogonal polynomials (corresponding to weights that are self-adjoint but not positive semidefinite) are found, which satisfy all the properties usually associated to orthogonal polynomials, and are not of scalar type.     

横观各向同性多孔超弹性矩形板的单向拉伸

利用横观各向同性超弹性材料的广义neo-Hookean应变能函数研究了含有多个微孔的超弹性矩形板在单向拉伸作用下的有限变形和受力分析.给出了含有某种对称性分布的多个微孔的矩形板的变形模式,通过求解该变形模式满足的微分方程,将它用两个参数表示出来.可应用最小势能原理导出变分近似解,从而得到矩形板的变形和应力分布的解析解.分析了板中微孔的增长及微孔边缘应力的分布情况,讨论了板的各向异性程度及微孔的大小和孔间距离的影响,得到了单个、三个及五个微孔板中微孔的增长变形和孔边应力分布的一些基本规律规律,并进行了相互比较.     

Goodness-Of-Fit Tests Based on Estimated Expectations of Probability Integral Transformed Order Statistics

New goodness-of-fit tests, based on bootstrap estimated expectations of probability integral transformed order statistics, are derived for the location-scale model. The resulting test statistics are location and scale invariant, and are sensitive to discrepancies at the tails of the hypothesized distribution. The limiting null distributions of the test statistics are derived in terms of functionals of a certain Gaussian process, and the tests are shown to be consistent against a broad family of alternatives. Critical points for all sample sizes are provided for tests of normality. A simulation study shows that the proposed tests are more powerful than established tests such as Shapiro-Wilk, Cramér-von Mises and Anderson-Darling, for a wide range of alternative distributions.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

Semi-analytic integration of hypersingular Galerkin BIEs for three-dimensional potential problems

An accurate and efficient semi-analytic integration technique is developed for three-dimensional hypersingular boundary integral equations of potential theory. Investigated in the context of a Galerkin approach, surface integrals are defined as limits to the boundary and linear surface elements are employed to approximate the geometry and field variables on the boundary. In the inner integration procedure, all singular and non-singular integrals over a triangular boundary element are expressed exactly as analytic formulae over the edges of the integration triangle. In the outer integration scheme, closed-form expressions are obtained for the coincident case, wherein the divergent terms are identified explicitly and are shown to cancel with corresponding terms from the edge-adjacent case. The remaining surface integrals, containing only weak singularities, are carried out successfully by use of standard numerical cubatures. Sample problems are included to illustrate the performance and validity of the proposed algorithm.