期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
构造类型论与计算机程序设计 被引量:1
1
作者 蒋慧 林东 +1 位作者 孙泉 谢希仁 《计算机科学》 CSCD 北大核心 2002年第2期72-77,61,共7页
1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为... 1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为数学和计算的基础.构造类型论为计算机科学家提供了一个框架,以一种优雅和灵活的方式把逻辑和程序设计语言结合起来:在同一形式系统中,可以同时表达规约和(函数式语言)程序,从证明规则可以导出正确的程序,并验证程序具有某种性质,从而在同一系统内完成程序的开发和验证[26,19]. 展开更多
关键词 限制谓词演算 构造类型论 构造数学 计算机 程序设计 程序设计语言
在线阅读 下载PDF
IP网络综合监测系统的实现 被引量:8
2
作者 陈鸣 初方 +1 位作者 周洪达 厉铁帅 《电信科学》 北大核心 2005年第10期67-71,共5页
网络监测能够为大规模IP网络的运营管理提供重要技术手段。本文提出了采用SNMP全面监测网络流量分布与采用探针重点监测特定网络链路流量细节相结合的综合监测方案,给出了系统的体系结构,并结合系统的主要监测功能,研究了系统实现中的... 网络监测能够为大规模IP网络的运营管理提供重要技术手段。本文提出了采用SNMP全面监测网络流量分布与采用探针重点监测特定网络链路流量细节相结合的综合监测方案,给出了系统的体系结构,并结合系统的主要监测功能,研究了系统实现中的关键技术。 展开更多
关键词 网络监测 网络测量 SNMP 探针 监测功能 综合监测系统 IP网络 流量分布 运营管理 监测方案
在线阅读 下载PDF
矿井定位系统的测距调度算法 被引量:3
3
作者 汪晗 齐望东 王坤 《计算机工程》 CAS CSCD 2012年第18期238-240,244,共4页
针对矿井定位系统中邻近节点间同时测距时产生信号干扰和冲突,造成定位精度下降和节点能量浪费的问题,提出一种按需测距调度算法。采用移动节点主动提出定位请求、锚节点动态自主配组的方式,以有效避免矿井定位系统中的测距冲突,降低定... 针对矿井定位系统中邻近节点间同时测距时产生信号干扰和冲突,造成定位精度下降和节点能量浪费的问题,提出一种按需测距调度算法。采用移动节点主动提出定位请求、锚节点动态自主配组的方式,以有效避免矿井定位系统中的测距冲突,降低定位盲区的影响。仿真结果表明,与基于固定配组的调度算法相比,该算法具有更高的定位覆盖度和更低的定位时延,能降低移动人员的定位误差。 展开更多
关键词 矿井定位 测距 干扰 按需调度 动态配组 性能仿真
在线阅读 下载PDF
大范围无线电干涉定位系统 被引量:2
4
作者 张苏 张悦 +1 位作者 齐望东 袁恩 《计算机研究与发展》 EI CSCD 北大核心 2011年第S2期98-105,共8页
无线电干涉定位系统(radio interferometric positioning system,RIPS)是一种新型的高精度、低成本定位技术.但是,受到模糊解问题的制约,RIPS难以适用于网络节点在大范围稀疏布设的无线传感器网络.通过理论和仿真分析,得到定位精度与测... 无线电干涉定位系统(radio interferometric positioning system,RIPS)是一种新型的高精度、低成本定位技术.但是,受到模糊解问题的制约,RIPS难以适用于网络节点在大范围稀疏布设的无线传感器网络.通过理论和仿真分析,得到定位精度与测量频率数及测量系统占据的总带宽成正比的结果.由于RIPS的非模糊解距离与测量频率间隔成反比,上述结果意味着扩大RIPS的节点布设距离就需要牺牲系统的定位精度.为了解决这一矛盾,提出了一种新的测量频率配置方法(two frenquency intervals,TFI).TFI使用大小两种测量频率间隔,其中小测量频率间隔用于扩展非模糊解距离,而大频率间隔用于保证测量精度.大量仿真和野外实验结果表明,在使用相同的频率数和测量带宽的情况下,TFI方式在保持定位精度的同时能够显著扩大节点的布设距离,因此更加适用于构造大范围的无线电干涉定位系统. 展开更多
关键词 无线电干涉定位系统 测量参数 频率间隔 非模糊距离 估计精度
在线阅读 下载PDF
网络测量系统研究中亟待解决的若干问题 被引量:2
5
作者 蒋序平 陈鸣 赵金 《电信科学》 北大核心 2003年第8期62-65,共4页
网络很难测量,不断扩大的网络和日益繁多的测量需求使有效的网络测量变得更加困难。实现灵活高效的网络测量系统和方法一直是网络测量研究中最重要的目标之一。首先,本文讨论了网络测量的目标和应用,综述了当前网络测量系统和方法的研... 网络很难测量,不断扩大的网络和日益繁多的测量需求使有效的网络测量变得更加困难。实现灵活高效的网络测量系统和方法一直是网络测量研究中最重要的目标之一。首先,本文讨论了网络测量的目标和应用,综述了当前网络测量系统和方法的研究工作。然后,在此基础上,提出了网络测量系统中亟待解决的若干重要问题:网络测量系统的同一性结构、多测量工具的动态协作、可扩展性、测量信息的建模和综合、自动化监测方法、网络测量的执行特性分析、资源授权和分配机制、最优化测量任务调度、指标量化问题。最后是本文的总结和针对这些问题正在开展的研究工作。 展开更多
关键词 网络测量系统 测量工具 系统分析 网络行为 网络管理
在线阅读 下载PDF
综合网管系统的设计方法及应用实例 被引量:1
6
作者 陈鸣 李拥新 +1 位作者 刘林泉 谢希仁 《电子学报》 EI CAS CSCD 北大核心 2000年第z1期135-137,共3页
本文讨论和总结了实现综合网管系统 (INMS)的几种方式的特点 .结合金桥网综合网管系统 (GBINMS)的设计和实现 ,本文详细讨论了实现INMS的一些理论和技术问题 .此外 ,本文还提出了一种“根据配置处理MIB数据”的方法 。
关键词 综合网管系统 数据综合 完全综合 中国金桥网
在线阅读 下载PDF
论管理系统的分布化、综合化、动态化和智能化 被引量:11
7
作者 陈鸣 《通信学报》 EI CSCD 北大核心 2000年第11期75-81,共7页
在现今迅速变化的网络环境中 ,网络管理已经演化为对分布式系统的综合管理 ,管理系统正朝着分布化、综合化、动态化和智能化方向发展。本文分析了形成这些发展趋势的原因和所要解决的关键技术 ,提出了这四个方面的重要技术是相互关联的... 在现今迅速变化的网络环境中 ,网络管理已经演化为对分布式系统的综合管理 ,管理系统正朝着分布化、综合化、动态化和智能化方向发展。本文分析了形成这些发展趋势的原因和所要解决的关键技术 ,提出了这四个方面的重要技术是相互关联的观点 ,并给出了它们间存在的层次关系。 展开更多
关键词 网络管理 人工智能 管理系统 计算机网络
在线阅读 下载PDF
随机部署网络中连通度、覆盖率与节点数目的关系
8
作者 朱亚松 齐望东 +2 位作者 张骋 刘鹏 袁恩 《计算机研究与发展》 EI CSCD 北大核心 2011年第S2期80-86,共7页
利用几何概率理论的相关结果,推导了在圆形区域进行随机部署的无线传感器监控网络(surveillance wireless sensor network,SWSN)的网络连通度和有效感知覆盖率与传感节点数目的关系.与以往依赖数值方法的情形不同,得到明确的估算节点数... 利用几何概率理论的相关结果,推导了在圆形区域进行随机部署的无线传感器监控网络(surveillance wireless sensor network,SWSN)的网络连通度和有效感知覆盖率与传感节点数目的关系.与以往依赖数值方法的情形不同,得到明确的估算节点数目的解析表达式.仿真验证和扰动分析表明,所得的解析表达式对传感节点数目的估算已经接近它的理论下限.所得结果对于构造高性价比的无线传感器监控网络提供了理论基础和设计指南. 展开更多
关键词 无线传感器监控网络 节点数目 网络连通度 有效感知覆盖率 几何概率
在线阅读 下载PDF
UML状态机的形式语义 被引量:26
9
作者 蒋慧 谢希仁 林东 《软件学报》 EI CSCD 北大核心 2002年第12期2244-2250,共7页
许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形... 许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明,为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义.此方法既是对一些经典Statechart形式化方法的综合,又针对UML状态机的特点作了创新,使状态项能够动态地描述任意时刻UML状态机的配置树,简化LTS的标记,同时,结构化的语义规则更为形式化验证奠定了基础. 展开更多
关键词 UML 状态机 形式语义 面向对象 建模语言
在线阅读 下载PDF
一个快速的时延有界低代价多播路由算法 被引量:8
10
作者 杨明 谢希仁 《计算机研究与发展》 EI CSCD 北大核心 2000年第6期726-730,共5页
基于QoS的多播路由算法需要在满足每个个体QoS需求的同时,又能高效管理网络资源.提出了一种满足端到端时延限制的低代价多播路由算法.算法使用一个修改的Steiner构近似算法先构建时延有界的低代价多播树,再通过最小时延路径与其它... 基于QoS的多播路由算法需要在满足每个个体QoS需求的同时,又能高效管理网络资源.提出了一种满足端到端时延限制的低代价多播路由算法.算法使用一个修改的Steiner构近似算法先构建时延有界的低代价多播树,再通过最小时延路径与其它尚不在多播树的组结点相连.计算机仿真结果表明,新算法与其它一些时延有界多播路由算法相比有很好的性能,并且避免了许多同类算法常见的高复杂性. 展开更多
关键词 多播路由算法 时延限制 服务质量 STEINER树
在线阅读 下载PDF
使用智能代理进行网络设备的告警关联 被引量:6
11
作者 胥光辉 谢希仁 《计算机研究与发展》 EI CSCD 北大核心 2000年第10期1259-1264,共6页
为了解决集中式网络故障管理固有的缺陷 ,提出了一种基于 SNMP网络管理环境、使用分布式智能代理进行网络设备告警关联的算法 .算法分成 3步 :1智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为相应协议对象的故障模型 FSM的输... 为了解决集中式网络故障管理固有的缺陷 ,提出了一种基于 SNMP网络管理环境、使用分布式智能代理进行网络设备告警关联的算法 .算法分成 3步 :1智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为相应协议对象的故障模型 FSM的输入 ,运行这个 FSM以产生该协议对象的当前状态 ;2按照关联关系的形式化定义 ,尝试对状态不正常的协议对象进行关联 ;3为了给关联的结果增加一个可信度的度量 ,计算关联结果的信念 ,将关联的结果及其信念报告给网络管理平台 .该算法将告警关联和故障标识的难度进行了分解 。 展开更多
关键词 智能代理 计算机网络 网络管理 网络设备
在线阅读 下载PDF
LiteST:一种无线传感器网络轻量级安全时间同步协议 被引量:5
12
作者 尹香兰 齐望东 《通信学报》 EI CSCD 北大核心 2009年第4期74-85,共12页
提出了一个简单的时间同步广播报文完整性认证方法。在此基础上,结合单向链(而非复杂得多的μTESLA)提供的发送节点身份认证功能和冗余机制提供的防止内部节点攻击功能,设计了一个轻量级的安全时间同步协议LiteST(lightweight secure ti... 提出了一个简单的时间同步广播报文完整性认证方法。在此基础上,结合单向链(而非复杂得多的μTESLA)提供的发送节点身份认证功能和冗余机制提供的防止内部节点攻击功能,设计了一个轻量级的安全时间同步协议LiteST(lightweight secure time)。理论分析和仿真实验结果表明,LiteST能够防御外部攻击并能容忍内部攻击节点发送错误信息,达到了目前最好的安全时间同步协议TinySeRSync类似的安全性。32个Mica2节点组成的原型系统实验结果表明LiteST协议取得了与没有安全机制的FTSP协议几乎相同的时间同步精度。LiteST协议与安全相关的计算开销大约只有TinySeRSync的五分之一;通信开销为其1/(2m+2),其中m为网络节点的平均邻居数;其存储开销在实际的场景下也显著降低。 展开更多
关键词 无线传感器网络 时间同步协议 安全 轻量级
在线阅读 下载PDF
一种能量有效的传感器监测网络成簇协议 被引量:7
13
作者 沈洋 齐望东 戴浩 《软件学报》 EI CSCD 北大核心 2008年第9期2432-2441,共10页
提出了一种分布式能量有效的传感器监测网络成簇协议EECTS(energy-efficient clustering protocol for target surveillance).在该协议中,节点根据邻居节点的分布情况以及自己的剩余能量来竞争簇首.为了降低簇首的能量消耗,簇首间形成... 提出了一种分布式能量有效的传感器监测网络成簇协议EECTS(energy-efficient clustering protocol for target surveillance).在该协议中,节点根据邻居节点的分布情况以及自己的剩余能量来竞争簇首.为了降低簇首的能量消耗,簇首间形成一个以基站为根的最小生成树,将监测到的数据通过多跳方式直接发送到生成树的上游节点.由于监测网络的首要任务是能够对移动目标进行不间断的监测,此协议还提出了一种簇内调度方法EECTS-1,可监测到网络中的大部分区域,并在此基础上提出了改进方法EECTS-2.这两种方法在目标进入网络时都能取得较高的持续监测度.随着节点密度的提高,EECTS协议在保证监测性能的前提下,使得传感器监测网络的寿命相应于节点数量呈线性增长.仿真结果表明,在监测性能相同的情况下,运行EECTS-1协议的网络寿命与HEED协议相同,比DEEG协议的网络寿命延长了约35%。EECTS-2协议比EECTS-1和HEED协议的网络寿命延长了约70%~80%.EECTS成簇协议可应用于军事目标监测等领域,工作时间长,监测结果具有很高的可靠性. 展开更多
关键词 传感器监测网络 最小生成树 持续监测度 覆盖
在线阅读 下载PDF
实现位置及时间绑定的密钥分发——防御传感器网络节点复制攻击的新方法 被引量:6
14
作者 伏飞 齐望东 《通信学报》 EI CSCD 北大核心 2010年第4期16-25,共10页
提出了一种新的防御思路:通过使复制节点无法与邻居节点建立成对密钥的方式,来达到消除复制节点攻击威胁的目的,由此设计了一种基于多项式的成对密钥分发方法LTB(location and time binding)。LTB把每个节点的密钥信息与其部署位置和时... 提出了一种新的防御思路:通过使复制节点无法与邻居节点建立成对密钥的方式,来达到消除复制节点攻击威胁的目的,由此设计了一种基于多项式的成对密钥分发方法LTB(location and time binding)。LTB把每个节点的密钥信息与其部署位置和时间信息绑定起来,使每个节点只能在其部署位置与邻居节点建立成对密钥。由于复制节点的部署位置不同于原捕获节点,因此LTB能够有效阻止其与邻居节点建立成对密钥。LTB相比现有各种周期性复制节点检测机制的优势是它彻底消除了复制节点攻击隐患而且协议开销更低,通信开销从O(pn3/2)下降到O(n),其中,p是检测周期数,n是网络节点个数。 展开更多
关键词 无线传感器网络 节点复制攻击 密钥分发
在线阅读 下载PDF
多元超立方体交换结构信元丢失率仿真分析 被引量:1
15
作者 李万林 田畅 +1 位作者 齐望东 郑少仁 《系统仿真学报》 CAS CSCD 2003年第9期1218-1221,1252,共5页
研究了多元超立方体交换结构(MHSF)的信元丢失率性能。分析表明,当各交换节点的流量均匀地发送到各个目的节点时,MHSF的信元丢失率d与MHSF的元数k、链路加速因子s、链路缓冲大小m以及节点内部端口数M等因素有关;同时仿真结果显示,在可... 研究了多元超立方体交换结构(MHSF)的信元丢失率性能。分析表明,当各交换节点的流量均匀地发送到各个目的节点时,MHSF的信元丢失率d与MHSF的元数k、链路加速因子s、链路缓冲大小m以及节点内部端口数M等因素有关;同时仿真结果显示,在可应用参数范围内,d明显有随着s、m或k (通常M固定)的增加呈指数规律下降的趋势,并且在较小参数条件下MHSF就具有较低的信元丢失率。 展开更多
关键词 太比特路由器 交换结构 多元超立方体 信元丢失率
在线阅读 下载PDF
无线传感器网络中基于刚性的移动锚节点路径规划 被引量:1
16
作者 汪晗 齐望东 王坤 《电子与信息学报》 EI CSCD 北大核心 2011年第10期2353-2357,共5页
在移动锚节点辅助定位中,锚节点通常沿着预设轨迹扫描或采用随机方式移动,当节点分布不均匀、待定位区域形状复杂时,存在锚节点冗余移动、位置冗余广播及定位性能难以确保等问题。该文提出了利用网络拓扑信息进行移动路径规划的新思路,... 在移动锚节点辅助定位中,锚节点通常沿着预设轨迹扫描或采用随机方式移动,当节点分布不均匀、待定位区域形状复杂时,存在锚节点冗余移动、位置冗余广播及定位性能难以确保等问题。该文提出了利用网络拓扑信息进行移动路径规划的新思路,首先利用刚性理论将网络划分为多个唯一可定位的单元,之后寻找一条遍历各单元的最短路径作为锚节点的移动轨迹,锚节点沿着该轨迹移动、依次定位各单元。大规模仿真结果表明,该策略可以有效避免锚节点的冗余移动和位置广播,灵巧适应各种布设情形,与经典的扫描式路径相比,大大降低了路径长度和位置数目。 展开更多
关键词 无线传感器网络 网络定位 移动锚节点 刚性理论 路径规划
在线阅读 下载PDF
网络管理中的一种分级告警关联方法 被引量:1
17
作者 胥光辉 谢希仁 徐永森 《东南大学学报(自然科学版)》 EI CAS CSCD 2000年第3期11-15,共5页
提出了一种基于SNMP网络管理环境、使用分布式智能代理进行单个网络设备告警关联的算法 .算法分成三步 :①智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为协议故障模型有限状态机的输入 ,产生TCP/IP协议实体的当前状态 ;②按... 提出了一种基于SNMP网络管理环境、使用分布式智能代理进行单个网络设备告警关联的算法 .算法分成三步 :①智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为协议故障模型有限状态机的输入 ,产生TCP/IP协议实体的当前状态 ;②按照服务关系 ,将状态不正常的协议实体关联起来 ;③对关联的结果赋予一个信念 ,报告给网络管理中心 .该算法将告警关联和故障标识的难度进行了分解 。 展开更多
关键词 智能代理 告警关联 网络管理
在线阅读 下载PDF
克服不可定节点影响的区分定位方法研究 被引量:1
18
作者 汪晗 齐望东 王坤 《仪器仪表学报》 EI CAS CSCD 北大核心 2012年第7期1579-1587,共9页
随机布设的传感器网络难免存在一些位置无法唯一确定的节点。已经发现不可定节点与可定点一起进行定位解算会导致可定点定位精度下降。为了解决这一问题,提出区分定位(differentiated localization,DL)设想,其中可定节点进行集中定位解... 随机布设的传感器网络难免存在一些位置无法唯一确定的节点。已经发现不可定节点与可定点一起进行定位解算会导致可定点定位精度下降。为了解决这一问题,提出区分定位(differentiated localization,DL)设想,其中可定节点进行集中定位解算而不可定节点则单独进行最小二乘估计。针对现有的可定性判断准则RR3P(redundant rigid 3 path)和RR-3P(redundantlyrigid-3 path)计算复杂度高的问题,提出基于度数的可定性判断准则3D(3 degree)。仿真分析和实验验证表明,可定性判断准则3D与RR3P和RR-3P下网络的定位性能相差无几,而计算机复杂度从O(N3)降低到O(Nlog N)。在3D准则下,区分定位策略能够使得网络的整体定位精度提高至少50%。 展开更多
关键词 定位精度 刚性理论 节点可定性
在线阅读 下载PDF
高级网络编程接口NPORT的设计与实现 被引量:1
19
作者 吴礼发 《计算机工程》 CAS CSCD 北大核心 2002年第5期278-280,共3页
介绍了一个系统下的基于的高级网络应用编程接口的设计与实现。接口封装了的编程细节,简化了网络UnixAPINPORTNPORTAPI应用编程。
关键词 计算机网络 高级网络编程接口 NPORT 设计
在线阅读 下载PDF
10G以太网技术及其应用前景 被引量:1
20
作者 谢希仁 《中兴通讯技术》 2002年第U10期26-28,共3页
文章介绍了10G以太网的主要特点,列举了10G以太网物理层接口和子层的主要功能,着重讨论了10G以太网物理层中广域网接口子层的结构,最后给出了10G以太网的应用前景。
关键词 802.3ae标准 10G以太网 广域网 物理层 子层 应用前景
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部