期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
Institution理论中一个提升函子的余连续性和连续性
1
作者 刘富春 《计算机与现代化》 1997年第4期62-65,共4页
本文将[1]一个重要定理(见本文命题2)提升为一个函子F:Insc→(Thc)op,并得到了该函子的余连续性和连续性。这为计算机的共享程序的安全调用以及模块化程序的再用技术的实现提供了一定的理论依据.同时也构造了一个liberal理论范畴TH... 本文将[1]一个重要定理(见本文命题2)提升为一个函子F:Insc→(Thc)op,并得到了该函子的余连续性和连续性。这为计算机的共享程序的安全调用以及模块化程序的再用技术的实现提供了一定的理论依据.同时也构造了一个liberal理论范畴TH1,这为“逐步求精”法处理参数化数据类型提供了依据,并且将命题2推广到TH1上。 展开更多
关键词 程序语言 INSTITUTION 函子 余连续 连续
下载PDF
Institution理论中一个提升函子的余连续性和连续性
2
作者 刘富春 《江西师范大学学报(自然科学版)》 CAS 1997年第3期233-238,共6页
该文构作了两个范畴Insc和Thc,将J.A.Goguen等文中的一个重要定理(即该文命题2)提升为一个函子F:Insc→Thcop,并且得到了该函子的余连续性和连续性.这为计算机模块化程序的安全调用以及系统工程中子... 该文构作了两个范畴Insc和Thc,将J.A.Goguen等文中的一个重要定理(即该文命题2)提升为一个函子F:Insc→Thcop,并且得到了该函子的余连续性和连续性.这为计算机模块化程序的安全调用以及系统工程中子系统理论的建立提供了一定的理论依据.另外也将命题2推广到liberal理论范畴Thl&上. 展开更多
关键词 余连续 连续 函子 范畴 INSTITUTION
下载PDF
减税成为新一轮财税改革核心
3
《中国乡镇企业》 2008年第10期24-25,共2页
财政部公布的数据显示,今年前七个月,全国财政收入40881.71亿元,同比增长30.5%;同期财政支出仅27443.46亿元,同比增长29.7%,财政盈余达13438.25亿元。因此,不少专家呼吁,在宏观财政盈余连续大幅增长,实体经济尤其是中小企业困难重重的... 财政部公布的数据显示,今年前七个月,全国财政收入40881.71亿元,同比增长30.5%;同期财政支出仅27443.46亿元,同比增长29.7%,财政盈余达13438.25亿元。因此,不少专家呼吁,在宏观财政盈余连续大幅增长,实体经济尤其是中小企业困难重重的局面下,下半年由财政部和税务总局牵头的税收制度改革中,无论是增值税的转型改革,还是个税制度的调整,财政减税都将成为核心。 展开更多
关键词 中小企业 增值税转型 减税 税收制度改革 新一轮 财政部 实体经济 全国财政收入 财政支出 余连续
原文传递
Thermo-hyperelastic models for nanostructured materials 被引量:10
4
作者 WANG ZhiQiao ZHAO YaPu 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS 2011年第5期948-956,共9页
In the framework of continuum thermodynamics, the present paper presents the thermo-hyperelastic models for both the surface and the bulk of nanostructured materials, in which the residual stresses are taken into acco... In the framework of continuum thermodynamics, the present paper presents the thermo-hyperelastic models for both the surface and the bulk of nanostructured materials, in which the residual stresses are taken into account. Due to the existence of residual stresses, different configuration descriptions of the surface (or the bulk) thermo-hyperelastic constitutive equations are not the same even in the cases of infinitesimal deformation. As an example, the effective thermal expansion coefficient of spherical nanoparticles is analyzed. 展开更多
关键词 nanostructured materials thermo-hyperelastic surface residual stresses
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部