搜索筛选:
搜索耗时0.4077秒,为你在为你在102,267,441篇论文里面共找到 21 篇相符的论文内容
发布年度:
[会议论文] 作者：赵永望,
来源：全国第四届Java技术及应用学术会议 年份：2001
用Java语言编写符合HTTP协议、配置灵活、模板化的网络聊天服务器....
[期刊论文] 作者：赵永望,马殿富,,
来源：信息技术与标准化 年份：2013
SOA工程工作组（原SOA工程专题组）成立于2009年12月，由北京航空航天大学承担组长单位。工作组主要负责SOA工程项目实施中所需的实施指南、过程及相关治理标准制定，具体涵盖SOA实施......
[会议论文] 作者：赵永望,马殿富,
来源：《陆相油储地球物理理论及三维地质图像成图方法》学术交流会 年份：2003
@@等值线是一种形和数的统一，所谓绘制等值线就是对大量离散的、又具有一定规律的几何量值或物理量值，用数学的方法插值并将具有相同量值的点变换成图的过程。等值线在地质、水......
[会议论文] 作者：赵永望,马殿富,
来源：《陆相油储地球物理理论及三维地质图像成图方法》学术交流会 年份：2003
@@基于沉积模式的地质块体剖分是三维地质建模系统中一个重要的操作步骤。三维地质体剖分的意义就在于通过对地质块体进行剖分之后，用户可以对三维地质块体内部物理属性有一个......
[期刊论文] 作者：赵永望,刘杨,王戟,
来源：软件学报 年份：2020
系统软件是计算机系统的核心基础软件,涵盖基础系统软件,如操作系统、语言及编译器、中间件、数据库等;领域系统软件,如无人系统、工业控制、航空航天飞行器等的核心控制软件...
[期刊论文] 作者：赵永望,袁志华,马殿富,,
来源：信息技术与标准化 年份：2011
阐述了SOA工程标准化及意义，结合我国向ISO／IECJTC1／SC7提交的两项潜在的新工作项目，分析SOA工程的标准框架与生存周期，为后续SOA工程的标准制定给出一个可参考的指南。...
[期刊论文] 作者：尹毅伟,刘敏,孙斗,赵永望,
来源：信息技术与标准化 年份：2009
Web服务业务流程可以描述应用系统中业务问的复杂交互状态，不同组织发布了不同的业务流程标准，这些标准之间存在互操作性问题。通过对四种业务流程标准的深入研究，分别对它们进......
[期刊论文] 作者：尹毅伟,刘敏,孙斗,赵永望,,
来源：信息技术与标准化 年份：2009
Web服务业务流程可以描述应用系统中业务间的复杂交互状态,不同组织发布了不同的业务流程标准,这些标准之间存在互操作性问题。通过对四种业务流程标准的深入研究,分别对它们...
[期刊论文] 作者：杨志斌, 胡凯, 赵永望, 马殿富,
来源：软件学报 年份：2015
...
[会议论文] 作者：王磊;马殿富;赵永望;赵宪琦;,
来源：全国抗恶劣环境计算机第二十四届学术年会 年份：2014
航空电子系统是安全关键的嵌入式系统,其对安全性和可靠性有更高的要求.如何开发安全可靠的机载软件,同时有效的控制开发时间和成本是当前面临的一个重大挑战.将软件体系结构...
[会议论文] 作者：尹顺顺,马殿富,赵永望,赵宪琦,
来源：全国抗恶劣环境计算机第二十四届学术年会 年份：2014
传统的程序验证方法如Hoare逻辑,最弱前置谓词法,存在中间断言构造困难、依赖于循环不变式、证明复杂等缺点.针对于这些缺点,本文提出基于语境的形式化证明方法,设计了一套基...
[会议论文] 作者：黄昱,马殿富,赵永望,赵宪琦,
来源：全国抗恶劣环境计算机第二十四届学术年会 年份：2014
B方法是目前被广泛应用的一种形式化开发方法,然而B方法在实际的应用中仍然面临着许多的问题.为了能更简单高效的应用形式化方法来开发软件和系统,基于B方法提出了一种新的形...
[期刊论文] 作者：杨志斌, 胡凯, 赵永望, 马殿富, Jean-Paul B,
来源：软件学报 年份：2004
提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象...
[期刊论文] 作者：郭贵宝,王正德,李玉生,赵永望,安胜利,,
来源：稀土 年份：2006
用微乳液和碳吸附耦合法制备了氧化钐、氧化钆二元稀土掺杂氧化铈纳米粉体（Sm2O3）0.08（Gd2O3）0.02（CeO2-δ）0.8.探讨了碳黑的加入量对粉体表面积的影响,得到最佳的碳黑加入量.利用X......
[期刊论文] 作者：潘志华,赵永望,胡春阳,马殿富,,
来源：计算机应用 年份：2006
在SOA框架下研究遥感信息资源元数据的集成涉及的关键技术。系统中数据源以服务的方式动态接入,并通过一个中间代理层对外提供统一的服务;系统将W eb服务技术与联邦模式技术进行有机地结合,实现了异构遥感元数据的集成,支撑遥感数据的跨域共享。试用结果表明,系......
[期刊论文] 作者：杨志斌,胡凯,赵永望,马殿富,Jean-Paul BODEV,
来源：软件学报 年份：2015
提出了一种基于时间抽象状态机（timed abstract state machine，简称TASM）的AADL（architecture analysis and design language）模型验证方法．分别给出了AADL子集和TASM的抽象语法，并...
[会议论文] 作者：吴文娟;马殿富;赵永望;赵宪琦;,
来源：全国抗恶劣环境计算机第二十四届学术年会 年份：2014
航空机载软件适航认证DO-178C的发布对机载软件提出了更高的安全性和可靠性需求,对机载软件建模及验证提出了重大挑战.为了达到机载软件高层需求目标,提出一种基于知识图的高...
[期刊论文] 作者：杨志斌,赵永望,黄志球,胡凯,马殿富,
来源：软件学报 年份：2016
...
[期刊论文] 作者：杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul B,
来源：软件学报 年份：2016
能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共...
[期刊论文] 作者：杨志斌,赵永望,黄志球,胡凯,马殿富,Jean-Paul BODEVEIX,Mamoun FILALI,
来源：软件学报 年份：2016
能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共...
相关搜索：
