【摘 要】
：
针对传统面向对象、面向过程软件开发方法过程中计算机专家和领域专家知识没有分离导致不能开发出高水平的软件的问题,进一步研究了面向规范的软件开发方法.在基于面向规范的
论文部分内容阅读
针对传统面向对象、面向过程软件开发方法过程中计算机专家和领域专家知识没有分离导致不能开发出高水平的软件的问题,进一步研究了面向规范的软件开发方法.在基于面向规范的软件设计方法和分析现有网络计算技术之上,我们提出了一种新的一般网络计算模型,并根据此模型构建了数学网络计算环境的框架,使得用户能够在Internet的分布式环境中把分散的数学资源作为一种服务进行部署,从而更好的实现数学资源的整合及利用.同时,对系统的开发流程作了说明,给出了相关模块之间的映射机制,并且实现了若干子模块,在网络计算方面进行了有益的尝试和探索.
其他文献
常识性知识的处理是人工智能的核心难题.我们正在研究的项目——盘古系统致力于建立一个大规模的常识知识库,并探讨利用常识知识库来解决一些实际任务(如自然语言理解)中涉及
随着计算机网络的发展与网络应用的迅速普及,以及网络信息安全技术的不断成熟,使各专业实验室对网络用户开放成为可能,并且这种需求会越来越强烈.该文通过对SSL协议相关技术
该文主要讨论了小波变换在图像分割中的应用.包括:小波应用于传统的灰度直方图区域分割;小波应用于边缘检测;小波与马尔可夫模型相结合应用于纹理分割.小波应用于传统的灰度
该文结合中德软件集成技术联合实验室SIGSIT(SIno-German joint laboratory of Software Integration Technologies)的启动项目FLAME2008(FLexible semAntic service Managem
未来的计算环境应该是一个分布、开放、移动的计算环境.针对未来计算方式的演变和发展以及当前Agent系统对Agent服务环境方面研究的不足,作者和李旭辉博士提出了一个基于Agen
数据获取（Data Acquisition，简称DAQ）系统是高能物理实验的重要组成部分。随着高能物理实验复杂度的提高，数据获取系统的性能需求也随之提升。在万兆级带宽下迅速完成事例数据的
该文阐明了嵌入式系统的硬件与软件特征.重点剖析了嵌入式操作系统Windows CE的体系结构,包括Windows CE的内核、文件系统、通信系统以及图形窗口和事件子系统(GWES)等.由于W
中国土地估价业务起步于80年代末期,90年代中期才得以发展.在土地估价研究中,中国充分借鉴了发达国家一些成功的经验和方法,研究出符合中国国情的评估方法,建立了较为完善的
多agent系统的组织方式问题:该文提出了群体agent的逻辑"域"结构,适应开放的多agent环境动态变化的要求,构造了一种新的基于域的动态自组织模式.协调过程限定在不同粒度的域
该文首先介绍了answer set planning的理论基础和研究现状,以及动作理论界对衍生问题的研究情况;然后定义了一个基于高级动作语言C、通过用因果关系描述的领域约束确定动作的