中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	基于双线性群的同态承诺方案期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1532-1537 宋焰 \| 收藏 \| 浏览/下载：48/0 \| 提交时间：2011/07/01 承诺陷门双线性群子群判定假设同态性线性群承诺方案零知识协议密码学安全多方计算构造双线性映射支付协议用途广泛研究课题设计思想签名方案实例化群同态群结构单向性子群证明原语Electronic commerce Electronic document identification systems Function evaluation Network protocols Security of data
	基于同态映射的从UML导出可综合Verilog算法期刊论文 OAI收割计算机科学, 2006, 卷号: 33, 期号: 4, 页码: 247-249 作者: 陈杰; 沈筱彦 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/05/26 统一建模语言（uml） Verilog硬件描述语言同态映射
	UML到Verilog同态映射在SOC系统级建模上的应用期刊论文 OAI收割微电子学与计算机, 2006, 卷号: 23, 期号: 2, 页码: 1-5 作者: 沈筱彦; 陈杰; 王明明 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/05/26 统一建模语言 Verilog硬件描述语言片上系统（soc）建模同态映射
	模式匹配问题的描述框架与算法模型期刊论文 OAI收割模式识别与人工智能, 2006, 卷号: 19, 期号: 6, 页码: 715-721 张治; 车皓阳; 施鹏飞 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2011/07/13 模式匹配同态模式同态模式匹配匹配问题数学描述框架代数理论结构证明模式映射关系研究模式算法模型数学理论数学基础求解模式建立模式等价关系形式化应用归约
	保持理想的Gr(o)bner基的同态映射的一个有效判定方法期刊论文 OAI收割数学学报, 2003, 卷号: 46, 期号: 5 刘金旺; 刘卓军; 王明生; 申建华 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/08/25 同态映射项序 Grǒbner基