徐良贤 作品数:47 被引量:367 H指数:12 供职机构: 上海交通大学电子信息与电气工程学院计算机科学与工程系 更多>> 发文基金: 国家自然科学基金 陕西省自然科学基金 教育部基金 更多>> 相关领域: 自动化与计算机技术 文化科学 经济管理 电子电信 更多>>
算法工程的思想、方法与工具——以SAT算法为研究实例 2003年 1.什么是"算法工程"?
20世纪90年代中期,"算法工程"这个词开始频频出现.A.V.Aho等计算机科学家曾在1996年ACM计算理论研讨会(STOC'96)上呼吁研究者们要重视算法工程的研究和实践[1]. 焦加麟 韩晓峰 徐良贤关键词:SAT算法 计算机 基于XMLP的远程过程调用机制的研究 被引量:1 2002年 讨论了传统远程过程调用机制的不足,描述了用XML格式描述远程过程调用的基本方法,在此基础上实现了一个用XML消息协议作为传输协议的中间件系统。 张亚 徐良贤关键词:XML 远程过程调用 中间件 分布式对象 防火墙 INTERNET Concurrent C语言单处理机版本的实现 被引量:1 1993年 Concurrent C是一种支持并发程序设计的语言,它是C语言的一个超集。本文讨论Concurrent C语言在运行XENIX或UNIX操作系统的单处理机上的实现。 胡冰烽 王彤 裴健 徐良贤关键词:并发程序设计 程序语言 XML密钥管理规范 被引量:4 2004年 对W3C制定的XKMS规范进行分析研究,主要讨论了XKMS规范的组成和工作机制,实现了使用XKMS服务来注册和检索密钥。 张亚忠 徐良贤关键词:XML XKMS 一种软件代码精细分析技术 被引量:1 2002年 精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述“自动分析记录”的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解.此外还提出粒度可调思想,能调节分析的精度和范围,较好地解决了Fault/Failure模型的限制,拓展了用途.最后本文给出了一些具体的应用思路,如放置警报器、评估可靠性、配置资源、设计测试实例等,以及对面向对象软件测试的启发. 唐英 徐良贤关键词:软件代码 软件测试 可测试性 软件工程 堆栈溢出攻击的原理及检测 被引量:10 2001年 堆栈溢出攻击是目前使用得相当普遍的一种黑客技术分析了这种攻击技术的原理,指出了进行这种攻击时输入参数与正常情况下, 的差异。在此基础上提出了利用神经网络进行检测的方法。 孙海彬 徐良贤 杨怀银关键词:网络安全 堆栈溢出 BP神经网络 入侵检测 INTERNET Linux内核模块的实现机制 被引量:13 2001年 Linux内核采用了可装载的模块,文章首先提出了实现这一机制所要解决的问题。然后详细分析了Linux中用于实现模块的主要数据结构struct module,struct module_symbol,struct module_ref以及由它们组成的模块链表、符号表、依赖表、引用链表。在此基础之上,阐明了Linux是如何使用这些数据结构来完成内核模块的加载与卸载过程的。 孙海彬 傅谦 徐良贤关键词:LINUX 内核模块 数据结构 内存管理 进程管理 应用净室软件工程解决软件的高失效问题 被引量:1 2004年 软件的失效率居高不下 ,是传统软件开发实践中较为突出的一个问题。本文深入分相反了造成高失效的原因 ,并指出在传统软件工程方法的框架之下难以彻底解决软件的高失效问题。净室软件工程 (文中简称“净室”是一种应用数学与统计学以经济的方式生产高质量软件的工程技术。本文根据净室的理论和实现 ,提出一套切实可行的方案 ,帮助软件开发图队以较高的效费比开发高质量的软件 ,从根本上解决软件的高失效问题。 马峥 徐良贤关键词:失效率 软件开发 净室软件工程 统计测度 分布式C语言的实现 1995年 计算机微处理器技术与通信技术的发展推动了分布式系统的研究.在分布式计算机语言方面,人们已作了大量的研究工作,并推出了各种分布式程序设计语言.本文提出并在SUN4工作站上实现了基于PVM的分布式程序设计语言—ConC. 张立民 徐良贤关键词:分布式系统 C语言 程序语言 VoiceXML语音浏览器的研究 被引量:13 2002年 讨论了如何将VoiceXML浏览器中的一个核心部分―VoiceXML解析器以COM组件的形式实现,为语音应用程序提供服务。并且进一步考虑了用组件技术实现以VoiceXML浏览器为核心的整个语音应答系统的可能。 李明华 徐良贤关键词:VOICEXML 语音浏览器 COM组件 语音识别 语音合成 INTERNET