您的位置： 专家智库 > >

宋国新

作品数：73 被引量：144H指数：7
供职机构：华东理工大学信息科学与工程学院计算机科学与工程系更多>>
发文基金：国家自然科学基金上海市科学技术发展基金教育部科学技术研究重点项目更多>>
相关领域：自动化与计算机技术文化科学电子电信经济管理更多>>

合作作者

文献类型

  • 67篇期刊文章
  • 5篇会议论文
  • 1篇科技成果

领域

  • 65篇自动化与计算...
  • 5篇文化科学
  • 3篇电子电信
  • 1篇经济管理
  • 1篇天文地球
  • 1篇机械工程
  • 1篇交通运输工程
  • 1篇环境科学与工...
  • 1篇语言文字
  • 1篇理学

主题

  • 12篇形式化
  • 5篇代理
  • 5篇重写
  • 4篇硬件
  • 4篇用户
  • 4篇入侵
  • 4篇入侵容忍
  • 4篇体系结构
  • 4篇嵌入式
  • 4篇嵌入式系统
  • 4篇网络
  • 4篇计算机
  • 4篇访问控制
  • 4篇操作语义
  • 3篇形式化方法
  • 3篇身份认证
  • 3篇教学
  • 3篇功能规模度量
  • 3篇UML
  • 3篇VERILO...

机构

  • 73篇华东理工大学
  • 6篇上海电机学院
  • 3篇武汉铁路职业...
  • 1篇南京大学
  • 1篇宁夏大学
  • 1篇上海交通大学
  • 1篇武汉邮电科学...
  • 1篇上海市计算机...

作者

  • 73篇宋国新
  • 21篇邵志清
  • 9篇虞慧群
  • 8篇顾春华
  • 6篇计春雷
  • 5篇丁志义
  • 5篇张欢欢
  • 4篇刘江
  • 4篇苏雪
  • 4篇黄建华
  • 2篇崔宏斌
  • 2篇刘冬梅
  • 2篇程华
  • 2篇田昌勇
  • 2篇龚正良
  • 2篇潘国强
  • 2篇顾勋梅
  • 2篇董鑫
  • 2篇高大启
  • 2篇张雪芹

传媒

  • 39篇华东理工大学...
  • 8篇计算机工程
  • 4篇计算机科学
  • 3篇计算机应用与...
  • 2篇微型电脑应用
  • 2篇计算机工程与...
  • 2篇全国高等院校...
  • 1篇电子学报
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇宁夏大学学报...
  • 1篇高技术通讯
  • 1篇小型微型计算...
  • 1篇计算机与数字...
  • 1篇信息网络安全
  • 1篇上海电机学院...
  • 1篇2006年全...
  • 1篇全国第18届...
  • 1篇全国第18届...

年份

  • 1篇2017
  • 1篇2016
  • 1篇2012
  • 1篇2011
  • 3篇2010
  • 4篇2009
  • 2篇2008
  • 14篇2007
  • 12篇2006
  • 5篇2005
  • 7篇2004
  • 3篇2003
  • 4篇2002
  • 5篇2001
  • 4篇2000
  • 2篇1999
  • 1篇1998
  • 1篇1997
  • 1篇1996
  • 1篇1995
共 73 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
UML到SDL在地铁售票机系统中的应用被引量：3
2004年
介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法,并以地铁售票机系统的设计为例,介绍了具体的转化过程。售票机系统的需求规范用UML描述,系统的设计规范用SDL语言表示。
潘俊宋国新
关键词：UMLSDL形式化方法
分布式分组共享数据对象管理系统的设计和实现
2001年
研究和开发基于网络的并行程序设计语言是并行领域的主要研究方向之一。介绍了基于工作站网的管理分组共享对象系统 。
胡爱军宋国新
关键词：分布式共享存储网络管理系统并行程序设计语言
基于重写归纳技术的串行加法器的描述和验证被引量：3
2003年
在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。
张欢欢邵志清宋国新
关键词：硬件电路门电路逻辑功能
基于Web的SIP实现技术被引量：10
2001年
SIP是基于 IP的语音通讯体系结构的标准之一 ,本文通过对 SIP协议的研究 ,提出在Web的客户端浏览器上用 Java来实现
程华房一泉宋国新
关键词：用户代理JAVAAPPLETSIP协议网络服务器
具有入侵容忍特性的身份认证系统被引量：4
2006年
描述了一个具有入侵容忍特性的分布式身份认证系统,利用多代理和冗余共享验证服务器的设计,使得认证系统具有容忍入侵的能力。将用户密码数据分布存储在多个共享认证服务器中,使得少数服务器受到入侵时仍能继续提供认证服务并且不会暴露用户的密码信息,提高了认证系统的可用性及安全性。
黄建华程晓松宋国新
关键词：入侵容忍秘密共享代理
UML顺序图的COSMIC-FFP度量方法被引量：1
2010年
COSMIC-FFP是新一代软件功能规模度量方法,但由于其规则过于抽象导致较难推广。本文研究UML顺序图的COSMIC-FFP度量方法,通过给出COSMIC-FFP与UML顺序图概念之间的对应关系,提出了贯穿于整个度量过程的11条规则和从UML顺序图到度量结果矩阵的度量过程。通过实例验证了所提方法能使COSMIC-FFP更具有实用性。
计春雷陈文辉宋国新
关键词：顺序图
移动环境中视频编码的码率控制算法研究
2007年
根据移动环境的特点,采用了一种前向和后向结合的控制算法,建立一种自适应编码比特率分配模型,引入了无线信道带宽变化的自适应机制。利用此算法,对视频序列FOREMAN和CARPHONE进行测试。试验结果表明,该算法比TMN8算法在平均信噪比上提高了0.5dB左右,并且能够满足无线信道带宽频繁变化的要求。
吴建松宋国新
关键词：移动环境码率控制
功能规模度量统一模型
2010年
功能规模度量(Functional Size Measurement,FSM)方法是软件度量的一个重要研究方向。度量组织为了满足不同用户的需求,可以使用FSM的不同方法来度量软件的规模。为了能够同时运用FSM的多种方法进行度量,通过分析FSM的3种常用方法(IFPUG FPA、COSMICFFP和MarkII FPA),提出了功能规模度量统一模型(Unified Model of Functional Size Measure-ment,FSM-UM),并给出了FSM-UM到FSM的3种常用方法的映射规则,最后给出了一个FSM-UM的应用实例。
计春雷马晓伟宋国新
关键词：功能规模度量
一种上下文集成的冲突处理方法被引量：1
2006年
为了实现服务组合对环境的适应性,设计了能满足上下文动态集成的模型,并使用CC/PP的RDF创建P rofiles描述上下文。详细分析上下文集成中出现的冲突情况,定义优先级和效用因子,解决上下文集成中的冲突问题。结合原型系统进行测试,并给出了实验结果。研究结果表明:在不同的冲突策略情况下,该方法能在可接受的时间内解决冲突。
叶琪宋国新
关键词：上下文
服务可用性系统的软件在线升级设计被引量：1
2005年
提出一种基于服务可用性系统的软件在线升级设计思路,并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。
苏雪宋国新
关键词：服务可用性
全选 清除 导出
共8页<12345678>
聚类工具0