矩阵对策的Neumann-Shannon对策解

对于没有最优纯解的矩阵对策．具有最大Shannon熵的Neumann最优混合策略称为Neumann—Shannon最优混合策略。由两个局中人的Neumann—Shannon最优混合策略构成的序对称为Neumann—Shannon对策解。我们研究了Neumann-Shannon对策解的存在性．解集的拓扑结构和凸性，解的交换性和求解算法，并给出带有唯一Neumann—Shannon对策解的一类矩阵对策。     

二代小波在求解电磁场积分方程中的应用

为实现电磁场积分方程的快速求解,对第二代小波变换理论进行了阐述,并给出了适用于矩阵变换的具体公式,从而提出了一种基于第二代小波变换的预处理算法.通过对矩量法生成的稠密阻抗矩阵进行稀疏化预处理,加速了矩阵方程迭代求解中的矩阵矢量积.针对传统小波变换在矩阵方程维数上的限制,构造了一种任意维矩阵方程的预处理算法.对不同目标的电磁散射特性进行了分析,并将结果与解析解、矩量法直接求解等进行了对比,验证了算法的有效性.鉴于其通用性,所提任意维矩阵方程预处理算法可以推广至其他工程计算领域.     

微分差分方程的稳定性与时变不确定系统的鲁棒性研究

本文用矩阵测度和比较定理研究了具有滞后的时变不确定系统和微分差分方程，得到了不确定系统能稳和微分差分方程零解一致渐近稳定的充分条件。     

基于SIMPLORER的电源电路仿真

基于ANSOFT公司的仿真软件SIMPLORER,提出一种电源仿真方法。即通过SIMPLORER与C语言的接口,以三相电压型SPWM变流器的建模为例,介绍了用C语言进行模型仿真的基本步骤、模型矩阵方程的创建以及针对给出的模型矩阵方程实现SIMPLORER仿真。该方法与其他仿真软件相比较,可以利用C 的强大语言功能以及全面的图形函数库,进行用户自定义模型的仿真。     

最优调节器的两种综合方法的等价性

本文讨论了单输入-单输出系统的最优调节器的两种综合方法的等价性,即时域方法和频域方法的等价性。前者是解一个代数 Riccati 方程,后者是解一个多项式 Diophantine 方程。最后,文中给出了一种通过多项式谱分解技术直接算最优反馈增益矩阵的方法,这样可以避免解代数 Riccati方程。     

基于简化差别矩阵的属性约简算法

为降低基于修正差别矩阵的属性约简算法的时间复杂度和空间复杂度,首先给出了简化差别矩阵的定义,并证明了该矩阵所包含的信息量与修正差别矩阵的信息量等价.其次设计了一个高效的求U/C的算法,其时间复杂度被降为O∑|C|i=1|ki||U|.然后分析了基于修正差别矩阵的属性约简算法的不足,并使用上述高效求U/C的算法,设计了一个基于简化差别矩阵的属性约简算法,证明了该新算法的时间复杂度和空间复杂度分别被降为maxO(|C|2(|Up′os||U/C|)),O∑|C|i=1|ki||U|和max{O|C|(|Up′os||U/C|)),O(|U|)}.最后用一实例说明了新算法的高效性.     

费马大定理一个奇妙的证明

本文利用x+y=A和0相似文献   

模糊矩阵的特征向量

设 A为 n阶模糊方阵 ,X为 n维模糊向量 .若模糊矩阵方程 AX =X成立 ,则称 X为模糊矩阵 A的一个特征向量 .本文给出了模糊向量 X为模糊矩阵 A的特征向量的充分必要条件 ,最大特征向量的求法 ,并建立了布尔方阵特征向量个数的计算公式 .     

二阶动力学系统模型的跟踪设计

考虑了基于分散状态反馈控制律的二阶动力学系统输出渐近跟踪设计,该控制律包括被控对象状态和参考模型状态两部分。给出了问题解的存在条件:两个矩阵方程,其中一个为二阶Sylvester矩阵方程。给出了所有控制器增益阵的完全参数化表达式。归纳出了二阶动力学系统模型参考输出跟踪控制律的设计算法。该算法直接基于原系统的参数矩阵,无须对系统增广或变换,仅涉及自由参数的选取和一些简单的代数运算,便于工程应用。仿真结果说明所给出的算法是有效的。     

改进LAMBDA算法实现BDS双频整周模糊度快速解算

利用北斗卫星导航系统进行基线解算时,正确解算模糊度是关键问题.利用北斗卫星导航系统双频载波相位观测值组成宽巷双差观测值,运用目前被认为效果最好的模糊度解算方法——LAMBDA算法解算宽巷双差整周模糊度,但是,该算法存在模糊度浮点解偏差大,搜索范围大的缺点.因此,该文提出利用Tikhonov正则化改进LAMBDA算法,对宽巷双差观测方程中未知参数的系数矩阵进行奇异值分解,用分解后的协方差矩阵替换LAMBDA算法中的协方差矩阵进行宽巷双差整周模糊度的搜索,提高了宽巷双差整周模糊度浮点解的精度和模糊度固定正确率.改进后的LAMBDA算法模糊度浮点解偏差平均值从1.0829周减少到0.0059周,方差值从4.0534周减少到0.0479周,模糊度固定正确率从93.52%提高到100%.     

（1-uv）-CONSTACYCLIC CODES OVER Fp＋uFp＋vFp＋uvFp

Constacyclic codes are an important class of linear codes in coding theory.Many optimal linear codes are directly derived from constacyclic codes.In this paper,（1 — uv）-constacyclic codes over the local ring Fp ＋ uFp ＋ vFp ＋ uvFp are studied.It is proved that the image of a（1 — uv）-constacyclic code of length n over Fp ＋ uFp ＋ vFp ＋ uvFp under a Gray map is a distance invariant quasi-cyclic code of index p2 and length p3n over Fp.Several examples of optimal linear codes over Fp from（1 — uv）-constacyclic codes over Fp ＋ uFp ＋ vFp ＋ uvFp are given.     

具有有限等待空间的成批服务系统

应用有界线性算子半群理论证明一类成批服务系统的解的存在唯一性和非负性.     

价值流动GERT网络组合C标记模型及其应用

从多传递参量GERT网络模型解析算法出发,研究多传递参量GERT网络模型解析算法的扩展问题,构建组合C标记矩母函数模型,并研究模型相关参数的函数关系、运算法则及其确定方法,研究了价值流动GERT网络组合C标记矩母函数模型及其解析算法,在此基础上将价值流动GERT网络模型应用到国民经济系统多部门间的价值流动系统中,得到国民经济系统各部门间价值流动过程中价值增值活动的平均实现次数、价值增值节点平均实现次数、价值增值网络的平均转移次数等一系列值,以进一步研究部门间动态投入产出的情况及价值增值的情况,为国家的宏观调控提供有效的定量支持。     

模糊综合评价防空指挥自动化系统效能

通过对防空指挥自动化系统性能的全面分析 ,建立了其系统效能综合评判的指标体系 ,给出了系统效能评价模型和评价方法 ,介绍了运用择优比较法确定权重的方法 ,并进行了实例分析 .     

Reliability Analysis of a Cold Standby Repairable System with Repairman Extra Work

This paper deals with a cold standby repairable system with two identical units and one repairman who can do extra work in idle time. The authors are devoted to studying the unique existence and exponential stability of the system solution. C0-semigroup theory is used to prove the existence of a unique nonnegative time-dependent solution of the system. Then by using the theory of resolvent positive operator, the authors derive that dynamic solution of the system exponentially converges to its steady-state one which is the eigenfunction corresponding to eigenvalue 0 of the system operator. Some reliability indices of the system are discussed with a different method from traditional one. The authors also make a profit analysis to determine the optimal service time outside the system to maximize the system profit.     

M/M /1 模型的非负解的存在唯一性

本文应用正Ｃ０－半群理论证明Ｍ／Ｍ／１模型的非负解的存在唯一性     

基于DQN的异构测控资源联合调度方法

以异构测控网资源联合调度为研究对象,提出一种基于强化学习的深度Q网络(deep Q network, DQN)算法。在充分分析异构测控资源联合调度问题特点后,用数学语言对影响问题求解的约束条件进行描述,建立了资源联合调度模型;从应用强化学习解决问题的角度,对求解的问题进行马尔科夫决策过程描述后,分别设计了2个结构相同的神经网络和基于ε贪婪算法的动作选择策略,并建立了DQN求解框架。仿真结果表明：基于DQN的异构测控资源调度方法较遗传算法能够找到调度收益更优的测控调度方案。     

Semigroup Method for a Mathematical Model in Reliability Analysis

1　 IntroductionAn important class of systems is one where objects move squentially from one station toanother,and where they rest between stations in buffers.A transferline with a reliablemachine,an unreliable machine and a storage buffer is a typical example of such systems.This transfer line consists of two machines that separated by a storage buffer. In thistransfer line,it is assumed that workpieces( or parts) enter machine 1 from outside. Eachworkpiece isoperated firstupon in machine 1 …     

Construction of One-Lee Weight and Two-Lee Weight Codes over IF_p+vIF_p

This paper is devoted to the construction of one-Lee weight codes and two-Lee weight codes over IF_p+vIF_p(v~2=v) with type p~(2 k_1)p~(k2)p~(k3) based on two different distance-preserving Gray maps from((IF_p+vIF_p)~n, Lee weight) to(IF_p~(2 n), Hamming weight), where p is a prime. Moreover, the authors prove that the obtained two-Lee weight codes are projective only when p=2.     

Macwilliams Identities of Linear Codes over the Ring F_2+ uF_2+ vF_2

The Lee weight enumerators and the complete weight enumerators for the linear codes over ring R = F2 + u F2 + v F2 are defined and Gray map from Rnto F3n2 is constructed. By proving the fact that the Gray images of the self-dual codes over R are the self-dual codes over F2, and based on the Mac Williams identities for the Hamming weight enumerators of linear codes over F2, the Mac Williams identities for Lee weight enumerators of linear codes over R are given. Further, by introducing a special variable t, the Mac Williams identities for the complete weight enumerators of linear codes over R are obtained. Finally, an example which illustrates the correctness and function of the two Mac Williams identities is provided.