一类广义二重积分

首先利用一个收敛级数构造了R上的一个特殊开集G，然后利用平面点集可求面积的充要条件，在平面上引入了一个有界的不可求面积的积分区域Ω，最后在Ω上定义了一个取正值的分段函数，并证明了其在Ω上的广义二重积分存在。     

三维静磁场Lipschitz区域上Robin问题广义解的存在与唯一性

近年来,电磁场边值问题的数值解法取得了飞速的发展．由于电磁场边值问题是一类非线性偏微分方程,研究解的存在性、唯一性具有较大的困难．前人已讨论了B-H间的几个基本不等式,并由之证明了三雏静磁场带零边值问题广义解的存在与唯一性,作者也曾利用给出的B-H间的不等式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性．由于在一般区域讨论存在困难,作者利用Sobolev空间理论及单调算子理论证明了三雏静磁场Lipschitz区域上Robin问题广义解的存在与唯一性．     

基于蚁群算法的广义扩展双桥问题的最优解

在扩展双桥实验的基础上,提出了同时考虑路径长度和多项边成本的广义扩展双桥问题,该模型是多准则决策问题的基础模型。提出了一种基于蚁群算法的多准则寻优方法,该方法采用了边成本矩阵和相应的目标函数描述问题,并将信息素与其相关联。仿真结果证明,通过合理的参数设置,蚁群算法能有效得出广义扩展双桥问题的最优解。同时,退化为扩展双桥问题时,该算法同样适用。该实验有效证明了蚁群算法对于多准则决策问题的解决具有很好的指导意义。     

关于Airy函数的一些讨论

在平面问题中,如果已知边界某点处理的应力函数值和偏导数值为零,则可由边界上的外载荷来构造出Ａｉｒｙ应力函数。文章利用虚拟载荷和坐标变换的办法,避免了在构造Ａｉｒｙ应力函数时可能出现的问题。     

关于A-增生算子的广义变分包含的Mann-型迭代算法

通过研究A-增生算子的性质，延伸了关于H-增生算子的预解算子概念到新的A-增生算子。通过进一步运用A-增生算子的预解算子技巧，考虑了一类新的关于A-增生算子的广义变分包含，并提出了一种Mann-型迭代算法来逼近此类广义变分包含的解。最后证明了新的一类广义变分包含解的存在性和唯一性，并讨论了由此Mann-型迭代算法产生的迭代序列的收敛特征。     

基于改进SLP的军事物流基地设施平面布局研究

由于传统SLP方法的不足,在解决设施较多的军事物流基地布局问题上面临较大困难。为解决此问题,提出了改进SLP方法,以军事物流基地设施间综合相互关系为基础,构建平面布局模型,并确定目标函数和主要约束条件。随后对模型的求解进行遗传算法设计,并运用Matlab编程实现模型的求解,从而得出平面布局的最优解。最后以最优解为基础,结合限制条件进行修正,完成军事物流基地设施平面布局设计。     

奇型非线性抛物问题的有限元误差估计

引入带权的Sobolev空间 ,讨论了奇型非线性抛物问题的有限元方法 ,在a(u) ,f(u)均满足Lips chitz条件下 ,证明了相应椭圆投影算子Rhu与u之间误差估计式 ,并在一定的假设下 ,给出了奇型非线性抛物问题的广义解u及半离散问题的有限元解uh 误差估计式 .     

自反Banach空间一类完全广义集值强非线性混合似变分不等式问题

研究了一类完全广义集值强非线性混合似变分不等式在自反Banach空间下的问题，借助一个极大极小不等式，证明了这类完全广义集值强非线性混合似变分不等式的解的存在唯一性定理。     

小波边界元法

将边界上的函数展成小波级数,利用循环矩阵方法,从核函数边界上的值,得到离散的积分方程系数矩阵,求解未知的小波级数系数,从而得到边界积分方程近似解,文中计算了一个二维拉普拉斯方程的解。     

静磁场Dirichlet问题

本文以单调算子理论为基础,应用文献［１］中得到的静磁场Ｂ－Ｈ的几个不等式证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题广义解的存在与唯一性,并证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题相应泛函的极小值的存在性,得出主要结论如定理３．１和定理３．２。     

基于增强现实的装备诱导维修系统设计与实现

针对目前装备维修过程中存在的复杂度高、上手慢和安全性低等问题,构建了一个诱导维修原型系统,并围绕增强现实关键技术阐述了诱导维修系统的设计与实现;采用了模块化设计方法,通过分析诱导维修系统设计需求,对系统所需要的各个功能模块进行了设计,并且使得系统的维修任务能够根据维修对象的改变在框架不变的前提下得到修改或升级;利用该原型系统对发动机活塞环和离合器片更换两项维修任务进行了诱导,验证了系统的功能。     

Geometry and resolution of duality gaps

In this study we interpret the exterior penalty function method as a generalized lagrangian metliod which fills duality gaps in nonconvex problems. Geometry and resolution of these gaps from a duality point of view are highlighted.     

利用模态迭加法进行动响应分析应注意的问题

采用MSC-MARC程序的模态迭加法,对具有指数规律冲击载荷作用下的简支矩形板进行了响应计算,指出并讨论了应用模态迭加法求解结构动响应时应注意的几个问题.     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。     

基于SDTFM理论的平面问题广义超级单元

根据平面问题条形传递函数方法理论,提出了平面问题广义超级单元的概念,并推导了其刚度矩阵和结点力矢量表达式,从而将条形传递函数方法应用范围推广到任意几何形状的平面区域     

非局部薄板动力学特性分析的广义有限积分变换方法

基于应力梯度非局部薄板理论模型,推导了非局部薄板动力学特性求解的广义有限积分变换方法.通过选取适应边界条件的积分核函数并构建广义积分变换对,应用积分变换将非局部薄板的高阶偏微分方程变换成线性方程组,直接求解得到固有频率.将广义有限积分变换方法的计算结果和有限元法及已有文献的结果进行对比,验证了本文方法的正确性.在此基础...     

基于端点梯形白化权函数的飞机保障性灰色评估

保障性评估是提高飞机保障性的有效手段。从保障性的定义出发,构建了飞机保障性评估指标体系,在利用层次分析法(AHP)确定指标权重的基础上,对三角白化权函数进行了改进,建立了基于端点梯形白化权函数灰色评估模型,很好地解决了相邻的若干类别对该类别聚类中心的影响问题,并将其应用于飞机保障性的评估,通过实例分析,验证了此评估方法的可行性,对提升飞机保障性评估的准确性有一定的参考价值。     

CCD在钢板计数中的应用研究

长期以来,一直依赖于人工计数叠层钢板,劳动强度大,精确度低,为解决这一困扰生产的难题,笔者研制了CCD钢板计数装置。在单片机系统的控制下,CCD象感器利用操作简单的光学机构获取叠层钢板侧面的图象信息,经处理后,形成能反映钢板叠层变化的窄脉冲序列,该脉冲序列经单片机分析,精确地判断出叠层钢板的张数。现场使用,结果准确无误。     

On the theory of semi-infinite programming and a generalization of the kuhn-tucker saddle point theorem for arbitrary convex functions

We first present a survey on the theory of semi-infinite programming as a generalization of linear programming and convex duality theory. By the pairing of a finite dimensional vector space over an arbitrarily ordered field with a generalized finite sequence space, the major theorems of linear programming are generalized. When applied to Euclidean spaces, semi-infinite programming theory yields a dual theorem associating as dual problems minimization of an arbitrary convex function over an arbitrary convex set in n-space with maximization of a linear function in non-negative variables of a generalized finite sequence space subject to a finite system of linear equations. We then present a new generalization of the Kuhn-Tucker saddle-point equivalence theorem for arbitrary convex functions in n-space where differentiability is no longer assumed.     

机器人力反馈依从控制器多机系统分布式程序设计的实现

本文介绍在机器人力反馈依从控制器多机系统中采用程序设计语言C 与分布式库函数相结合实现分布式程序设计的方法,论述了分布式库函数形式,支持分布式库函数设计的多机操作系统功能及其在设计过程中应予以重视的某些问题,并给出了分布式程序设计的一个简例。