北京航空航天大学计算机学院计算机科学技术系
- 作品数：38 被引量：264H指数：9
- 相关作者：李昭原赫南王颖赵军张莹更多>>
- 相关机构：清华大学软件学院清华大学信息科学技术学院计算机科学与技术系清华大学信息科学技术学院更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信天文地球金属学及工艺更多>>
- 基于BT的断点续传技术的研究与实现
- 文件分享是互联网的传统应用.P2P技术已表明可以用来提供大规模的网络服务,BT是互联网最为流行的P2P内容分享应用之一.但标准的BT协议以段为单位传输,在传输过程中,远程鲒点的离开,本地鲒点会重传与离开的远程鲒点未传输完...
- 祝明发秦静超王智尧徐春杰秦广军阮利谭东宇李明泉
- 关键词：BT断点续传
- 面向物资供应系统的访问控制模型的研究与实现
- 1引言物资供应是现代化大型企业的生产经营活动中必不可少的一个重要环节,对物资供应环节的有效的管理是减少库存占用资金、提高资金周转率、保障生产活动顺利进行、增强企业竞争力的有效手段。随着计算机技术的发展,越来越多的企业通过...
- 高辉徐玮李昭原
- 关键词：ROLEUSERRIGHTS
- 文献传递
- 大规模外存场景中的实时碰撞检测算法
- 实时碰撞检测是与虚拟环境进行有效交互的关键技术。随着虚拟环境规模越来越大，场景模型的教据量已远远超过普通PC机的内存容量，针对这种外存场景，传统的基于内存模型的技术已无法与其实时进行碰撞检测。本文在预处理阶段为数据量远大...
- 陈治宇梁晓辉于卓马上
- 关键词：碰撞检测外存算法数据预取
- 地籍GIS系统中时空数据模型设计及其数据管理
- 本文根据地籍GIS系统的特点, 引入面向对象的设计思想, 重点讨论了支持时空回溯功能的GIS数据模型建立, 给出了其地理实体对象的空间信息和属性信息的管理和维护模式. 并使用版本分割的方法对数据进行管理, 以提高历史回溯...
- 李珂曹杰峰翁敬农
- 关键词：地理实体
- 文献传递
- 基于规则的用例规约验证方法
- 用例模型描述了参与者对于系统功能的需求,在整个系统的开发过程中起到重要的作用,用例描述若存在问题,会对系统开发造成很大影响.本文提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法(R...
- 张莹吴际刘超杨海燕胡宁
- 关键词：软件开发
- 文献传递
- 基于蓝牙技术的即插即用传感器系统研究与实现
- 2005年
- 主要介绍如何使传统传感器具有自我表述能力以实现即插即用功能。即通过读取传感器上嵌入的一块存储器上存储的TEDS,得知该传感器的所有重要信息。有效地克服了传统传感器的复杂搭建连线过程。此外,引入了蓝牙无线技术,对异地无线测量系统和即插即用测量设备的研究有一定的应用和参考价值。
- 贾茹婷周浩敏雷程炜
- 关键词：蓝牙技术DSP
- Web-MIS应用程序的开发方法与工具研究
- 1问题的提出随着Internet/Intranet的迅猛发展,管理信息系统(MIS)的体系结构从主机/终端结构、客户/服务器结构逐步发展到浏览器/服务器结构。以Internet电子商务为目标的、基于Internet/In...
- 徐玮李昭原
- 关键词：WEBCOMPONENT
- 文献传递
- 基于场景的软件测试工具系列的设计与实现被引量：5
- 2001年
- 文章将场景技术用于软件测试工具系列Safepro的开发，在讨论测试工具开发共性的基础上，还兼顾个别测试工具的一些特别之处。文中简要介绍了软件测试工具的研究现状，随后给出了系统的测试场景，并基于场景分析了系统的构成模式，讨论了测试数据流模型，包括测试过程的数据流模型，数据流的性能改进，以及基于消息的数据分发和缓冲计数的应用。文章还介绍了采用Makefile规则实现测试分析过程组织的方法。
- 孙昌爱金茂忠刘超
- 关键词：软件测试工具软件开发
- 一种基于拓扑势的网络社区发现方法被引量：99
- 2009年
- 从数据场思想出发，提出了一种基于拓扑势的社区发现算法．该方法引入拓扑势描述网络节点间的相互作用，将每个社区视为拓扑势场的局部高势区，通过寻找被低势区域所分割的连通高势区域实现网络的社区划分．理论分析与实验结果表明，该方法无须用户指定社区个数等算法参数，能够揭示网络内在的社区结构及社区间具有不确定性的重叠节点现象．算法的时间复杂度为O（m＋n^3／r）～O（n^2），n为网络节点数，m为边数，2〈γ〈3为一个常数．
- 淦文燕赫南李德毅王建民
- 关键词：数据场复杂网络
- 基于目标的软件可信性需求规约方法研究被引量：6
- 2007年
- 高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量。在目前公认的非功能需求规约框架的基础上,利用B抽象机理论,结合面向目标的规约方法,建立了一种可信性需求的分析与定义方法,即软件可信剖面。该方法可应用于UML,利用B抽象机理论,为可信性需求模型的定理化证明奠定了基础。
- 郭树行兰雨晴金茂忠
- 关键词：面向目标需求规约
