关于折线的一个猜想的证明

文[1]中，王方汉老师有如下猜想：当n为形如4m－1（mEN）的素数时，生成数列凡一l＝（1，2，…，牛／，M，…，2，l）所确定的数列B，，具有遍历性．也就是说，设数列凡1＝（r，12，…，r。－l），h为正整数，B。＝（hi，bZ，…，b。），1＝hi＜bZ＜…＜b。且均为整数，设凡；与B。之间有如下映射关系：。。。。，；；＝（1，2，…，宁，宁，…，2，1）且n为形如4m－1的素数时，数列B。各项被n除的余数恰是0，1，2，…，n－1的一个全排列．显然，数列B。＝（hi，bZ，…，b。）各项被n除的余数恰是0，1，2，…，n一且的一个全排列等价于…     

Author Index to Volume 1

Burkardt，J.V，29 O，形ordan，E.，1 76 Chan，L.C.，57 Chen，H.，1 Chen，丫T.，138 Chen，2.，1 13 Cho，D.，44 Qiu，J.，435 Rong，2.，275 Dai，丫一H.，460 de川meida，V，410 Du，K.，357 Sheng，Q.，198 Shishkin，G.1.，150，214 Siebert，K.G.，245 Stylles，J.，     

关于丢番图方程x^2±2^m=y^n

本文证明了：方程ｘ２＋２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且当（ｘ，ｙ，ｍ，ｎ）≠（５，３，１，３），（１１，５，２，３），（７，３，５，４）时，ｎ是适合ｎ≡７（ｍｏｄ８）以及２３≤ｎ＜８．５·１０６的奇素数，ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ１；方程ｘ２－２ｍ＝ｙｎ，ｘ，ｙ，ｍ，ｎ∈Ｎ，ｇｃｄ（ｘ，ｙ）＝１，ｙ＞１；ｎ＞２仅有有限多组解（ｘ，ｙ，ｍ，ｎ），而且这些解都满足ｎ＜２·１０９炉以及ｍａｘ（ｘ，ｙ，ｍ）＜Ｃ２，这里Ｃ１，Ｃ２是可有效计算的绝对常数．     

利用整体思想解含多变元、多个函数的复合最值问题

在数学竞赛试题中经常出现形如max{min{f1（x1，X2，…，xn），f2（x1，x2，…，xn），…，fm（x1，x2，…，xn）}}或min{max{f1（x1，x2，…，xn），f2（x1，x2，…，xn），…，fm（x1，x2，…，xn）}}的多变元、多个函数的复合最值问题，即求函数最大值的最小值或求函数最小值的最大值。这类问题复杂、抽象且综合性强，解题时不能孤立地研究每一个函数，宜采用整体思想。     

论正定列的一种扩张

设１，ｒ１，ｒ２，．．．ｒｍ，ｘ，１，ｒ１，ｒ２．．．，ｒｍ，ｘ，ｙ，ｙ∈（ａ，ｂ），ａ，ｂ，１，ｒ１，ｒ２，．．．，ｒｍ。     

关于方程xy+yz+zx=n的正整数解

本文在广义Ｒｉｅｍａｎｎ猜想成立的条件下证明了：当且仅当正整数ｎ＝１，２，４，６，１０，１８，２２，３０，４２，５８，７０，７８，１０２，１３０，１９０，２１０，３３０，４６２时，方程ｘｙ＋ｙｚ＋ｚｘ＝ｎ无正整数解（ｘ，ｙ，ｚ）．     

群J~(6,k_1,…,k_l)的决定

设 ｋ１＜ｋ２＜…＜ ｋｌ， ｋｉ；为正整数，我们已决定群Ｊ６，ｋ２，…，ｋｌ（ｋｉ为偶数， ｋ２＞ １２），本文决定了群Ｊ６，１０，ｋ３…，ｋｌ，Ｊ６，８，ｋ３，…，ｋ１（ｋ３＞ １０），Ｊ６，８，１０，ｋ４，…，ｋｌ（ｋｉ为偶数）     

关于阶为2~（α1）3~（α2）5~（α3）7~（α4）p~（α5）的单群

本文证明了以下结果：设α１，α２，α３，α４，α５均为正整数，ｐ为素数且．如果Ｇ是阶为的单群，则Ｇ同构于下列单群之一：Ａ１１，Ａ１２；Ｍ２２，Ｈｉ－Ｓ２ＭｃＬ，Ｈｅ；Ａ１（ｑ）（ｑ＝２６，５３，７４，２９，４１，７１，２５１，４４９，４８０１），Ａ２（３２），Ａ３（２２），Ａ３（７），Ａ４（２），Ａ５（２），Ｂ２（２３），Ｂ２（７２），Ｂ３（３），Ｂ４（２），Ｃ３（３），Ｄ４（３），Ｇ２（２），Ｇ２（５），２Ａ２（１９），２Ａ３（５），２Ａ３（７），２Ａ４（３），２Ａ５（２），２Ｄ４（２）．     

斐波那契数列研究性学习一例

新教材数学第五册P32阅读材料介绍了斐波那契数列：1，1，2，3，5，8，13，21，34，55，89，…．     

有相依关系的成败型元件串联系统可靠性经典精确最优置信下限

设有由Ｋ个成败型元件Ａ１，Ａ２，…，ＡＫ组成的串联系统，设Ａ１，Ａ２，…，ＡＫ之间有相依关系，要Ａ１成功的条件下Ａ２才可以试验，在Ａ１，Ａ２，都成功的条件下Ａ３才可以试验，…在Ａ１，Ａ２，…ＡＫ－１都成功的条件下Ａｋ才可以试验，设条件概率Ｐ（Ａｉ│Ａ１Ａ２…Ａｉ－１）ｐｉ，ｐｉ未知，ｉ＝１，２，…，Ｋ。设有样本（Ｘ１，Ｘ２，…，ＸＫ）（Ｘ≥Ｘ２≥…≥ＸＫ），本文用样本点排序法求此串联系统可靠性之经     

Existence and uniqueness of solutions to a class of singular diffusion problems

Existence, uniqueness, and non-uniqueness results are given for a class of singular diffusion problems with variable diffusion rates. Continuity arguments are used on related initial value problems to produce the existence results. Uniqueness criteria are established for different sets of hypotheses and non-uniqueness results are discussed when these hypotheses fail.     

一类不确定时滞系统的鲁棒稳定性

给出了不确定时滞系统鲁棒稳定的若干结果,同时讨论了这类系统的稳定度,改进了前人关于时滞系统稳定性和鲁棒稳定性的一些结论,并给出了应用的例子。     

Properties of serial kanban systems

In this paper we show some structural results of a kanban system by using results about the underlying GSMP. The main results from this connection are: dominance of allocations, optimal partition, upper and lower bounds on throughput, consistency of the IPA derivative, convexity of throughput as a function of service time parameters and concavity of throughput with respect to number of kanbans. Although the dominance and the partition results were obtained previously by sample path arguments, the proofs here are less cumbersome and generalize the earlier results. The second-order properties for kanban lines are new. These results form a basis for results in multi-product lines where proofs by sample paths require extensive notation.     

“向量极值问题的最优性条件”一文的注记

本文给出了文［１］中的几个主要结果（即［１］中的推论２，定理４，定理６及定理７）的反例，进而更正了有关结果     

Non-differentiable pseudo-convex functions and duality for minimax programming problems

Optimality results are derived for a general minimax programming problem under non-differentiable pseudo-convexity assumptions. A dual in terms of Dini derivatives is introduced and duality results are established. Finally, two duals again in terms of Dini derivatives are introduced for a generalized fractional minimax programming problem and corresponding results are studied.     

Solvability of a class of impulsive damped vibration problems

In this paper, a class of impulsive damped vibration problems are considered. Existence results are obtained by using variational method and critical point theorem. The obtained results are also valid and new even if the impulsive damped vibration problem is reduced to impulsive Hamiltonian system and Hamiltonian system. Examples are presented to illustrate the feasibility and effectiveness of the results. Copyright © 2013 John Wiley & Sons, Ltd.     

Propagation of Rayleigh waves in generalized magneto-thermoelastic orthotropic material under initial stress and gravity field

In this paper the influence of the gravity field, relaxation times and initial stress on propagation of Rayleigh waves in an orthotropic magneto-thermoelastic solid medium has been investigated. The solution of the more general equations are obtained for thermoelastic coupling by Helmoltz’s theorem. The frequency equation which determines Rayleigh wave velocity have been obtained. Many special cases are investigated from the present problem. Numerical results analyzing the frequency equation are obtained and presented graphically. Relevant results of previous investigations are deduced as special cases from these results. The results indicate that the effect of initial stress, magnetic field and gravity field are very pronounced.     

On the Controllability of Linear and Semilinear Impulsive Systems

In this paper, we establish some su?cient conditions for the complete controllability of linear and semilinear impulsive systems. For the semilinear systems, we assume that nonlinearities are Lipschitzian type. We invoke the tools of nonlinear functional analysis and fixed point theorems to establish the results. The results are also compared with the existing results in the literature in order to show the effectiveness of the results obtained. Few illustrative examples are provided to substantiate the results.     

New Results on Generalized $c$-Distance Without Continuity in Cone $b$-Metric Spaces over Banach Algebras

In this work, some new fixed point results for generalized Lipschitz mappings on generalized $c$-distance in cone $b$-metric spaces over Banach algebras are obtained, not acquiring the condition that the underlying cone should be normal or the mappings should be continuous. Furthermore, the existence and the uniqueness of the fixed point are proven for such mappings. These results greatly improve and generalize several well-known comparable results in the literature. Moreover, some examples and an application are given to support our new results.     

Steady solution of solitary wave and linear shear current interaction

The steady solution of a solitary wave propagating in the presence of a linear shear background current is investigated by the Green–Naghdi (GN) equations. The steady solution is obtained by use of the Newton–Raphson method. Three aspects are investigated; they are the wave speed, wave profile and velocity field. The converged GN results are compared with results from the literature. It is found that for the opposing-current case of the solitary wave with a small amplitude, the results of the GN equations match results from the literature well, while for the solitary wave with a large amplitude, results from the literature are seen to be not as accurate. In the following-current case, though the amplitude of the solitary wave is small, the GN results are shown to be accurate. The velocity along the water column at the wave crest and the velocity field for different cases are calculated by the GN equations. The results of the GN equations show obvious differences when compared with the results obtained by superposing the no-current results and linear shear current linearly. We find that for the same current strength, the vortex is stronger for the steep solitary-wave case than that for the small solitary-wave case.