结构建模中自蕴涵方程求解的新方法：辗转相乘法

从新的角度考察了自蕴涵方程的特点，认为自蕴涵方程是一种具有“主观”和“客观”两方面特性的特殊逻辑方程．从这一观点出发提出并证明了求解自蕴涵方程的变形定理、求解定理和推理定理，进一步给出了求解自蕴涵方程的一种十分有效的新方法——辗转相乘法．这种方法把逻辑推理变成了逻辑运算，使得方程中只要有一个变量是已知的，就可以求出所有其他的未知变量     

一种基于混合反射模型的Shape-From-Shading直接算法

提出了一种基于混合反射模型的Shape-From-Shading直接算法.使用接近实际的混合反射模型描述的反射图方程作为求解对象,用有限差分近似微分运算,将反射图方程离散化,得到所求高度函数满足的代数方程,进而用迭代算法计算出表面高度.最后,用以合成图像和实际图像的三维形状恢复实验说明提出算法的有效性.     

梯度神经网络求解Sylvester方程之MATLAB仿真

近年来,国内外学者发表了许多关于线性代数问题实时求解的方法,其中包括了矩阵求逆和线性方程组的并行求解方法.在研究了基于梯度法的递归神经网络用于Sylyester矩阵方程的实时求解后,通过使用Kronecker乘积和矩阵向量化等技术进行了MATLAB仿真从而验证了相关理论分析.计算机仿真的结果证实了这类神经网络方法在解决Sylvester矩阵方程中的有效性和高效率(特别是在使用幂S型激励函数的情况下).     

不确定时滞系统的H∞鲁棒控制——增广Riccati方程方法

研究一类其不确定性满足范数有界分解条件的时滞系统的H∞ 鲁棒控制器设计问题。通过引入附加向量得到增广时滞系统 ,从而利用增广Riccati方程方法实现系统的等效二次鲁棒镇定和H∞ 镇定的约束条件。该方法对增广Riccati方程的求解克服了一般性的Riccati方程求解需要盲目试凑的局限性。最后的数值例子进一步说明了该方法的有效性     

振动二阶Sylvester矩阵方程鲁棒解法及仿真分析

考虑了具有参数不确定的振动二阶Sylvester矩阵方程求解问题.基于二阶Sylvester矩阵方程解的参数化表达式,将具有参数不确定的振动二阶Sylvester矩阵方程求解问题转化为误差性能指标极小化问题.提出了求解具有参数不确定的振动二阶Sylvester矩阵方程问题的算法.数值算例及仿真分析验证了所提算法的有效性.     

N 阶色散媒质宽频电磁散射特性的高效分析

在目标宽频电磁响应分析中引入Maehly逼近理论,应用矩量法(method of moments, MOM) 求解给定频带内若干节点处目标的表面电、磁流,以形成关于电、磁流的Chebyshev多项式逼近,最后转化为Maehly逼近以提高计算精度。结合PMCHW方程,对各种形状三维介质目标、N 阶色散介质目标的宽带电磁散射特性进行了分析。数值仿真表明：在不占用更多内存的情况下,Maehly逼近方法能够有效提高宽频分析的计算效率。     

电各向异性介质目标散射分析的快速偶极子法

提出一种求解电场体积分方程的快速算法--快速偶极子法 (fast dipole method, FDM),并用其求解了三维非均匀电各向异性介质目标的电磁散射问题。该方法基于等效偶极矩法 (equivalent dipole-moment method, EDM) 和Schaubert-Wilton-Glisson (SWG)基函数。在EDM中,将SWG基函数的体元对用偶极子等效,加快了阻抗矩阵元素的计算速度,但是并不能降低内存需求和矩阵求解时间。快速偶极子法通过简单的泰勒级数展开将阻抗矩阵元素的计算自然地转化为聚集-转移-发散的过程,有效地缓解了矩阵求解时间和内存消耗的矛盾。数值结果表明该方法的高效性以及令人满意的数值精度。     

具有模糊关系约束的线性规划的解法

研究了具有模糊关系方程约束的线性规划问题.由于此类规划的非空可行集一般是一个非凸集,传统的求解线性规划的方法不适合求解此类规划问题,因此有必要提出一个求解此类规划问题的有效算法,本文首先刻画了该类规划可行集的结构,基于该可行集的结构,应用惩罚函数和遗传算法给出了该类规划问题的一个具体求解方法,得到了近似最优解.为了说明该方法的有效性,最后给出了具体的算例.     

近地天体与空间目标初轨确定的多解问题

针对近地天体与空间目标光学观测资料初轨确定过程中求解Laplace或Gauss八次方程时遇到的多个根无法判别的问题, 提出了一种有效的选择算法。通过构建Laplace八次方程, 分析了八次方程系数与根的个数之间的关系。利用观测平台地心距对八次方程进行归一化, 消除了平凡解, 并分析了方程非伪解个数与观测几何之间的关系。从求解半通径的方程出发, 利用Shefer方程, 推导了斜距约束, 得到了观测时间间隔和斜距变化量之间应满足的方程组的解析形式, 给出了利用该方程组判别非伪解的方法。最后, 对近地天体和空间目标的初轨确定进行了仿真验证, 仿真结果表明本方法能快速且有效地选择出正确的根, 解决了多个非伪解难以选择的问题。     

二维发汗控制方程的直线解法及其收敛性

对二维发汗控制方程建立了直线解法,可用任何解常微分方程组的数值方法求解。对固定边界（非烧蚀）和活动边界（烧蚀）情形分别进行讨论。在某些假定下给出了直线法的收敛性。     

n阶系统的fuzzy推理建模方法研究

把fuzzy推理建模法用于对一般n阶系统的建模中,分别建立了研究对象的输入输出型模型和状态空间型模型.在此基础上,对fuzzy推理建模法做了进一步的推广,分别选用梯形和"三角波"型fuzzy集隶属函数构造系统的微分方程模型,并通过仿真试验对两种模型进行了比较.     

Stochastic focusing search: a novel optimization algorithm for real-parameter optimization

A novel optimization algorithm called stochastic focusing search (SFS) for the real-parameter optimization is proposed. The new algorithm is a swarm intelligence algorithm, which is based on simulating the act of human randomized searching, and the human searching behaviors. The algorithm’s performance is studied using a challenging set of typically complex functions with comparison of differential evolution (DE) and three modified particle swarm optimization (PSO) algorithms, and the simulation results show that SFS is competitive to solve most parts of the benchmark problems and will become a promising candidate of search algorithms especially when the existing algorithms have some difficulties in solving certain problems.     

径向基代理模型中形状参数对精度的影响

代理模型方法是复杂系统优化设计的一种有效方法,讨论了以多二次函数为核函数的径向基（radial basis function, RBF）代理模型中形状参数h对精度的影响,在此基础上探讨了一种获得最优h值的方法。在该方法中,将RBF代理模型的标准均方根误差表达为形状参数h的函数,通过极小化该标准均方根误差,得到最优h值。在样本点给定的情况下,采用该最优h值所构造代理模型与采用其他h值所构造的代理模型相比,其精度更高。一维和二维数值算例验证了采用本方法确定h值的有效性,并应用该方法求解了战术导弹的气动外型优化设计问题。     

信息产业发展规律与模式研究

国内外有关信息产业发展规律与模式的研究大多局限于定性分析与描述,相关的定量研究并不多见。本文在此作了有益的探讨,建立了信息产业的生长方程与生命方程,揭示了信息产业发展变化规律的动力学特性,提出了信息产业的三个互异发展模式,引申了信息产业发展的控制论思考。     

大幅面星载SAR图像中机场检测算法

重点研究了大幅面星载合成孔径雷达图像中的目标检测问题.选取机场区域作为检测目标,提出了一种基于区域形状特征的检测算法.算法使用自适应聚类分割法解决大幅面图像中复杂背景下的小目标分割问题,选取椭圆近似法代替常用的最小外接矩形和边界框法计算区域的尺寸和体态特征.通过对多幅实际获取自不同场景的大幅面星载合成孔径雷达图像进行实验,结果表明,本算法可快速、准确地检测出包含在场景中的单个或多个结构不同的机场区域.     

EXISTENCE OF MULTIPLE SOLUTIONS AND BIFURCATIONFOR CRITICAL SEMILINEAR BIHARMONIC EQUATIONS

ＥＸＩＳＴＥＮＣＥＯＦＭＵＬＴＩＰＬＥＳＯＬＵＴＩＯＮＳＡＮＤＢＩＦＵＲＣＡＴＩＯＮＦＯＲＣＲＩＴＩＣＡＬＳＥＭＩＬＩＮＥＡＲＢＩＨＡＲＭＯＮＩＣＥＱＵＡＴＩＯＮＳＥＸＩＳＴＥＮＣＥＯＦＭＵＬＴＩＰＬＥＳＯＬＵＴＩＯＮＳＡＮＤＢＩＦＵＲＣＡＴＩＯＮＦ...     

基于规则的无人机编队队形构建与重构控制方法

针对已有方法在无人机编队队形控制方面的不足,结合无人机系统有限范围感知的特点提出一种基于规则的队形控制方法。首先,利用目标位置选择算法为编队成员选择刚体中的期望位置点,使分布式条件下的复杂无人机编队队形控制问题转化为个体对自身期望位置点的追踪问题;其次,通过控制协议的设计引导编队成员对自身的期望位置点进行追踪和避免碰撞;最后,在netlogo平台上实现了队形的控制;进一步,将目标位置选择算法与基于全局信息的“禁忌搜索”优化算法的效果进行了对比。实验表明:本文的控制方法简单,生成的航迹图简洁、平滑,其效果与基于全局信息的优化效果接近,且可生成任意队形和对突发威胁能主动有效的规避。     

网络外部性和规模经济性动态变化条件下的市场集中模式

把技术创新与成本的动态下降和消费者效用的动态上升联系起来,在网络外部性和规模经济性动态变化的基础上研究了市场集中模式和份额的演化。模型中反映了市场选择机制以及需求方和供给方的反馈机制,并得出了与以往静态研究不同的结论:①在一定的网络外部性强度和规模经济性强度的作用下,市场不仅会出现完全集中,也可能出现多厂商稳定共存的局面,还有可能出现市场的不稳定性;②厂商份额的演化结果与初始条件相关。消费者偏好和初始单位成本分布越不平均,市场的不稳定性越强,达到均衡值的时间越长。     

An Inverse Problem of an Unknown Source in a Heat Equation

ＡｎＩｎｖｅｒｓｅＰｒｏｂｌｅｍｏｆａｎＵｎｋｎｏｗｎＳｏｕｒｃｅｉｎａＨｅａｔＥｑｕａｔｉｏｎ⒇ＷＥＩＳｕｈｕａＩｎｓｔｉｔｕｔｅｏｆＣｏｍｐｕｔａｔｉｏｎａｌＭａｔｈｅｍａｔｉｃｓ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，ＺＨＥＮＧＫｅｗａｎｇＨｅｂｅｉＳ...     

可达性等价于状态方程可满足性的两个Petri-Nets子类

可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题.众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件.然而[2]证明了,对于活的T-系统,其状态方程可满足性是其可达性的一个充分必要条件.另外[3]指出,对于活的加权T-系统,这一点也成立.下面第1部分给出一种包含活T-系统的活Petri网子类,并证明其状态方程可满足性是其可达性的一个充分必要条件.特别地,第2部分提出另一种Petri网子类(可以是不活的),并证明其状态方程可满足性也是其可达性的一个充分必要条件.