您的位置: 专家智库 > >

国家自然科学基金(90718004)

作品数:3 被引量:9H指数:2
相关作者:马光思毛宏燕张雪赵珊更多>>
相关机构:华东师范大学西安建筑科技大学更多>>
发文基金:国家自然科学基金陕西省教育厅科研计划项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 1篇运行效果
  • 1篇网络
  • 1篇网上交易
  • 1篇基于SSL
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇交易
  • 1篇工作流
  • 1篇SSL协议
  • 1篇仓储管理
  • 1篇PETRI网

机构

  • 2篇华东师范大学
  • 2篇西安建筑科技...

作者

  • 2篇毛宏燕
  • 2篇马光思
  • 1篇赵珊
  • 1篇张雪

传媒

  • 1篇微电子学与计...
  • 1篇Journa...
  • 1篇计算机技术与...

年份

  • 1篇2011
  • 1篇2010
  • 1篇2008
3 条 记 录,以下是 1-3
排序方式:
基于分层Petri网的仓储管理建模与验证被引量:3
2010年
文中综合理论研究和仓储管理项目的维护经验。应用Petri网理论,介绍了Petri网的存储机制,并提出了基于工作流和Petri网分层建模的实施策略、操作步骤和一套简明案例。详细介绍并给出了采用自动工具WoPeD2.0对部分建模实例的验证分析和修改过程,分析讨论了Petri网的存储机制及在模型验证中的支柱作用。经分析验证,得出实验结果正确无误。研究工作重点是提供一套基于Petri网建模分析的实施步骤和简明案例,旨在推动这一形式化方法在工程领域的广泛应用。
赵珊马光思毛宏燕
关键词:仓储管理工作流
基于SSL提高网上安全交易性能的研究被引量:6
2011年
结合网上安全交易支付模式的课题研究,给出了建立个人CA中心,订单安全交易及混合密钥应用的过程.针对反复认证和密钥应用影响交互效率问题,提出了利用SSL会话恢复及连接分类机制实现双向连接响应的性能优化策略.综合双向握手、会话恢复的交互分析和实验结果表明,所实现的研究成果能很好提高Web应用效率.
张雪马光思毛宏燕
关键词:网上交易SSL协议
Performance improvement of software component with partial evaluation
2008年
To avoid the complexity and inefficiency for specific applications of the current software architecture, a novel approach using partial evaluation is proposed to improve the running performance of components. The generic program was specialized into domain-specific realization for the known knowledge and environments. The syntax and semantic(adj.) were analyzed based on byte code instruction sequences, and partial evaluation rules depicted how to perform the specialization. The partial evaluation for object-oriented programs was implemented. The experimental results show that partial evaluation is effective to speed up the running efficiency. The more generality and scalability can be obtained by the integration of partial evaluation with the favorable design mechanisms and compiler optimization technology.
毛宏燕黄林鹏李明禄
关键词:计算机网络运行效果
共1页<1>
聚类工具0