多级安全RDBMS的安全策略

讨论了计算机系统的安全策略和多级安全的概念．提出了多级安全ＲＤＢＭＳ的一种安全策略，对策略中的自主安全、多级安全和最小特权原则进行了详细的叙述．     

调度控制原理与方法的应用研究

探讨了企业调度系统对生产系统实施直接控制所采用的日产量、日产量累计实际与计划差异两种方法及其结合使用的作用,以及控制参数δ、ω的确定方法;探讨了对经营系统实施间接、指导性控制所采用的存量弹性控制方法及其弹性控制参数q的确定方法。     

一类三阶时滞微分方程在Banach空间中的周期解的存在性

利用上下解单调迭代方法, 考虑有序Banach空间E中三阶时滞微分方程u(t)+M₀u(t-τ₀)=f(t,u(t), u(t-τ₁), u(t-τ₂)),〓t∈R,2π-周期解的存在性, 其中 f: R×E³→E 连续, 关于 t 以 2π-为周期, τ₀,τ₁,τ₂为正常数。 通过建立新的极大值原理和构造方程 2π-周期解的单调迭代求解程序, 得到了该方程 2π-周期解的存在性与唯一性结果。     

非均布压力下的减振器节流阀片应力解析计算

根据减振器节流阀片力学模型,利用边界条件和变形连续性条件,给出了阀片在线性非均布压力作用下的变形曲面微分方程的通解.利用叠加原理,建立了减振器节流阀片在非均布压力下的变形解析计算式.根据阀片变形、内力和应力之间的关系,创建了在非均布压力下节流阀片径向、周向和复合应力解析计算式.通过实例,对节流阀片在不同非均布压力作用下的应力进行了解析计算,并利用ANSYS有限元软件进行数值仿真验证,解析计算结果与数值仿真结果吻合,相对偏差仅为1.41%.结果表明,所建立减振器节流阀片在非均布压力下的应力解析计算方法是正确可靠的,对减振器节流阀片设计和强度分析具有重要的应用价值.     

中立型时滞微分方程非振动解的存在性与迭代逼近

讨论下列高阶中立型时滞微分方程dndtn[x(t)+cx(t-τ)]+∑n-1(-1)n-i+1 didtihi(t,x(σ1(t)),x(σ2(t)),…,x(σk(t)))+(-1)n+1 f(t,x(τ1(t)),x(τ2(t)),…,x(τk(t)))=g(t),t≥t0.利用压缩映象原理,得到上述方程非振动解存在性的充分条件,并给出收敛于该方程非振动解的一个Mann-型迭代逼近序列,最后进行相应的误差估计.     

拟协调轴对称三结点退化壳单元

结合拟协调有限元方法和退化壳有限元概念,构造了一个轴对称三结点退化壳单元,采用了整体,局部和等参三个坐标系,使用与拟协调单元列式方法等效的基于胡－鹫津广义为分原理的杂交／混合单元列式方法构造轴对称三结点退化壳单元;使用相同的等参坐标插值来假设应力和应变,插值既考虑到低阶项的完备,又借鉴了拟协调九结点四边形爱化壳单元的结构经验。为了确定应力应变的插值形式,进行了多次数值试验和单元刚度矩阵的特征值分析     

弹性力学中的最小余能原理与按应力求解位移边值问题的边界条件

本文分析了若干文献和专著对于最小余能原理的表述和证明所存在的需要澄清的问题。文中推证了最小余能原理变分方程的等价方程和条件。结果表明:从总余能的变分方程出发,只能直接推导出形变相容方程和位移边界相容条件,而不能直接得到几何方程和己知位移边界条件。与此相应,按应力解法求解位移边值问题所应满足的边界条件正是上述的位移边界相容条件,而不必是位移边界条件。本文给出了这种用应力表示的位移边界相容条件的具体表式,从而说明了对于给定位移的边值问题理论上也能按应力求解。     

几种水环境质量综合评价方法的探讨

根据对涪江水体某断面监测得到的具体数据，利用各种评价方法进行了水质评价，并对评价结果作了相应比较，进而提出了适于对水环境质量进行综合评价的评价方法。     

Receding horizon H∞ control for discrete-time Markovian jump linear systems

Receding horizon H∞ control scheme which can deal with both the H∞ disturbance attenuation and mean square stability is proposed for a class of discrete-time Markovian jump linear systems when minimizing a given quadratic performance criteria. First, a control law is established for jump systems based on pontryagin’s minimum principle and it can be constructed through numerical solution of iterative equations. The aim of this control strategy is to obtain an optimal control which can minimize the cost function under the worst disturbance at every sampling time. Due to the difficulty of the assurance of stability, then the above mentioned approach is improved by determining terminal weighting matrix which satisfies cost monotonicity condition. The control move which is calculated by using this type of terminal weighting matrix as boundary condition naturally guarantees the mean square stability of the closed-loop system. A sufficient condition for the existence of the terminal weighting matrix is presented in linear matrix inequality (LMI) form which can be solved efficiently by available software toolbox. Finally, a numerical example is given to illustrate the feasibility and effectiveness of the proposed method.     

Near-optimal cumulative longitude low-thrust orbit transfer

The indirect method for the continuous low-thrust near minimum cumulative longitude orbit transfer problem is addressed. The movement of the satellite is described by the Gauss equation using the modified equinoctial elements and replacing time as the system independent variable by the cumulative longitude. The maximum principle is adapted to design the optimal control in order to minimize the final cumulative longitude, and the twopoint- boundary-value problem is derived from the orbit transfer problem. The single shooting method is applied in a numerical experiment, and the simulations demonstrate that the orbit transfer mission is fulfilled and the product of the maximal thrust and the minimum cumulative longitude is near constant.