代数模型

作品数：127被引量：419H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王全九孙晶赵会群刘小雄章卫国更多>>
相关机构：上海交通大学清华大学西安理工大学北京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国科学院知识创新工程重要方向项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=代数x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对称的时态海廷代数
《逻辑学研究》2022年第3期18-35,共18页葛雪 
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代...
关键词：时态逻辑 证明论 希尔伯特 代数模型 直觉主义 代数逻辑 
无限循环小数化为分数的反思被引量：1
《中学生数理化（七年级数学）（人教版）》2020年第11期8-8,共1页樊小琴 
代数式是用加、减、乘、除等运算符号把数或表示数的字母连接而成的式子,是后续学习中解决问题的基础,是学习方程、函数、不等式等代数模型的基石.人教版数学教科书七年级上册第92页的"实验与探究"有如下内容:我们知道分数1/3写为小数...
关键词：无限循环小数 代数模型 运算符号 后续学习 代数式 实验与探究 七年级上册 不等式 
建构知识体系 提升学科素养
《中学生数理化（七年级数学）（人教版）》2020年第10期9-10,共2页薛莺 陈锋 
代数式是用加、减、乘、除等运算符号把数或表示数的字母连接而成的式子,是后续学习中解决问题的基础,是学习方程、函数、不等式等代数模型的基石.在分母不含字母的代数式中,我们把那些含相同的字母,并且相同字母的指数也分别相同的单...
关键词：合并同类项 学科素养 代数模型 运算符号 代数式 后续学习 单项式 整式的加减 
构造代数模型解三角题
《中学生理科应试》2019年第5期16-17,共2页周华 
在求解三角问题时,如果能够根据式子的结构特征,联想相关的代数知识,构造出相关的代数模型,可把三角问题转化为代数问题,利用熟悉的代数知识便于问题的解决.
关键词：代数模型 三角题 构造 三角问题 结构特征 代数问题 问题转化 知识 
微咸水入渗条件下的一维代数模型研究被引量：2
《节水灌溉》2018年第6期106-110,共5页毕远杰 
国家自然科学基金项目(51209131);山西省水利科学技术研究与推广项目
入渗水水质是土壤水分入渗过程的主要影响因素之一,将入渗水水质因素融入淡水入渗模型,可改善其对微咸水入渗过程的描述和计算精度。首先采用淡水条件下的一维代数模型模拟微咸水入渗土壤含水率分布,在对模拟结果对比分析的基础上,将微...
关键词：微咸水 入渗 一维代数模型 土壤孔隙率 
软件模型代数性质的程序化验证
《计算机科学》2017年第11期240-245,共6页赵会群 黄榆涵 
国家自然科学基金(61370051)资助
软件模型代数的思想是通过引入进程代数来对软件体系结构进行建模。它将构件解释为变量,将连接子抽象为代数运算,并针对软件的特性建立了软件体系结构代数模型。在代数模型的基础上,讨论分析获得一系列能指导软件演化的代数性质。但是,...
关键词：代数模型 代数性质 程序化验证 软件演化 
网构软件体系结构代数模型被引量：8
《中国科学：信息科学》2013年第1期161-177,共17页赵会群 孙晶 
国家自然科学基金项目(批准号:61070030;61111130121);北京市属高等学校人才强教深化计划学术创新团队项目(批准号:PHR201107107)资助
由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽...
关键词：网构软件体系结构 抽象代数 进程代数 软件演化 
例说用判别式解其它问题
《初中数学教与学》2011年第9期24-26,共3页范鸿 
我们知道，一元二次方程的判别式是一元二次方程根的“检测器”，即可判定一元二次方程实根的各种情形．除此之外，它在其它许多方面有着广泛的应用：如建立等式、不等式，求方程中参数值或取值范围，证明与方程相关的代数问题，构造一...
关键词：判别式 一元二次方程根 存在性问题 取值范围 代数问题 代数模型 不等式 检测器 
面向服务的可信软件体系结构代数模型被引量：21
《计算机学报》2010年第5期890-899,共10页赵会群 孙晶 
国家"八六三"高技术研究发展计划项目基金(2007AA010302);北京市属高等学校人才强教深化计划学术创新团队建设计划;北京市教委科研计划项目基金(KM200710009009)资助~~
针对面向服务体系结构(Service Oriented Architecture,SOA)在形式化和可信属性建模方面的不足,用代数学方法对服务、服务组合以及服务体系结构的属性和行为特征进行抽象,把服务组合解释成组件"运算"实现,并结合进程代数中算子概念,定...
关键词：服务 服务组合 服务体系结构 抽象代数 进程代数 
形式语言的代数模型研究被引量：2
《昆明理工大学学报（理工版）》2007年第6期17-20,24,共5页陈星 汪海涛 胡景荣 
昆明理工大学科学研究基金的资助(项目编号:2006-57)
用统一的基础理论定义形式语言的基本概念是实现软件自动化的重要基石,试图用递归论的术语定义串、序列函词、串等价等程序语言中的基本概念,证明了任何上下文无关语言的串实例都与一个半格系统相对应,对自动化建立语言的代数语义模型...
关键词：形式语言 代数模型 软件工程 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部