并发实时系统的串行非实时仿真框架

为了解决并发实时系统在通用计算机上的仿真问题,文中分析了并发实时系统的一般特性,归纳了仿真验证的硬件架构选择,通过分离并发进程计算与运行顺序,按照时标调度进程,提出了一种将并发问题串行化的通用仿真框架,该框架适用于一般性的并发实时系统仿真,可以有效加快仿真程序开发,提高程序质量。     

四大品牌联手 推硬盘+NAS+云端整合备份

正在这个蓬勃发展的数据时代,备份的重要性早已不言而喻;然而不见得所有企业都有足够的成本、人力、技术,来建立自有的备份方案,此时采用云端业者提供的异地备援服务,不失为一种可行之道。如今,国内一些电信业者,携手品牌领导厂商,推出包含企业内部NAS储存设备的云端备份方案,从硬盘、NAS到云端一站     

ASP.NET上传图片

在Web应用程序开发的过程中,经常需要上传图片,以ASP.NE开发平台为例,详细介绍了两种常见的上传图片的方式,并对比了每种方法的优劣,对于实际应用有一定的借鉴意义。     

沈阳蓝光集团召开2011年研发中心研发工作会议

2011年10月，沈阳蓝光自动化技术有限公司研发中心召开了年中研发工作会议，会议由研发中心总监盘宗仁主持并发言，董事长隋舒杰、总经理罗曙明、总经理唐立志出席会议并发表了重要讲话。     

《材料保护》远程采编系统修改稿上传步骤

凭注册的用户名和口令,登陆到"作者区""我要查稿";在"投修改稿"箱中,点选稿件题目;查看"修改要求";     

《材料保护》远程采编系统修改稿上传步骤

凭注册的用户名和口令,登陆到"作者区""我要查稿";在"投修改稿"箱中,点选稿件题目;查看"修改要求";点击"基本信息",注意维护稿签内容,使之与修改稿相对应,以便网上预先发布;     

《材料保护》远程采编系统修改稿上传步骤

凭注册的用户名和口令,登陆到"作者区""我要查稿";在"投修改稿"箱中,点选稿件题目;查看"修改要求";点击"基本信息",注意维护稿签内容,使之     

基于java的多文件上传功能实现

文件上传是web应用中常见的需求,而Servlet技术的未能提供对文件上传的支持,介绍处理上传文件的一些技术方法,然后对上传文件的信息格式进行介绍,最后结合实际,利用Apache的一个组件commons-fileupload实现文件上传操作。     

P2P文件共享系统中的一种双向并发信任机制

近似于人际关系网络,P2P文件共享交易存在着相互信任的问题.服务请求节点和服务提供节点是参与文件共享交易的两类实体,通过分析两者的信任关系,提出一种双向并发信任机制-BPTM.该信任机制研究交易双方的相互信任问题,并在此基础上建立服务选择信任模型和服务确认信任模型,实施信任关系评估的双向化.仿真与分析表明,BPTM相比传统的单向信任机制,在交易成功率上有较大的改进,可使节点之间更有效的建立互信关系.     

基于交互式定理证明的并发程序验证工作综述

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用。但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果。同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难。在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证。本文对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性。交互式定理证明方法中常用程序逻辑对程序进行验证,本文分析了基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用了这些方法的程序验证工具和程序验证成果进行了总结。