Global Existence, Uniqueness of Weak Solutions and Determining Functionals for Nonlinear Wave Equations

We consider the initial-boundary value problem for a nonlinear wave equation with strong structural damping and nonlinear source terms in IR. We prove the global existence and uniqueness of weak solutions of the problem and then we will study the determining modes on the phase space by using energy methods and the concept of the completeness defect.

微卫星DNA技术用于中国对虾家系构建中的系谱认证

用6个微卫星标记对中国对虾(Fenneropenaeus chinensis)的5个家系进行系谱鉴别和遗传多样性研究.6个微卫星位点中有5个位点是多态的,并在所有家系中都显示了高度的遗传差异.5个家系中,5个多态微卫星位点共发现了30个等位基因,每个位点的等位基因数在5～8之间.实验中共发现了4个家系特异性等位基因:2#家系及4#家系各1个,5#家系2个.根据已知亲本及子代基因型,可推断出5个家系中全部亲本的基因型,据此鉴别各家系.在EN0033位点,可将5#家系与其他4个家系相区别;在RS0859位点,可将3#和4#家系与其他3个家系相区分.因此,EN0033和RS0859标记可用于鉴别5#、3#和4#家系的家系特异性标记.研究表明,用5个微卫星标记,且最少用2对微卫星标记即可鉴别5个中国对虾家系.

基于有限状态机的C++重载唯一性确定

重载是面向对象技术中的重要特性,由于它在程序中的普遍使用,在使用基于函数调用的路径覆盖方法对程序进行测试时,会出现很多冗余函数路径,浪费测试资源和时间。针对这一问题,提出了一种基于状态机的重载唯一性确定方法。依据面向对象特点,分析提取出函数所有调用信息,将提取到的函数原型与函数调用点在状态机上进行迭代比对,确定每个调用点唯一对应的函数原型。实验表明,该方法针对程序代码中的重载函数调用点,能确定与之唯一对应的函数,有效剔除重载导致的冗余函数路径,提高测试效率。

“单二”组合检测技术的唯一性研究

本文针对曲面构形刚体,利用动态景物图象序列的“单二”组合技术,建立了运动方程。但是,同时产生了增根。为了从瞬间三维运动参数的多组解中确定唯一的真解,在考虑到噪声的影响后,导出了判决函数d(f,R)及其判决规则。仿真实验结果表明,利用d(t,R)0,可以有效地确定唯一的瞬间旋转矩阵R_。和三维平移矢量t(与真解t_。同向),从而证实了理论分析的工确性,解决了“单二”组合检测技术的多解问题。

光谱法测定贵金属湿法冶炼物料中的金

将等离子体光谱法和X荧光光谱法应用于贵金属湿法冶炼物料中金的测定。通过对多种不同组成物料的测定及与经典火试金法进行的大量对照试验,拟定了测定金的新方法。光谱法具有测定快速、线性范围宽、准确度好、精密度高等优点,完全能满足生产控制及科研的需要。

静电唯一性定理的意义与应用

静电场边值问题是电磁场理论中的难点,求解静电问题关键是完整准确地写出定解条件.静电唯一性定理可既方便又准确地指导我们写出问题的定解条件,同时又给出了尝试求解静电问题的理论依据.

插值多项式的存在性和唯一性

本文用线性代数的知识给出一般的插值多项式及Hermit插值多项式的存在性和唯一性的证明。

几种Hermite插值多项式存在唯一性的另一种368-04证明方法及推广的基函数构造方法

通过计算行列式的值,对几种Hermite插值多项式的存在唯一性给出另一种证明方法,对带不完全导数的m(m≥4)次Hermite插值多项式,给出推广的基函数构造方法,并对带不完全导数的三次及四次Hermite插值多项式的具体实例,给出了基函数的具体表达形式。

一类非线性抛物型方程的系数识别问题

本文讨论了一类非线性抛物型方程的反问题,其中α(u, t)是未知函数.在适当的条件下,我们得到了系数α(u, t)识别的唯一性结果.

重建几何原形的动态逆正投影理论和方法

本文提出了重建几何原形的动态逆正投影理论和方法，提出了动态逆正投影、多面正投影的可逆性、逆正投影线集及实投影、虚投影和复合投影等新概念，论证了直线、平面、柱面和基本形体原形重建定理，并给出了上述重建的图示方法，解决了正投影的可逆性和唯一确定性问题，对组合体进行了划分，并论述了组合体原形重建的方法。对于回转体原形的重建，本文采用了动态逆正投影理论和方法，解决了回转体静态多面正投影不可逆而导致其原形无法重建的问题。

从单幅灰度图象复原二次曲面体

开发了二次曲面体的三维位姿和它的图象轮廓线之间的闭式映射关系，该关系可用于从灰度图象鲁棒地提取的二次曲线参数直接确定二次曲面体的三维位姿。实验例证了此技术是快速、高效和鲁棒的。

交换环上矩阵的一些性质

将有理整环上矩阵的一些性质，推广到交换环上，得到下列结果：对于任一交换环Ｈ，ｍ为Ｈ上的一非零元素，Ｔ为Ｈ上的ｎ阶对称矩阵，则必存在一Ｈ上的对称阵Ｓ和一个非零元素α，使得｜αＴ－ｍＳ｜＝ｍｉαｊ（ｉ，ｊ为满足ｉ＋ｊ＝２ｎ，且 ｉ≥ｎ的任意非负整数）。具中 ｜αＴ－ｍＳ ｜表示矩阵 αＴ－ｍＳ的行列式的值。以此为基础，得到交换环和主理想环上矩阵的一些性质。

现代之塔,共有之物,常民之用 一个“International”、社会主义意识倾向的花房艺术中心

古今中外常以高耸的塔作为形式的论定,而赋予塔的象征性意义则有承担防御、传递情感、缅怀祭祀、地区标志、纳藏蓄水、荣誉纪念、观景瞭望等多重功能。位于河北衡水植物园的花房艺术中心的"塔"也不意外,它既有传递情感、观景瞭望的功能,同时也将成为衡水植物园的标志,而它的形成以及以它为"中心"而组织生成的花房艺术中心的"整体"尊重场地历史,回应了老砖窑的文化与精神,建立起一个现代的、共有的、常民所用的新的建筑。文章试图以下列几个观点--预谋的回应与连结、表与里的体验与置换、时代的对比与关联、平等与自决、一种独特的存在,去评述花房艺术中心、红砖塔在当代建筑中的意义与价值:是存在的,还是游走于边缘?是"international"的,也是社会主义意识倾向的。

关于进口机动车安全性能检测结果判定的探讨

从严格机动车进口环节的安全技术管理出发,进口机动车检验时的执行标准应严于GB 21861—2008中规定的要求。目前,《进口机动车辆检验规程》(SN/T 1688.4—2006)规定的检验项目没有完全覆盖国标的检验项目要求。从工作实际出发,对进口机动车安全性能检验的项目、方法和结果判定的要求进行了探讨。

具有平行直线解的三次系统的中心焦点判定与极限环的唯一性

研究一类具有平行直线解的三次系统的中心焦点判定和极限环的存在唯一性.采用Lienard方程计算焦点量,用数形结合和定性与定量结合的分析方法证明极限环的唯一性.研究结果表明:该三次系统可以存在2个极限环,在细焦点外围至多有一个极限环,在二阶细焦点外围无极限环.

max-product合成模糊关系方程有惟一解的判别方法

本文讨论[0,1]格上max-product合成模糊关系方程有惟一解的判定问题。首先定义了两个剩余算子ψ与β.然后定义并给出了max-product合成模糊关系方程的特征矩阵。最后用特征矩阵给出max-product合成模糊关系方程有惟一解的判定方法。