检索结果-内蒙古大学图书馆

模式识别与人工智能 2011年第5期24卷 610-618页

作者：彭家寅内江师范学院数学与信息科学学院四川省高等学校数值仿真重点实验室内江641112

初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言.获得l值自动机及... 详细信息

初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言.获得l值自动机及被l值自动机识别的语言的连接问题刻画.特别地,建立l值和L值泵引理,并得到l值语言的判定性刻画.最后,揭示带ε移动的l值自动机与不带ε移动的l值自动机之间的两个等价关系.

关键词：非经典逻辑自动机正则文法形式语言泵引理

来源：评论

学校读者我要写书评

暂无评论

几类非确定型量子程序的终止验证

引用

电子学报 2016年第12期44卷 2932-2938页

作者：雷红轩彭家寅刘熠内江师范学院数学与信息科学学院四川内江641112 四川省高等学校数值仿真重点实验室四川内江641112

程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先... 详细信息

程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先讨论了量子通讯中常用的比特翻转、相位翻转、去极化、幅值阻尼、相位阻尼等信道作为特殊的非确定型量子程序从计算基态开始运行时的可达集合和终止集合等程序验证问题.其次,把上述五种量子程序两两组合组成非确定型量子程序,根据这五种量子程序的可达集合之相似点,最终合并成三种非确定型量子程序,重点讨论了这三种非确定型量子程序从计算基态开始运行时的终止和发散等程序验证问题.研究表明:这三种非确定型量子程序从计算基态0开始运行时都是终止的;而从计算基态1开始运行时:比特翻转信道和去极化信道组成的非确定型量子程序的终止和发散与分别刻画它们的两个参数有关;比特翻转信道和相位翻转信道组成的非确定型量子程序的终止和发散只与刻画比特翻转信道的参数有关;幅值阻尼信道和相位阻尼信道组成的非确定型量子程序是发散的,其发散条件与刻画量子信道的两个参数都没有关系.本文的结果可以为量子信息安全中量子通讯协议的验证提供理论和技术支持.

关键词：量子通讯量子程序程序验证信息安全

来源：评论

学校读者我要写书评

暂无评论

固定界面Level Set方法在爆轰波阵面传播中的应用

引用

兵工学报 2019年第10期40卷 2080-2087页

作者：张莉吴开腾内江师范学院数学与信息科学学院四川内江641110 内江师范学院四川省高等学校数值仿真重点实验室四川内江641110 内江师范学院四川省数据恢复重点实验室四川内江641110

针对重新初始化造成的界面位置偏离问题,提出一种固定界面LevelSet方法。该方法的基本思想是在重新初始化相邻两次迭代过程中,通过构建保持界面不动满足的条件,从而推导出光滑参数的计算公式。与传统LevelSet方法相比较,固定界面LevelSe... 详细信息

针对重新初始化造成的界面位置偏离问题,提出一种固定界面LevelSet方法。该方法的基本思想是在重新初始化相邻两次迭代过程中,通过构建保持界面不动满足的条件,从而推导出光滑参数的计算公式。与传统LevelSet方法相比较,固定界面LevelSet方法将固定的光滑参数修正为变化的光滑参数。数值模拟结果表明:固定界面LevelSet方法在重新初始化过程中能够很好地固定界面位置,从而提高LevelSet方法的质量守恒性;固定界面LevelSet方法能够有效地避免由于误差累积导致的爆轰波阵面偏离现象,具有较高的计算精度和分辨率,适用于求解爆轰波阵面传播问题。

关键词： LevelSet方法固定界面光滑参数爆轰波阵面传播

来源：评论

学校读者我要写书评

暂无评论

效应代数的直觉模糊滤子

引用

模糊系统与数学 2011年第4期25卷 35-41页

作者：彭家寅四川省高等学校数值仿真重点实验室内江师范学院数学与信息科学学院

引入效应代数的直觉模糊滤子和它的水平滤子的概念,讨论了直觉模糊滤子与水平滤子间的关系,给出了直觉模糊滤子的等价描述,研究了直觉模糊滤子的几个运算性质。在两个经典效应代数的效应态射与效应同构意义下,讨论了这种直觉模糊滤子的... 详细信息

引入效应代数的直觉模糊滤子和它的水平滤子的概念,讨论了直觉模糊滤子与水平滤子间的关系,给出了直觉模糊滤子的等价描述,研究了直觉模糊滤子的几个运算性质。在两个经典效应代数的效应态射与效应同构意义下,讨论了这种直觉模糊滤子的像和前像问题。

关键词：效应代数直觉模糊集直觉模糊滤子水平滤子效应态射(同构)

来源：评论

学校读者我要写书评

暂无评论

Naver-Stokes方程的非协调四边形元的稳定化方法

引用

四川大学学报（自然科学版） 2013年第6期50卷 1167-1173页

作者：覃燕梅孔花曾德强内江师范学院四川省高等学校数值仿真重点实验室/数学与信息科学学院内江641112

作者给出了解Navier-Stokes方程的非协调混合四边形有限元(P1-Q0和P1-Q1,其中P1表示P1非协调四边形元)的稳定化方法.P1-Q0和P1-Q1不满足inf-sup条件,因而所给的稳定化方法绕开了inf-sup条件对P1-Q0和P1-Q1元的限制.作者证明了该方法的... 详细信息

作者给出了解Navier-Stokes方程的非协调混合四边形有限元(P1-Q0和P1-Q1,其中P1表示P1非协调四边形元)的稳定化方法.P1-Q0和P1-Q1不满足inf-sup条件,因而所给的稳定化方法绕开了inf-sup条件对P1-Q0和P1-Q1元的限制.作者证明了该方法的稳定性和解的存在唯一性,并得到了最优误差估计.

关键词：非协调四边形元 Navier—Stokes方程压力投影

来源：评论

学校读者我要写书评

暂无评论

基于L^＊-格值逻辑上的BCK-代数中直觉不分明化理想

引用

系统科学与数学 2010年第4期30卷 556-576页

作者：彭家寅四川省高等学校数值仿真重点实验室内江师范学院数学与信息科学学院内江641100

在L^＊-格值逻辑的语义框架下，以L^＊-格值上的Lukasiewicz蕴涵算子为工具定义了L^＊-格值逻辑上的直觉不分明化BCK-代数的概念，将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^＊-格值谓词演算下给予了新的刻画... 详细信息

在L^＊-格值逻辑的语义框架下，以L^＊-格值上的Lukasiewicz蕴涵算子为工具定义了L^＊-格值逻辑上的直觉不分明化BCK-代数的概念，将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^＊-格值谓词演算下给予了新的刻画，讨论了它们的性质及其关系，研究了这些理想与其同态象、同态原象之间关系，获得了同类理想之积仍为该类理想．

关键词： L^＊-格值 Lukasiewicz蕴涵算子直觉不分明化BCK-代数直觉不分明化理想直觉不分明化正定蕴涵理想直觉不分明化蕴涵理想

来源：评论

学校读者我要写书评

暂无评论

Navier-Stokes方程最优控制问题的一种新型投影稳定化方法

引用

四川大学学报（自然科学版） 2016年第5期53卷 973-979页

作者：覃燕梅内江师范学院数学与信息科学学院/四川省高等学校数值仿真重点实验室内江641112

本文研究了高雷诺数下二维非定常Navier-Stokes方程最优控制问题的一种新型投影稳定化方法.通过L^2投影稳定化技巧,本文绕开了inf-sup条件对等阶有限元的束缚,克服了雷诺数较大时,对流占优引起的振荡.该方法的优点在于:所有计算只需要... 详细信息

本文研究了高雷诺数下二维非定常Navier-Stokes方程最优控制问题的一种新型投影稳定化方法.通过L^2投影稳定化技巧,本文绕开了inf-sup条件对等阶有限元的束缚,克服了雷诺数较大时,对流占优引起的振荡.该方法的优点在于:所有计算只需要在同一套网格上执行,不需要嵌套网格或者将速度和压力的梯度投影到粗网格上.

关键词：最优控制非定常Navier-Stokes方程高雷诺数 L2投影

来源：评论

学校读者我要写书评

暂无评论

BCH-代数的Ω-模糊点理想

引用

模糊系统与数学 2009年第6期23卷 5-11页

作者：彭家寅四川省高等学校数值仿真重点实验室内江师范学院数学与信息科学学院四川内江641112

引入BCH-代数的Ω-模糊点理想的概念,给出了它的几个实例,研究了它们的一些性质。讨论了Ω-模糊理想与Ω-模糊点理想的关系,获得了Ω-模糊点理想的几个等价描述,研究了Ω-模糊点理想的同态像与同态原像的性质,给出了BCH-代数的Ω-模糊... 详细信息

引入BCH-代数的Ω-模糊点理想的概念,给出了它的几个实例,研究了它们的一些性质。讨论了Ω-模糊理想与Ω-模糊点理想的关系,获得了Ω-模糊点理想的几个等价描述,研究了Ω-模糊点理想的同态像与同态原像的性质,给出了BCH-代数的Ω-模糊点理想与BCH-代数之积代数的Ω-模糊点理想的关系,讨论了模糊点理想与Ω-模糊点理想之间的相互构造。

关键词： BCH-代数模糊点理想 Ω-模糊点理想同态

来源：评论

学校读者我要写书评

暂无评论

格值有限状态自动机的半群

引用

计算机工程与应用 2010年第25期46卷 49-50页

作者：雷红轩内江师范学院数学与信息科学学院四川省高等学校数值仿真重点实验室四川内江641112

提出了格值有限状态自动机的定义,给出了格值有限状态自动机的两种同余关系,研究了格值有限状态自动机的半群的若干性质,最后给出了两种有限半群E(A)和E(A)的关系。

关键词：格半群模糊有限自动机半群同态

来源：评论

学校读者我要写书评

暂无评论

线性规划的宽邻域预估校正算法

引用

山东大学学报（理学版） 2009年第7期44卷 66-70,76页

作者：张莉张涛四川省高等学校数值仿真重点实验室四川内江641112 内江师范学院数学与信息科学学院四川内江641112

提出了一种新的内点算法——宽邻域预估校正算法。该算法基于经典预估校正算法思想,把窄邻域拓展到宽邻域里,使算法更快地迭代。给出了算法的具体步骤,讨论了其计算复杂性,分析结果表明,所给算法是一多项式时间算法。通过数值实验验证... 详细信息

提出了一种新的内点算法——宽邻域预估校正算法。该算法基于经典预估校正算法思想,把窄邻域拓展到宽邻域里,使算法更快地迭代。给出了算法的具体步骤,讨论了其计算复杂性,分析结果表明,所给算法是一多项式时间算法。通过数值实验验证算法的有效性。

关键词：线性规划宽邻域预估校正算法复杂度

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：