切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Institution中自由理论态射的合成
Institution中自由理论态射的合成
来源 :软件学报 | 被引量 : 0次 | 上传用户:yan983524
【摘 要】
:
本文在一定的条件下建立了Institution中理论态射的粘合与各因子态射的自由性之间的联系,并证明了自由理论态射的复合仍为自由的。
【作 者】
:
应明生
【机 构】
:
南京航空航天大学计算机科学与工程系
【出 处】
:
软件学报
【发表日期】
:
1997年8期
【关键词】
:
代数语义学
范畴论
INSTITUTION
程序设计
Algebraic semantics
abstract model theory
category
【基金项目】
:
国家自然科学基金,,国家863高科技项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在一定的条件下建立了Institution中理论态射的粘合与各因子态射的自由性之间的联系,并证明了自由理论态射的复合仍为自由的。
其他文献
高职院校创新创业教育与思想政治教育的耦合与联动路径探究
新时期职业教育改革对高职院校人才培养提出“德技并修、工学结合”的人才培养目标和方式要求。创新创业教育和思想政治教育作为高职院校的两个教育现象,二者具有内在耦合性
期刊
思政教育
双创教育
耦合
联动
ideological education
Double gen education
Coupling
linkage
动态环拓扑多机系统上DBP学习算法并行计算模型的构造与实现
人工神经网络模型的软件模拟,其并行算法的设计、实现及性能评价对于神经网络计算机和各种专用神经网络VLSI芯片的研制具有十分重要的意义。本文首先构造了一个分布式存储器、信息
期刊
神经网络
学习算法
并行算法
环拓扑
多机系统
Artificial neural network
BP learning algorithm
parallel
论林业信息资源共享战略
期刊
林业信息资源
资源共享
林业
研究机构
基于神经反射的双足机器人步态控制的研究
双足步行机器人因为其高度的非线性系统且无固定支撑底面,使得传统的控制策略或算法产生的步态控制运动十分的僵硬,缓慢,缺乏灵活的自组织能力,与真正生物步态存在很大差异;
期刊
神经反射
双足机器人
步态控制策略
节律运动
reflex
robot
gait control strategy
rhythmic movement
无国界的交流——浅析跨文化传播中身体语言的重要性
电视、电影是以影像为主体的艺术,力图通过作品来塑造鲜活感人的艺术对象,并通过此对象或表达主题,或反映时代精神,或映射社会现象。最终,以具体的作品形态来实现特定的价值意义和
期刊
跨文化传播
身体语言
交流
国界
电视节目
电影作品
艺术对象
作品形态
高职生积极心理资本与学习投入的关系
本文主要针对开发学生的积极的心理资本,以提高高职生的希望感、自我效能感和韧性,来加强学生学习的投入的水平。对于高职生而言,其具有与学习、科研和就业相关的持久的积极情感
期刊
高职生
积极心理
学习投入
论小学数学教学中如何培养学生的创新能力
【摘 要】“创新是一个民族进步的灵魂,是国家兴旺发达的不竭动力”。创新和实践的最终目的是使学生人格得到完善和塑造,使学生获得新生的意义。 【关键词】小学数学;创新能力 作为小学数学教师,应在培养学生创新精神下功夫,在课堂教学中培养学生的创新能力我认为可以从几个方面着手。 一、创造良好的课堂氛围,培养创新思维 首先,课堂气氛直接影响学生的学习情绪。宽松、生动、活泼的气氛,可以使情绪具有动机和
期刊
小学数学
创新能力
网络时代公共图书馆读者服务工作探析
互联网的快速发展,推动网络技术和多媒体广泛应用于图书阅读与文献查阅馆,冲击了图书馆传统的服务理念和服务模式。本文简要分析了公共图书馆在网络时代的读者服务工作现状,
期刊
网络时代
图书馆
读者服务
教育游戏在小学数学中的应用研究
当前小学数学教学过程中很多学生缺乏对数学知识的探究兴趣,为了改变这一现状并有效提升小学数学课堂教学的效果和效率,作为小学数学教师更是应该积极寻找相应地方法,从而更好的
期刊
小学数学
教学效率
教育游戏
应用方式
相关研究
培养低年级学生课外阅读的策略
阅读是语文之本,想提高学生的语文素养,培养低年级学生课外阅读习惯显得很重要。教师们可以通过激发低年级学生课外阅读的欲望、教给学生课外阅读的方法、保持学生课外阅读的持
期刊
低年级学生
课外阅读
习惯
与本文相关的学术论文