对偶Quantale及其性质 被引量：11

1

作者 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第1期1-5,共5页

提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 .利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 .研究表明 ,对偶quantale是非可换quantale... 提出了对偶quantale的概念 ,研究了对偶quantale的性质及其构造 .利用quantale上的nucleus与余nucleus算子 ,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造 .研究表明 ,对偶quantale是非可换quantale中的布尔代数 . 展开更多

关键词 对偶quantale商 开模态词 布尔代数 余nucleus算子 完备格 弱循环元 对偶元

在线阅读 下载PDF 职称材料

Quantale的最大左半可换商 被引量：1

2

作者 董倩 汪开云 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2016年第3期421-426,共6页

通过引入Quantale上左半可换核映射的概念,用Quantale中的左准对称元给出最大左半可换商的刻画,证明了左半可换Quantale范畴是Quantale范畴的反射子范畴,并讨论了局部核映射与左半可换核映射之间的关系.

关键词 quantale quantale商 左半可换核映射 局部核映射

在线阅读 下载PDF 职称材料

非可换线性逻辑及其Quantale语义 被引量：15

3

作者 李永明 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第2期1-5,共5页

扩充了V .M .Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 .

关键词 非可换线性逻辑 对偶quantale 语义

在线阅读 下载PDF 职称材料

Girard Subquantales

4

作者 龙飞 李庆国 《工程数学学报》 CSCD 北大核心 2007年第3期567-570,共4页

Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础;特别是Girard quantales中的“■”运算,它在线性逻辑的一些运算中有着广泛的运用,本文研究了Girard quantales中运算“■”的一些新的性质,给... Girard quantales是研究计算机科学的线性逻辑的有力工具。它为线性命题公式提供了理论基础;特别是Girard quantales中的“■”运算,它在线性逻辑的一些运算中有着广泛的运用,本文研究了Girard quantales中运算“■”的一些新的性质,给出了Girard quantales的Sub- quantales亦是Girard quantales的充分条件。 展开更多

关键词 对偶子 Girard quantaleS “ ”运算

在线阅读 下载PDF 职称材料

Quantale中的L-模糊滤子及其相关性质 被引量：1

5

作者 单晓伟 刘妮 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第2期14-18,共5页

基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quant... 基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论. 展开更多

关键词 quantale L-模糊滤子 L-模糊滤子拓扑 商quantale 连续映射

在线阅读 下载PDF 职称材料

弱幂等Quantale范畴与相关范畴的关系

6

作者 刘敏 杜佳慧 《吉林大学学报（理学版）》 CAS 北大核心 2022年第2期277-283,共7页

首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念,给出Quantale的最大弱幂等商的等价刻画;然后证明弱幂等Quantale范畴是Quantale范畴的反射子范畴,幂等Quantale范畴是弱幂等Quantale范畴的反射子范畴;最后得到幂等Quantale范畴... 首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念,给出Quantale的最大弱幂等商的等价刻画;然后证明弱幂等Quantale范畴是Quantale范畴的反射子范畴,幂等Quantale范畴是弱幂等Quantale范畴的反射子范畴;最后得到幂等Quantale范畴是Quantale范畴的反射子范畴. 展开更多

关键词 quantale商 弱幂等quantale 弱幂等核映射 范畴

在线阅读 下载PDF 职称材料

一般有重差商的显式公式 被引量：4

7

作者 盛中平 王晓辉 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期143-144,共2页

讨论了一般有重差商问题,提出了脱重逼近方法.引进了自由因子序列与反自由因子序列,给出了一般有重差商的显式表达式,揭示了有重差商的内在结构,并给出了计算自由因子和有重差商的多种形式的快速算法.

关键词 有重差商 对偶序列 差商 重结点

在线阅读 下载PDF 职称材料

基于分布鲁棒优化的发电商中长期合同电量分解模型 被引量：5

8

作者 张少华 刘帅 +1 位作者 王晛 吴彪 《电力系统保护与控制》 EI CSCD 北大核心 2023年第1期71-80,共10页

在我国中长期合同交易与现货市场衔接的政策背景下,中长期合同电量必须分解至短时间尺度。针对发电商中长期合同电量的自主分解问题,研究了发电商在现货市场价格严重不确定环境下基于分布鲁棒优化的中长期合同电量分解方法。首先,针对... 在我国中长期合同交易与现货市场衔接的政策背景下,中长期合同电量必须分解至短时间尺度。针对发电商中长期合同电量的自主分解问题,研究了发电商在现货市场价格严重不确定环境下基于分布鲁棒优化的中长期合同电量分解方法。首先,针对现货价格的严重不确定性,以Wasserstein距离作为分布函数距离测度,构建了现货价格分布不确定性的模糊集。其次,建立了发电商合同分解的分布鲁棒优化模型。以发电商利润最大化为目标,考虑发电商运行约束和合同分解约束,并采用对偶理论等将模型转化为可高效求解的二次规划问题。最后,通过算例仿真并与传统的随机优化和鲁棒优化模型进行对比。结果表明所提模型在处理现货价格不确定性时能有效兼顾发电商合同分解决策的经济性和鲁棒性。 展开更多

关键词 发电商合同分解 现货市场价格不确定性 分布鲁棒优化 对偶理论

在线阅读 下载PDF 职称材料

基于块的二元有理插值的对偶性

9

作者 李强 唐烁 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第7期1113-1116,共4页

近几年来,人们将插值点进行划分,提出了块的思想,将连分式插值中的基于点的插值进行了推广,给出了基于块的有理插值的许多格式;文章针对基于块的二元Thiele型混合有理插值的一般格式,探讨了在同种分块形式下的对偶性,得到了一些有意义... 近几年来,人们将插值点进行划分,提出了块的思想,将连分式插值中的基于点的插值进行了推广,给出了基于块的有理插值的许多格式;文章针对基于块的二元Thiele型混合有理插值的一般格式,探讨了在同种分块形式下的对偶性,得到了一些有意义的性质,最后通过数值例子验证了文章的主要结论。 展开更多

关键词 Thiele-like插值 对偶性 块插商

在线阅读 下载PDF 职称材料

含多分布式能源聚合商的本地电力市场最优能源交易策略 被引量：6

10

作者 曾垂辉 李文正 +1 位作者 李宝伟 谢俊 《中国电力》 CSCD 北大核心 2023年第11期236-245,共10页

分布式能源虽广泛存在,但单体容量小,导致其无法直接参与市场的能源交易。为此,提出了一种含多分布式能源聚合商的本地电力市场最优能源交易策略。首先,零散的分布式能源以多个聚合商的形式参与本地电力市场的能源交易,配电系统运营商... 分布式能源虽广泛存在,但单体容量小,导致其无法直接参与市场的能源交易。为此,提出了一种含多分布式能源聚合商的本地电力市场最优能源交易策略。首先,零散的分布式能源以多个聚合商的形式参与本地电力市场的能源交易,配电系统运营商作为系统所有者参与本地电力市场和上级电力批发市场的能源交易;其次,建立一个含多分布式能源聚合商的本地电力市场最优能源交易双层模型;最后,利用Karush-Kuhn-Tucker(KKT)条件、强对偶理论以及大M法等将该模型转换为单层模型进行求解。算例仿真结果表明,所提模型可以有效促进分布式能源参与电力市场能源交易,并提高系统运行经济性。 展开更多

关键词 分布式能源聚合商 配电系统运营商 KKT条件 强对偶理论 本地电力市场

在线阅读 下载PDF 职称材料

非整数次Sobolev空间的稠密性定理 被引量：1

11

作者 刁元胜 高导昌 《华南理工大学学报（自然科学版）》 EI CAS CSCD 1996年第2期31-37,共7页

本文用简明的泛函分析方法证明在区域Ω上的非整数次Ｓｏｂｏｌｅｖ空间Ｈｓ（Ω）的稠密性定理，即当且仅当ｓ≤１／２，空间Ｃ０∞（Ω）在Ｈｓ（Ω）中稠密。并进一步推出，空间Ｈ０（Ω）＝Ｌ２（Ω）与Ｈｓ（Ω）（０＜ｓ＜１／２... 本文用简明的泛函分析方法证明在区域Ω上的非整数次Ｓｏｂｏｌｅｖ空间Ｈｓ（Ω）的稠密性定理，即当且仅当ｓ≤１／２，空间Ｃ０∞（Ω）在Ｈｓ（Ω）中稠密。并进一步推出，空间Ｈ０（Ω）＝Ｌ２（Ω）与Ｈｓ（Ω）（０＜ｓ＜１／２）函数的差异．这种差异表现在边界邻域的性态上． 展开更多

关键词 BANACH空间 商空间 等价范数 FOURIER变换 稠密 迹 对偶

在线阅读 下载PDF 职称材料