成果/Result
- 信息检索中基于链接的网页排序算法被引量：18收藏
- 作者：王奇 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2000
- 关键词：信息检索 超链接 网页排序 算法
- 摘要：介绍超链接环境下基于链接的网页排序算法 ,比较和分析了 Page Rank算法和 HITS算法 ,指出了 Page Rank算法更适合于搜索引擎的服务器端 ,而 HITS算法更适合于搜索引擎的客户端。还构造并初步实现了在...
- 下载全文在线阅读
- 基于神经网络的软件质量综合评价方法被引量：11收藏
- 作者：杨根兴 高大启 宋国新
- 机构：上海市计算机软件评测重点实验室;华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2004
- 关键词：度量模型 神经网络 软件质量评价
- 摘要：研究了软件质量评价的度量模型,指出了软件综合质量评价中需要解决的一致性与稳定性问题,提出了基于前向单隐层神经网络的软件质量评价方法,一个软件质量评价实例表明,该方法具有满意的效果。
- 下载全文在线阅读
- 入侵容忍技术在身份认证系统中的应用被引量：10收藏
- 作者：黄建华 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：认证 密码 代理 冗余 入侵容忍
- 摘要：结合SITAR分布式入侵容忍体系结构和ITPAS密码认证体系统的特点,提出了一个具有入侵容忍功能的分布式密码认证系统模型,并在设计中考虑了冗余、多样性、代理、共享秘密和分布式入侵检测等技术,以求解决认证服务的入侵容忍问题...
- 下载全文在线阅读
- 基于Web的SIP实现技术被引量：10收藏
- 作者：程华 房一泉 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2001
- 关键词：Web 用户代理 Java applet SIP协议 语音通讯体系 电子商务 网络服务器 Internet
- 摘要：SIP是基于 IP的语音通讯体系结构的标准之一 ,本文通过对 SIP协议的研究 ,提出在Web的客户端浏览器上用 Java来实现
- 下载全文在线阅读
- 在线挖掘关联规则算法的改进被引量：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
- 摘要：结合连续消除算法提出了一种新的运动估计算法——基于连续消除的六边形自适应搜索算法,该算法采用六边形和小菱形搜索模板,并利用连续消除算法对每个待匹配点进行判断,减少待匹配点的个数。试验结果表明,该算法的搜索速度优于现有的快...
- 下载全文在线阅读
- 一种改进的功能点分析方法被引量：8收藏
- 作者：顾勋梅 宋国新 邵志清
- 机构：华东理工大学信息学院计算机科学与工程系
- 来源：《计算机工程》 2007
- 关键词：功能点分析 复杂度等级 模糊功能点分析
- 摘要：功能点分析是一种广泛使用的软件功能规模度量方法,它不依赖于实现语言,度量结果也可以在不同的开发过程之间进行比较。该文针对功能点分析方法中功能要素复杂度等级划分的缺点和不足,提出了模糊功能点分析方法。该方法能更准确地估算出...
- 下载全文在线阅读
- 一种新的改进遗传算法及其应用被引量：7收藏
- 作者：蒲若昂 李志华 宋国新
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机应用与软件》 2007
- 关键词：遗传算法 模式定理 积木块假设 函数优化
- 摘要：研究并提出了一种基于模式的改进遗传算法,该算法加强了好的模式对群体的影响,在收敛速度和防止陷入局部最优解取得了平衡。在一个经典测试函数的仿真实验中,与基本遗传算法(SGA)和自适应遗传算法(AGA)相比,该改进遗传算法表...
- 下载全文在线阅读
- 不恢复余数阵列除法器的形式化描述和验证方法被引量：7收藏
- 作者：张欢欢 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机科学》 2007
- 关键词：重写 归纳 除法器 描述 验证
- 摘要：本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的。不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现。本...
- 下载全文在线阅读
- 基于稀疏编码的图像语义分类器模型被引量：7收藏
- 作者：梁天一 宋国新 虞慧群
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：视觉认知 稀疏编码 图像语义 图像分类
- 摘要：为了解决图像检索以及遥感图像识别等图像处理研究中本质的问题——如何对高层抽象图像语义进行有效的分类,本文采用生物视觉认知机理,结合生物特征信息,用最小生成树的方法构造图像信息语义树,提出了一个基于稀疏编码的图像语义分类器...
- 下载全文在线阅读
- UML视图的一种形式化模型及其分析被引量：7收藏
- 作者：王润 宋国新 虞慧群
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2003
- 关键词：形式化方法 UML TCOZ 模型 分析
- 摘要：UML是一种得到广泛应用的系统建模语言 ,但是由于它缺乏形式化语义和严格的推理机制 ,从而影响了系统建模的准确性和开发效率。 TCOZ是一种将 Object-Z和 TCSP相结合的形式化语言 ,具有丰富的建模能力。基于 ...
- 下载全文在线阅读
- 开放的语音通信模型研究及实现被引量：6收藏
- 作者：程华 宋国新
- 机构：华东理工大学计算机系
- 来源：《计算机工程》 2001
- 关键词：用户代理 语音通信模型 计算机网络 SIP协议 Web
- 摘要：对于开放式的语音通信模型，H.323和SIP都是基于IP的语音通信的体系结构的标准。通过对SIP协议的相关技术的研究，提出在Web的客户端浏览器上用Java来实现SIP协议的客户端用户代理部分。
- 下载全文在线阅读
- 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
- UML到SDL在地铁售票机系统中的应用被引量：5收藏
- 作者：潘俊 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2004
- 关键词：UML SDL 转化 形式化方法
- 摘要：介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程。售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。
- 下载全文在线阅读
- 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
- 一种基于安全策略的云数据访问控制优化技术被引量：5收藏
- 作者：苏雪 宋国新
- 机构：武汉铁路职业技术学院;华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2016
- 关键词：云存储 安全策略 信誉 访问控制 优化
- 摘要：云存储安全给访问控制技术带来了新的挑战。提出了一种基于安全策略的云数据访问控制优化方法,基本思想是利用数据关联关系进行安全策略精化,基于属性的安全策略中融合了角色和信誉特征。利用数据关联关系对云数据进行细粒度划分,得到相...
- 下载全文在线阅读
- 具有入侵容忍特性的身份认证系统被引量：4收藏
- 作者：黄建华 程晓松 宋国新
- 机构：华东理工大学计算机系
- 来源：《计算机工程》 2006
- 关键词：认证 入侵容忍 秘密共享 代理
- 摘要：描述了一个具有入侵容忍特性的分布式身份认证系统,利用多代理和冗余共享验证服务器的设计,使得认证系统具有容忍入侵的能力。将用户密码数据分布存储在多个共享认证服务器中,使得少数服务器受到入侵时仍能继续提供认证服务并且不会暴露...
- 下载全文在线阅读
- 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
- STL中Generic算法的扩展被引量：4收藏
- 作者：周成玉 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机工程》 2002
- 关键词：STL Generic算法 程序设计 数据模型 数据结构 C++语言
- 摘要：Generic程序设计是实现软件重用的重要方法之一。文章介绍了generic程序设计与C++标准模板库（STL），探讨了STL中generic算法的扩展方法。
- 下载全文在线阅读
- 基于UML的COSMIC-FFP度量方法被引量：3收藏
- 作者：计春雷 谈叶勇 宋国新
- 机构：华东理工大学计算机科学与工程系;上海电机学院电子信息学院
- 来源：《计算机工程》 2010
- 关键词：功能规模度量 COSMIC-FFP度量方法 统一建模语言 映射规则
- 摘要：针对目前的软件规模度量方法中存在的主观性强、可重复性差的问题,通过将UML引入到度量过程中来改善当前的软件度量方法。分析UML主要部件(用例图、类图和时序图)的语义和COSMIC-FFP的主要元素(功能用户、层、边界、数...
- 下载全文在线阅读
- 面向对象方法的COSMIC-FFP功能规模度量被引量：3收藏
- 作者：计春雷 闫顺成 宋国新
- 机构：华东理工大学计算机科学与工程系;上海电机学院电子信息学院
- 来源：《计算机科学》 2011
- 关键词：面向对象方法 功能规模度量 COSMIC-FFP 面向对象方法的全功能点 映射
- 摘要：现有的4种符合ISO标准的FSM方法均不能考虑到对象的交互性和对象的行为,无法正确地度量面向对象系统的功能规模。在分析面向对象方法的软件开发过程的基础上,结合面向对象系统的特点,基于COSMIC-FFP,提出了一种面向对...
- 下载全文在线阅读
- 基于重写归纳技术的串行加法器的描述和验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2003
- 关键词：重写归纳技术 串行加法器 验证 硬件电路 逻辑位 门电路 逻辑功能
- 摘要：在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础。最...
- 下载全文在线阅读
- 网络应用中的用户认证方法被引量：3收藏
- 作者：顾春华 宋国新 王行愚
- 机构：华东理工大学信息学院
- 来源：《信息网络安全》 2001
- 关键词：用户认证 用户名 公钥加密体系 服务器端 私钥加密 用户密码 网络应用
- 摘要：近年来,计算机网络的飞速发展,特别是Internet的广泛应用,网络应用的发展也产生了新的问题--系统安全.特别在刚刚兴起的电子商务面前,信息网络安全问题更显得严重.简单地说,任何人都希望在Internet上发送或接收信...
- 下载全文在线阅读
- 重写系统中的显式归纳方法被引量：3收藏
- 作者：宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 1996
- 关键词：归纳定理 重写系统 等式系统 显式归纳 K-B算法
- 摘要：提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统。实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。
- 下载全文在线阅读
- 类型系统与程序正确性问题被引量：3收藏
- 作者：丁志义 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机科学》 2006
- 关键词：类型系统 程序验证 λ演算 证明理论 程序正确性 语义错误 执行程序 直觉主义 子类型 代码
- 摘要：类型系统能检出合法程序的语义错误，可以缩短调试时间，在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统的能...
- 下载全文在线阅读
- 基于幂表的并行加法器的归纳验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《电子学报》 2003
- 关键词：重写 归纳 加法器 描述 验证
- 摘要：介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
- 下载全文在线阅读
- 铁路系统的模型检查和参数分析被引量：2收藏
- 作者：鲍峥嵘 虞慧群 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系;南京大学计算机软件新技术国家重点实验室
- 来源：《华东理工大学学报（自然科学版）》 1999
- 关键词：嵌入式系统 铁路系统 模型检查 参数分析 安全性
- 摘要：研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。
- 下载全文在线阅读
- 一种虚拟企业访问控制模型被引量：2收藏
- 作者：顾春华 张雪芹 宋国新
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：虚拟企业 RBAC 访问控制 访问控制矩阵 访问控制列表
- 摘要：在分析了虚拟企业访问控制需求的基础上,扩展传统的基于角色的访问控制模型(RBAC),定义了一种跨企业RBAC(CE-RBAC)模型,该模型能在虚拟企业环境中方便地实现跨企业的安全访问控制。
- 下载全文在线阅读
