异步通信程序

作品数：8被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：李国强徐子振杨启哲晏蒲柳周建国更多>>
相关机构：上海交通大学武汉大学武汉华中理工大学北京航空航天大学更多>>
相关期刊：《农村电气化》《软件学报》《电信工程技术与标准化》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于基本并行进程的异步通信程序的验证方法
《软件学报》2022年第8期2782-2796,共15页赵樱 谭锦豪 李国强 
国家自然科学基金(61872232,61732013)。
异步通信程序是进程间通过异步消息通信实现非阻塞并发的程序.当前异步通信程序的程序验证问题通常将其归约至向量加法系统及其扩展模型,因而复杂度很高,缺乏高效工具.基本并行进程作为向量加法系统的一个子类,其可达性的验证问题为NP完...
关键词：异步通信程序 基本并行进程 Actor通信系统 模型检测 可达性 
基于通信Petri网的异步通信程序验证模型被引量：3
《软件学报》2017年第4期804-818,共15页杨启哲 李国强 
国家自然科学基金(61672340;61472238;91318301)~~
由于多栈的模型图灵等价,因此,通用的异步通信程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通信——通信Petri网,对异步通信程序进行刻画.通过对输入通信进行k-型限制以及对每个栈进行基于正则语言泵引理的抽象,通...
关键词：异步通信程序 通信Petri网 可覆盖性 程序验证 k-型 
Client/Server异步通信程序关键实现技术被引量：3
《微计算机信息》2002年第10期60-61,66,共3页周建国 晏蒲柳 
介绍了在Linux（Unix）下实现异步通信程序需要采用的关键技术,并给出了实现框架。阐述了为提高CPU的使用效率,编写异步通信程序应注意的几个问题。
关键词：异步通信程序 客户/服务器 程序设计 CPU 
VC中异步Socket通信程序的编制技术研究被引量：1
《Internet信息世界》2002年第2期90-91,共2页高新村 张以都 
本文详细阐述了异步socket通信程序的编制技术,同时介绍了TCP/IP协议下通信程序的工作原理和开发过程,并结合一个实例加以阐述。所有例程代码均在win95、win98、winnt和win2000下经过严格测试,编译器为VC6.0。
关键词：VC语言 程序设计 套接字 异步通信程序 TCP/IP协议 编制技术 
使用Visual Basic3.0设计Windows环境下的异步通信程序
《农村电气化》1997年第9期12-13,共2页徐子振 陈凯 袁慧群 
关键词：WINDOWS 异步通信程序 VisualBasic3.0 
使用VB 3.0设计Windows环境下的异步通信程序被引量：2
《微电脑世界》1997年第2期78-79,共2页徐子振 石冰心 
该文讨论了在Windows平台上利用Visual Basic开发通信软件的几种方法。它们包括使用DOS环境下的文件输出重定位,Windows提供的API接口和MSCOMM.VBX通信控件。
关键词：程序设计 异步通信程序 WINDOWS VB语言 
使用VB3.0设计Windows环境下的异步通信程序被引量：1
《中国计算机用户》1997年第1期43-44,共2页徐子振 石冰心 
本文讨论了在Ｗｉｎｄｏｗｓ平台上利用Ｖｉｓｕａｌ Ｂａｓｉｃ开发通信软件的几种方法。它们包括使用ＤＯＳ环境下的文件输出重定位、Ｗｉｎｄｏｗｓ提供的ＡＰＩ接口和ＭＳＣＯＭＭ．ＶＢＸ通信控件。
关键词：WINDOWS VB3.0 异步通信程序 软件开发 
RS-232串行口异步通信程序的一种设计方法及其应用
《电信工程技术与标准化》1993年第4期46-51,共6页银延伟 
在实现计算机之间传送数据方面,RS-232串行口是广泛使用的接口。本文首先论述这种接口通过软件信号交换进行异步串行数据传输的方法,这种通信方式经济实用和硬件信号交换的通信方式相比较,具有程序设计简单,不需专配硬件电路等特点。然...
关键词：异步通信 串行口 设计方法 通信方式 控制寄存器 信号交换 硬件接口电路 数据传送 异步串行 计算机实现 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部