期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
基于有限状态机最小化理论的同余关系研究 被引量:1
1
作者 郭凯红 李文立 《计算机应用研究》 CSCD 北大核心 2009年第5期1746-1748,共3页
对有限状态机(FA)的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系。为机器M与M′构造相关的代数系统,证明了两者之间存在同余关系。实验表明,同余关系对简化系统描述具有重要意义,为揭示原... 对有限状态机(FA)的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系。为机器M与M′构造相关的代数系统,证明了两者之间存在同余关系。实验表明,同余关系对简化系统描述具有重要意义,为揭示原系统与约简系统之间蕴涵的更为深刻的内在关系提供了必要的理论基础。 展开更多
关键词 有限状态 约简 代数系统 同余关系
下载PDF
基于关系代数的模糊综合评判算法的研究和实现 被引量:1
2
作者 郭伟宏 闪四清 刘鲁 《计算机工程与应用》 CSCD 北大核心 2001年第17期147-148,173,共3页
模糊综合评判有着广泛的实际应用背景。关系代数是数据库技术的一个非常重要的理论基础,SQL语言是关系代数在数据库技术中的表现形式。把关系代数与模糊综合评判结合起来,有着重要的实践意义。基于关系代数的RFCE就是关系代数与模糊... 模糊综合评判有着广泛的实际应用背景。关系代数是数据库技术的一个非常重要的理论基础,SQL语言是关系代数在数据库技术中的表现形式。把关系代数与模糊综合评判结合起来,有着重要的实践意义。基于关系代数的RFCE就是关系代数与模糊综合评判结合的结晶。 展开更多
关键词 关系代数 关系型模糊综合评判 结构化查询语言 算法 企业数据库
下载PDF
量子逻辑中一个形式化的状态-性质对偶关系(英文)
3
作者 钟盛阳 《逻辑学研究》 CSSCI 2017年第2期112-133,共22页
本文展示了量子物理中一个状态一性质对偶关系的形式化。在性质方面,Piron证明了Piron格(最初被称为不可分解的命题系统)刻画了量子系统的可测试性质所组成的结构。在状态方面,我们定义量子Kripke框架来刻画量子系统的状态在非正交关系... 本文展示了量子物理中一个状态一性质对偶关系的形式化。在性质方面,Piron证明了Piron格(最初被称为不可分解的命题系统)刻画了量子系统的可测试性质所组成的结构。在状态方面,我们定义量子Kripke框架来刻画量子系统的状态在非正交关系之下所组成的结构。而且,我们定义了Piron格之间的线性态射,并把Piron格所组成的类组织成一个范畴。我们也定义了量子Kripke框架之间的连续同态,并把量子Kripke框架所组成的类组织成一个范畴。最后,我们证明了在范畴论的意义上Piron格所组成的范畴和量子Kripke框架所组成的范畴是对偶的,这样我们就用数学的语言描述了量子物理里面一个直观上的状态—性质对偶关系。这个形式化的对偶关系在代数结构和关系结构之间建立了联系,这将会有助于研究关于量子物理的逻辑。 展开更多
关键词 对偶关系 量子 性质 状态 逻辑 代数结构 范畴论 命题系统
下载PDF
指向模型意识整体进阶的结构化学习活动——“基本数量关系的复习”教学片断与思考
4
作者 李相林 姚春香 《小学数学教育》 2024年第14期98-101,共4页
“数量关系”主题的内容结构化整合及其核心素养导向的目标指向,是《课程标准(2022年版)》中课程内容的重要变化之一。在现阶段六年级“数与代数”领域的总复习中落实这一要求,有着迫切的必要性。从学习视角看,学生对数量关系的学习存... “数量关系”主题的内容结构化整合及其核心素养导向的目标指向,是《课程标准(2022年版)》中课程内容的重要变化之一。在现阶段六年级“数与代数”领域的总复习中落实这一要求,有着迫切的必要性。从学习视角看,学生对数量关系的学习存在两方面问题:一是“数量关系”的学习内容较为分散,不利于学生认知体系的建构。由于《课程标准(2011年版)》没有设置“数量关系”主题,大多数实际问题的教学都是结合“数的运算”安排的。 展开更多
关键词 数与代数 认知体系 教学片断 数的运算 总复习 课程标准 结构化学习 基本数量关系
原文传递
理想状态下泛逻辑的形式演绎系统B的完备性
5
作者 罗敏霞 何华灿 《计算机科学》 CSCD 北大核心 2005年第6期93-95,共3页
UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。
关键词 形式演绎系统 理想状态 完备性 泛逻辑 广义相关系 自相关系 代数系统 滤子
下载PDF
关于有限状态机最小化理论的一个注记
6
作者 郭凯红 《辽宁大学学报(自然科学版)》 CAS 2008年第3期228-231,共4页
对有限状态机的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系.阐述了同余关系对系统描述的意义,为应用有限状态机简化复杂过程... 对有限状态机的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系.阐述了同余关系对系统描述的意义,为应用有限状态机简化复杂过程提供了进一步的理论依据. 展开更多
关键词 有限状态 最小化 代数系统 同余关系
下载PDF
大数据分区管理模型及其应用研究 被引量:12
7
作者 张文燚 项连志 王小芳 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2014年第3期353-360,共8页
针对大数据分区管理技术缺乏普遍适用的形式化数据分区模型的问题,引入一个包含痕迹代数系统、结构化状态关系代数系统、多结构化状态关系代数系统的大数据范畴,作为支持大数据分区管理及其相关应用研究的基础理论模型;在此基础上,给出... 针对大数据分区管理技术缺乏普遍适用的形式化数据分区模型的问题,引入一个包含痕迹代数系统、结构化状态关系代数系统、多结构化状态关系代数系统的大数据范畴,作为支持大数据分区管理及其相关应用研究的基础理论模型;在此基础上,给出了以满足"本地充足"为目标的,由基于活动场景和实体实例标识的大数据切片规则,以及面向活动场景的切片分配规则构成的,支持大数据分区管理和快速查询响应的形式化数据分区模型TSEI-PS。TSEI-PS已经在住房和城乡建设部的信息资源统一规划和国家住房信息系统建设中得到了应用。 展开更多
关键词 大数据 形式化数据分区 本地充足 痕迹代数 结构化状态关系代数 多结构化状态关系代数 范畴
下载PDF
UML模型中并发对象的组合验证
8
作者 董威 王戟 齐治昌 《计算机科学》 CSCD 北大核心 2005年第7期231-233,F004,共4页
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全... 本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题。 展开更多
关键词 并发对象 UML模型 STATECHARTS 验证 组合 同步合成 模拟关系 对象系统 模型检验 状态爆炸 结构化 自动机 状态 协同
下载PDF
基于关系代数的软集合理论研究与应用
9
作者 邹艳 肖智 《数学的实践与认识》 CSCD 北大核心 2010年第24期188-193,共6页
基于关系代数理论中的部分思想,定义了软集合理论中的差运算、选择运算和投影运算.探讨了关系代数和软集合的关系,运用关系代数的选择、投影、并、差等运算实现了软集合参数约简算法,并用SQL语言实现了算法.最后将算法运用到房屋置业选... 基于关系代数理论中的部分思想,定义了软集合理论中的差运算、选择运算和投影运算.探讨了关系代数和软集合的关系,运用关系代数的选择、投影、并、差等运算实现了软集合参数约简算法,并用SQL语言实现了算法.最后将算法运用到房屋置业选择问题中进行验证.结果表明,软集合方法能以一种更简单直接的形式为决策问题提供有效的参考依据. 展开更多
关键词 关系代数 软集合 结构化查询语言 参数约简
原文传递
网络体系结构建模和性能评价的形式化方法——随机进程代数
10
作者 冯烟利 余镇危 +1 位作者 潘耘 刘克俭 《数学的实践与认识》 CSCD 北大核心 2004年第11期102-107,共6页
随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .并以令牌环局域网模型为例来说明其应用 .进一步讨论了 SPA的... 随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .并以令牌环局域网模型为例来说明其应用 .进一步讨论了 SPA的三种等价关系 ,以期解决模型状态空间爆炸问题 . 展开更多
关键词 进程代数 形式化方法 操作语义 建模 令牌 局域网 计算机网络 等价关系 随机 状态空间
原文传递
浅谈逻辑设计法在继电控制线路中的应用 被引量:1
11
作者 李利文 《教师》 2013年第14期111-112,共2页
一、逻辑设计法 逻辑设计法就是利用逻辑代数这一数学工具设计电气控制线路。在继电接触器控制电路中,电器的线圈或触点的工作存在着两种相互对立的状态,符合逻辑关系,把这种具有两种相互对立状态的物理量称为逻辑变量。而在逻辑代... 一、逻辑设计法 逻辑设计法就是利用逻辑代数这一数学工具设计电气控制线路。在继电接触器控制电路中,电器的线圈或触点的工作存在着两种相互对立的状态,符合逻辑关系,把这种具有两种相互对立状态的物理量称为逻辑变量。而在逻辑代数中,用“0”和“1”来表示这种相互对立的关系。为此规定继电器、接触器、电磁阀等元件的线圈通电时为“1”状态, 展开更多
关键词 逻辑代数 控制线路 设计法 应用 对立状态 工具设计 控制电路 逻辑关系
下载PDF
用二次量子化方法解决全同粒子的一个例证
12
作者 吕志新 田耘 《电大理工》 2003年第1期17-18,共2页
本文利用二次量子化方法证明了全同费米子体系在轴对称势场中运动状态下的粒子算符间的代数关系和具有力作用的能量本征值。
关键词 二次量子化 全同粒子 例证 能量本征值 代数关系 运动状态 力作用 轴对称 算符 势场 费米
下载PDF
经营过程的形式化
13
作者 李斌 《管理观察》 1999年第11期56-57,共2页
说明了在信息技术方面经营过程(“geschaeftprocess”)的系统化形式化。强调了为利用自动化最佳设备改善经营过程而进行的经营过程形式化的意义。指出,到目前为止,已经出现了经营过程形式化的许多方案。文中所提出的形式化是以其中... 说明了在信息技术方面经营过程(“geschaeftprocess”)的系统化形式化。强调了为利用自动化最佳设备改善经营过程而进行的经营过程形式化的意义。指出,到目前为止,已经出现了经营过程形式化的许多方案。文中所提出的形式化是以其中应包括生产对象、它们的转化及其与周围环境的相互关系为根据的。说明了经营过程的语义形式化模型。指出,根据DIN662M标准,过程指的是物质对象、能量和信息的变换和运输。引进了对象(生产、经营)状态和面向对象转化的股票的概念。于是,对象是用状态、股票、转化来表征的。同时,引进了下列假说:准确的对象起始状态可以认定,对象的转化目标也可以鉴别,经营过程的转化按已知规则进行,经营过程的性质与起始状态和终止状态有关。说明了评定经营结构、生产因素、周围环境对经营过程的影响的方法。表述了下列概念:局部过程,任务载体,营业过程的输入和输出。分析了工作手段、时间关系、逻辑关系、空间关系和操作关系的概念。列出了经营过程形式化概念和关键因素:结构化、可变性、推动力、信息量的综合表。 展开更多
关键词 经营过程 形式化模型 面向对象 起始状态 转化目标 信息技术 周围环境 相互关系 空间关系 结构化
下载PDF
浅谈班主任的协调工作
14
作者 高宝芹 《呼伦贝尔学院学报》 2000年第2期84-83,共2页
关键词 班主任 协调工作 现代教学论 教学效果 心理状态 单元测试 代数 情感心理 协调关系 强不知以为知
下载PDF
大数据如何惠民
15
作者 胡奎 《中国信息界》 2015年第2期36-37,共2页
现在从国家到行业都在搞信息惠民、智慧城市。要解决落地的问题,就要从一个真正惠民的视角去看,从小的问题上去抓。目前,信息社会已经迈向了移动互联网时代,到了万物互联的状态,各式各样的数据源产生,云计算产生了大量的数据,涉及我们... 现在从国家到行业都在搞信息惠民、智慧城市。要解决落地的问题,就要从一个真正惠民的视角去看,从小的问题上去抓。目前,信息社会已经迈向了移动互联网时代,到了万物互联的状态,各式各样的数据源产生,云计算产生了大量的数据,涉及我们工作生活的方方面面。因此我们必须讨论大数据。以前,只要涉及到各种业务系统,结构化的数据(生产、业务、交易和客户信息等)会用数据库记录下来。现在,与城市。 展开更多
关键词 客户信息 信息化专家 社区安全 服务模型 分析模型 物联网 结构化 量化关系 不知道 亚健康状态
下载PDF
广播监测网中的数据库同步技术 被引量:2
16
作者 刘冬姝 于阳 《信息与电脑(理论版)》 2014年第4期121-121,共1页
本文结合某广播监测网的实际情况,较为详细的探讨了SQL PLUS命令/SQL语句、触发器方式和快照方式这三种数据库同步技术。
关键词 同步技术 TABLE 数据同步 ORACLE 结构化查询语言 关系代数 监测台 插入操作 数据处理中
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部