检索结果-内蒙古大学图书馆

并发系统的操作时序逻辑描述和验证

引用

计算机科学 1997年第6期24卷 25-29页

作者：蒋慧张兴元王元元中国人民解放军通信工程学院计算机教研室南京210016

1.引言近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程序行描述、验证。

关键词：并发系统时序逻辑验证操作系统程序

来源：评论

学校读者我要写书评

暂无评论

信息与通信工程类专业教学改革研究

引用

福建电脑 2011年第3期27卷 182-183页

作者：李畅冯晓洁炮兵指挥学院联合作战教研室河北宣化0751002 总参通信训练基地计算机教研室河北宣化075100

本文在分析普遍高校所开设的信息与通信工程类专业计算机课程群的基础上,提出了制约其教学体系建设的主要因素,并进一步探讨了构建该类专业计算机课程群及教学体系的基本原则和基本思路。

关键词：信息通信工程计算机课程教学体系

来源：评论

学校读者我要写书评

暂无评论

基于政策的层次系统协作模型

引用

软件 2011年第3期32卷 51-53页

作者：李畅冯晓洁炮兵指挥学院联合作战教研室河北宣化075100 总参通信训练基地计算机教研室河北宣化075100

为了解决大型层次系统中多Agent间的协作问题,提出了一种基于政策的协作模型。首先分析层次系统中Agent间协作的特点,然后给出相关概念定义,构建Agent政策框架及政策分享机制,最后提出协作模型算法。实践表明,该模型能够在大型、分布式... 详细信息

为了解决大型层次系统中多Agent间的协作问题,提出了一种基于政策的协作模型。首先分析层次系统中Agent间协作的特点,然后给出相关概念定义,构建Agent政策框架及政策分享机制,最后提出协作模型算法。实践表明,该模型能够在大型、分布式环境中实现资源和服务的协同,使Agent的行为决策更加规范可控,因此具有高度的灵活性及扩展性,对于解决层次MAS协作问题具有一定的参考价值。

关键词：政策多Agent系统协作模型

来源：评论

学校读者我要写书评

暂无评论

公用网关接口CGI

引用

军事通信技术 1997年第3期 54-59+65页

作者：高素青通信工程学院计算机教研室

目前Internet已遍布全球，而Web（即WorldWideWeb）则是应用最广泛的Internet服务。本文主要介绍在Web中所采用的CGI技术，包括CGI的标准与CGI程序的编写。

关键词： Web服务器 HTML URL

来源：评论

学校读者我要写书评

暂无评论

稀路由卫星通信系统网控中心

引用

军事通信技术 1994年第2期 10-15页

作者：胡谷雨谢希仁通信工程学院计算机教研室

本文首先从网络管理的角度简要介绍了稀路由卫星通信系统及其特点,然后详细介绍了作者参加研制开发的网络管理系统的功能、作用、逻辑模型和体系结构,最后给出了稀路由卫星通信网网控中心的概貌、特色。

关键词：卫星通信系统网控地球站设备稀路

来源：评论

学校读者我要写书评

暂无评论

新的决策表约简模型下的一种增量算法

引用

计算机工程与应用 2005年第28期41卷 21-25,32页

作者：蒋思宇华中科技大学计算机学院现代数据库与软件工程实验室解放军通信指挥学院武汉430010

新的约简模型将满足平均决策强度条件的最简规则集作为最终的约简结果,解决了不相容决策表约简结果不一致的问题。当前迫切需要解决的问题是,面对动态变化的决策表,如何高效地调整决策表的约简结果。文章提出了一种在新的约简模型下增... 详细信息

新的约简模型将满足平均决策强度条件的最简规则集作为最终的约简结果,解决了不相容决策表约简结果不一致的问题。当前迫切需要解决的问题是,面对动态变化的决策表,如何高效地调整决策表的约简结果。文章提出了一种在新的约简模型下增量算法,该算法能根据决策表新增样本与原有的最简规则集的关系,快速推出新决策表的满足平均决策强度条件的最简规则集。

关键词：决策表约简模型平均决策强度增量算法

来源：评论

学校读者我要写书评

暂无评论

一种MPEG1/MPEG2视频流的自适应播放算法

引用

计算机工程 2006年第20期32卷 224-226,232页

作者：吴炜沙丽娜苏兵西安电子科技大学综合业务网国家重点实验室西安710071 广西大学计算机与电子信息学院南宁530004 西安通信学院移动通信教研室西安710106

提出了一种MPEG1/MPEG2视频流的自适应播放算法。算法根据播放缓冲区的占用情况来调整视频帧的播放持续时间,并在播放缓冲区上溢时判断到达视频帧的类型,以决定是暂时存储还是丢弃,使得不会造成帧内编码帧和前向预测编码帧的丢失,从而... 详细信息

提出了一种MPEG1/MPEG2视频流的自适应播放算法。算法根据播放缓冲区的占用情况来调整视频帧的播放持续时间,并在播放缓冲区上溢时判断到达视频帧的类型,以决定是暂时存储还是丢弃,使得不会造成帧内编码帧和前向预测编码帧的丢失,从而保证视频流平滑地播放。实验结果表明,在播放不连续性和播放失真上新算法都优于Yuang算法,并实现了视频流的平滑播放。

关键词： MPEGI MPEG2 视频流自适应播放

来源：评论

学校读者我要写书评

暂无评论

Transputer技术与并行处理

引用

军事通信技术 1994年第4期 35-42页

作者：杨心强通信工程学院计算机教研室

本文概括性地介绍Transputer的体系结构和特征以及与之同时开发的OCCAM语言,并阐述Transputer开发环境及应用,最后展望了Transputer技术的发展趋势。

关键词：并行处理雷达数据超级计算机数据处理电子数字计算机 Transputer 并行处理技术并行分布处理电信进程通信

来源：评论

学校读者我要写书评

暂无评论

多媒体通信的关键技术及其应用

多媒体通信的关键技术及其应用

引用

'97香港-北京国际计算机会议

作者：雷渭侣通信学院计算机教研室

该文讨论涉及多媒体通信的几个关键技术：多媒体网络、数据压缩、同步与复用、计算机与数据库。另外，还介绍多媒体通信的一些应用，并展望多媒体通信的发展前景。

关键词：多媒体多媒体通信关键技术多媒体计算机同步与复用多媒体网络技术

来源：评论

学校读者我要写书评

暂无评论

通用软件环境下基于知识的系统集成策略

通用软件环境下基于知识的系统集成策略

引用

'97香港-北京国际计算机会议

作者：胡云曾庆惠通信学院计算机教研室

该文研究了通用软件环境下基于知识的系统集成策略，在系统集成中采用的都是普通的计算机软件技术。所集成的系统是协同的智能系统，支持分级的结构－语言级、工具级和系统级，在这三级上均能实现专家系统功能的生成和集成。在语言上，... 详细信息

该文研究了通用软件环境下基于知识的系统集成策略，在系统集成中采用的都是普通的计算机软件技术。所集成的系统是协同的智能系统，支持分级的结构－语言级、工具级和系统级，在这三级上均能实现专家系统功能的生成和集成。在语言上，提供了一些专家系统基元，用以描述专家系统的底层操作;在工具级上，专家系统基元可用于生成专家系统工具，以实现工具集成;而在系统级上，则可实现集成系统或协作系统的集成。

关键词：系统集成软件环境知识推理专家系统知识库

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：