同态映射

作品数：116被引量：95H指数：5
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：廖祖华于加举胡庆平刘维龙罗晴更多>>
相关机构：江南大学云南大学西北大学西南交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金江苏省自然科学基金国家大学生创新性实验计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
构件动态演化内部一致性保证方法
《计算机科学》2018年第3期151-157,共7页郑明 李彤 莫启 周小煊 向文坤 何云 
国家自然科学基金(61379032;61662085;61262024;61462092);云南省教育厅科学研究基金(2014Y012);云南大学研究生科研创新基金项目(111)资助
基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究。为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致...
关键词：构件 动态演化 内部一致性 强模拟 同态映射 
新型软亚BCI-代数被引量：8
《计算机科学》2016年第1期22-24,60,共4页廖翠萃 廖祖华 张龙祥 童娟 罗晴 刘维龙 
国家自然科学基金项目(61170121;11401259);中央高校基本科研基金(JUSRR11407);国家大学生创新训练项目(201310295028);江南大学大学生创新训练项目(2014203)资助
首先将软集的参数集赋予亚BCI-代数的代数结构,给出新型软亚BCI-代数的概念;其次利用软集的交、且等运算,研究它的基本性质,并运用对偶软集的方法给出新型软亚BCI-代数的等价刻画;最后讨论新型软亚BCI-代数的同态像和原像的性质。
关键词：软集 软亚BCI-代数 软集运算 对偶软集 同态映射 
基于同态映射的从UML导出可综合Verilog算法
《计算机科学》2006年第4期247-249,共3页沈筱彦 陈杰 
863重点项目<32位高性能嵌入式数字信号处理器(DSP)芯片设计与实现>(项目号:2002AA1Z1130)
UML 建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点,而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为,故更精细的系统级建模方法变得日趋重要。本文构建了UML 元模型与可综合 Verilog 间...
关键词：统一建模语言(UML) VERILOG硬件描述语言 同态映射 
中国剩余算法在多元多项式最大公因式提取中的应用
《计算机科学》2005年第6期228-229,232,共3页杨宁学 诸昌钤 龚晖 
教育部世行贷款"高校考试技术手段的改革与实践"(1282C03041)
本文研究了利用中国剩余算法提取多元整系数多项式的最大公因式的算法,首先将多项式通过同态映射进行逐元化简,直至化为一元多项式,并对一元多项式提取最大公因式,然后利用中国剩余算法对一元最大公因式进行逐元反复提升,最后可得到多...
关键词：最大公因式 多元多项式 提取 剩余 中国 整系数多项式 一元多项式 应用 同态映射 有效算法 求解 算例 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部