教育部科学技术研究重点项目(01077)

作品数：13被引量：10H指数：1
导出分析报告
相关作者：邵志清宋国新郑红丁志义房一泉更多>>
相关机构：华东理工大学中国科学院软件研究所焦作大学中山大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《电子与信息学报》《计算机工程》更多>>
相关主题：PETRI网重写DNA序列指称语义CORBA规范更多>>
相关领域：自动化与计算机技术语言文字更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
命令的指称语义在谓词域上的一种表示
《计算机科学》2008年第7期157-160,共4页丁志义 李全德 宋国新 邵志清 
国家自然科学基金资助项目(60373075);教育部科学技术研究重点基金资助项目(01077);中科院计算机科学重点实验室基金资助项目(SYSKF0305);上海市科学技术委员会科研计划项目资助(045115006);宁夏自然科学基金项目(NZ0725)
文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
关键词：谓词转换器 状态转换器 指称语义 
电子商务系统主体行为的描述与分析
《华东理工大学学报（自然科学版）》2007年第6期831-834,共4页郑红 邵志清 杨根兴 
教育部科学技术研究重点项目(01077);教育部优秀青年资助计划项目(EYTP);华东理工大学博士基金以及上海市技术标准专项项目(04DZ05051)
电子商务系统的主体行为对整个交易的安全非常重要。本文应用标注Petri网模拟技术,建立了电子商务系统中主体行为模型,解决了主体的责任分析、证据收集等与安全性有关的问题。
关键词：电子商务 主体行为 PETRI网 
程序不动点的直观计算意义
《宁夏大学学报（自然科学版）》2007年第3期237-240,共4页丁志义 吴庆涛 宋国新 邵志清 
国家自然科学基金资助项目(60373075);教育部科学技术研究重点基金资助项目(01077);中科院计算机科学重点实验室基金资助项目(SYSKF0305);宁夏大学数学计算机学院科研基金资助项目(0406)
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.
关键词：指称语义 不动点 完全偏序 连续函数 
一种形式化的工作流网模型被引量：1
《华东理工大学学报（自然科学版）》2007年第1期93-95,123,共4页郑红 宋国新 
教育部科学技术研究重点项目(01077);华东理工大学博士基金资助
提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
关键词：工作流 工作流管理系统 PETRI网 形式化 建模 
对数无限可分级串框架下的异常网络流量分析被引量：1
《计算机工程》2006年第10期9-11,14,共4页程华 邵志清 房一泉 
国家自然科学基金资助项目(60373075);教育部科学技术研究重点项目(01077);教育部优秀青年教师资助计划
湍流尺度分析中的对数无限可分级串方法具有描述数据流全范围下的多尺度行为的优点,可用于对网络流量的多尺度行为的分析。在对几组正常流量和含蠕虫的异常流量分析讨论的基础上,发现受数据流内含协议数据的成分变化的影响,正常流量的...
关键词：对数无限可分级串 扩展自相似性 尺度 异常网络流量 
基于对象角色的应用系统的建模
《计算机应用与软件》2006年第8期30-31,127,共3页郑红 范开元 杨根兴 
中国科学院计算机科学实验室开放课题(SYSKF0205;SYSKF0309);教育部科学技术研究重点项目(编号:01077);教育部优秀青年资助计划(EYTP)。
面向对象角色分析方法OO ram(Ob ject-O riented Role Analysis and Modeling)是一种新的面向对象软件开发方法。介绍了它的建模思想和步骤,并与其它面向对象的方法进行了比较。最后,用这种方法实现一个应用系统的模型设计。
关键词：面向对象 面向对象角色 模型 
命令的操作语义在类型系统中的一种表示
《小型微型计算机系统》2006年第7期1285-1288,共4页丁志义 宋国新 邵志清 
国家自然科学基金项目(60373075)资助;教育部科学技术研究重点项目(01077)资助;中科院计算机科学重点实验室项目(SYSKF0305)资助;上海市科学技术委员会科研计划项目(045115006)资助.
类型系统建立在一个小的规则集合基础上,易于实现,可理解性好,且具有计算完全性和足够的表达能力.在类型系统中可以重述推导规则,将其形式化为一些归纳关系,从而直接表示了命令的操作语义.类型理论不仅适合于函数式程序的证明,也是刻画...
关键词：操作语义 类型理论 类型系统 程序验证 
基于对数无限可分级串框架Web网络流量分析
《计算机工程与应用》2005年第31期112-115,143,共5页程华 邵志清 房一泉 黄建华 
国家自然科学基金资助项目(编号:60373075);教育部科学技术研究重点项目(编号:01077);教育部优秀青年教师资助计划
由于Web流量占据了网络流量的主要成分,它的尺度特性必然对整体流量特性产生一定的影响。而对数无限可分级串框架能描述数据流全范围下的多尺度行为,因此可在该框架下分析Web流量与TCP流量的多尺度行为。通过几个对比实验,发现Web流量...
关键词：对数无限可分级串 扩展自相似性 尺度 WEB流量 
基于DNA序列切片重组技术的信息加密算法被引量：1
《计算机工程》2005年第4期152-154,194,共4页关淘 邵志清 李庆超 吴庆涛 
教育部科学技术研究重点基金资助项目(01077);教育部优秀青年教师资助计划
深入分析了DNA序列处理中的切片重组技术,研究了这种技术在信息加密中的应用,提出了一种基于切片重组技术的全新信息加密算法,并对算法的加密强度作了详细讨论。实验结果表明该算法是安全、高效和可行的。
关键词：DNA序列 切片重组 密钥 信息加密 
基于Tecton的验证系统Violet被引量：1
《华东理工大学学报（自然科学版）》2005年第2期198-202,共5页翟洁 邵志清 
国家自然科学基金(60373075);教育部科学技术研究重点项目(01077);教育部优秀青年教师资助计划项目
在Tecton语言对面向概念的构件进行形式化规范的基础上,创建了Violet验证系统对构件的性质进行自动验证。Violet系统是基于重写技术的验证工具,其主要目的是辅助用户发现和理解构件规范的验证,并建立经过验证的软硬件的构件库。描述了...
关键词：规范 验证 重写 归纳 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部