搜索筛选:
搜索耗时2.0036秒,为你在为你在102,285,761篇论文里面共找到 21 篇相符的论文内容
发布年度:
[期刊论文] 作者：暴建民,
来源：电信科学 年份：2001
本文介绍了巨龙公司承担的“863”国家重大项目———可与IP网互通的新一代智能网业务平台 ,命名为OpenIN。本文对系统的技术特点、提供业务能力、业务种类和产品形态进行了全面的介绍。本系统已通过国家“863”测试。......
[会议论文] 作者：暴建民,
来源：第六届全国容错计算学术会议 年份：1995
...
[期刊论文] 作者：暴建民,杨孝宗,
来源：黑龙江大学自然科学学报 年份：1996
本文提出构造系统是在Ｍａｒｔｉｎ－ｌｏｆ类型理论上的基础上建立的，目的是为了规范地说明问题，和从问题的规范说明中构造性地提取合适的程序，从而为软件测试提供一种形式化的理论和有效方法，构造系......
[期刊论文] 作者：暴建民,杨孝宗,
来源：软件学报 年份：1996
本文将测试数据选择理论发展的２０年划分成３个阶段－形成阶段，发展阶段，完善阶段，给出了每一阶段具有代表性的研究成果和特点，讨论了此理论在软件工程的应用。...
[期刊论文] 作者：暴建民,孙逢玖,
来源：黑龙江电子技术 年份：1996
本文提出了一种新型的测试模型一基于类型理论的构造性软件测试模型。程序构造与程序设计同时进行开发，而测试过程把类型和程序不加区分。构造出的程序便是测试器。...
[期刊论文] 作者：黄仲伟,暴建民,
来源：黑龙江大学自然科学学报 年份：1995
本文介绍了我们设计实现的一个段映射１页迁移机制及其实现环境，此机制实现在一个分布式操作系统ＨＩＴ＿ＵＮＩＸ中，是利用ＡＴ＆Ｔ ＵＮＩＸ ＳＶＲ ４．０核心中的ＶＭ实现。......
[期刊论文] 作者：暴建民,王申科,
来源：计算机学报 年份：1999
软件测试充分性准则的复杂性分析对于测试效率的分析和比较具有重要意义，对于测试充分性准则使用具有指导意义，Ｗｅｙｕｋｅｒ于１９８４年提出了Ｒａｐｐｓ－Ｗｅｙｕｋｅｒ的ａｌｌ－ｕｓｅｓ，ａｌｌ－ｐ－ｕｓｅｓ／ｓｏｍｅ－ｃ－ｕｓｅｓ，ａｌｌ－ｃ－ｕｓｅｓ．ｓｏｍｅ－ｐ－ｕｓｅｓ和ａｌｌ－ｐ－ｕｓｅｓ准则的复杂性上界，于１９８８年又提出可应用数据流测试准则......
[期刊论文] 作者：龚恩源,暴建民,
来源：计算机技术与发展 年份：2012
在物联网应用的新兴领域,所面临的一个挑战是如何克服在泛在网络中服务发现所产生的大批量业务通信所带来的高时延和高开销。文中以泛在计算环境下基于SOAP（Simple Object Acc...
[期刊论文] 作者：方超,暴建民,薛四猛,
来源：计算机技术与发展 年份：2017
知识发现领域中，个性化推荐技术因其应用广泛受到了业界的广泛关注和高度重视。但由于用户隐私保护方面的限制，现有的推荐系统不能直接挖掘用户的个人信息，因此只能采用表征用户......
[期刊论文] 作者：胡海峰,杨震,暴建民,,
来源：中国通信 年份：2012
Wireless Sensor Networks(WSN) are mainly characterized by a potentially large number of distributed sensor nodes which collectively transmit information about s...
[期刊论文] 作者：暴建民,戚春红,杨孝宗,
来源：黑龙江电子技术 年份：1995
对异步串行通讯芯片82C52在全双工情行下使用进行了描述,介绍了采用广播方式及全互联拓扑结构设计和实现的HIT-501*分布容错计算机网络物理层,实际现场运行测试结果令人满意...
[期刊论文] 作者：李平先,徐克生,暴建民,,
来源：林业劳动安全 年份：2008
从安全管理、安全生产宣传教育与培训、林业标准化、森林防火等方面全面地阐述了2006年林业安全生产工作，并提出了今后林业安全生产工作要点。...
[期刊论文] 作者：暴建民,汪凯,暴晨奇,,
来源：计算机技术与发展 年份：2014
物联网应用已成为新兴产业之一，业务平台是实现其应用的关键。在研究和实现物联网泛在业务平台USPIOT过程中，网络通信层是其必不可少的核心部分，也是开发的重点部分。文中介绍了......
[期刊论文] 作者：王丰,暴建民,彭慧珺,,
来源：计算机技术与发展 年份：2015
延迟容忍网络是一种新型的自组织网络。由于其高误码率、长延迟以及动态的拓扑结构，导致网络中难以维持稳定的端到端的路径。路由算法是延迟容忍网络中研究成果最丰盛的领域，研......
[期刊论文] 作者：暴建民,黄仲伟,杨孝宗,
来源：小型微型计算机系统 年份：1996
本文叙述了按照分布式的动态更换通讯模式协议，简称ＤＤＣＣＰＰ（Ｄｉａｔｒｉｂｕｔｅｄ Ｄｙｎａｍｉｃ Ｃｈａｎｇｅ Ｃｏｍｍｕｎｉｃａｔｉｏｎ Ｐａｔｔｅｒｎ Ｐｒｏｔｏｃｏｌ）设计和实现的实用于分布式容错计算机的通讯系统，它为系统提供了可靠的硬核，实际运动结果令人满意。......
[期刊论文] 作者：暴建民,戚春红,杨孝宗,
来源：黑龙江大学自然科学学报 年份：1996
本文提出的构造系统是在Ｍａｎｉｎ—ｌｏｆ类型理论的基础上建立的。目的是为了规范地说明问题，和从问题的规范说明中构造性地提取合适的程序，从而为软件测试提供一种形式化的理论和有效方法，构......
[期刊论文] 作者：王申科,暴建民,郑守淇,
来源：计算机研究与发展 年份：1997
在许多高可靠性的应用环境中，对计算机系统的可靠性、可用性要求较高．文中就一种应用到嵌入式系统中的多处理机互连总线的容错、重构机制进行了研究．主要内容包括总线的互连方法......
[期刊论文] 作者：宋志华,暴建民,谢元发,周雅,,
来源：计算机技术与发展 年份：2016
移动车载容迟网络（VDTN）是一种特殊的容忍延迟网络,其消息从一端到另一端由移动的车辆节点携带转发。由于不同源节点和目的节点之间端到端通信路径不存在,因此,移动车载容迟网......
[期刊论文] 作者：王申科,冯锡栋,暴建民,李斌,杨孝宗,
来源：哈尔滨工业大学学报：英文版 年份：1997
This paper presents the mechanism of the bus arbitration in PI-MPS multiprocessor sys-tem,describes encode approach,arbiter timing states and uniqueness of mast...
[期刊论文] 作者：庄衡衡,丁飞,章华涛,张海涛,暴建民,
来源：中国测试 年份：2021
多自由度机器人在高端制造、空间遥操作和智能自主系统等领域具有极其重要的作用,其运动学与空间位姿研究可用于运动控制、轨迹规划和工作空间分析等.该文设计并实现一种五自由度机器人运动控制与空间位姿仿真系统,建立该机器人的结构模型,并提出正向运动学和逆......
相关搜索：
