代数模型

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

检索结果分析

结果分析中...
选择条件：
  • 学科=理学—数学x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
对称的时态海廷代数
《逻辑学研究》2022年第3期18-35,共18页葛雪 
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代...
关键词：时态逻辑 证明论 希尔伯特 代数模型 直觉主义 代数逻辑 
高职院校专业设置的代数模型
《湖北理工学院学报》2020年第6期53-56,共4页罗小兵 
湖北省中华职业教育社调研课题(项目编号:HBZJ2020070)。
高水平高职院校建设的根本指引是办学定位,高职教育的宗旨应该是服务地方经济和社会发展,因此高职教育的发展必须与时俱进,必须思考如何根据学校现有规模和社会发展的外部环境科学地设置专业.基于此,采用定量分析的方法,从影响高职专业...
关键词：专业设置适度 专业设置需求 专业设置可能性 向量函数 标准化处理 
P-集合的代数模型
《商丘师范学院学报》2020年第3期1-3,共3页李小朝 
河南省基础与前沿技术研究项目(142300410449);河南省高等学校青年骨干教师培养计划(2019GGJS228).
利用线性方程组解的理论,给出P-集合的一个代数模型,并研究了该代数模型的一些基本性质.
关键词：P-集合 线性方程组 P-向量空间 
基于代数模型的机电作动器Vague动态故障树分析被引量：3
《西北工业大学学报》2015年第6期977-983,共7页王剑 曹宇燕 李婷 谢蓉 王新民 
陕西省自然科学基金(2014JQ8342);航空科学基金(20152853029)资助
结合Vague集理论和动态故障树分析方法,提出一种基于代数模型求解的Vague动态故障树的机电作动器可靠性分析方法。定义了动态故障树的时间算子,给出了动态逻辑门的代数模型,推导了运算律的证明;为了规范动态故障树顶事件的结构函数,给...
关键词：机电作动器 VAGUE集 动态故障树 代数模型 可靠性 
浅谈数形结合思想在初中数学教学中的尝试
《教育界（教师培训）》2013年第3期108-108,共1页韩军 
在初中数学教学中，应逐步渗透数形结合的思想方法，培养学生的思维能力，使其形成良好的数学思维习惯，数形结合的思想贯穿初中数学教学的始终。数形结合思想的内容主要体现在以下几个方面：（1）建立适当的代数模型（主要是方程、不...
关键词：数形结合思想 数学教学 初中 思想方法 思维能力 思维习惯 代数模型 函数模型 
2011年研究生建模竞赛B题的评阅综述
《数学的实践与认识》2012年第14期212-217,共6页周国标 
本题从一项科研项目中提炼、并结合目前成为关注热点的隐身技术而设计,侧重于数学建模.结合题中的2个问题,可以抽象出3个平时比较少见的数学模型:几何模型,反射投影模型和积分方程模型.在竞赛中,前2个模型都有部分同学正确地得出,可惜的...
关键词：几何模型 代数模型 积分方程模型 
离散时间序列上的代数模型
《山东理工大学学报（自然科学版）》2007年第5期93-96,共4页闵祥娟 张晓丹 李爱华 
主要研究离散时间序列上的代数模型.对于不能对角和不满秩的时间序列矩阵,运用指数对数的可逆变换及相关的列变换化为满秩可对角的时间序列矩阵,从而找到代数多项式模型.
关键词：时间序列 代数模型 可逆变换 
北京2008奥运会临时超市网点设计的优化模型
《乐山师范学院学报》2005年第12期29-32,共4页汪天飞 李彬 
本文对2008年奥运场馆周边地区各临时商业网点(MS)的优化设置问题进行了详细讨论。文章在对access数据库中提供的调查表数据统计的基础上,得出了观众在出行、用餐及购物三方面的规律,采用离散化方法,建立了统计各商业区总的人流量百分...
关键词：人流量百分比 代数模型 最优设计方案 线性规划模型 
四元数在图形学中的应用被引量：5
《福建电脑》2005年第11期36-37,共2页吴拥民 
本文以复数为引导介绍四元数的代数模型,有效减低了学习难度。基于四元数的几何模型,进一步介绍了四元数在计算机图形学中的方向插值和旋转应用,为从事实时图形绘制的技术人员提供了理论基础。
关键词：图形学 四元数 应用 计算机图形学 实时图形绘制 代数模型 几何模型 技术人员 
GA状态空间的代数模型
《数学的实践与认识》2005年第2期119-123,共5页傅学芳 
以遗传算子的代数模型为基础 ,以矩阵的初等变换及初等矩阵为基本工具 ,给出了遗传算法状态之间的代数通达概念 ,分析了杂交、变异、选择及保优等算子的通达性 ,建立了遗传算法状态空间的代数通达关系 ,给出了返祖操作、退化操作等遗传...
关键词：初等矩阵 初等变换 代数模型 遗传算子 状态空间 遗传操作 GA 遗传算法 工具 退化 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部