R0-代数

摘要： 把双极值模糊集和R0代数相结合,首先给出R0代数的双极值模糊子代数的概念并讨论其性质,研究双极值模糊集的截集与双极值模糊子代数的关系,得到了R0代数中两个双极值模糊子代数的交仍然是双极值模糊子代数的结论;其次,引入了R0代数同态的概念,证明了R0代数的双极值模糊子代数在同态下的像(原像)仍然是双极值模糊子代数;最后,在R0代数中引入双极值模糊子代数直积的定义,并讨论了R0代数中双极值模糊子代数直积的性质。

摘要： 首先,利用滤子的扩张方法在R0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R0-代数中广义相对零化子仍是滤子;其次,利用广义相对零化子刻画素滤子,并讨论相对零化子与广义相对零化子的关系;最后,基于R0-代数中的两个给定元,给出一个以广义相对零化子为对象的满足并无穷分配律的完备剩余格结构.

摘要： 引入了代数R0-的导子并研究了R0-代数上导子的相关问题.利用导子的保序性、收缩性、不动点集和R0-代数的滤子,获得了一个滤子成为好的理想导子滤子的充要条件,移植了不动点集在其他代数结构上的一些重要结果.%In the paper, the derivation of R0-algebra is introduced and investigated. By using the isotone property, contractive property, fixed point sets and filters of R0-algebra, the necessary and sufficient condition of a filter to be a good ideal derivation filter is obtained. Some important results of fixed point sets on other algebra structure is popularized.

摘要： In this paper, we study the problems of state operators. By using the method of introducing internal states on MV-algebras, we introduce the state operators on R0-algebras and define the state R0-algebras, which are generalization of R0-algebras. We give some non-trivial examples of state R0-algebras and study some basic properties of them. Based on the above arguments we define the state filters and state local R0-algebras. We characterise the state local R0-algebras by the statefilters, which generalizes the theory of local R0-algebras.%本文研究了R0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R0代数,它是R0代数的一般化.给出了一些非平凡态R0代数的例子并讨论了态R0代数的一些基本性质.在此基础上给出了态滤子和态局部R0代数的概念,并利用态滤子刻画了态局部R0代数.推广了局部R0代数的相关理论.

摘要： 论证区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式.在引入两个新的运算算子的基础上,进一步讨论区间集上R0-代数的又一组基本特征性质.运用公理化思想简化了区间集上R0-代数表示形式的公理条数,以彰(显)其公理系统的相对独立性.%A set of interesting characteristic properties of R0-algebra on an interval set and the minimum implication relation between an arbitrary element and its corresponding complement are firstly demonstrated,and then another set of basic characteristic properties of R0-algebra are further discussed after the introduction of two new operators.Finally,using axiomatic approaches,we simplify the number of axioms for R0-algebra representation on an interval set to highlight the relative independence of its axiomatic system.

摘要： 通过对基础模糊命题演算系统BL∗及相应的Lindenbaum代数的研究，给出了BR0-代数的格蕴涵表示形式，使得BR0-代数从定义形式上更加符合逻辑代数的特征，突出了BR0-代数和其他逻辑代数的区别与联系，其次，结合MV-代数，R0-代数和BR0-代数的关系给出了MV-代数的BR0-代数表示形式以及BR0-代数的简化形式。%Through study of basic fuzzy propositional calculus formal deductive system BL ∗ and Lindenbaum algebra,we get the lattice-implication representive theorem of BR0-algebra. This work conforms BR0-algebra to the features of logic algebra in definition,which protrudes the relations between BR0- algebra and other logic algebra. In addition,with the help of the relation between BR0-algebra and MV-algebra,R0-algebra,we have also given the simplied form of BR0-algebra and the BR0-algebra form of MV-algebra.

摘要： 以ΩF 记为(，∨，→)型代数F到R0单位区间的全体赋值之集。证明了(，∨，→)型代数F的商代数F=F/≈是正则R0代数，以及R0代数的 Fuzzy拓扑表现定理，并对相关问题进行了讨论。%LetΩF be the set s of all valuations from the ( ,∨,→)algebra F into the unit interval. The quotient algebra F=F/≈ of the ( ,∨,→)algebra F are regular R0 algebras,and the Fuzzy topology representation theorem of R0 algebras are proved.Finally,some relevant issues are discussed.

摘要： 将软件学中的演绎元、极大缩减和极小减集等概念引入到与R0命题逻辑系统相对应的语义代数-R0代数中.研究各自的重要性质,给出R0代数极小减集的等价刻画以及R0代数极大缩减存在的充要条件.为在多值逻辑中实现软件的计量化奠定基础.

摘要： 首先论证了区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式.其次,在引入两个新的运算算子的基础上,进一步讨论了区间集上R0-代数的又一组基本特征性质.最后,运用公理化思想方法简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性.

摘要： 研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性.

摘要： 研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性.

摘要： 研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性.

摘要： 研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性.

摘要： 本发明公开了一种零代码快速实现数采仪协议的方法以及数采仪终端，解决了现有技术采用编写程序的方式来实现通信协议存在的效率较低、开发调试难度较高等问题。该零代码快速实现数采仪协议的方法包括：提供图形化的信息录入界面，该图形化的信息录入界面以预先设定的统一协议描述模型为指导；接收用户录入的仪器仪表协议相关的信息；生成符合统一协议描述模型的待测试的协议配置文件，协议配置文件仅存储所述仪器仪表协议的抽象描述信息；根据所述仪器仪表协议相关的信息，生成相应的测试用例，对所述待测试的协议配置文件执行协议正确性的测试；将通过测试的协议配置文件上传至云端协议库；该云端协议库可供用户下载协议配置文件、导入数采仪。

摘要： 本发明提供接口开发方法、零代码引擎和零代码数据接口开发系统，该方法包括：接收接口调用方发送的http请求，其携带URL信息和请求参数的值；根据URL信息从接口配置表中获得对应的接口配置信息；接口配置信息包括如下多个字段：URL字段、接口请求参数字段和SQL实现逻辑字段；URL字段用于定义接口的URL；接口请求参数字段用于定义接口对应的请求参数；SQL实现逻辑字段用于定义接口的功能对应的sql代码，sql代码具有预设的占位符，占位符与接口请求参数字段定义的请求参数一一对应；将请求参数的值替换sql代码中预设的占位符；执行替换占位符之后的sql代码，将执行结果通过http接口返回给接口调用方。本发明提供了一种可视化表单的形式来创建Http接口。

摘要： 本发明公开了一种用于第二代数字卫星广播系统的并行自适应交织/解交织方法，主要解决现有比特交织技术吞吐量较低，占用存储资源和时钟资源较多，不支持自适应编码调制功能的问题。其方案是：根据模式类型信号选择自适应选择调制方式，帧长及存储器个数；用列入行出的方式对原始输入数据进行并行交织，用行入列出的方式对交织数据进行并行解交织，其中对16APSK短帧数据采用分割写入的方法进行交织，采用组合读出的方法进行解交织。本发明的吞吐率达到了2Gbps以上，每个地址存储10比特的数据，提高了存储资源利用率，能在数据调制方式及帧长改变时自适应地进行正确的交织和解交织，可用于第二代数字卫星广播DVB‑S2系统。

摘要： 本发明公开了一种零代码快速实现数采仪协议的方法以及数采仪终端，解决了现有技术采用编写程序的方式来实现通信协议存在的效率较低、开发调试难度较高等问题。该零代码快速实现数采仪协议的方法包括：提供图形化的信息录入界面，该图形化的信息录入界面以预先设定的统一协议描述模型为指导；接收用户录入的仪器仪表协议相关的信息；生成符合统一协议描述模型的待测试的协议配置文件，协议配置文件仅存储所述仪器仪表协议的抽象描述信息；根据所述仪器仪表协议相关的信息，生成相应的测试用例，对所述待测试的协议配置文件执行协议正确性的测试；将通过测试的协议配置文件上传至云端协议库；该云端协议库可供用户下载协议配置文件、导入数采仪。

摘要： 本申请适用于终端人工智能技术领域，提供了零指代消解方法、训练零指代消解模型的方法及电子设备。上述训练零指代消解模型的方法包括：将训练文本中的所有词转换为第一向量；其中，训练文本中包括多个先行词和多个零代词，第一向量包括与各个先行词对应的第一先行词向量和与各个零代词对应的第一零代词向量，第一零代词向量中包含零代词的位置信息；将零代词的位置信息融合到第一先行词向量中，得到第二先行词向量；基于第一零代词向量和第二先行词向量，确定每个先行词的理论类别标签；其中，每个先行词对应一个预设类别标签；根据每个先行词的理论类别标签与预设类别标签，对零指代消解模型进行训练。上述方法能够提高零指代消解的准确性。

摘要： 本发明提供接口开发方法、零代码引擎和零代码数据接口开发系统，该方法包括：接收接口调用方发送的http请求，其携带URL信息和请求参数的值；根据URL信息从接口配置表中获得对应的接口配置信息；接口配置信息包括如下多个字段：URL字段、接口请求参数字段和SQL实现逻辑字段；URL字段用于定义接口的URL；接口请求参数字段用于定义接口对应的请求参数；SQL实现逻辑字段用于定义接口的功能对应的sql代码，sql代码具有预设的占位符，占位符与接口请求参数字段定义的请求参数一一对应；将请求参数的值替换sql代码中预设的占位符；执行替换占位符之后的sql代码，将执行结果通过http接口返回给接口调用方。本发明提供了一种可视化表单的形式来创建Http接口。

摘要： 本发明公开了一种零糖零卡零脂晶体代糖制品，包括以下重量百分数的组分：赤藓糖醇、L‑阿拉伯糖、三氯蔗糖、食用香精，其制备方法，包括以下步骤：S1、将赤藓糖醇加入到高效湿法制粒机或沸腾造粒机中，另将L‑阿拉伯糖、三氯蔗糖、食用香精按配方比例溶解在水中，加入等量75％乙醇，配制成混合溶液；S2、将混合溶液喷在赤藓糖醇晶体外侧，边喷边搅拌赤藓糖醇晶体，使混合溶液均匀附着在赤藓糖醇晶体表面；S3、溶液喷完后，湿晶体烘干，筛选得到晶体代糖。本发明制得的代糖制品零糖零卡零脂，不参与人体代谢，同时对小肠二糖水解酶类中与蔗糖消化相关的酶类有强烈的选择性抑制，可以降低小肠对葡萄糖和果糖的吸收，减少因糖过量导致的肥胖和糖尿病。

摘要： 本发明公开了一种新一代数字化精密模具制造设备，属于模具制造领域，一种新一代数字化精密模具制造设备，包括工作台，工作台上端连接有防护罩，工作台后端安装有放电机构，工作台右端连接有控制器，控制器上端连接有控制面板，工作台上端连接有支撑组件，支撑组件与防护罩相匹配，支撑组件上端放置有精密模具，可以通过支撑组件和找正组件相配合，有效对精密模具在工作台上的位置进行检测和摆正，提高精密模具的找正精度和找正效率，有效保证放电机构对精密模具的加工精度，提高精密模具的制造精度，并且通过找正组件和控制器的相配合，有效实现对支撑组件的数字化控制，进一步提高加工精度。

摘要： 本实用新型公布了新一代数字化智能元器件检测装置，包括下夹持机构，其包括多个夹持杆；相邻两夹持杆之间设有用于夹持定位被测产品下端的夹持间隙，且相邻两夹持杆之间间距可调；按压检测组件，其用于抵压测试下夹持机构所夹持定位被测产品的测试部。上夹持机构，其包括多个夹持板，相邻两夹持板之间设有用于夹持被测产品上端的夹持间隔，且相邻述夹持板之间间距可调。还包括导通测试组件，其包括多个定位杆、导电滑片组、驱动设备；相邻两定位杆之间间距可调，驱动设备驱动导电滑片组与夹持间隙夹持定位被测产品的接电部电性连接。本装置旨在提高电子元器件检测装置通用度，提高自动化程度、检测效率，降低人工劳动强度。

摘要： 本实用新型公开了一种新型适用400G新一代数据中心光纤跳线，包括一结构主体，所述结构主体包括纤维保护层、散热层、防水层、抗压层和主芯体，所述纤维保护层覆盖于散热层表面，所述散热层包括散热筒以及与散热筒固定连接的若干散热条，所述散热条平行于散热筒轴向，所述防水层与散热筒套接，所述主芯体与抗压层套接，所述主芯体包括屏蔽柱以及嵌设于屏蔽柱内的若干光纤，可以实现较好的保护性和屏蔽性，减少信号的损耗。