用上下解方法证明时标上四阶四点边值问题解的存在性

考虑时标上四阶四点边值问题,通过运用上下解方法来证明时标上四阶四点边值问题解的存在性.     

一对四元数矩阵方程的共轭延拓解

定义广义四元数共轭延拓矩阵的概念,利用矩阵分块和四元数矩阵的实表示方法,分别给出四元数矩阵方程AX=C和XB=D存在列共轭延拓解和行共轭延拓解的必要充分条件及解的表达式.     

四元数Sylvester方程的Toeplitz约束解及其最佳逼近

本文研究了四元数体上Sylvester方程具有Toeplitz矩阵约束解及其最佳逼近问题.利用四元数矩阵的实分解和矩阵Kronecker积,获得四元数Sylvester方程AX-XB=C具有Toeplitz矩阵解的充要条件及其通解表达式.同时在Toeplitz解集合中,得到与预先给定的四元数Toeplitz矩阵有极小Frobenius范数的最佳逼近解.     

四元数体上Sylvester方程的循环解及其最佳逼近

Sylvester方程AX-XB=C是一类具有广泛应用背景的矩阵方程,本文在四元数体上讨论它的循环解及其最佳逼近问题.主要利用四元数矩阵的实分解和循环矩阵的特定结构,借助Kronecker积把约束四元数矩阵方程转化为实域上的无约束方程,从而得到四元数体上Sylvester方程的循环解存在条件及其通解形式.同时,在循环解集合中,寻找到与预先给定的四元数循环矩阵有极小Frobenius范数的最佳逼近解.数值算例验证了本文方法的可行性.     

一四元数矩阵方程组的最佳逼近解

利用四元数矩阵的广义Frobenius范数和弱圈积,建立一个关于四元数矩阵的实函数并简洁表征其极小值.再用四元数矩阵的奇异值分解和广义Frobenius范数的性质,讨论四元数矩阵方程组[AX,XB]=[C,D]的最小二乘解,得到了解的具体表达式.最后在该方程组的解集合中导出了与给定矩阵的最佳逼近解的表达式.     

四耦合非线性薛定谔方程的矢量孤子解及叠加解

本文通过两种方法分别得到四耦合非线性薛定谔方程的矢量孤子解及一阶叠加解.第一种方法是利用发展的广田双线性方法,得到四耦合非线性薛定谔方程的单、双孤子解,以及一种具有呼吸行为的新解.第二种方法是利用一阶达布变换,得到一阶怪波解以及怪波与孤子、呼吸子相互作用的一阶叠加解.     

四元数体上一类矩阵方程的极小范数最小二乘解

借助于四元数体上自共轭矩阵的奇异值分解,给出了四元数矩阵方程AX＋XB＋CXD=F的极小范数最小二乘解.同时,在有解的条件下给出了Hermite最小二乘解及其通解的表达形式.     

具有箭形矩阵约束的四元数Sylvester方程求解

箭形矩阵是一类结构简单应用广泛的特殊矩阵,在四元数体上讨论Sylvester方程的箭形矩阵解及其最佳逼近问题.利用四元数矩阵的实分解和箭形矩阵的特征结构,借助Kronecker积把约束四元数矩阵方程转化为实域上无约束方程,从而得到四元数Sylvester方程AX-XB=C具有一般箭形解和自共轭箭形解的充要条件及其通解表达式.同时在相应的解集合中,获得与预先给定的四元数箭形矩阵有极小Frobenius范数的最佳逼近解.     

一类四阶非线性抛物型方程的初边值问题

本文证明一类四阶非线性抛物型方程初边值问题整体广义解的存在性和唯一性,以及解的渐近性质,最后给出解爆破的充分条件.     

四旋翼飞行器姿态控制方法和实现

研究了小型四旋翼飞行器惯导系统的姿态解算和控制问题.首先,文章采用三阶近似毕卡四元数算法来解决四旋翼飞行器的姿态解算问题,进而将该算法与卡尔曼滤波器相结合,避免了陀螺仪的积分累积误差,有效消除了四旋翼飞行器机体振动引起的传感器测量误差.其次,根据姿态解算得到的姿态角,设计了积分分离PID和串级PID控制器进行姿态控制.最后,将设计的姿态解算算法和姿态控制算法应用到四旋翼飞行器平台上,实现了四旋翼飞行器的姿态控制,验证了文章算法的有效性.     

基于模糊FNN-ELECTRE法的国有商业银行竞争力评价

随着金融业全方位开放,国有商业银行已成为国家经济命脉的核心,其竞争力强弱关系着国家经济的繁荣与衰退。本文基于模糊FNN-ELECTRE方法建立国有商业银行竞争力评价模型,以因素神经网络理论(FNN)与ELECTRE融合方法为基础,以现有商业银行竞争力评价指标为着眼,把国有商业银行竞争力的评价体系从现实竞争力和潜在竞争力两个因素抽取为一级指标,以规模、质量、业务结构、效率、成长性五个因素设为二级指标。从实证的角度对银行A、银行B、银行C、银行D、银行E五大国有银行进行分析验证,对其属性值进行和谐性与非和谐性检验得出,银行B竞争能力最强,银行E竞争能力最弱,五大国有银行均有改进空间。     

Formulation of linear problems and solution by a universal machine

Using the predicate language for ordered fields a class of problems referred to aslinear problems is defined. This class contains, for example, all systems of linear equations and inequalities, all linear programming problems, all integer programming problems with bounded variables, all linear complementarity problems, the testing of whether sets that are defined by linear inequalities are semilattices, all satisfiability problems in sentenial logic, the rank-computation of matrices, the computation of row-reduced echelon forms of matrices, and all quadratic programming problems with bounded variables. A single, one, algorithm, to which we refer as theUniversal Linear Machine, is described. It solves any instance of any linear problem. The Universal Linear Machine runs in two phases. Given a linear problem, in the first phase a Compiler running on a Turing Machine generates alinear algorithm for the problem. Then, given an instance of the linear problem, in the second phase the linear algorithm solves the particular instance of the linear problem. The linear algorithm is finite, deterministic, loopless and executes only the five ordered field operations — additions, multiplications, subtractions, divisions and comparisons. Conversely, we show that for each linear algorithm there is a linear problem which the linear algorithm solves uniquely. Finally, it is shown that with a linear algorithm for a linear problem, one can solve certain parametric instances of the linear problem.Research was supported in part by the National Science Foundation Grant DMS 92-07409, by the Department of Energy Grant DE-FG03-87-ER-25028, by the United States—Israel Binational Science Foundation Grant 90-00434 and by ONR Grant N00014-92-J1142.Corresponding author.     

A double-stage piecewise recursive filter for real-time applications

This paper examines the basic problem of estimating the state of a system described by a set of dynamical equations. The state estimation is performed by means of optimal filtering techniques in which the state observation is given by a set of nonlinear equations.The basic issue encountered in most engineering problems is the availability of more observable information than the processor can effectively process in real-time, while performing full optimal filtering on all available observable data. To alleviate this deficiency, an algorithm is developed in which the rate of information processing is kept at a high value, while the system statistics are evaluated at a much slower rate.The method utilizes a combination of fast and slow filtering loops, in which the observable data are processed at a high rate during the fast loop, while the system error covariance, gain computations, and all other system statistics are processed at a lower rate in the slow loop. Methods are provided to resolve any incompatibility in the system statistics resulting from this fast-loop/slow-loop processing combination.Applications describing problems pertaining to aircraft navigation are presented. Specifically, applications to aircraft navigation through a satellite network are studied. Appropriate simulation results from the above studies are shown.This work was performed under contract with the Department of the Air Force, Space and Missile Organization (SAMSO), Los Angeles, California, Contract No. F04-701-75-C-0180.The authors are indebted to Dr. C. Johnson, GPS System Engineer, Mr. G. Consolver, GPS Software Manager, and Mr. W. Riley, Communications/Navigation Department, Texas Instruments for their continuous encouragement in the course of this work. Also, they are indebted to Major M. Birnbaum, SAMSO, for his constructive criticism on the conceptual design of this work, and to Mr. A. Bierman, Aerospace Corporation, for kindly providing simulation data of aircraft trajectories. Finally, the authors would like to express their gratitude to Dr. N. Carlson, Intermetrics, for valuable consultation during the progress of this work.Portions of this paper were presented by the senior author at the GSP Conference, Plan 76, IEEE Position, Location, and Navigation Symposium, San Diego, California, 1976.     

提高维吾尔文搜索质量的一些关键技术研究

维吾尔语和土耳其语、乌兹别克语、哈萨克语等同属于阿尔泰语系突厥语分支,是一种粘着型语言,具有丰富的构词合构形附加成分.主要分布于中国新疆维吾尔自治区,以及中西亚地区的维吾尔族使用.目前使用基于阿拉伯文字母的维吾尔文.当前用google,bing等搜索引擎搜索维吾尔文时搜索结果不包括该词语的构词合构形附加成分等其它形式.严重影响了搜索结果的准确性.通过词干提取和词缀附加生成词语组合的方法以解决提高维吾尔文搜索质量的问题.此问题解决,将在大幅度提高维吾尔文搜索的准确性,并针对提高其它突厥语族语言(土耳其语、乌兹别克语、哈萨克语等)的搜索质量、数据挖掘、数据分析、数据安全、自然语言理解等研究领域有一定的参考价值.     

绿色产品定价与市场入侵研究:基于市场权力结构的视角

为研究绿色产品定价与市场入侵问题,针对由两个制造商和一个零售商组成的系统,构建了制造商主导、零售商主导以及供需双方均势等三种权力结构模型,分析了权力结构、消费者绿色偏好等因素对绿色产品定价和市场入侵的影响。研究发现:绿色产品入侵市场存在可行条件,并且绿色产品市场入侵会导致普通产品制造商的利润损失;市场入侵对零售商有利,说明零售商会有动机引入绿色产品;绿色产品入侵市场和市场权力结构均会影响各个企业最优定价策略,其中拥有主导权的企业会选择高价策略;权力结构会影响供需双方的利润分配,以及导致系统利润的损失。     

金融风险在股票市场的传染效应及联动行为分析

近年来金融危机频发并表现出了易传染性,引起了众多学者的高度关注。以动态条件相关模型研究美欧股市与中、日、韩股市间的时变相关性,并结合内生多重结构突变模型划分危机传染阶段,选用溢出指数模型分析股市间的风险溢出特性;随后,定义股市间相互影响的联动模式并构建不同传染阶段的加权有向网络图分析股市间的联动行为。研究表明:美欧股市对中日韩股市有明显的传染效应,被传染的速度和持续时间均不相同;金融传染和风险溢出展现出一定的不一致性,危机期间日股的风险溢出效应强于美股;传染效应在联动网络中表现为联动模式的高聚类性和高联动性,相比欧债危机,次贷危机时期股市间展现出更强的联动行为;日股与美欧股市在两次危机中均表现出最强的联动性,其所受影响也最大。     

Personae at play. ‘Men of Mathematics’ in commentary

Mathematical writers, above all, Euclid, tend to present their theorems as decontextualized, abstract propositions, which has become the standard modus of textual presentation in theoretical mathematics. Mathematical commentators, however, provide their readers with personal names and historical facts in order to elucidate problems, provide contexts of discovery, or construct doxographies, among other things. Modern readers have used such information for the construction of histories of science. When we look at these passages, however, we see that personal names and information about mathematicians of the past can serve quite a range of different objectives, such as the strategic self-positioning of the commentator vis-à-vis the past or present of mathematics, the education of the reader, mathematical or moral, the construction of the history of the field, etc. Not only does the commentator present a persona of himself to the reader, he can also turn colleagues and predecessors into personae. This paper attempts to elucidate the practice, by offering four examples of such plays of and with personae, in Pappus, Eutocius, al-Nayrīzī, and Proclus.     

On the mechanical and thermomechanical properties of low-density polyethylene/ethylene-α-octene copolymer blends

Blends of low-density polyethylene (LDPE) and ethylene-octene copolymer (EOC) were obtained. The effect of EOC content and absorbed radiation dose on the mechanical and thermomechanical properties of LDPE/EOC blends are investigated. Particular attention is given to a tensile stress-strain analysis and the “form-memory” effect of the blends. With growing LDPE content, the elastic modulus, the yield stress, and the thermorelaxation and residual stresses of the blends increase, but the ultimate elongation at break decreases, which is caused by the higher crystallinity of polyethylene. As a result of radiation-induced cross-linking, the elastic modulus, the yield stress (at a 1% strain), the ultimate yield strength, and the thermorelaxation and residual stresses increase, while the ultimate elongation at break and the melt flow-behavior index decrease, which is confirmed by the growing gel fraction in the blend. __________ Translated from Mekhanika Kompozitnykh Materialov, Vol. 44, No. 2, pp. 279–286, March–April, 2008.     

Representation of the solution to a model problem in semiconductor physics

We study a mixed type problem for the Poisson equation arising in the modeling of charge transport in semiconductor devices [V. Romano, 2D simulation of a silicon MESFET with a non-parabolic hydrodynamical model based on the maximum entropy principle, J. Comput. Phys. 176 (2002) 70-92; A.M. Blokhin, R.S. Bushmanov, A.S. Rudometova, V. Romano, Linear asymptotic stability of the equilibrium state for the 2D MEP hydrodynamical model of charge transport in semiconductors, Nonlinear Anal. 65 (2006) 1018-1038]. Unlike well-studied elliptic boundary-value problems in domains with smooth boundaries (see, for example, [O.A. Ladyzhenskaya, N.N. Uralceva, Linear and Quasilinear Elliptic Equations, Nauka, Moscow, 1973; D. Gilbarg, N.S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer-Verlag, Berlin, 1983]), our problem has two significant features: firstly, the boundary is not a smooth curve and, secondly, the type of boundary conditions is mixed (the Dirichlet condition is satisfied on the one part of the boundary whereas the Neumann condition on the other part). The well-posedness of the problem in Hölder and Sobolev spaces is proved. The representation of the solution to the problem is obtained in an explicit form.     

树脂基复合材料粘接的优化设计

本文在试验数据和理论分析的基础上,提出树脂基复合材料单搭接的优化设计的原则,胶粘剂的选择、被粘物的设计,粘接长度的选择、胶层厚度的选择等.认为通过优化设计可以提高粘接强度,减轻产品的重量,提高其质量.