偶图

摘要： 在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性。然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节点自身发起的内部攻击问题。提出一种支持安全性分析的任务卸载方法。设计包含安全性分析的任务卸载流程,构建面向移动边缘计算的多级安全信息流模型,用于约束服务卸载、数据卸载和服务执行过程。在此基础上,基于偶图对任务卸载过程进行建模,构造标注迁移边的标号变迁系统,并利用模型检测技术验证是否满足相应的安全需求。案例分析和性能评估结果表明,该方法能够在秒级时间内预测任务卸载中的恶意行为,具有较好的可行性和有效性。

摘要： 一个分部顶点数分别为s和t的完全偶图可用Ks,t来表示.对于正整数s,以及两个偶图G和H,s-偶图Ramsey数BRs(G,H)是一个最小正整数t,使得每一个Ks,t的2-边着色都含有1色的图G或者含有2色的图H.文章提出了一个新的整数线性规划模型来计算两个图的s-偶图Ramsey数.实验结果表明,该模型比以前的模型更加高效.利用该模型,成功地确定了关于s-偶图Ramsey数的55个新的精确值.

摘要： 随着物联网和信息物理融合系统等新一代信息技术的发展,位置约束的访问控制系统的安全性需求不仅体现在虚拟的信息空间,还体现在现实的物理空间.如何在这种新需求下制定位置约束的访问控制模型与验证方法成为保证访问控制系统安全的关键所在.首先提出位置约束访问控制模型,包括LCRBAC模型和EM模型,实现对信息空间和物理空间的静态结构以及两空间中实体动态行为的刻画;其次利用偶图和偶图反应系统建模位置约束访问控制模型,生成访问控制策略标注转移边的标号变迁系统;然后根据标号变迁系统验证结果,提出针对死锁状态、违反状态和不可达状态的策略修改方案;最后通过银行访问控制系统实例分析说明所提方法能够对信息空间和物理空间以及两空间交互行为的访问控制策略进行建模和验证.

摘要： 该文以混合泳接力项目这种特殊的类指派问题为例,一改传统的0-1规划解法,不仅提出了基于GA和偶图的求解思路,更提出了一种基于各泳姿成绩表差值的表上求解算法,并对各算法做了汇总分析.

摘要： 偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广.

摘要： 大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化建模工具,而且其图形化表达非常直观.本文采用偶图以及偶图反应系统相关理论,并结合大数据生命周期思想,建立大数据管理的偶图模型.然后,用偶图模型重写开源分布式文件系统FastDFS和MapReduce编程模型,并用带演算的MapRe-duce偶图模型改进交互数据处理效率低的弱点.两个案例表明提出的大数据管理形式化方法的有效性.

摘要： 最近半个世纪,伴着科学的迅速发展,图论也以较快的速度发展着,其中图的控制数理论是图论中发展最快的几个领域之一.控制数理论能够快速发展的主要原因是它在组合优化、编码理论、计算机科学、通信网络、监视系统和社会网络等理论与实践中有着重要的应用.目前,函数控制数已成为图的控制理论中一个崭新而富有挑战的研究方向.在图论中,为了研究图的性质,人们引进了图的邻接矩阵,关联矩阵,距离矩阵,拉普拉斯矩阵等各种矩阵.代数图论的一个主要研究方向就是图的性质能否以及如何由这些矩阵的代数性质反映出来.而各种矩阵中,很重要的就是图的拉普拉斯矩阵.因为拉普拉斯矩阵的特征值与图的很多不变量有着密切的联系.文章主要研究了偶图上拉普拉斯特征值度关于符号控制教的界.

摘要： 设k≥3是一个正整数, G=(X,Y；E)是一个顶点数为4k的偶图,且有|X|=|Y|=2k。设δ(G)≥k+1,则图G包含k-3个4-圈,1个6-圈和一条含6个顶点的路,且它们是相互独立的。%Abatract:Let k≥3 be a positive integer.Let G=(X,Y;E) be a bipartite graph with |X|=|Y|=2k .Supposing δ(G)≥ k+1 , then G has a spanning subgraph consisting of k-3 quadrilaterals , one 6-cycle and a path of order 6 such that all of them are indepen⁃dent.

摘要： 设G=(V, E)是一个图，一个实值函数 f ：V→{-1,+1}满足∑v∈N[u] f (v)≥1对一切u∈V (G)都成立，则称 f 为图G的一个符号控制函数。图G的符号控制数定义为γs(G)=min{∑v∈V(G) f (v)|f 为图G的符号控制函数}。研究了偶图的符号控制问题，主要给出了偶图符号控制数的两个下界。%Let G=(V, E) be a graph, a real function f:V→{-1,+1}is said to be a signed dominating function (SDF) of Gif∑v∈N[u] f (v)≥1 holds for every vertex u∈V (G) , the signed domination number γf (G) of G is defined asγs(G)=min{∑v∈V f (v)|f is a SDF of G}. This paper discusses some questions on the signed domination of graphs and obtains mainly two lower bounds of the signed domination numbers for bipartite graphs.

摘要： 范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论.以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台.然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方.改进了偶图基本签名的定义,校正了位置图并置运算的定义,揭示了预范畴、范畴、S-范畴、对称偏幺半范畴之间的联系,给出了构造偶图范畴的算法,以便进一步研究偶图理论及其应用.%Category theory is a mathematical theory to process abstractly mathematical structures and the relations among them.Bigraph which uses category theory as mathematical base,is a design,simulation and analysis platform for ubiquitous information systems.There,however,is a lack of specification,and are some errors in the definitions for bigraphical categories.The definition of bigraph basic signature was improved,and the juxtaposition operation of place graphs was corrected,and the relations among precategory,category,s-category and symmetric partial monoidal category were revealed in conjunction with giving an algorithm to construct bigraphical categories in this paper.Therefore,bigraph theories and its applications will be further investigated.

摘要： 根据实施例的用于温度测量的热电偶可以包括：由第一金属材料制成的第一导线和由与第一金属材料不同的第二金属材料制成的第二导线；第一部分，第一导线和第二导线在第一部分中彼此电绝缘；第二部分，第一导线和第二导线在第二部分中彼此连接以形成测量结点；第一层，由导热的且绝缘的第一材料制成，并且围绕第二部分；以及第二层，由超声可焊接的第二材料制成，并且围绕第一层的至少部分。

摘要： 本发明公开了一种基于二次谐波的完美磁偶极/电偶极纳米天线的制作方法，属于纳米光子技术领域。该纳米天线的制作方法包括制作金属‑电介质‑金属经典三明治结构的纳米天线；利用激光垂直入射所述的纳米天线的底面，产生激光泵浦；通过激光泵浦产生的二次谐波的非线性响应产生完美磁偶极散射；步骤S2的基础上，通过调整入射偏振与电介质层的x轴之间的夹角，产生完美电偶极散射。本发明的纳米天线通过调整入射偏振来控制二次谐波发射，进而在不同波长位置处实现99.2％的完美磁偶极和完美电偶极散射。优化后的杂化纳米盘二聚体结构制作简单，且能有效聚集入射场能量，增强二次谐波的转化效率，减小模式体积。

摘要： 根据实施例的用于温度测量的热电偶可以包括：由第一金属材料制成的第一导线和由与第一金属材料不同的第二金属材料制成的第二导线；第一部分，第一导线和第二导线在第一部分中彼此电绝缘；第二部分，第一导线和第二导线在第二部分中彼此连接以形成测量结点；第一层，由导热的且绝缘的第一材料制成，并且围绕第二部分；以及第二层，由超声可焊接的第二材料制成，并且围绕第一层的至少部分。

摘要： 本申请提供了一种热电偶套管及热电偶，涉及热电偶技术领域。该热电偶套管包括测量部套管，测量部套管包括直管段以及连接于直管段下端的锥管段，锥管段用于穿过待测管道管壁上开设的测量孔并伸入待测管道内以对待测管道内介质的温度进行测量；直管段与锥管段的连接处设有第一凸台，第一凸台与测量孔的径向所在平面平行设置，第一凸台与测量孔过盈配合。通过设置上述第一凸台并与测量孔过盈配合，可弥补套管与测量孔之间的间隙，有效消除高速气流引起的套管振动，进而降低因振动引起套管裂纹的风险，延长使用寿命。具有上述热电偶套管的热电偶使用寿命长，适用性广。

摘要： 一种热电偶在高炉炉缸内部的布置安装方法及所用的热电偶，按布置图先在炭砖上开好热电偶安装槽，热电偶从高炉炉壳外沿通过安装孔穿孔进入到炉底炭砖开的安装槽中，按热电偶的测温头部位置布置点及热电偶编号布置好，在冷却壁和炭砖之间捣打料区域将热电偶打造成上凸弧形的形状，且将打造的上凸形按朝上的方向放置，并在热电偶下面填充炭素捣打料，捣打料层的热电偶包裹保护层，最后用炭素捣打料填埋压实开槽的槽孔完成热电偶在炉缸砖衬内的布置安装。其优点是是在冷却壁和炭砖之间捣打料区域留有足够长度的热电偶，可以有效地防止高炉炉底炉缸的热电偶被上涨的炭砖拉断和剪切断，且安装方便快捷，可操作性强，在高炉施工建设过程中很容易实施。

摘要： 本发明公开了一种超长铠装热电偶电缆及多点超长热电偶的制造方法，包括下列步骤：S1：处理待连接的两段铠装热电偶电缆的两个连接端，以露出连接端的偶丝；S2：使用搭接或缠绕的方式将两段偶丝连接在一起，以形成两段电缆的连接段；S3：在连接段外设置两个半圆柱状的绝缘块，两个绝缘块压紧连接段且整体呈圆柱状；S4：在绝缘块外套设保护管；S5：在保护管的两端面与铠装热电偶电缆的接触处密封焊接，并将保护管直径压缩至与电缆直径相同，实现铠装热电偶电缆的增长；S6：利用超长铠装热电偶电缆制作多点超长铠装热电偶。

摘要： 本发明公开的一种冶金炉窑耐火砖热电偶系统及热电偶的安装方法，所述冶金炉窑耐火砖热电偶系统包括：工作砖、背衬砖和热电偶；所述工作砖的其中一表面开设有第一凹槽和第二凹槽，第一凹槽与第二凹槽在同一直线上，且第一凹槽远离第二凹槽的一端设有阻隔墙；背衬砖位于工作砖的一端，且靠近第二凹槽设置；背衬砖开设有与第二凹槽相对应的通孔；热电偶穿过通孔安装于第二凹槽和第一凹槽内；第一凹槽和第二凹槽填充有火泥。利用该冶金炉窑耐火砖热电偶系统实现热电偶的安装，能够有效保护热电偶，避免烘炉过程中因耐火砖膨胀造成热电偶的损伤，同时精确反应耐火砖的实际温度，为冶金炉窑烘炉时提供有力的温度依据，提高冶金炉窑的使用寿命。

摘要： 本实用新型涉及一种热电偶用偶丝包括偶丝本体，偶丝本体包括异径偶丝、过度偶丝和常径偶丝，所述异径偶丝直径大于常径偶丝直径，所述常径偶丝是两个，增加热电偶测温端偶丝的直径，热电偶测温端偶丝直径的改变不影响测温的准确性，这样增加了测温端偶丝的抗熔断和抗氧化的能力，明显延长了热电偶的寿命。

摘要： 本实用新型属于一种水煤浆气化炉结构领域，具体涉及一种上下非对称热电偶孔的组合热电偶砖。涉及的一种上下非对称热电偶孔的组合热电偶砖包括上下设置的上热电偶砖、下热电偶砖；所述上热电偶砖的下端面具有上热电偶孔；所述下热电偶砖的上端面具有下热电偶孔；其特征在于：所述上热电偶孔的形状与下热电偶孔的形状不同，所述的上热电偶孔和下热电偶孔配合构成用以安装热电偶的不规则型热电偶孔，且不规则型热电偶孔与热电偶之间具有膨胀间隙。本实用新型能为热电偶留出缓冲膨胀的空间，又能减少热电偶孔孔洞的面积大小；避免了高温下气流、熔渣对热电偶孔处衬里的冲刷和掏蚀，延长了热电偶砖的使用寿命。

摘要： 本实用新型公开了一种热电偶冷端补偿电路，该电路包括差分运算放大器和桥式分压电路；桥式分压电路连接电源和差分运算放大器，差分运算放大器的输出电压作为热电偶的冷端补偿电压。桥式分压电路中的一个桥臂包括阻值随温度可调的阻性器件，其余桥臂包括固定阻值的电阻；阻值随温度可调的阻性器件和热电偶的冷端处于同一温度环境中。采用本方案，当热电偶的冷端处于不同温度环境中时，阻性器件的阻值也随温度变化而发生变化，使得补偿电路的补偿电压也发生变化，从而实现对冷端的动态补偿，减少了人力资源的浪费。此外，本实用新型还公开了一种热电偶测温系统，包括热电偶冷端补偿电路，效果同上。