谢希仁
- 作品数：43 被引量：177H指数：8
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
- 相关领域：电子电信自动化与计算机技术理学文化科学更多>>
- 基于C/S模式和多线程的NCC在VSAT系统中的设计与实现被引量：4
- 2000年
- 多业务稀路由卫星通信系统 (VSAT)是卫星通信领域中的一个重要应用 ,网控中心 (NCC)是 VSAT卫星通信系统的核心。讨论了一个基于 C/ S模式和多线程的 NCC的设计与实现。论文首先介绍了网控系统的体系结构及网控中心的模型 ,然后 ,进一步重点讨论了网控中心的可靠性设计。最后 ,介绍网控中心核心软件
- 倪桂强谢希仁
- 关键词：卫星通信系统网控中心多线程
- 一种快速的近似最小代价多播路由算法MCTH被引量：10
- 1999年
- 提出一种快速近似最小代价多播路由算法．算法通过动态调整结点与当前路由树的代价值，依次选择和当前路由树有最小代价的结点来逐步生成总体代价小的多播路由树．ＭｉｎｉｍｕｍＣｏｓｔＰａｔｈＨｅｕｒｉｓｔｉｃ（ＭＰＨ）是一个性能很好的Ｓｔｅｉｎｅｒ树近似算法，通过算法分析和实验比较得出，本文的算法与ＭＰＨ有相同的性能，但复杂性更低，并且建立路由时仅需了解相邻结点间链路的代价信息．
- 杨明谢希仁
- 关键词：多播通信路由算法多媒体通信
- 构造类型论与计算机程序设计被引量：1
- 2002年
- 1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为数学和计算的基础.构造类型论为计算机科学家提供了一个框架,以一种优雅和灵活的方式把逻辑和程序设计语言结合起来:在同一形式系统中,可以同时表达规约和(函数式语言)程序,从证明规则可以导出正确的程序,并验证程序具有某种性质,从而在同一系统内完成程序的开发和验证[26,19].
- 蒋慧林东孙泉谢希仁
- 关键词：构造数学计算机程序设计程序设计语言
- 网络管理中的一种分级告警关联方法被引量：4
- 2000年
- 提出了一种基于SNMP网络管理环境、使用分布式智能代理进行单个网络设备告警关联的算法 .算法分成三步 :①智能代理驻留在设备本地 ,对设备发出的告警进行分类 ,作为协议故障模型有限状态机的输入 ,产生TCP/IP协议实体的当前状态 ;②按照服务关系 ,将状态不正常的协议实体关联起来 ;③对关联的结果赋予一个信念 ,报告给网络管理中心 .该算法将告警关联和故障标识的难度进行了分解 。
- 胥光辉谢希仁徐永森
- 关键词：智能代理告警关联网络管理
- 一种长途通信电缆网干线监控系统的设计和实现
- 2000年
- 长途通信电缆网干线监控系统的核心是线路状态的传输和监控中心的设计,也是本文讨论的重点。本文首先介绍监控系统的模型,然后讨论各个组成部分的实现,重点讨论了线路状态的传输设计方法以及监控中心的实现。
- 徐哲胡谷雨谢希仁
- 关键词：电缆网长途通信干线监控系统
- LME结构的研究及其面向对象实现被引量：2
- 1995年
- 基于ＯＳＩ管理框架，根据管理实体与被管理实体之间的交互关系，本文研究了层管理实体ＬＭＥ的结构，给出了层管理实体的程序结构模型，该模型是一个具有独立性的程序模块，它和协议实体、系统管理间通过接口部件ＬＯＰＩ，ＬＭＳＩ交互操作，其内部的ＬＭＩＴ存储了层协议的管理信息．此层管理模型还可以访问下层协议服务，为在网络管理系统中实现协议测试提供支持．该层管理模型和ＯＳＩＭ是一致的，同时也可纳入ＳＮＭＰ体系结构中．我们以该模型为基础，实现了ＮｅｔＢｉｏｓ协议的层管理程序．
- 沈庆国谢希仁
- 关键词：计算机网络层管理网络管理
- 局部网令牌总线协议的设计和实现
- 对局部网令牌总线协议的设计和实现进行了深入的研究。提出了一种新的实现节点入网的方法，即单站入网法（SAM）。此方法避免了节点入网时的冲突，保持了网络访问过程的确定性。此外，还介绍了协议硬件和程序设计的实现。（本刊录）
- 陈晓强谢希仁
- 关键词：接口设备程序系统通信网硬件
- 一种新的协议验证工具——Ｌｉｖｅｃｈａｒｔ
- 张兴元谢希仁
- 关键词：接口设备
- 局部网通过Ｘ．２５广域网进行互连的设计与实现
- 谢希仁陈鸣
- 关键词：计算机应用网络互连
- 表面辐射条件在求解二维均匀介质柱电磁散射中的应用
- 1993年
- 本文讨论了表面辐射条件(On-Surface Radiation Condition,简称OSRC)在求解二维均匀介质柱电磁场散射中的应用。其中利用求解均匀介质柱散射的三阶表面辐射条件算于讨论了入射场为横磁模(TM)和横电模(TE)的散射情况。文中计算了TM模入射时均匀介质柱的雷达散射截面(RCS),用OSRC求得的数值结果与严格解二者吻合得较好。
- 陈志宁章文勋谢希仁
- 关键词：电磁散射介质柱
