完备格

摘要： 研究幂集上形态学基本算子的构造和性质,利用集合上的关系,构造了膨胀和腐蚀算子,并讨论关系性质和形态学算子性质之间的联系.最后利用集合关系的运算定义了膨胀的上确界运算∨R和下确界运算∧R,并由此证明了幂集P(X)上所有膨胀算子的集合构成一个完备格.

摘要： 研究幂集上形态学基本算子的构造和性质,利用集合上的关系,构造了膨胀和腐蚀算子,并讨论关系性质和形态学算子性质之间的联系。最后利用集合关系的运算定义了膨胀的上确界运算∨R和下确界运算∧R,并由此证明了幂集P(X)上所有膨胀算子的集合构成一个完备格。

摘要： 讨论完备格L上sup-U合成模糊关系方程解集的性质,其中U为u-模.主要在有限论域上当方程右手项系数为并既约元时,讨论sup-U合成模糊关系方程存在极小解的条件.

摘要： Firstly,the concept of involutory ideals is introduced in lattice implication algebras and the set of all involutory ideals being a complete boolean lattice is proved.Secondly,the notion of relative annihilators is also introduced and some of its important properties are studied,the set of all annihilators relative to a fixed point being a complete lattice is provided.Finally,it is obtained that a decomposition theorem of an ideal using relative annihilators and the prime ideals theorem of lattice implication algebras is proved.%在格蕴涵代数中,提出对合理想的概念,证明全体对合理想之集是一个完备Boolean格;继而提出相对零化子概念,研究它的若干性质,证明相对于某一固定点的全体零化子之集是一个完备格;并用相对零化子给出理想的一个分解定理,证明格蕴涵代数的素理想定理.

摘要： Using the theories of topological systems and Quantale,we first introduced the concept of subsystem of Quantalesystem to define the embedding between Quantale systems,and then with the help of the structure of Quantale,the embedding theorem of Quantale system was obtained.The embedding theorem was used to study the embedding of spatilization of Quantale system.It was proved that all subsystems of a Quantale system were complete lattices under the defined partial orders.%利用拓扑系统和Quantale理论,先通过引入Quantale系统的子系统概念,定义Quantale系统之间的嵌入,再借助Quantale的结构,得到了Quantale系统的嵌入定理,并利用该嵌入定理研究Quantale系统空间化的嵌入,证明了一个Quantale系统的所有子系统在定义的偏序下是完备格.

摘要： 本文通过在模糊关系R:A×B→L确定的条件下,研究以∧?∨为算子的模糊关系不等式∨x∈X(R(x,y)∧ψ(x))≤ω(y) 的解的情况,即满足模糊关系不等式的序对(ψ,ω).

摘要： 本文通过在模糊关系R:A×B→L 确定的条件下,研究以∧ ?∨ 为算子的模糊关系不等式∨xeχ(R(x,y)∧ψ(x)≤ω(y)的解集结构,即满足模糊关系不等式的序对(ψ,ω)的情况,该算子广泛的应用于模糊关系方程的研究.

摘要： 作为交既约元的一种推广,引入弱连续交既约元的概念,并对其在完备格上的一些性质进行讨论,得到若干结果.

摘要： 建材行业媒体工作座谈会一直是我在主导，到今年已经开了四次。我们党历来对舆论宣传工作非常重视，善用媒体也是各级领导干部的一项基本功。我对行业宣传导向工作一直都在抓，经常安排媒体刊发我的讲话，这既不是也没有必要宣传我自己，而是要通过媒体的传播告诉行业从业者应该往哪里走，在前进的过程中应该注意什么。

摘要： 本文在半素理想与交半连续格定义的基础上讨论了交半连续格的若干性质.

摘要： 并既约元作为格中一类特殊的元素,具有一些很好的性质,在格中占有重要的地位,特别是并既约元在格的表示理论中起到了很大的作用.首先给出一个连续并既约元的概念,然后在完备格上对并既约元的性质进行了探讨.

摘要： 主要讨论完备格的关系表示问题,分别建立了完全分配格的正则表示定理、超连续格的有限正则表示定理、λ-超连续格的λ-正则关系表示定理、区间拓扑T完备格的广义有阴正则表示定理,给出了正则关系、完全分配格、超连续格、λ-超连续格、区间拓扑T完备格的内蕴式刻划;给出了本文所建立的完备格的关系表示理论在Domain理论、格论和拓扑学中的若干应用.

摘要： 在模糊集的值格仅为完备格的假设下，以保并交映射为工具，建立了新的模糊集表现定理。由于本文建立的模糊集表现定理所需条件简明，因此预计在相关领域的应用中更广泛。同时，作为应用，本文还给出了模糊集理论中若干公开问题新的解决方法。

摘要： 经过近五十年的发展,模糊集在理论与应用两个领域的研究都已经取得长足的进展,特别地,在模糊决策等应用领域,涌现了几类重要的广义模糊集,包括区间值模糊集,直觉模糊巢,区间值直觉模糊集,Ⅱ型模糊集.Vague集,灰集等.本文简要介绍关于这些广义模糊集之间关系的研究成果.以及国外关于直觉模糊集术语问题的争议.

摘要： 经过近五十年的发展,模糊集在理论与应用两个领域的研究都已经取得长足的进展,特别地,在模糊决策等应用领域,涌现了几类重要的广义模糊集,包括区间值模糊集,直觉模糊巢,区间值直觉模糊集,Ⅱ型模糊集.Vague集,灰集等.本文简要介绍关于这些广义模糊集之间关系的研究成果.以及国外关于直觉模糊集术语问题的争议.

摘要： 经过近五十年的发展,模糊集在理论与应用两个领域的研究都已经取得长足的进展,特别地,在模糊决策等应用领域,涌现了几类重要的广义模糊集,包括区间值模糊集,直觉模糊巢,区间值直觉模糊集,Ⅱ型模糊集.Vague集,灰集等.本文简要介绍关于这些广义模糊集之间关系的研究成果.以及国外关于直觉模糊集术语问题的争议.

摘要： 经过近五十年的发展,模糊集在理论与应用两个领域的研究都已经取得长足的进展,特别地,在模糊决策等应用领域,涌现了几类重要的广义模糊集,包括区间值模糊集,直觉模糊巢,区间值直觉模糊集,Ⅱ型模糊集.Vague集,灰集等.本文简要介绍关于这些广义模糊集之间关系的研究成果.以及国外关于直觉模糊集术语问题的争议.

摘要： 运用Tarski不动点定理, 研究二阶三点非连续边值问题u″(t) = f(t, u(t), u′(t)), a.e.t∈I=[0,1],u(0)=0, u(1)=ξu(η),其中ξ>0, 0<η<1, 满足非共振条件0<ξη<1,得到了新的弱解的存在性结果.

摘要： 运用Tarski不动点定理, 研究二阶三点非连续边值问题u″(t) = f(t, u(t), u′(t)), a.e.t∈I=[0,1],u(0)=0, u(1)=ξu(η),其中ξ>0, 0<η<1, 满足非共振条件0<ξη<1,得到了新的弱解的存在性结果.

摘要： 运用Tarski不动点定理, 研究二阶三点非连续边值问题u″(t) = f(t, u(t), u′(t)), a.e.t∈I=[0,1],u(0)=0, u(1)=ξu(η),其中ξ>0, 0<η<1, 满足非共振条件0<ξη<1,得到了新的弱解的存在性结果.

摘要： 本发明公开了一种基于卷积神经网络和概念格的图像语义完备标注方法，首先构建自适应CNN网络，分割待标注图像并提取其特征，以此来获得近邻图像集与其一系列相对应的标签集合；然后利用概念格进行标签本身潜在的语义分析，有效地改善了标注效果，并保证了语义标注的完备性；最后利用投票的方式，得到最优语义标签。采用基准数据集Corel5k进行实验，验证了该方法能有效地丰富图像标签语义，提高标签召回率，并提高图像语义检索效率。

摘要： 本发明公开了一种基于完备相容类的云平台不完备大数据填补方法，通过不完备大数据中的完备信息并行填补其缺失属性。本方法提高不完备数据填补的效率，有效填补缺失值过多的不完备大数据。建立了完备数据和不完备数据更为直接的联系，结合缺失属性的倒排索引和不完备数据的相容类，将数据集划分为若干完备相容类。获取完备部分中各缺失属性的频繁项集，根据频繁项集生成填补信息，并行填补具有相容关系的不完备数据，充分利用大数据的完备信息的频繁项集，并行填补具有相容关系的不完备数据。采用并行填补的方式也即采用多台机器同时去填补不同记录的缺失值也加大了填补的效率。

摘要： 用于起重机的格构式桅杆元件(15)包括至少两个纵向元件(21)和将纵向元件(21)互连的至少一个横向元件(22)以及用于通过将纵向元件(21)和/或横向元件(22)互连来支撑格构式桅杆元件(14；15；16；54；56；57；58)的至少一个支撑元件(24)，其中纵向元件(21)和横向元件(22)限定出格构式桅杆元件(15)的承载面且纵向元件(21)均被构造为二维承载结构。

摘要： 本发明公开了一种基于卷积神经网络和概念格的图像语义完备标注方法，首先构建自适应CNN网络，分割待标注图像并提取其特征，以此来获得近邻图像集与其一系列相对应的标签集合；然后利用概念格进行标签本身潜在的语义分析，有效地改善了标注效果，并保证了语义标注的完备性；最后利用投票的方式，得到最优语义标签。采用基准数据集Corel5k进行实验，验证了该方法能有效地丰富图像标签语义，提高标签召回率，并提高图像语义检索效率。

摘要： 本发明涉及一种完备性监测系统、一种运行完备性监测系统的方法和一种完备性监测单元。用于对控制设备进行运行时的完备性监测的完备性监测系统包括控制设备，其具有用于收集控制设备的运行状态数据的自动化装置。该系统还包括完备性监测单元，完备性监测单元可以与控制设备可拆卸地直接连接，该完备性监测单元用于根据从自动化装置传输到完备性监测单元的运行状态数据来监测控制设备的完备性状态。将完备性监测单元连接到控制设备上，以进行数据传输。在控制设备的自动化装置中收集控制设备的运行状态数据。将运行状态数据从自动化装置传输到完备性监测单元。在完备性监测单元中评估运行状态数据。在检查控制设备的完备性状态后输出完备性状态。

摘要： 本发明公开了一种基于对比完备与不完备信息的系统功能结构分析方法，其特征在于，考虑完备或不完备背景关系中蕴含的元件与系统功能结构关系，提出了基于因素空间理论中因素逻辑的系统功能结构分析法，对完备和不完备两种情况进行分析可得到两个不同的系统功能结构表达式，完备背景关系可得到唯一确定的系统功能结构；不完备背景关系可得一族确定的系统功能结构，如果不完备背景关系是完备背景关系的子集，那么不完备背景关系中一定能找到功能之间的线性关系，以补充不完备背景关系，可用于完备或不完备背景关系下的系统功能结构分析。

摘要： 本发明公开了一种基于完备相容类的云平台不完备大数据填补方法，通过不完备大数据中的完备信息并行填补其缺失属性。本方法提高不完备数据填补的效率，有效填补缺失值过多的不完备大数据。建立了完备数据和不完备数据更为直接的联系，结合缺失属性的倒排索引和不完备数据的相容类，将数据集划分为若干完备相容类。获取完备部分中各缺失属性的频繁项集，根据频繁项集生成填补信息，并行填补具有相容关系的不完备数据，充分利用大数据的完备信息的频繁项集，并行填补具有相容关系的不完备数据。采用并行填补的方式也即采用多台机器同时去填补不同记录的缺失值也加大了填补的效率。

摘要： 用于起重机的格构式桅杆元件(15)包括至少两个纵向元件(21)和将纵向元件(21)互连的至少一个横向元件(22)以及用于通过将纵向元件(21)和/或横向元件(22)互连来支撑格构式桅杆元件(14；15；16；54；56；57；58)的至少一个支撑元件(24)，其中纵向元件(21)和横向元件(22)限定出格构式桅杆元件(15)的承载面且纵向元件(21)均被构造为二维承载结构。

摘要： 本发明公开一种窗宫格汉字书写练习的辅助格及其基于窗宫格的汉字书写方法，包括至少一页用于书写的载体，它由大小两个方框组成，小方框（2）居于大方框（1）正中，小方框（2）再分成三块，中间为中宫（5），左边为左宫（3），右边为右宫（4），所述大方框（1）与小方框（2）的边长比例为10:8；所述小方框（2）内的左宫（3）、中宫（5）和右宫（4）的比例为1.6:4.8:1.6；所述中宫（5）的长宽比例为5:3。将所述大方框（1）与小方框（2）内的区域作为汉字书写的主体区域，书写时在小方框（2）中的左宫（3）、中宫（5）和右宫（4）内分布、起笔和收笔，笔画长短和纵向主笔的位置的区间范围可以有明确的界定。

摘要： 本实用新型涉及新风系统领域，尤其涉及宫格分布式可调风可过滤的风阀以及宫格堵头和宫格板。该风阀包含壳体，壳体上包含风口(7)，该壳体上包含多个面，多个面上各自包含一个以上的宫格堵头，宫格堵头包含壳体，壳体上包含管卡(4)，还包含能安装进管卡(4)的宫格板(3)，宫格板上包含多个分隔隔档以及外部的外圈，还包含布置在外圈和分隔隔档之间或者是多个分隔隔档之间的可去掉的板(32)；通过调整可去掉的板(32)能够调整风量大小。有益效果：可以依据末端风量的大小施工过程中可用手或者刀片就以掰掉宫格方块从而达到调节风量大小的目的。