搜索筛选:
搜索耗时0.0377秒,为你在为你在61,042,059篇论文里面共找到 9 篇相符的论文内容
发布年度:
[学位论文] 作者：付建丹,,
来源： 年份：2012
传统的PKI系统由于结构设计的原因，组件之间具有较高的耦合性，不利于系统的扩展以及与其它系统的融合，造成组件之间的互操作性不好，当PKI系统进行功能的升级和系统的扩展时这一问......
[期刊论文] 作者：刘军霞, 熊选东, 付建丹,,
来源：计算机系统应用 年份：2012
针对面向服务结构中传统服务调用带来的不必要的网络负载、较长的响应时间和服务提供端的瓶颈问题,结合发布/订阅模型提出一种推模式服务调用方法,并将其与传统的拉模式相比...
[期刊论文] 作者：王松锋, 熊选东, 付建丹, 张亮忠,,
来源：计算机科学 年份：2012
系统建模语言（Systems Modeling Language,SysML）是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段。为了弥补这一不足,研究了SysM...
[期刊论文] 作者：王松锋,熊选东,张亮忠,付建丹,,
来源：计算机应用研究 年份：2012
针对SysML序列图本身缺乏分析和验证手段的问题,提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有色Petri网的转换规则,重点是把序列图的常用结构如可选结构、条件结构、并行结构以及循环结构等映射为有色Petri网。这当中既包含......
[期刊论文] 作者：张亮忠,熊选东,王松锋,付建丹,
来源：计算机技术与发展 年份：2012
软硬件划分是动态可重构系统软硬件协同设计中的关键技术之一,如何兼顾划分效率和划分效果,达到两者的最佳结合是软硬件划分的主要问题。在考虑动态部分重构及重构延时等特征...
[期刊论文] 作者：张亮忠,熊选东,付建丹,王松锋,,
来源：计算机应用研究 年份：2012
针对可重构系统中任务模型灵活性差、硬件任务重构延时长、FPGA资源利用率低等问题,提出了将应用程序划分为软件任务和混合任务的划分模式,并在eCos的基础上,通过重构控制机制、混合任务管理机制、通信机制三方面的拓展,设计了支持可重构系统的嵌入式操作系统框......
[期刊论文] 作者：王珏,李立新,张绍月,杨梦梦,付建丹,,
来源：计算机应用研究 年份：2012
针对分布式数据库系统中副本一致性的问题,结合快照隔离的性能优势和组通信技术的消息定序特性,提出了一种满足单副本可串行化的数据同步协议。首先,形式化定义了快照隔离可串行化的准则,并证明了该规则可以保证单副本可串行化。进而基于组通信系统的消息定序特......
[期刊论文] 作者：付建丹, 熊选东, 范焱, 张亮忠, 王松锋,,
来源：计算机应用与软件 年份：2012
针对分布式环境下为大规模的证书用户提供及时、多样的证书服务所产生的对PKI系统中各实体的组织与管理等问题,提出一种PKI系统的应用集成方案。该方案以AMQP消息中间件作为...
[期刊论文] 作者：付建丹, 熊选东, 张亮忠, 王松锋, 王珏,,
来源：计算机应用研究 年份：2012
主动状态证书撤销机制是一种新的证书撤销验证机制,如何实现该机制还未见具体的案例。在分析高级消息队列协议（AMQP）的基础上,结合主动状态证书的订阅/发布要求,设计了一种基于......
相关搜索：
