南通大学自然科学基金(06Z048)
- 作品数：4 被引量：14H指数：2
- 相关作者：邵浩然王杰华邱建林顾翔更多>>
- 相关机构：南通大学更多>>
- 发文基金：南通大学自然科学基金江苏省高校自然科学研究项目南通市应用研究计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于生成树的网格资源发现算法
- 2008年
- 利用点对点技术的覆盖网络,提出了一种基于生成树的网格资源发现算法,通过维护并匹配邻居节点的链接资源信息位图索引,能有效地解决传统网格集中式资源发现算法缺乏动态性、可伸缩性和不能扩展等问题.仿真实验数据表明,该算法在查找过程中涉及的节点数和边数都比传统算法有明显降低,整个系统的资源发现效率大大提高.
- 邵浩然王杰华
- 关键词：生成树网格点对点资源发现
- 基于RSL的协议形式化描述与验证方法被引量：4
- 2009年
- 讨论使用RAISE规范语言(RSL)描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。
- 顾翔邱建林邵浩然
- 关键词：形式化描述RAISE规范语言
- 一种新的电子支付模型SSEP
- 2007年
- 文章在充分研究现有主流电子支付模型SET和SSL的特性基础上,结合现代密码学技术,提出了一种新的电子支付模型SSEP,其通过安全套接层提供基础通信安全,根据设计严密的交易流程结合数字签名技术实现商务逻辑安全.顾客的交易过程完全基于浏览器方式,较好地解决了安全性和易用性兼备的问题.
- 邵浩然王杰华
- 关键词：电子支付SET协议
- 数据库原理课程教学改革探讨被引量：10
- 2007年
- 对数据库原理课程教学的现状及存在的问题进行了研究,从课程的培养目标、教学内容、教学方法和考核方法等方面进行了教学改革探讨.
- 邵浩然
- 关键词：数据库原理教学改革案例教学法
