陆朝俊
- 作品数：15 被引量：20H指数：3
- 供职机构：上海交通大学更多>>
- 发文基金：“九五”国家科技攻关计划上海市科委科技攻关项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于概念学习的归纳程序综合
- 1992年
- 本文介绍一种基于概念学习的归纳程序综合方法.假设的形成和证实是归纳过程的两个主要步骤.本文所介绍的方法是利用问题的背景知识、通过推广形成假设,并采用自动构作临界实例技术加以证实.
- 王志坚陆朝俊王军
- 基于重写技术的语义Web服务研究
- 2011年
- 随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,语义Web服务逐渐成为学术界的研究热点。可以看出这些研究大都基于服务单个操作级别的语义进行推理,而对于多个操作之间的语义联系却很少涉及。提出Web服务的重写模型,通过为Web服务添加操作之间的重写规则语义,将Web服务建模为服务重写系统,利用重写技术中的推理机制,实现对Web服务的分析和挖掘。这个方法可应用于服务的QoS优化,以及服务的组合与融合等方面。
- 李曙鹏陆朝俊
- 关键词：语义WEB服务重写技术语义推理
- 基于并行技术的大数据量统计分析探讨被引量：8
- 2011年
- 当前,企业有着对海量信息数据进行统计分析的迫切需求。面对海量的数据,如何高效地得到统计结果,是分析过程中一个很重要的环节。在分析了当前出现的大数据量处理方法的基础上,进行了比较。得到了并行计算架构的数据库是解决此问题的最佳手段,并且进行了性能测试,得到了对比结果。相信对从事相关研究的同行有着一定的参考价值。
- 王桂强陆朝俊
- 关键词：MAPREDUCE并行数据库SQL
- 分布式异构环境下的数据交换集成系统
- 一种电信技术领域的分布式异构环境下的数据交换集成系统，包括：数据源管理服务器、数据模式服务器、数据交换引擎服务器、数据融合服务器和应用解析服务器。数据源管理服务器负责与外部异构数据源建立联系；数据模式服务器管理异构数据源...
- 胡志萍何援军曹健陆朝俊徐志麟
- 文献传递
- 基于规则和可信度的多源数据融合系统
- 一种电信技术领域的基于规则和可信度的多源数据融合系统，包括：系统交互管理服务器、可信度管理服务器、数据融合管理服务器、规则管理服务器、显示终端，系统交互管理服务器与信息集成系统连接，并将待融合数据及相关信息送到数据融合管...
- 王欣黄林鹏陆朝俊曹建
- 文献传递
- 重写系统研究
- 陆朝俊
- BSP模型下的并行程序设计与开发
- 2001年
- 介绍了 BSP(Bulk Synchronous Parallel)模型 ,讨论了在该模型下进行并行程序设计的优点、并行算法的分析和设计方法及其必须遵守的原则 .以两矩阵的乘法为例说明了如何借助 BSP并行程序性能预测工具 ,利用两阶段 BSP并行程序设计方法进行 BSP并行程序的设计和开发 .
- 赖树华陆朝俊孙永强
- 关键词：并行程序设计BSP模型
- 内含定理证明器的程序开发系统
- 1998年
- 提出了一个基于重写技术的程序开发系统，它提供了扩展的函数式语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式，对程序进行测试，这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明，是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入，提高了所开发系统的正确性，并且有利于缩短系统的开发周期．
- 孙永强杨继锋陆朝俊邵志清
- 关键词：函数式语言软件工程程序开发系统定理证明器
- 基于重写方法的程序开发系统的设计和实现被引量：4
- 1996年
- 本文介绍了一个基于重写方法的程序开发系统的设计和实现．该系统使用代数规范说明语言和扩展的函数式语言合成而形成的混合语言进行程序设计．系统将代数规范转换为合流的重写系统，并以平行最外方法辅以必要归约进行计算．该文详细介绍了系统的原理和实现技术，并以一些实例说明了系统的特点．
- 林凯孙永强陆朝俊
- 关键词：重写系统程序开发软件工程
- MFS:一个基于重写技术的程序开发系统
- 1999年
- MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题，提高所开发系统的正确性．在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率．应用这一程序开发系统，能够较快地开发出正确且效率较高的程序．
- 杨继锋孙永强陆朝俊邵志清
- 关键词：程序开发系统MFS重写技术
