成果/Result
- 信息检索中基于链接的网页排序算法被引量：18收藏
- 作者：王奇 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2000
- 关键词：信息检索 超链接 网页排序 算法
- 摘要：介绍超链接环境下基于链接的网页排序算法 ,比较和分析了 Page Rank算法和 HITS算法 ,指出了 Page Rank算法更适合于搜索引擎的服务器端 ,而 HITS算法更适合于搜索引擎的客户端。还构造并初步实现了在...
- 下载全文在线阅读
- 入侵容忍技术在身份认证系统中的应用被引量：10收藏
- 作者：黄建华 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：认证 密码 代理 冗余 入侵容忍
- 摘要：结合SITAR分布式入侵容忍体系结构和ITPAS密码认证体系统的特点,提出了一个具有入侵容忍功能的分布式密码认证系统模型,并在设计中考虑了冗余、多样性、代理、共享秘密和分布式入侵检测等技术,以求解决认证服务的入侵容忍问题...
- 下载全文在线阅读
- 在线挖掘关联规则算法的改进被引量：9收藏
- 作者：李琦 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2000
- 关键词：数据挖掘 关联规则 在线挖掘 算法
- 摘要：介绍了由 Christian Hidber提出的在线挖掘关联规则算法 Carma,提出对该算法的若干改进。减弱了原算法第一步中当前交易的子集 v被插入集合 V的条件 ,同时改进了 max Missed的计算公式 ,使其计...
- 下载全文在线阅读
- An improved FSM method for web-based applications被引量：9收藏
- 作者：Gu, Xunmei Song, Guoxin Li, Qingyi
- 机构： College of Information Science and Engineering
- 来源：CIMCA 2006: International Conference on Computational Intelligence for Modelling, Control and Automation, Jointly with IAWTIC 2006: International Conference on Intelligent Agents Web Technologies ... 2006
- 关键词：Computer software - Multimedia services - User interfaces
- 基于连续消除的六边形自适应搜索算法被引量：8收藏
- 作者：黄帅 宋国新
- 机构：华东理工大学计算机系
- 来源：《计算机工程》 2006
- 关键词：运动估计 块匹配算法 连续消除算法(SEA) SE-HMVFAST
- 摘要：结合连续消除算法提出了一种新的运动估计算法——基于连续消除的六边形自适应搜索算法,该算法采用六边形和小菱形搜索模板,并利用连续消除算法对每个待匹配点进行判断,减少待匹配点的个数。试验结果表明,该算法的搜索速度优于现有的快...
- 下载全文在线阅读
- 基于稀疏编码的图像语义分类器模型被引量：7收藏
- 作者：梁天一 宋国新 虞慧群
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：视觉认知 稀疏编码 图像语义 图像分类
- 摘要：为了解决图像检索以及遥感图像识别等图像处理研究中本质的问题——如何对高层抽象图像语义进行有效的分类,本文采用生物视觉认知机理,结合生物特征信息,用最小生成树的方法构造图像信息语义树,提出了一个基于稀疏编码的图像语义分类器...
- 下载全文在线阅读
- LSF标量格型混合量化被引量：6收藏
- 作者：潘旭遥 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2006
- 关键词：语音编码 线谱频率 标量量化 格型矢量量化
- 摘要：为了降低线谱频率(LSF)参数矢量量化器的搜索复杂度和码字存储单元,利用格型矢量量化的优点,设计了一种适合LSF参数量化的标量格型混合量化器。该量化器对LSF参数的预测残差矢量的第一、二个参数进行标量量化,余下的参数则利...
- 下载全文在线阅读
- Reverse engineering method to evaluate function points被引量：5收藏
- 作者：Zheng, Zhuo-Jun Gu, Xun-Mei Song, Guo-Xin
- 机构： Department of Computer Science and Engineering
- 来源：Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology 2007
- Unified model of functional size measurement被引量：5收藏
- 作者：Ji, Chunlei Yan, Shuncheng Ma, Xiaowei Song, Guoxin
- 机构： School of Electronic Information; Department of Computer Science and Engineering
- 来源：2010 International Conference on E-Product E-Service and E-Entertainment, ICEEE2010 2010
- 关键词：Software engineering
- UML到SDL在地铁售票机系统中的应用被引量：5收藏
- 作者：潘俊 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2004
- 关键词：UML SDL 转化 形式化方法
- 摘要：介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程。售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。
- 下载全文在线阅读
- Delegation logic based AC model for collaborative environment被引量：4收藏
- 作者：Gu, Chunhua Zhang, Xueqin Song, Guoxin
- 机构： School of Information Science and Engineering
- 来源：Jisuanji Gongcheng/Computer Engineering 2006
- 具有入侵容忍特性的身份认证系统被引量：4收藏
- 作者：黄建华 程晓松 宋国新
- 机构：华东理工大学计算机系
- 来源：《计算机工程》 2006
- 关键词：认证 入侵容忍 秘密共享 代理
- 摘要：描述了一个具有入侵容忍特性的分布式身份认证系统,利用多代理和冗余共享验证服务器的设计,使得认证系统具有容忍入侵的能力。将用户密码数据分布存储在多个共享认证服务器中,使得少数服务器受到入侵时仍能继续提供认证服务并且不会暴露...
- 下载全文在线阅读
- 重写系统中的显式归纳方法被引量：3收藏
- 作者：宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 1996
- 关键词：归纳定理 重写系统 等式系统 显式归纳 K-B算法
- 摘要：提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统。实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。
- 下载全文在线阅读
- 服务可用性系统的软件在线升级设计被引量：2收藏
- 作者：苏雪 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：服务可用性 在线升级 版本同步 接口翻译
- 摘要：提出一种基于服务可用性系统的软件在线升级设计思路,并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。
- 下载全文在线阅读
- 线性混合系统符号模型验证中的参数分析方法被引量：1收藏
- 作者：潘国强 虞慧群 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2000
- 关键词：混合系统 混合自动机 符号模型检查 参数分析
- 摘要：说明了 HYTECH工具中所采用的参数分析方法对系统描述能力的限制 ;提出了分离参数变量和系统状态变量的符号模型检查算法 ,并对用 HYTECH不能分析的 Fischer互斥算法的时钟偏移的界进行了分析。
- 下载全文在线阅读
- 卫星定位系统的验证原型被引量：1收藏
- 作者：李一阁 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2004
- 关键词：卫星定位系统 验证原型 模型检查 混合自动机 混合系统 形式化验证
- 摘要：用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。
- 下载全文在线阅读
- 一种上下文集成的冲突处理方法被引量：1收藏
- 作者：叶琪 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2006
- 关键词：上下文 Profile集成 策略规则 冲突处理
- 摘要：为了实现服务组合对环境的适应性,设计了能满足上下文动态集成的模型,并使用CC/PP的RDF创建P rofiles描述上下文。详细分析上下文集成中出现的冲突情况,定义优先级和效用因子,解决上下文集成中的冲突问题。结合原型系...
- 下载全文在线阅读
- 基于控制周期特征式的线性混合自动机验证被引量：0收藏
- 作者：潘国强 虞慧群 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2000
- 关键词：模型检查 定理证明 线性混合自动机
- 摘要：提出了一种基于归纳法思想的验证方法 ,通过控制周期上特性的描述 ,发现了基于控制周期特征式的线性混合自动机验证方法。这一方法采用定理证明过程来得出归纳证明的结构 ;采用模型检查方法来得出归纳证明的奠基和迭代步。这一方法同...
- 下载全文在线阅读
- 基2的流水式快速傅里叶变换处理机的形式化模型被引量：0收藏
- 作者：张欢欢 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：重写 形式化 描述 验证 归纳 快速傅里叶变换处理机
- 摘要：快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性。所以用...
- 下载全文在线阅读
- 泛型程序的多型值构造被引量：0收藏
- 作者：丁志义 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2006
- 关键词：泛型程序设计 类型 函数式语言
- 摘要：泛型程序设计提供了一种重要的程序设计范型,使程序员无须为不同的数据类型重复编写功能相似的程序代码。本文以相等函数为例阐述了泛型程序设计的基本方法,并利用直积和直和给出了构造多型值的方法。利用这一结果能够定义各种数据类型的...
- 下载全文在线阅读
- Access control model for virtual enterprises被引量：0收藏
- 作者：Gu, Chun-Hua Zhang, Xue-Qin Song, Guo-Xin
- 机构： School of Information Science and Engineering
- 来源：Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology 2005
- 一种用于循环程序形式化验证的划分归纳方法被引量：0收藏
- 作者：钟杨 宋国新 计春雷
- 机构：华东理工大学信息科学与工程学院;上海电机学院
- 来源：《华东理工大学学报（自然科学版）》 2008
- 关键词：软件可靠性 形式化验证 划分算法 划分归纳方法
- 摘要：为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化...
- 下载全文在线阅读
- A Delegation Logic Based Authorization Mechanism for Virtual Organizations被引量：0收藏
- 作者：Gu, Chunhua Zhang, Xueqin Song, Guoxin
- 机构：E China Univ Sci & Technol
- 来源：APPLIED PUBLIC KEY INFRASTRUCTURE 2005
- 关键词：RBAC Distributed systems PKI Virtual Organization
- Proving inductive theorems using witnessed test sets被引量：0收藏
- 作者：Shao, Zhiqing Sun, Yongqiang Song, Guoxin Yu, Huiqun
- 机构：E China Univ Sci & Technol
- 来源：SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS 1998
- 关于过程调用中的透明性和可靠性被引量：0收藏
- 作者：邵志清 宋国新 傅纯一 王立中 陆道宏
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 1995
- 关键词：透明性 规范 可靠性 过程调用 程序语言
- 摘要：以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。
- 下载全文在线阅读
- RTL级符号模拟系统被引量：0收藏
- 作者：况翔 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2004
- 关键词：二叉决策图 Verilog硬件描述语言 符号模拟
- 摘要：给出了一组从VerilogHDL到可符号执行代码的转换规则,并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。本系统能够有效地对RTL级Veril...
- 下载全文在线阅读
