成果/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的计算公式 ,使其计...
- 下载全文在线阅读
- 一种改进的功能点分析方法被引量：8收藏
- 作者：顾勋梅 宋国新 邵志清
- 机构：华东理工大学信息学院计算机科学与工程系
- 来源：《计算机工程》 2007
- 关键词：功能点分析 复杂度等级 模糊功能点分析
- 摘要：功能点分析是一种广泛使用的软件功能规模度量方法,它不依赖于实现语言,度量结果也可以在不同的开发过程之间进行比较。该文针对功能点分析方法中功能要素复杂度等级划分的缺点和不足,提出了模糊功能点分析方法。该方法能更准确地估算出...
- 下载全文在线阅读
- 基于连续消除的六边形自适应搜索算法被引量：8收藏
- 作者：黄帅 宋国新
- 机构：华东理工大学计算机系
- 来源：《计算机工程》 2006
- 关键词：运动估计 块匹配算法 连续消除算法(SEA) SE-HMVFAST
- 摘要：结合连续消除算法提出了一种新的运动估计算法——基于连续消除的六边形自适应搜索算法,该算法采用六边形和小菱形搜索模板,并利用连续消除算法对每个待匹配点进行判断,减少待匹配点的个数。试验结果表明,该算法的搜索速度优于现有的快...
- 下载全文在线阅读
- 不恢复余数阵列除法器的形式化描述和验证方法被引量：7收藏
- 作者：张欢欢 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机科学》 2007
- 关键词：重写 归纳 除法器 描述 验证
- 摘要：本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的。不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现。本...
- 下载全文在线阅读
- 基于稀疏编码的图像语义分类器模型被引量：7收藏
- 作者：梁天一 宋国新 虞慧群
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：视觉认知 稀疏编码 图像语义 图像分类
- 摘要：为了解决图像检索以及遥感图像识别等图像处理研究中本质的问题——如何对高层抽象图像语义进行有效的分类,本文采用生物视觉认知机理,结合生物特征信息,用最小生成树的方法构造图像信息语义树,提出了一个基于稀疏编码的图像语义分类器...
- 下载全文在线阅读
- 一种新的改进遗传算法及其应用被引量：7收藏
- 作者：蒲若昂 李志华 宋国新
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机应用与软件》 2007
- 关键词：遗传算法 模式定理 积木块假设 函数优化
- 摘要：研究并提出了一种基于模式的改进遗传算法,该算法加强了好的模式对群体的影响,在收敛速度和防止陷入局部最优解取得了平衡。在一个经典测试函数的仿真实验中,与基本遗传算法(SGA)和自适应遗传算法(AGA)相比,该改进遗传算法表...
- 下载全文在线阅读
- 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参数的预测残差矢量的第一、二个参数进行标量量化,余下的参数则利...
- 下载全文在线阅读
- 一种基于安全策略的云数据访问控制优化技术被引量：5收藏
- 作者：苏雪 宋国新
- 机构：武汉铁路职业技术学院;华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2016
- 关键词：云存储 安全策略 信誉 访问控制 优化
- 摘要：云存储安全给访问控制技术带来了新的挑战。提出了一种基于安全策略的云数据访问控制优化方法,基本思想是利用数据关联关系进行安全策略精化,基于属性的安全策略中融合了角色和信誉特征。利用数据关联关系对云数据进行细粒度划分,得到相...
- 下载全文在线阅读
- UML到SDL在地铁售票机系统中的应用被引量：5收藏
- 作者：潘俊 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2004
- 关键词：UML SDL 转化 形式化方法
- 摘要：介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程。售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。
- 下载全文在线阅读
- STL中Generic算法的扩展被引量：4收藏
- 作者：周成玉 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机工程》 2002
- 关键词：STL Generic算法 程序设计 数据模型 数据结构 C++语言
- 摘要：Generic程序设计是实现软件重用的重要方法之一。文章介绍了generic程序设计与C++标准模板库（STL），探讨了STL中generic算法的扩展方法。
- 下载全文在线阅读
- 具有入侵容忍特性的身份认证系统被引量：4收藏
- 作者：黄建华 程晓松 宋国新
- 机构：华东理工大学计算机系
- 来源：《计算机工程》 2006
- 关键词：认证 入侵容忍 秘密共享 代理
- 摘要：描述了一个具有入侵容忍特性的分布式身份认证系统,利用多代理和冗余共享验证服务器的设计,使得认证系统具有容忍入侵的能力。将用户密码数据分布存储在多个共享认证服务器中,使得少数服务器受到入侵时仍能继续提供认证服务并且不会暴露...
- 下载全文在线阅读
- 面向对象方法的COSMIC-FFP功能规模度量被引量：3收藏
- 作者：计春雷 闫顺成 宋国新
- 机构：华东理工大学计算机科学与工程系;上海电机学院电子信息学院
- 来源：《计算机科学》 2011
- 关键词：面向对象方法 功能规模度量 COSMIC-FFP 面向对象方法的全功能点 映射
- 摘要：现有的4种符合ISO标准的FSM方法均不能考虑到对象的交互性和对象的行为,无法正确地度量面向对象系统的功能规模。在分析面向对象方法的软件开发过程的基础上,结合面向对象系统的特点,基于COSMIC-FFP,提出了一种面向对...
- 下载全文在线阅读
- 基于UML的COSMIC-FFP度量方法被引量：3收藏
- 作者：计春雷 谈叶勇 宋国新
- 机构：华东理工大学计算机科学与工程系;上海电机学院电子信息学院
- 来源：《计算机工程》 2010
- 关键词：功能规模度量 COSMIC-FFP度量方法 统一建模语言 映射规则
- 摘要：针对目前的软件规模度量方法中存在的主观性强、可重复性差的问题,通过将UML引入到度量过程中来改善当前的软件度量方法。分析UML主要部件(用例图、类图和时序图)的语义和COSMIC-FFP的主要元素(功能用户、层、边界、数...
- 下载全文在线阅读
- 类型系统与程序正确性问题被引量：3收藏
- 作者：丁志义 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机科学》 2006
- 关键词：类型系统 程序验证 λ演算 证明理论 程序正确性 语义错误 执行程序 直觉主义 子类型 代码
- 摘要：类型系统能检出合法程序的语义错误，可以缩短调试时间，在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统的能...
- 下载全文在线阅读
- 基于幂表的并行加法器的归纳验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《电子学报》 2003
- 关键词：重写 归纳 加法器 描述 验证
- 摘要：介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
- 下载全文在线阅读
- 基于重写归纳技术的串行加法器的描述和验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2003
- 关键词：重写归纳技术 串行加法器 验证 硬件电路 逻辑位 门电路 逻辑功能
- 摘要：在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础。最...
- 下载全文在线阅读
- 铁路系统的模型检查和参数分析被引量：2收藏
- 作者：鲍峥嵘 虞慧群 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系;南京大学计算机软件新技术国家重点实验室
- 来源：《华东理工大学学报（自然科学版）》 1999
- 关键词：嵌入式系统 铁路系统 模型检查 参数分析 安全性
- 摘要：研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。
- 下载全文在线阅读
- Verilog的一个操作语义模型被引量：2收藏
- 作者：崔宏斌 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2004
- 关键词：形式语义学 Verilog 操作语义 并发性 模型
- 摘要：提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象,该子集包括了Verilog最重要的语言特征,如事件控制,时延,并发性等;定义了程序状态空间及其上的状态迁移系统。
- 下载全文在线阅读
- 一种基于委托逻辑的协作环境访问控制模型被引量：2收藏
- 作者：顾春华 张雪芹 宋国新
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机工程》 2006
- 关键词：委托逻辑 RBAC 访问控制
- 摘要：提出了一种基于委托逻辑的访问控制模型——DLBAC,将凭证、RBAC元素和访问策略转化为统一的委托逻辑规则。引入了访问控制单元的概念来表示一个访问控制系统,并且定义了标准的规则传递接口,将跨实体企业的访问控制转换成企业内...
- 下载全文在线阅读
- 一种虚拟企业间网络的互连模型被引量：2收藏
- 作者：顾春华 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机工程与应用》 2004
- 关键词：应用共享 数据隧道 用户认证
- 摘要：企业间电子化业务的展开需要一个局部互连的网络平台,在该平台上不同企业间可以基于某个业务应用在认证后进行交互协作。在分析了现有虚拟企业系统和Internet技术的基础上,提出了基于应用共享的虚拟Inter-Enterpri...
- 下载全文在线阅读
- 一种虚拟企业访问控制模型被引量：2收藏
- 作者：顾春华 张雪芹 宋国新
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：虚拟企业 RBAC 访问控制 访问控制矩阵 访问控制列表
- 摘要：在分析了虚拟企业访问控制需求的基础上,扩展传统的基于角色的访问控制模型(RBAC),定义了一种跨企业RBAC(CE-RBAC)模型,该模型能在虚拟企业环境中方便地实现跨企业的安全访问控制。
- 下载全文在线阅读
- 服务可用性系统的软件在线升级设计被引量：2收藏
- 作者：苏雪 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：服务可用性 在线升级 版本同步 接口翻译
- 摘要：提出一种基于服务可用性系统的软件在线升级设计思路,并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。
- 下载全文在线阅读
- 一种Verilog的操作语义被引量：1收藏
- 作者：董鑫 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：Verilog 形式化语义 操作语义 并发
- 摘要：用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行...
- 下载全文在线阅读
- 并行程序的一种形式化硬件综合方法被引量：1收藏
- 作者：刘冬梅 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2001
- 关键词：并行语言 操作语义 转化规则 硬件综合 并行程序 嵌入式系统 PL
- 摘要：基于并行语言的操作语义 ,提出一组将语言构造模块转化为硬件电路的规则。利用这些规则 ,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路。
- 下载全文在线阅读
