网络安全产品研究

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

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

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

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

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

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

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

计算机蠕虫病毒传播的数学模型分析

建立了一种计算机病毒传播的数学模型,并利用微分方程理论进行了分析,得到了计算机病毒消除的阈值,并进行了数值模拟.     

态R_0代数

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

具有时滞和Ivlev功能反应的食物链模型的研究

建立了一个具有时滞和Ivlev功能性反应的食物链模型.同时选择了一个分支参数τ,分析了发生Hopf分支的情况,得出了Hopf分支发生的条件,并用数值模拟验证了分析结果.     

关于复正定矩阵的判定

研究了复矩阵的正定性 ,给出了复正定矩阵的一系列判定条件 ,获得了一些新的结果 ,改进并推广了著名的 Hadam ard不等式、Fejer定理及郭忠的结果 ,削弱了华罗庚不等式的条件 .     

带拯救的两参数Markov碰撞过程的遍历性

本文考虑了一类带拯救的两参数Markov碰撞过程.首先讨论了带拯救的两参数Markov碰撞q-矩阵发生函数的性质,通过发生函数给出了过程的正则性和唯一性判别准则,得到了过程的常返性和遍历性的充分必要条件,并给出了几个易于验证的充分条件.最后,给出了遍历情形下该过程平稳分布的发生函数,并给出了过程强遍历的判别准则.     

高阶数值微分的积分方法

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

带有免疫和传染年龄的传染病模型

建立了带有免疫和传染年龄的传染病模型,这种传染病带有病原体Ⅰ或Ⅱ,病原体Ⅰ可发展为病原体Ⅱ,得到了无病平衡态全局稳定和局部稳定的条件.当病原体Ⅰ不发展为病原体Ⅱ时,得到了病原体Ⅰ类平衡态的稳定性依赖于病原体Ⅱ类的基本再生指数.     

Modelling and simulation of micro-well formation

Physico-chemical processes on the micro-scale require new modelling concepts because some effects become dominating that are negligible for macroscopic systems. This is illustrated by a new method for the production of micro-wells based on the placement of a small drop of toluene on a plate of polystyrene. After droplet evaporation, a micro-well is left. A mathematical model has been developed to understand the elementary processes of the micro-well formation. The model accounts for: (1) growth of the drop on the substrate, (2) evaporation process of the solvent, (3) dissolution of the substrate, (4) flow rate in the evaporating drop caused by the pinning effect, including the vertical velocity profile, and (5) increase in the concentration of dissolved material followed by precipitation. In the modelling and simulation process, it could be shown that the method of drop production also has a significant influence on the shape of the micro-wells.     

A perturbed risk model with dependence between premium rates and claim sizes

This paper considers a dependent risk model with diffusion for the surplus of an insurer, in which a current premium rate will be adjusted after a claim occurs and the adjusted rate is determined by the amount of the claim. At the same time, the diffusion is changed correspondingly. Using Rouché’s theorem, we first derive the closed-form solution for the Laplace transform of the survival probability in the dependent risk model. Then, using the Laplace transform, we derive a defective renewal equation satisfied by the survival probability. For the exponential claim sizes, we present the explicit recursion expression for the survival probability, by which we can exactly solve the survival probability step-by-step. We also illustrate the influence of the model parameters in the dependent risk model on the survival probability by numerical examples.     

Multi‐dimensional Lotka–Volterra systems for carcinogenesis mutations

In the paper we consider three classes of models describing carcinogenesis mutations. Every considered model is described by the system of (n+1) equations, and in each class three models are studied: the first is expressed as a system of ordinary differential equations (ODEs), the second—as a system of reaction–diffusion equations (RDEs) with the same kinetics as the first one and with the Neumann boundary conditions, while the third is also described by the system of RDEs but with the Dirichlet boundary conditions. The models are formulated on the basis of the Lotka–Volterra systems (food chains and competition systems) and in the case of RDEs the linear diffusion is considered. The differences between studied classes of models are expressed by the kinetic functions, namely by the form of kinetic function for the last variable, which reflects the dynamics of malignant cells (that is the last stage of mutations). In the first class the models are described by the typical food chain with favourable unbounded environment for the last stage, in the second one—the last equation expresses competition between the pre‐malignant and malignant cells and the environment is also unbounded, while for the third one—it is expressed by predation term but the environment is unfavourable. The properties of the systems in each class are studied and compared. It occurs that the behaviour of solutions to the systems of ODEs and RDEs with the Neumann boundary conditions is similar in each class; i.e. it does not depend on diffusion coefficients, but strongly depends on the class of models. On the other hand, in the case of the Dirichlet boundary conditions this behaviour is related to the magnitude of diffusion coefficients. For sufficiently large diffusion coefficients it is similar independently of the class of models, i.e. the trivial solution that is unstable for zero diffusion gains stability. Copyright © 2009 John Wiley & Sons, Ltd.     

A necessary and sufficient condition for the existence of an exponential attractor

We give a necessary and sufficient condition for the existence of an exponential attractor. The condition is formulated in the context of metric spaces. It also captures the quantitative properties of the attractor, i.e., the dimension and the rate of attraction. As an application, we show that the evolution operator for the wave equation with nonlinear damping has an exponential attractor.     

ON NEWMAN-TYPE RATIONAL INTERPOLATION TO ｜x｜ AT THE CHEBYSHEV NODES OF THE SECOND KIND

Recently Brutman and Passow considered Newman-type rational interpolation to ｜x｜ induced by arbitrary set of symmetric nodes in [-1,1] and gave the general estimation of the approximation error.By their methods one could establish the exact order of approximation for some special nodes. In the present paper we consider the special case where the interpolation nodes are the zeros of the Chebyshev polynomial of the second kind and prove that in this case the exact order of approximation is O（1/n｜nn）     

面向远海岛屿的救助基地选址优化模型及其算法

为解决在远海海域选择岛屿建设救助基地的方案优化问题,建立了基于GIS和智能算法的双目标优化模型,采用自适应拉伸的拥挤距离计算公式,设计了自适应精英保留策略对算法进行改进,通过剖析决策者选择最优方案的基本原则,得到了性价比最高的优化方案。最后,以我国南海南沙群岛选择岛屿建设救助基地的方案优化为例进行分析,得到了较好结果。为验证文中改进算法的有效性,选取多个不同规模的方案进行分析比较,结果显示本文提出的算法在优化结果及解的分布性等方面均更优。本文研究为我国海上岛屿救助基地选址和在资源有限的情况下如何科学配置救助船队提供了分析方法。     

基于韧性度的低轨卫星通信网络抗毁性度量及优化

低轨卫星通信网络的抗毁性是描述网络安全可靠的有效工具,在网络体系结构设计和路由策略等领域得到了广泛的应用。根据低轨卫星通信网络中卫星在轨道平面内移动,需要不断进行切换的特点,从建立抗毁性测度模型以及网络抗毁性优化两个角度来评估和提高网络抗毁性,提出一种基于韧性度的低轨卫星通信网络抗毁性度量方法。通过对移动模型以及切换模型的结构分析,对每种结构以一定概率出现的低轨卫星通信网络,应用韧性度函数,求得网络在某个时刻及某一段时间段内的抗毁性,并针对切换模型的不足之处进行优化,用赋权韧性度来体现优化的效果,得到了优化后的网络抗毁性。以铱星系统为应用实例进行仿真,结果表明:任意时刻网络的抗毁性跟拓扑结构的韧性度值有关,并且是一种线性关系,即随着韧性度的增加,其抗毁性也增加。通过对铱星通信系统切换模型的优化,网络的抗毁性与平均抗毁性都得到了提升,说明本文所构建模型的有效性和实用性。     

Computing a closest bifurcation instability in multidimensional parameter space

Summary Engineering and physical systems are often modeled as nonlinear differential equations with a vector λ of parameters and operated at a stable equilibrium. However, as the parameters λ vary from some nominal value λ₀, the stability of the equilibrium can be lost in a saddle-node or Hopf bifurcation. The spatial relation in parameter space of λ₀ to the critical set of parameters at which the stable equilibrium bifurcates determines the robustness of the system stability to parameter variations and is important in applications. We propose computing a parameter vector λ_* at which the stable equilibrium bifurcates which is locally closest in parameter space to the nominal parameters λ₀. Iterative and direct methods for computing these locally closest bifurcations are described. The methods are extensions of standard, one-parameter methods of computing bifurcations and are based on formulas for the normal vector to hypersurfaces of the bifurcation set. Conditions on the hypersurface curvature are given to ensure the local convergence of the iterative method and the regularity of solutions of the direct method. Formulas are derived for the curvature of the saddle node bifurcation set. The methods are extended to transcritical and pitchfork bifurcations and parametrized maps, and the sensitivity to λ₀ of the distance to a closest bifurcation is derived. The application of the methods is illustrated by computing the proximity to the closest voltage collapse instability of a simple electric power system.     

On the Index of Differential Operators on Manifolds with Conical Singularities

The paper contains the proof of the index formula for manifolds with conical points. For operators subject to an additional condition of spectral symmetry, the index is expressed as the sum of multiplicities of spectral points of the conormal symbol (indicial family) and the integral from the Atiyah–Singer form over the smooth part of the manifold. The obtained formula is illustrated by the example of the Euler operator on a two-dimensional manifold with conical singular point.