CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

OLS—一个描述理论与实践交互作用的逻辑系统

定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。当反例(或反驳)出现时,通过假设演算,人们可以修改假设,使修改后的假设不仅是可满足的而且包含反例(或反驳)作为其逻辑结论。OLS在机器学习、知识获取、软件开发、故障诊断及知识库维修方面有着广泛的应用前景。     

基于持续-保持机制的多智能体系统跟踪控制

考虑到实际应用中，由于外部干扰或通信能力有限，连续通信有时无法保证，研究了间歇通信下二阶多智能体的跟踪控制问题。在持续性通信无法保证的场景下，为了提升间歇通信下系统的收敛性能，引入非周期性的持续-保持控制机制，设计了一种面向二阶多智能体系统的一致性跟踪控制协议。基于矩阵论和图论知识，并结合双线性变换证明了非周期性间歇通信结构下系统可以实现一致性跟踪，进而得到了针对无向拓扑网络的一致性跟踪条件。仿真实验验证了理论结果的正确性。     

CAN总线并发通信时下位机应用软件设计

为满足系统通信中的时间性能要求,设计一种利用中断接收和发送CAN总线数据的通信方法,给出了算法的C语言流程图实现.当增加GPS作为总线主节点发送广播引起CAN并发通信导致硬件中断冲突时,针对并发通信的硬件中断冲突原理作了分析,重新设计了下位机CAN总线通信软件,解决CAN总线并发通信冲突.     

分布式多媒体系统模型与传输控制算法的研究

作为分布式多媒体系统通信与表现控制研究的基础,提出分布式多媒体系统整体模型DMISIM(Distributed Multimedia Information System Integrated Model),将分布式多媒体系统抽象为3元组——多媒体同步时间单元SIU(Synchronization Interval Unit)、通信信道以及信道与SIU序列之间的一一映射关系．模型描述多媒体信息和通信网络的静态属性,反映系统通信传输的动态过程．基于DMISIM,对分布式多媒体通信传输控制机制进行研究,提出最小偏差调度算法MDSA(Minimum Deviation Scheduling Algorithm)作为古典列表调度算法CLSH(Classic List Scheduling Heuristic)的改进．理论分析和逻辑推导证明,在不增加算法时间复杂度,不降低多媒体同步表现质量的同时,算法提高了系统目的端缓冲区利用率,降低了缓冲区需求及多媒体数据溢出的可能性．算法与底层通信传输机制无关,可以广泛应用于分布式多媒体系统的通信传输过程中．      

混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

小数N频率合成器剩余量化误差补偿技术研究

介绍了采用锁存累加结构的Σ-Δ调制器,分析了噪声成形中剩余量化误差的获取及补偿模型,并给出了运用于小数N频率合成器中的方法。     

ACARS报文通信服务器的设计与实现

着重介绍ACARS(飞机通信寻址与报告系统)报文通信服务器的软件设计方案及实现方法.ACARS报文通信服务器通信模式采用了客户/服务器(Client/Server)模式.为了提高系统的实时性和响应速度,ACARS报文通信服务器设计成多线程并发服务器.ACARS报文通信服务器实现了实时接收、发送和分发ACARS报文.该系统已经成功地应用于中国民航VHF(甚高频)数据通信网网络监控中心.      

基于SSL的数据安全传输系统的设计与实现

安全套接层协议SSL(Secure Socket Layer)是用来保障数据安全传输的协议,目前已经成为工业标准.首先简要介绍了SSL协议,设计并实现了基于SSL的数据安全传输系统,它由两部分组成:SSL客户方安全通信代理CSP(Client Secure Proxy)和服务器方安全通信网关SSG(Server Secure Gateway),二者可以在Internet上建立一个安全通道,从而能够保障敏感数据的安全传输.讨论了系统的整体结构,并详细分析了实现中的若干关键技术,主要包括握手协议的实现、密钥的协商、记录层数据的分段与填充、会话重用等.      

大气闪烁对近似无衍射激光通信系统的影响

在近似无衍射激光通信系统中,大气湍流的作用导致接收端光强起伏不定,这将对通信系统的误码率产生影响.以光强起伏的概率分布为基础,忽略系统中的其他噪声,推导出折射率结构常数、通信距离和激光波长等影响因素与误码率的关系式.通过计算机模拟,研究了误码率随折射率结构常数的变化规律,讨论了一定湍流强度下通信距离和激光波长对误码率的影响,并以10-9为误码率标准,确定了通信距离的允许范围.结果表明,合理地选择天气和日照条件、减小通信距离以及选择长波长的激光器可以减弱大气湍流对误码率的影响.      

人工肌肉夹持力的变结构控制

本文推导了一种气动人工肌肉系统的数学模型。探讨了用变结构系统理论实现人工肌肉夹持力控制的方法。给出了仿真和实验结果。人工肌肉既可以输出力(力矩),又可以调节刚性,是一种在柔顺运动控制中很有应用前途的新型作动器。     

脑-机接口技术在载人航天任务中的应用研究

1脑-机接口技术概述
　　脑-机接口技术概念
　　脑-机接口（BCI）是以脑电信号或其他相关技术为基础,将大脑活动特征转化为预定义的命令,从而实现与外界交流或者控制其他外部设备的先进技术,是一种不依赖身体肌肉组织系统和控制神经系统的新型智能接口技术。因此,我们可以把BCI定义为一个非肌肉通信系统,它可以使人体的大脑意图和外界环境进行直接的沟通交流,在计算机和大脑之间建立一个新的通信通道。     

基于以太网器件的高性能工业现场总线FED

研究一种采用通用以太网物理层元件和FPGA器件构成的现场总线FED(Fieldbus based on Ethernet Devices),在片上系统(SOC,System On Chip)上开发出实用的现场总线通信装置.FED不需要复杂的驱动程序就可以实现链路层通信,在链路层基础上可以根据控制需要设计应用层通信协议.FED采用基于带飞读写功能的集总帧结构,使用主从式通讯.FED系统由1个主站和最多255个从站组成,实现了100 Mbit/s的高速实时通信.建立了实验系统,验证了FED总线可以满足数控机床等工业自动化设备的控制需求.     

基于ActiveX的多Agent自主运行仿真系统

针对面向分布式航天器系统应用的多Agent自主运行系统仿真的需求,设计了分布式的自主运行仿真系统AgSimu.提出了以ActiveX组件来实现各种类型Agent的方法,以ActiveX容器应用程序实现Agent容器,完成对Agent的建模、配置、管理和通信,可以方便地构建不同结构的分布式多Agent组织,仿真它们的交互与协同工作.通过在Matlab/Simulink的S函数中使用ActiveX控件,实现了多Agent仿真系统与Simulink中的对象模型进行交互,从而可以实现多Agent自主运行系统的闭环控制仿真.     

陷阱通信方式在分布式遥测遥控系统中的应用

在遥控遥测系统中,各测控站之间的通信是影响系统可靠性的关键问题。把异步通信方式——陷阱通信方式应用于分布式遥测遥控系统中,将要发送的信息先形成I/O文件(信息包),然后进行传送。这是一种文件对文件的传输方式。采用这种通信方式可以提高遥控遥测系统的可靠性。     

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

高速公路收费系统通信服务器的设计与实现

高速公路收费系统通信服务器是高速公路收费系统数据传输的枢纽.重点介绍了高速公路收费系统通信服务器软件的设计、实现方法和特点.通信服务器使用按优先级分发报文的通信协议,支持多用户的并发通信.为了实现数据共享的集中控制,通信服务器采用客户/服务器的模式.使用多线程的编程技术,满足了对通信服务器实时性的要求.目前,该软件已通过了验收,在广深高速公路上运行良好.      

美国将于1980年发射SBS通信卫星

SBS(卫星商业通信系统),是美国的又一个国内卫星通信系统。由美国通用通信卫星公司、IBM公司和艾蒂纳(Aetna)人寿保险公司联合经营。将于1980年下半年用航天飞机射入同步轨道。SBS卫星系统将为商业界、政府部门和其它通信用户提供专用、切换和高数据速率的通信。该系统的特点是:地面站很小,可安装在用户屋前或办公室里,用全数字传输;可进行声音、数据、传真和电视等的综     

电气机械系统故障逻辑分析

本文介绍了电气机械系统故障的逻辑分析方法。这种用计算机处理的方法可以使系统中的故障及时被发现及定位,从而提高了系统的可靠性及维护性。文中分别叙述了模型的建立,故障的检测,定位及定时以及故障检测过程等内容。