期刊文献+
共找到67篇文章
< 1 2 4 >
每页显示 20 50 100
规格说明语言NUSL的初步报告
1
作者 徐永森 姜馨杰 《汕头大学学报(自然科学版)》 1989年第2期73-83,共11页
NUSL是一个以数据抽象为核心的,可执行的规格说明语言,它具有如下特点:1.表达力强,2.简明精确,3.模块化,4.可执行.本文描述NUSL的语法语义并给出—个应用例子.
关键词 规格说明语言 NUSL 软件工程
下载PDF
关于功能规格说明的几个问题
2
作者 徐永森 陈沐天 +1 位作者 徐名孚 许创 《汕头大学学报(自然科学版)》 1989年第2期66-72,共7页
本文从软件开发的瀑布式模型出发讨论了软件系统的功能规格说明的形式化问题,原型技术问题和功能规格说明语言应具有的特点,并给出若干实列.
关键词 规格说明语言 原型 需求分析
下载PDF
一组基于三级度量模型的面向对象度量准则 被引量:5
3
作者 李茜 凌辉 +2 位作者 许晓春 徐永森 徐家福 《计算机科学》 CSCD 北大核心 2001年第2期25-29,43,共6页
1 引言 软件是信息技术的核心,软件的质量则是人们最关心的因素.软件度量作为刻画、评估和预示软件质量的一个必要和重要的方面,在70年代就开始被研究作者所关注.从传统的结构化设计到面向对象理论的产生,一方面不断出现新的软件度量指... 1 引言 软件是信息技术的核心,软件的质量则是人们最关心的因素.软件度量作为刻画、评估和预示软件质量的一个必要和重要的方面,在70年代就开始被研究作者所关注.从传统的结构化设计到面向对象理论的产生,一方面不断出现新的软件度量指标,如著名的C&k度量体系,MOOD度量体系;另一方面,对度量指标本身的评价也提出了相应的理论,包括应满足的性质、形式化评估软件度量性质的准则等.随着面向对象技术的广泛应用,传统的度量不再适用于面向对象的某些概念,如类、继承、封装和消息传递,需要有新的度量方法学、度量指标,以更好地刻画、评估和预示面向对象系统的质量. 展开更多
关键词 面向对象 软件度量准则 三级度量模型 软件工程 软件开发
下载PDF
基于感兴趣度的WWW个性化信息发现 被引量:4
4
作者 卢超 梅卫峰 +1 位作者 陈俊良 徐永森 《计算机科学》 CSCD 北大核心 2002年第10期67-69,共3页
1引言 随着Internet的飞速发展,网络信息量爆炸式的增长,信息的更新速率也成倍加快.再加上WWW本身的分布性和动态性,使得发现特定的信息变得越来越困难.传统的WWW信息发现方法[1],使用称之为spiders或robots的自动网站信息发现程序,在In... 1引言 随着Internet的飞速发展,网络信息量爆炸式的增长,信息的更新速率也成倍加快.再加上WWW本身的分布性和动态性,使得发现特定的信息变得越来越困难.传统的WWW信息发现方法[1],使用称之为spiders或robots的自动网站信息发现程序,在Internet上进行漫游,将它们所发现的Web文档下载到本地.在本地机上,通过离线数据库的建立,对搜集到的文档进行特征抽取、聚类、索引.用户的搜索请求,由信息发现系统转化为对数据库的查询,而得到最后的搜索结果. 展开更多
关键词 WWW 个性化信息发现 感兴趣度 数据库系统 计算机网络
下载PDF
具有人机交互界面的步进电机控制器设计 被引量:5
5
作者 徐正平 徐永森 匡海鹏 《液晶与显示》 CAS CSCD 北大核心 2012年第4期515-522,共8页
为便于工业应用,设计了具有人机交互界面的步进电机控制器。该控制器具有独立的编程指令。用户可通过PC机运行的程序编译软件完成应用程序的编写、自定义图像的选取及寄存器参数的设置。程序编译软件将上述信息通过串行总线传送给步进... 为便于工业应用,设计了具有人机交互界面的步进电机控制器。该控制器具有独立的编程指令。用户可通过PC机运行的程序编译软件完成应用程序的编写、自定义图像的选取及寄存器参数的设置。程序编译软件将上述信息通过串行总线传送给步进电机控制器,并保存在非易失性存储器中。步进电机控制器读取、解译并执行应用程序。该系统中配置有液晶显示器,实时显示操作信息;同时配有键盘,便于用户在工业现场修改应用程序或寄存器参数。整个系统以片上外设丰富的Cortex-M3核ARM芯片为核心,对系统指令、人机交互键盘、非易失性存储及LCD显示模块的设计进行了详细分析,并给出了系统设计显示结果。结果显示:LCD显示信息与用户按键命令同步,非易失性模块数据存储可靠,系统运行结果良好。 展开更多
关键词 人机交互 步进电机控制器 液晶显示器 非易失性存储器
下载PDF
SNMP网络管理平台NetInsight的设计与实现 被引量:2
6
作者 胥光辉 胡谷雨 +2 位作者 赖海光 徐永森 沈新 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第2期238-245,共8页
 介绍了一个实用SNMP网络管理平台NetInsight的设计与实现,其特点在于简单实用,并在某些方面具有自己的特色与创新.首先给出了NetInsight的系统结构;然后分别介绍了NetInsight提供的高效的拓扑发现工具、SNMPMIB的通用数据库实现、通...  介绍了一个实用SNMP网络管理平台NetInsight的设计与实现,其特点在于简单实用,并在某些方面具有自己的特色与创新.首先给出了NetInsight的系统结构;然后分别介绍了NetInsight提供的高效的拓扑发现工具、SNMPMIB的通用数据库实现、通用的性能管理工具以及智能的告警管理工具;最后是对该网管平台的评价和下一步的工作. 展开更多
关键词 NetInsight 网络管理系统软件 SNMP 拓扑发现 性能统计 事件关联 软件设计
下载PDF
面向对象软件度量自动化参考模型MOOP 被引量:5
7
作者 梅琳 杜晓晨 +1 位作者 李茜 徐永森 《计算机工程与科学》 CSCD 2001年第5期39-42,共4页
评估软件质量涉及到定性和定量两个方面。在定量的度量方面 ,要考虑两个问题 ,一是度量什么 ,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型 MOOP,该模型采用... 评估软件质量涉及到定性和定量两个方面。在定量的度量方面 ,要考虑两个问题 ,一是度量什么 ,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型 MOOP,该模型采用三层结构 :翻译层、表示层、分析层 ,具有可重定编译前端、中间表示与语言无关、度量集可定制等优点。基于 MOOP参考模型 ,我们设计了一种面向对象度量自动化系统 MOOP- 展开更多
关键词 面向对象 参考模型 MOOP 软件度量自动化 软件质量 软件工程
下载PDF
EASTT:一种嵌入式应用软件测试系统 被引量:5
8
作者 李茜 梅琳 +1 位作者 凌辉 徐永森 《计算机工程与科学》 CSCD 2002年第2期66-69,共4页
本文介绍了我们对嵌入式软件进行分析测试以及质量评价方面的研究成果———EASTT系统。这是一套针对C/C + +语言的测试工具集 ,可用于对嵌入式应用软件的静态结构分析、动态测试和运行情况跟踪 。
关键词 EASTT 嵌入式应用软件 测试系统 软件开发 面向对象
下载PDF
一种改进的程序流程图——层次流程图HFG 被引量:2
9
作者 许晓春 杜晓晨 +1 位作者 梅琳 徐永森 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第2期158-165,共8页
程序流程图是刻划程序控制结构的一种重要的表示方式 .层次流程图 (HierarchicalFlowGraph ,HFG)是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图 ,将程序由二维空间拓展到了三维空间 .HFG有效利用了块结构的... 程序流程图是刻划程序控制结构的一种重要的表示方式 .层次流程图 (HierarchicalFlowGraph ,HFG)是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图 ,将程序由二维空间拓展到了三维空间 .HFG有效利用了块结构的构型特征和对象封装性 ,具有较高的可重用性和可扩展性 .此外 ,HFG还提供了极为灵活的程序收缩和延展机制 ,可提供多级别的程序框架 。 展开更多
关键词 程序流程图 层次流程图 HFG 程序划分机制 节点 块构型 程序收缩 程序延展 软件测试
下载PDF
Agent社会:一种个性化智能信息发现环境 被引量:2
10
作者 许晓春 杜晓晨 +2 位作者 梅卫锋 徐永森 陈俊良 《计算机科学》 CSCD 北大核心 2001年第10期35-38,共4页
Agent Society is a WWW-based information retrieval environment. It is composed of diverse information Agents. They can provide intelligent information discovery and retrieval services inedpen-dently to individual user... Agent Society is a WWW-based information retrieval environment. It is composed of diverse information Agents. They can provide intelligent information discovery and retrieval services inedpen-dently to individual users,which also have the ability to communicate and collaborate with each other. 展开更多
关键词 个性化智能信息发现 AGENT 万维网 信息服务
下载PDF
从用例模型到基于使用测试模型的转化 被引量:2
11
作者 凌辉 李茜 +2 位作者 许晓春 徐永森 徐家福 《计算机科学》 CSCD 北大核心 2001年第2期30-34,51,共6页
1 引言 需求分析和系统测试是软件开发过程中非常重要的两个方面.系统测试包括功能测试和非功能测试,功能测试的主要目的是通过测试判断系统是否正确实现了功能需求,非功能测试中最主要的是可靠性测试即该系统的使用是否可靠.系统测试... 1 引言 需求分析和系统测试是软件开发过程中非常重要的两个方面.系统测试包括功能测试和非功能测试,功能测试的主要目的是通过测试判断系统是否正确实现了功能需求,非功能测试中最主要的是可靠性测试即该系统的使用是否可靠.系统测试需要使用需求分析得到的相关信息,两者关系比较紧密.如何将两者集成起来是本文主要讨论的问题. 展开更多
关键词 用例模型 使用测试模型 软件开发 软件需求分析
下载PDF
移动代理在网络管理中的应用 被引量:4
12
作者 胥光辉 谢希仁 徐永森 《南京大学学报(自然科学版)》 CAS CSCD 2000年第4期413-418,共6页
介绍了移动代理的几个基本概念和相关的实现技术 ,针对传统的客户 /服务器模式的网络管理模型的缺陷 ,提出了一种引入移动代理的网络管理模型 ,给出了支持网络管理的移动代理系统的逻辑结构 .给出了一个原型系统 ,并就原型系统的安全性... 介绍了移动代理的几个基本概念和相关的实现技术 ,针对传统的客户 /服务器模式的网络管理模型的缺陷 ,提出了一种引入移动代理的网络管理模型 ,给出了支持网络管理的移动代理系统的逻辑结构 .给出了一个原型系统 ,并就原型系统的安全性设计和性能方面进行了讨论 ,可以看出现有的网络管理模型和移动代理分别有自己的应用场合 ,实时性的、处理频繁的、或者数据量大的管理任务适合采用移动代理来实现 ,而另一些常规的管理任务仍然需要采用SNMP或CMIP协议来完成 . 展开更多
关键词 移动代理 安全性 网络管理
下载PDF
一种WWW上虚拟信息网络模型 被引量:1
13
作者 杜晓晨 詹志远 +2 位作者 梅卫锋 张昱 徐永森 《计算机科学》 CSCD 北大核心 2001年第1期114-117,共4页
1 引言 国内外对于WWW上的信息发现技术进行了不少探索和研究,开发了一些实用系统,其中应用广泛的有Yahoo!、AltaVista等.这些实用系统本身大多基于客户机/服务器体系结构.使用中人们发现采用这种结构的系统普遍存在以下几方面的缺陷: 1... 1 引言 国内外对于WWW上的信息发现技术进行了不少探索和研究,开发了一些实用系统,其中应用广泛的有Yahoo!、AltaVista等.这些实用系统本身大多基于客户机/服务器体系结构.使用中人们发现采用这种结构的系统普遍存在以下几方面的缺陷: 1)脆弱性:用户必须先登录到相应的远程搜索服务器上才能进行基于远程服务器的信息搜索.一旦远程搜索服务器出现故障或不可连通,用户就无法进行信息的搜索工作. 展开更多
关键词 WWW 虚拟信息网络 VIN模型 信息发现 INTERNET
下载PDF
表达式元性理论的性质 被引量:1
14
作者 宋方敏 丁一强 徐永森 《计算机学报》 EI CSCD 北大核心 1996年第10期768-772,共5页
本文给出Martin-表达式元性(Arity)理论的形式系统,并证明了它的弱标准化定理.
关键词 表达式 元性理论 弱标准化 计算机
下载PDF
网络管理中的一种分级告警关联方法 被引量:1
15
作者 胥光辉 谢希仁 徐永森 《东南大学学报(自然科学版)》 EI CAS CSCD 2000年第3期11-15,共5页
提出了一种基于SNMP网络管理环境、使用分布式智能代理进行单个网络设备告警关联的算法 .算法分成三步 :①智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为协议故障模型有限状态机的输入 ,产生TCP/IP协议实体的当前状态 ;②按... 提出了一种基于SNMP网络管理环境、使用分布式智能代理进行单个网络设备告警关联的算法 .算法分成三步 :①智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为协议故障模型有限状态机的输入 ,产生TCP/IP协议实体的当前状态 ;②按照服务关系 ,将状态不正常的协议实体关联起来 ;③对关联的结果赋予一个信念 ,报告给网络管理中心 .该算法将告警关联和故障标识的难度进行了分解 。 展开更多
关键词 智能代理 告警关联 网络管理
下载PDF
一种分级的基于智能代理的事件关联技术 被引量:1
16
作者 胥光辉 徐永森 《计算机研究与发展》 EI CSCD 北大核心 2002年第5期551-556,共6页
事件关联是网络管理中的一项关键技术 ,尽管已经提出了多种解决方法 ,但都没有很好地解决这个 NP完全问题 .提出了一种分级的、基于智能代理的事件关联技术 ,该方法分成两个部分 :1在设备上驻留智能代理 ,对设备发出的告警事件进行分类... 事件关联是网络管理中的一项关键技术 ,尽管已经提出了多种解决方法 ,但都没有很好地解决这个 NP完全问题 .提出了一种分级的、基于智能代理的事件关联技术 ,该方法分成两个部分 :1在设备上驻留智能代理 ,对设备发出的告警事件进行分类、过滤和关联工作 ;2管理平台上的事件服务器对智能代理的关联结果进行汇总 ,将MBR技术和 CBR技术有机地结合起来 ,得出最可能的故障假设 .这种方法对事件关联问题的难度进行了分解 ,有利于实现网络的实时管理和自动管理 .另外 ,按照这种方法建立的事件关联系统具有通用性和灵活性 。 展开更多
关键词 网络管理 事件关联 智能代理 MBR CBR 计算机网络
下载PDF
同步阻塞线程的唤醒问题研究 被引量:1
17
作者 胥光辉 徐永森 《计算机科学》 CSCD 北大核心 2002年第12期49-50,共2页
Firstly, the definition and characters of blocking mode and non-blocking mode in socket communication areintroduced, and the question of wakening up a synchronic blocking thread is proposed. Then, a typical blocking s... Firstly, the definition and characters of blocking mode and non-blocking mode in socket communication areintroduced, and the question of wakening up a synchronic blocking thread is proposed. Then, a typical blocking sock-et communication within mobile stock operations is given, and a method based on exception detecting to waken upsynchronic blocking threads is proposed. Additionally, a phenomenon of vibrating is also analyzed and solved. Andlastly, a conclusion is given. 展开更多
关键词 网络编程方法 同步阻塞线程 唤醒问题 证券公司 移动证券业务
下载PDF
移动证券业务中的安全机制研究 被引量:1
18
作者 胥光辉 徐永森 《电信科学》 北大核心 2001年第12期35-38,共4页
本文首先介绍了移动证券业务中对于敏感交易信息的加密和解密过程 ,提出了具体的安全性要求。然后 ,给出了一种可以用于移动证券业务的安全机制 ,该安全机制采用了两密钥的三重DES算法进行加解密 ;密钥分为传输密钥和交易密钥两种 ,每... 本文首先介绍了移动证券业务中对于敏感交易信息的加密和解密过程 ,提出了具体的安全性要求。然后 ,给出了一种可以用于移动证券业务的安全机制 ,该安全机制采用了两密钥的三重DES算法进行加解密 ;密钥分为传输密钥和交易密钥两种 ,每种密钥经过三级分散处理 ;同时引入了动态密钥下载、密钥版本更新等新功能 ,很好地满足了移动证券业务对于安全性的要求。接着 ,给出了该安全机制的一个具体实现过程 。 展开更多
关键词 移动证券 安全机制 移动通信 证券业务 因特网
下载PDF
EASTT源码解析系列之二——中间结构管理器 被引量:1
19
作者 许晓春 梅琳 +1 位作者 胥光辉 徐永森 《共创软件》 2002年第1期35-38,共4页
中间结构管理器是EASTT系统的核心组成部分。它首先通过与语法分析器的协同工作初步构建起EASTT系统的核心数据结构——层次语义模型Hierarchical Semantics Model(HSM),然后在此基础上进行一系列深层分析,并最终实现层次语义模型,... 中间结构管理器是EASTT系统的核心组成部分。它首先通过与语法分析器的协同工作初步构建起EASTT系统的核心数据结构——层次语义模型Hierarchical Semantics Model(HSM),然后在此基础上进行一系列深层分析,并最终实现层次语义模型,为质量评价模块、测试模块、图形化结果显示模块等相关模块提供相应数据, 展开更多
关键词 数据结构 中间结构管理器 EASTT系统 层次语义模型 EASTT源码
下载PDF
一种高性能面向交互式系统管理的HTTP/CGI SERVER设计方法的研究
20
作者 陈健 陈俊良 徐永森 《计算机科学》 CSCD 北大核心 2002年第12期73-76,共4页
Web-based management systems are increasingly replacing traditional terminal-based and Xwindows-basedsystems,Producing such a system seems to require a tremendous amount of laborious low-level coding due to theprimiti... Web-based management systems are increasingly replacing traditional terminal-based and Xwindows-basedsystems,Producing such a system seems to require a tremendous amount of laborious low-level coding due to theprimitive nature of CGI programming,it also suffes from the overhead of CGI processing ,perceived latency of Web re-spond and lack of security,we present ideas for the whole new HTTP/CGI Server to solve these problems and give ahigh performance to the management system. 展开更多
关键词 HTTP/CGI 交互式系统 网络管理 计算机网络 SERVER 设计方法
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部