搜索筛选:
搜索耗时3.3240秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：吴定豪,吕建,
来源：南京大学学报：数学半年刊 年份：1999
主要研究了一种基于状态空间的混成系统设计方法的理论基础．首先，在引入相关的OONTROL语言的基础上，给出了其用“演化机”定义的操作语义和用扩展的Hoare逻辑形式系统H'定义...
[期刊论文] 作者：丁俊华,董桓,吴定豪,吕建,
来源：计算机研究与发展 年份：1998
软件互操作是开放分布式处理中的一个重要目标。文中首先讨论了软件互操作的基本原理，并重点介绍了当前具有代表性的互操作方法，评述了它们的优缺点。在此基础上，提出并简单介绍......
[期刊论文] 作者：田振洲,刘烃,郑庆华,佟菲菲,吴定豪,朱森存,陈恺,,
来源：信息安全学报 年份：2016
随着开源软件项目的蓬勃发展,软件抄袭俨然已成为软件生态环境健康发展的威胁之一,其得到越来越多的研究人员、教育人员、开源社区及软件企业的关注,软件抄袭检测对于软件知识产权保护具有重要意义。本文对软件抄袭检测的研究现状和进展进行综述。首先介绍软件......
相关搜索：
