您的位置: 专家智库 > >

浙江省自然科学基金(LY12F02009)

作品数:5 被引量:14H指数:2
相关作者:陈中育郭婷肖春水袁立国李方鹏更多>>
相关机构:浙江师范大学更多>>
发文基金:浙江省自然科学基金国家自然科学基金浙江省科技计划项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...

主题

  • 2篇范畴论
  • 1篇形式化
  • 1篇形式化方法
  • 1篇映射
  • 1篇用例建模
  • 1篇用例模型
  • 1篇指纹
  • 1篇软件开发
  • 1篇软件开发框架
  • 1篇三层架构
  • 1篇数字指纹
  • 1篇纠删码
  • 1篇加密
  • 1篇架构
  • 1篇工作流
  • 1篇工作流建模
  • 1篇分布式
  • 1篇分布式存储
  • 1篇MVC
  • 1篇ORM

机构

  • 5篇浙江师范大学

作者

  • 5篇陈中育
  • 2篇郭婷
  • 2篇肖春水
  • 1篇李方鹏
  • 1篇袁立国
  • 1篇赵硕

传媒

  • 2篇计算机与现代...
  • 1篇计算机工程
  • 1篇计算机系统应...
  • 1篇浙江师范大学...

年份

  • 1篇2015
  • 1篇2014
  • 2篇2013
  • 1篇2012
5 条 记 录,以下是 1-5
排序方式:
一种软件开发框架的设计优化被引量:7
2013年
针对三层架构存在的缺陷,提出一种五层开发框架的设计方法.采用MVC设计模式引入了控制器,该控制器降低了表示层和业务逻辑层之间的耦合度;通过ORM技术增加了数据持久层,解决了关系数据模型和面向对象模型之间的"阻抗不匹配"问题.
袁立国陈中育李方鹏郭婷
关键词:三层架构软件开发框架MVCORM
基于范畴论的构件行为组合研究被引量:4
2012年
针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。
赵硕陈中育肖春水
关键词:范畴论形式化方法
一种基于目标转换的用例建模方法
2014年
在基于目标的需求建模方法中,从目标到需求的分析过程,因为过度依赖自然语言导致建模效率低和准确性不高等问题。本文引入可扩展标记语言XML,将目标转化为XML描述,给出XML转换算法,明确"关注点"及其关系,得到用例模型,其建模过程避免了自然语言的二义性。
林郁峰陈中育骆正平吴星同
关键词:XML映射用例模型
基于构件的工作流建模研究被引量:2
2013年
采用范畴论,把工作流过程模型中的元素抽象为工作流构件,模型中的逻辑次序抽象为构件之间的态射关系,提出一种基于构件的工作流范畴模型。利用范畴推出运算,给出工作流构件的组合操作语义,并用实例进行分析。
肖春水陈中育郭婷
关键词:范畴论工作流建模
基于MD5加密的Tornado码复制算法改进被引量:1
2015年
基于Tornado码的复制算法具有编解码速度比较快、部分数据丢失时亦能被恢复的优点,但将该算法应用于分布式存储系统时,存在数据易被窃取、篡改的风险.为此,对基于Tornado码的复制算法提出了改进:1)引入加密机制,使数据即使被窃取时也不用担心泄密;2)对原始数据使用MD5算法产生数字指纹,当从分布式存储系统取回数据时,计算数字指纹并与本地的数字指纹对比,就可以判断数据是否被篡改.
骆正平陈中育林郁峰吴星同
关键词:纠删码分布式存储数字指纹
共1页<1>
聚类工具0