标准体系的使用期的模型与分析

本文提出了关于标准体系使用期的两个模型。首先定义了标准使用期,然后讨论了模型的合理性。通过模型讨论了标准使用期的性质,给出了数值示例。提出了需进一步研究的问题。     

网络安全产品研究

本文在研究了网络安全的国内外有关情况后对网络安全技术进行了探讨 ,介绍了一种简单而实用的网络安全产品 ,添补了这方面的空白 ,而且本文介绍的产品已经应用到了许多部门 ,为网络安全做出了贡献     

态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.     

高阶数值微分的积分方法

本文研究了高阶数值微分问题,利用Groetsch的思想,获得了可以稳定逼近近似已知函数的任意阶导数的积分方法,并在一定条件下,给出了收敛率.给出了二阶、三阶和四阶数值微分问题的数值实验,实验结果表明了方法的有效性.     

模糊幂格

本文研究了格向其模糊幂集上提升的问题.利用模糊集理论,引入了模糊幂格的概念,获得了模糊幂格及其模糊理想的若干基本性质,推广了格的结果.     

秩为1矩阵的性质及应用

给出了秩1矩阵的结构,讨论了这类矩阵在矩阵运算、对角化、标准型等方面的性质,推广和改进了文[1]的一些相关结果,并指出了它的若干应用,重点讨论了一类矩阵,得到了有关结论和方法.     

基于最大满意度的研究生录取问题

采用了模糊数学的知识和优化方法讨论解决了研究生的录取问题.首先对相关数据进行了合理的量化,然后定义了导师与学生之间的相互满意度,建立了择优录取和双向选择的优化模型,通过求解得到了理想的结果.     

基于质量控制的供应链计划问题研究

为了研究基于质量控制的供应链计划问题,采用了优化建模的方法,分析了易腐物品生命周期函数的选用及拟合原则,建立起了质量衰减成本与时间之间的关系,考虑了涉及交通及天气情况的运输风险,最终建立了优化模型,以实现供应链运行总成本最小。最后,提出了动态规划的求解方法,并通过仿真实验证明了算法的有效性。     

探究两个一次函数图像的对称规律

在学习了反比例函数后,老师带大家总结了两个点及函数图像的对称性.对于两个一次函数对称的情况,我自己进行了探索,发现了     

以研促教 教研相长——一次集体教研活动纪实

在一次集体教研活动中,通过对一道试题的探究、引申、延展,不仅深化了教师的思维,提升了“四基”“四能”,强化了学科素养的渗透,提高了教学站位,更难能可贵的是激发了教师们的教研热情,唤醒了他们的专业自觉,充分彰显了集体智慧和集体力量的伟大.     

宏观因素影响下的系统中元件重要性研究

为研究复杂系统在工作环境中其组成元件对系统安全运行的重要性,将汪培庄先生的因素空间理论与笔者提出的空间事故树理论相结合,构造了一套元件重要性研究方法.构建系统T={U,C,D},将元件作为研究对象集合U,系统工作的宏观环境作为因素集C,元件重要性排序集作为D.对宏观环境中的工作时间a1和温度a_2进行划分形成不同的状态区域S_q,计算在S_q中元件xj的失效权重γ(AS_q(x_j))和在S_q中系统T的失效权重δ(AS_q(T))),从而得到x_j在S状态下的等效失效权重Z(AS_q(x_j)),研究状态S_q下的原件重要性排序D_η,及元件x_j失效性对a_1及a_2的敏感性.使用一个实际的电气系统维修情况统计资料,使用上述方法进行了研究,结果表明:不同工作环境下元件对系统的重要程度是不同的.元件对温度和使用时间是敏感的,并得到了在10³0°且5030°且50⁷5d环境下工作系统可靠性是最高的结论.在给定工作环境下,重要性大的元件多储备,重要性小的元件少储备,以满足系统维修需要,并指导实际工程.     

On the local semiconcavity of the solutions of the eikonal equation

We show that if the Hamiltonian is locally semiconvex with respect to the state variables and strictly convex with respect to the gradient then every viscosity solution of the eikonal equation is locally semiconcave. Furthermore, in the 1D case, we show that every viscosity solution of the eikonal equation is semiconcave if and only if the Hamiltonian is Lipschitz continuous with respect to the state variable.     

On the determination of the control parameters of the optimal can-order policy

This paper considers the well-known class of can-order policies. This type of coordinated replenishment policies accounts for a joint set-up cost structure, where a major set-up cost is incurred for any order and an individual minor set-up cost is charged for each item in the replenishment. Recent comparative studies have pointed out that the performance of the optimal can-order policy is poor, compared to other coordinated replenishment strategies, when the major set-up cost is high. This paper shows that it is the approximate decomposition method to calculate the optimal canorder parameters which performs bad in such situations and not the policy itself. Attention is focused to a subclass of can-order policies, which is close to the optimal can-order policy for high major set-up costs. A solution procedure is developed to calculate the optimal control parameters of this policy. It is shown that a properly chosen combination of the solution procedures to calculate can-order parameters leads to a can-order strategy which performs as well as other coordinated replenishment policies.     

Acceleration of the convergence of the Laguerre series in the problem of inverting the Laplace transform

When the Laplace transform is inverted numerically, the original function is sought in the form of a series in the Laguerre polynomials. To accelerate the convergence of this series, the Euler-Knopp method is used. The techniques for selecting the optimal value of the parameter of the transform on the real axis and in the complex plane are proposed.     

On the numerical approach of the enthalpy method for the Stefan problem

In this article an error bound is derived for a piecewise linear finite element approximation of an enthalpy formulation of the Stefan problem; we have analyzed a semidiscrete Galerkin approximation and completely discrete scheme based on the backward Euler method and a linearized scheme is given and its convergence is also proved. A second‐order error estimates are derived for the Crank‐Nicolson Galerkin method. In the second part, a new class of finite difference schemes is proposed. Our approach is to introduce a new variable and transform the given equation into an equivalent system of equations. Then, we prove that the difference scheme is second order convergent. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2004     

On the analyticity and the almost periodicity of the solution to the Euler equations with non-decaying initial velocity

The Cauchy problem of the Euler equations in the whole space is considered with non-decaying initial velocity in the frame work of . It is proved that if the initial velocity is real analytic then the solution is also real analytic in spatial variables. Furthermore, a new estimate for the size of the radius of convergence of Taylor's expansion is established. The key of the proof is to derive the suitable estimates for the higher order derivatives of the bilinear terms. It is also shown the propagation of the almost periodicity in spatial variables.     

On the algorithm of the solution of the signorini problem

An algorithm is proposed for solving the Signorini problem /1/ in the formulation of a unilateral variational problem for the boundary functional in the zone of possible contact /2/. The algorithm is based on a dual formulation of Lagrange maximin problems for whose solution a decomposition approach is used in the following sense: a Ritz process in the basis functions that satisfy the linear constraint of the problem, the differential equation in the domain, is used in solving the minimum problem (with fixed Lagrange multipliers); the maximum problem is solved by the method of descent (a generalization of the Frank-Wolf method) under convexity constraints on the Lagrange multipliers. The algorithm constructed can be conisidered as a modification of the well-known algorithm to find the Udzawa-Arrow-Hurwitz saddle points /3, 4/. The convergence of the algorithm is investigated. A numerical analysis of the algorithm is performed in the example of a classical contact problem about the insertion of a stamp in an elastic half-plane under approximation of the contact boundary by isoparametric boundary elements. The comparative efficiency of the algorithm is associated with the reduction in the dimensionality of the boundary value problem being solved and the possibility of utilizing the calculation apparatus of the method of boundary elements to realize the solution.     

逆谱理论新方法中A-函数和势函数依赖关系的稳定性研究

对于一维Schrdinger算子,本文基于Simon给出的惟—性定理(势函数由A-函数惟一确定)证明了势函数连续依赖于A-函数;反过来,若势函数q∈L~1(0,∞),给出了A-函数也连续依赖于势函数的结论.     

不忽略一次项损失时望大特性质量损失函数设计

田口先生提出的质量特性损失函数是用二次项来表示的,对于望大特性而言,质量特性实际上不可能达到无穷大。讨论了不能忽略一次项损失时,望大特性质量损失函数应采用二次式表示。研究了二次式损失函数中一次项损失系数和二次项损失系数确定的方法。比较分析了二次式损失函数中一次项损失和二次项损失的大小。本文的研究结果显示,田口先生经典的二次项损失函数是二次式损失函数的一种形式。实际问题也验证了本文的研究成果。     

On the fallacy of the likelihood principle

By using the direct and inverse binomial experiments it is shown that there is a situation where Birnbaum's basic axiom of mathematical equivalence and the likelihood principle is a tautology. This observation disqualifies Birnbaum's proof of the likelihood principle based on the axioms of mathematical equivalence and conditionality. The implication of this disproof of Birnbaum's argument for Bayesian statistics is briefly discussed.