存在性定理

摘要： 利用标量化方法建立对称向量拟均衡问题有效解的存在性定理.作为标量化方法的应用,利用这一方法得到向量变分不等式和拟向量变分不等式有效解的存在性定理.

摘要： 本文主要研究紧复流形上的复解析族纤维的无穷小形变,讨论了当时复解析族的无穷小形变存在性定理。首先构造一个形式幂级数,然后应用Hölder范数与借鉴Liu-Rao-Yang关于整体典则族收敛的证明技巧证明泰勒展开式中系数的收敛性,克服了初等方法无法证明收敛性的障碍,最后给出了形变存在性定理的证明。

摘要： 一、教学目标及重点、难点1.教学目标(1)了解方程的根与函数零点的概念,培养学生函数与方程的数学思想。(2)学生自主探究函数零点存在的条件,获得零点的存在性定理,培养学生数形结合及辩证思维的能力。(3)解决求零点,判断函数是否存在零点及零点个数的问题,提高学生应用知识的能力。2.教学重点函数零点的概念,方程的根与函数零点的关系,零点的存在性定理。

摘要： 一、案例概述授课班级为高二文科普通班,已进入一轮复习阶段,学生已对函数零点的概念及函数零点与方程、图象交点之间的关系有了一定的了解,并掌握了基本初等函数的零点问题,在此基础之上,展开对函数零点问题的研究。(一)课前在''虚拟学校''教学平台发布两道作业测试题,学生课前完成测试,并将详细解题过程上传至虚拟学校教学平台互动讨论区。

摘要： 利用导数研究函数的零点(或方程根的个数)问题,是近年高考数学解答题中的一类热点问题。这类问题融合了利用导数研究函数的图像与性质、函数零点的概念、零点存在性定理以及方程的根的分布等一系列知识,具有较强的综合性,对学生思维的严谨性也有较高的要求,应引起广大师生高度重视。

摘要： 函数图象问题是函数中的最基本的知识,它主要考查学生的直观想象,数学建模,逻辑推理等核心素养,对学生综合处理问题的能力有较高的要求.下面就常见的几类函数图象问题进行分析,提炼解决问题的方法和策略,增强学生分析和解决问题的能力.

摘要： 决策者为维持系统的质量生存性,需要采用交互决策方式.为刻画质量生存交互决策,引入最大质量生存函数W的概念,给出其定义及存在性证明.

摘要： 决策者为维持系统的质量生存性,需要采用交互决策方式.为刻画质量生存交互决策,引入最大质量生存函数W的概念,给出其定义及存在性证明.

摘要： 决策者为维持系统的质量生存性,需要采用交互决策方式.为刻画质量生存交互决策,引入最大质量生存函数W的概念,给出其定义及存在性证明.

摘要： 决策者为维持系统的质量生存性,需要采用交互决策方式.为刻画质量生存交互决策,引入最大质量生存函数W的概念,给出其定义及存在性证明.

摘要： 本发明涉及用于检测对象(9)在监视区域(8)中的存在性的检测设备(10)和方法。该设备(10)包括：至少一个红外辐射感测元件(11)，每一个红外辐射感测元件适用于生成与由红外辐射感测元件(11)从监视区域(8)内接收的红外辐射量有关的传感器信号；处理单元(12)以及用于输出所确定的对象(9)的存在性和/或从其导出的属性的输出装置(13)。处理单元(12)适用于：获得该至少一个传感器信号；通过将该至少一个传感器信号与至少一个参考值相比较来生成至少一个反差值；以及通过评估关于所述至少一个反差值的条件来确定对象(9)的存在性；以及调整该至少一个参考值以使得向该至少一个反差值施加负反馈。

摘要： 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证；进行模型转换之前，需要定义HybridUML和QHP的元模型，转换时首先消除顶层Mode具有的层次性，转换后得到的模型称为FlatMode，然后根据FlatMode和QHP之间宏观语义以及元语义的一致性确定转换规则，然后利用ATL语言描述转换规则，实现FlatMode模型到QHP媒介模型的转换，然后利用自定义模板语言实现QHP媒介模型到QHP代码的转换。

摘要： 本发明涉及一种基于韦伯定理和中央-周围假设的视觉显著性检测方法。目前的方法分辨率低，提取的物体轮廓不全，计算复杂度高。本发明方法首先采用彩色变换方法，提取原始图像在CIELAB空间彩色分量图；其次根据韦伯定理计算l彩色分量图、a彩色分量图和b彩色分量图中每个像素点的水平梯度差励值和垂直梯度差励值；然后根据水平梯度差励值和垂直梯度差励值计算任意梯度方向的差励值，并统计差励直方图；最后每个像素点建立其局部显著性激励矢量，得到局部显著性判决值和全局显著性激励值，根据前两者计算显著性判决值。本发明方法不仅可获得与输入图像相同分辨率的视觉显著图，并且在显著性区域具有更强的响应。

摘要： 本发明总体涉及具有作为诊断标志物的潜在效用的各种形式的遗传标志物和各种形式的蛋白的检测和鉴定。通过测定患者样品中多种生物标志物和遗传标志物的水平，且根据预定的公式组合获得的值，可以确定患者是否可能患有侵袭性前列腺癌。本发明特别仅适用于具有大于25的体重指数值的患者。

摘要： 本专利提出了一种基于环域定理的非光滑极限环存在性分析方法。该方法可以分析一个复杂非线性系统中非光滑极限环的数量与位置，借此可以进一步分析该系统的动力学特性，为系统参数整定与稳定裕度控制提供参考。首先，结合系统实际与研究需求，将非线性系统的状态变量置于二维相图中进行分析；其次，在相图中选取合适的起始点，构造相轨迹都流向同一侧的环域；最后，分析所构造的环域中相轨迹的流向，判断非光滑极限环的存在性、类型、位置等信息。

摘要： 本发明涉及用于检测对象(9)在监视区域(8)中的存在性的检测设备(10)和方法。该设备(10)包括：至少一个红外辐射感测元件(11)，每一个红外辐射感测元件适用于生成与由红外辐射感测元件(11)从监视区域(8)内接收的红外辐射量有关的传感器信号；处理单元(12)以及用于输出所确定的对象(9)的存在性和/或从其导出的属性的输出装置(13)。处理单元(12)适用于：获得该至少一个传感器信号；通过将该至少一个传感器信号与至少一个参考值相比较来生成至少一个反差值；以及通过评估关于所述至少一个反差值的条件来确定对象(9)的存在性；以及调整该至少一个参考值以使得向该至少一个反差值施加负反馈。

摘要： 本发明公开了属于电力系统评价领域的一种基于不确定理论的智能配电网自愈性评估方法。该智能配电网自愈性评估方法，包括步骤：提供基于不确定理论的智能配电网自愈性体系；根据指标体系、专家的试验数据和电网的统计数据计算指标数值；利用熵值法对多层次交互式算法改进，并对智能配电网的自愈性进行评价。算例分析表明本发明的评价方法全面客观，并在此基础上注重了电网自愈性的工程实现，方法科学合理，对智能配电网自愈水平的探索性发展具有意义。

摘要： 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化验证方法理论性过强所带来的难以普遍应用的难题。本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证；进行模型转换之前，需要定义HybridUML和QHP的元模型，转换时首先消除顶层Mode具有的层次性，转换后得到的模型称为FlatMode，然后根据FlatMode和QHP之间宏观语义以及元语义的一致性确定转换规则，然后利用ATL语言描述转换规则，实现FlatMode模型到QHP媒介模型的转换，然后利用自定义模板语言实现QHP媒介模型到QHP代码的转换。

摘要： 本发明涉及一种基于韦伯定理和中央-周围假设的视觉显著性检测方法。目前的方法分辨率低，提取的物体轮廓不全，计算复杂度高。本发明方法首先采用彩色变换方法，提取原始图像在CIELAB空间彩色分量图；其次根据韦伯定理计算l彩色分量图、a彩色分量图和b彩色分量图中每个像素点的水平梯度差励值和垂直梯度差励值；然后根据水平梯度差励值和垂直梯度差励值计算任意梯度方向的差励值，并统计差励直方图；最后每个像素点建立其局部显著性激励矢量，得到局部显著性判决值和全局显著性激励值，根据前两者计算显著性判决值。本发明方法不仅可获得与输入图像相同分辨率的视觉显著图，并且在显著性区域具有更强的响应。

摘要： 基于氧气存在情况下检验绝缘油中腐蚀性硫化物存在的方法，包括以下步骤1.将用绝缘纸包裹好的铜导线利用线切割切设备割成若干形状均匀的样品置于真空箱中，一定条件下保持12-48小时；2.向绝缘油中添加DBDS，后在密闭的、充满氮气的环境下进行密封；3.将上述密封铜绕组样品至于真空老化箱中，热老化时间为72-1000小时，将铜绕组剥除绝缘纸，线切割后进行检测；本发明具有以下有益效果：本发明的检验方法考虑到电力设备中有少量氧气存在情况，通过调节老化环境真空度控制氧气浓度，对铜导线进行加速热老化。通过利用扫描电镜对铜导线表面微观形貌(腐蚀坑分布及深度)和腐蚀产物生成情况，检验绝缘油中腐蚀性硫化物是否存在，由此检测电力设备运行状态。