检索结果-维普期刊中文期刊服务平台

内含定理证明器的程序开发系统: 1; 作者孙永强杨继锋 +1 位作者陆朝俊邵志清《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第10期42-45,共4页; 提出了一个基于重写技术的程序开发系统，它提供了扩展的函数式语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给... 展开更多; 关键词函数式语言软件工程程序开发系统定理证明器; 在线阅读下载PDF 职称材料

网络流量模型的非线性特征量的提取及分析被引量：5: 2; 作者刘东林帅典勋《电子学报》 EI CAS CSCD 北大核心 2003年第12期1866-1869,共4页; 本文基于相空间重构理论 ,在高维相空间中对网络流量的宏观和微观特性进行研究分析 .首先 ,提取网络流量的宏观非线性特征量 ,如关联维数、Kolmogorov熵和最大Lyapunov指数 ,实现了网络流量时序非线性动力学特性的定量分析 .然后 ,通过... 展开更多; 关键词相空间重构分形维数网络流量多重分形谱时序分析; 在线阅读下载PDF 职称材料

一种基于Object-Z的面向方面建模方法: 3; 作者虞慧群许浩 +1 位作者刘冬梅邵志清《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第3期383-388,共6页; 提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的... 展开更多; 关键词面向方面形式化方法 OBJECT-Z 建模; 在线阅读下载PDF 职称材料

高阶细胞自动机新的数据压缩方法: 4; 作者顾静帅典勋《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2000年第1期88-93,109,共7页; 构造出高阶置换映射，进而得出更有效的高阶细胞自动机超并行数据压缩方法，与细胞自动机超并行数据压缩方法相比，其处理速度可以成倍地提高。证明了用遗传进化算法得到的高阶细胞自动机元胞级无失真数据压缩规则的正确性和可行性。并... 展开更多; 关键词可逆压缩遗传算法细胞自动机并行处理; 在线阅读下载PDF 职称材料

题名内含定理证明器的程序开发系统: 1; 作者孙永强杨继锋陆朝俊邵志清; 机构上海交通大学计算机科学与工程系华东理工大学计算机科学系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第10期42-45,共4页; 基金国家九五科技攻关基金; 文摘提出了一个基于重写技术的程序开发系统，它提供了扩展的函数式语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式，对程序进行测试，这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明，是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入，提高了所开发系统的正确性，并且有利于缩短系统的开发周期．; 关键词函数式语言软件工程程序开发系统定理证明器; Keywords functional language algebraic specification rewriting system theorem proving test; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名网络流量模型的非线性特征量的提取及分析被引量：5: 2; 作者刘东林帅典勋; 机构华东理工大学计算机科学系清华大学智能技术与系统国家重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2003年第12期1866-1869,共4页; 基金 973计划国家重点基础研究发展规划项目(No.G1 9990 32 70 7) 国家自然科学基金项目 (No .697730 37) +1 种基金清华大学智能技术与系统国家重点实验室基金项目; 文摘本文基于相空间重构理论 ,在高维相空间中对网络流量的宏观和微观特性进行研究分析 .首先 ,提取网络流量的宏观非线性特征量 ,如关联维数、Kolmogorov熵和最大Lyapunov指数 ,实现了网络流量时序非线性动力学特性的定量分析 .然后 ,通过对四种典型突发性流量模型的多重分形谱的计算 ,揭示了流量模型不同层次的行为特征 ,并给出了刻画突发性流量的有效微观参数 .; 关键词相空间重构分形维数网络流量多重分形谱时序分析; Keywords Chaos theory Data communication systems Fractals Phase space methods Reconstruction (structural) Time series analysis; 分类号 TP393.01 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于Object-Z的面向方面建模方法: 3; 作者虞慧群许浩刘冬梅邵志清; 机构华东理工大学计算机科学工程系; 出处《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第3期383-388,共6页; 基金国家自然科学基金(60473055) 上海市浦江人才计划基金(05PJ14030); 文摘提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。; 关键词面向方面形式化方法 OBJECT-Z 建模; Keywords aspect orientation formal method Object-Z modeling; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名高阶细胞自动机新的数据压缩方法: 4; 作者顾静帅典勋; 机构华东理工大学计算机科学系清华大学智能技术和系统国家重点实验室; 出处《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2000年第1期88-93,109,共7页; 基金 973国家重点基础研究发展规划项目(G1999032707) 国家自然科学基金资助项目(69773037) 清华大学智能技; 文摘构造出高阶置换映射，进而得出更有效的高阶细胞自动机超并行数据压缩方法，与细胞自动机超并行数据压缩方法相比，其处理速度可以成倍地提高。证明了用遗传进化算法得到的高阶细胞自动机元胞级无失真数据压缩规则的正确性和可行性。并推广到任意阶，给出了对应的置换映射。之后讨论了有关的时间复杂性及高阶数据压缩方法的有效性。; 关键词可逆压缩遗传算法细胞自动机并行处理; Keywords undistorted data compression genetic algorithm automaton parallel processing; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料