组合用户平衡和随机用户平衡条件下的交通配流模型

首先分析了用户平衡和随机用户平衡条件,并分别给出了对应的数学规划模型.然后根据在实际交通系统中,往往存在两大子系统:一是由个体出行者构成的满足用户平衡(UE)条件的子系统,另一子系统是基于随机用户平衡(SUE)的子系统.本文提出一种将UE和sUE结合的组合式用户平衡模型,给出了对角线算法,并对其收敛性进行分析,最后给出一个数值算例,说明该方法是有效的.     

冲裁结构CAD模具设计模型及相关技术

文章以冲裁模具CAD的一个子系统冲裁结构CAD为分析对象,研究了其设计过程中所采用的模具结构总体设计模型与模具零件描述模型(包括形状描述、装配关系描述和装配位置描述3个子模型),并对系统实现过程中采用的装配消隐技术、装配图明细表自生成技术及冲裁模具零件图自动剖切技术等提出了新的设计方法,使用这些技术将显著提高模具设计合理性与效率,最后给出了冲裁结构CAD子系统的总体设计流程图。     

ISO／OSI运输层协议的形成描述

通信协议的形式描述是协议实现，正确性验证和一致性测试的基础，本文用一种混合式模型对ＩＳＯ／ＯＳＩ运输层协议进行了形式描述，为协议的实现打下基础。     

差集、相对差集和PBIB设计

本文给出了相对差集的一些简单性质(第二节),得到了相对差集的几种递归构造法和一种直接构造法(第三节),推广了两个不存在性定理(第四节),证明了由一类相对差集可构作一类相应参数的、具有两个结合类的PBIB设针。最后给出了几类PBIB设计,并列出了几个k(?)10范围内新得到的PBIB设计(第五节).     

ISO/OSI运输层协议的形式描述

通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述，为协议的实现打下基础     

带铰弹性开环多体臂架变位姿固有频率算法

针对多体泵车臂架作业中频繁位姿变换固有频率不易求解的问题,采用多体传递矩阵法建立四节臂架动力学模型,模型分为A和B 2个子系统,子系统A为第1节臂、支座油缸连接,子系统B为后3节臂、油缸连接。加入液压驱动油缸两端铰弹性的影响,进行整体模型封装分析4种常用位姿的固有频率,并在已有臂架实验台上进行实验验证。研究结果表明:采用多体传递矩阵法求解变位姿多体系统臂架固有频率避免了传统方法中重新设定计算的步骤,4种位姿加入铰弹性的固有频率均比理想铰降低且更接近实测值,为此类机械的变位姿频率计算和整车实时振动控制提供参考。     

网络协议工程中的Petri网技术

按照OSI／RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析．     

经络传导和功能的一个数学模型

本文给出了经络传导和功能的一个数学模型。令沿经络第j个子系统的活动变量为P_j(t);定义生物场Q_a(j,t)代表通过第j个子系统的表面流入的能量、各种离子……的流率。模型的基本方程为_j=(i2πv-k_v)P_j C_vQ_α(j)_α(j)=(i2πv-γ_v)Q_α(j) C_v~*P_j-β_vQ_α(j 1)-β_v~*Q_α(j-1)Q_α(j,t)为慢变量(k_v》γ_v)是生命自控系统的支配变量。由基本方程导出了经络波,并由此解释了经络传导的各种主要特征。文章的最后部分进一步讨论了非线性项和涨落对于经络现象的作用。     

（省,市）计委高校毕业生分配与需求预测系统

本文较详细地介绍了(省、市)计委高校毕业生分配与需求预测系统的设计思想,给出了系统结构及分配子系统的流程图,并具体地给出了一种分配算法。     

LIN总线及其在汽车车身控制中的应用

LIN（Local Interconnect Network）总线是面向低端分布式控制的一类多路复用通信协议。本文主要对该协议进行了较为详细的描述，并给出了LIN在车身控制中的应用。     

一种改进的属性远程证明方案

为了克服现有基于属性证书的远程证明方案在隐私保护和安全性方面的不足,文中提出了一种基于隐藏证书技术的属性远程证明方案（HCP-RA）,该方案在传统基于属性的远程证明的基础上引入了隐藏证书技术,实现了对机密性证书和策略的保护,同时实现了验证方和被验证方之间的双向可信性验证功能。文中首先给出了HCP-RA模型,随后针对该模型给出了形式化描述和相应的远程证明协议,并通过应用实例来说明该协议的具体工作过程。与传统的基于属性证书的远程证明技术相比较,该方案在隐私保护方面具有很大优势;双向可信性验证提高了传统单向属性远程证明的安全性。     

基于组件的可重配置协议栈模型及实现技术

在通用协议栈概念的基础上,引入集中式协议栈管理和分散式分层协议管理相结合的新的重配置控制管理功能,提出一种改进的、基于组件的分层可重配置协议栈模型,给出其协议栈重配置方法,详尽阐述了利用面向对象方法实现协议组件分解、合成、替换和通信的软件技术.     

一种远程网络控制系统的设计与实现

介绍一种基于串口通信设备的远程网络控制系统.该系统采用有效的多机通信协议、I²C总线接口技术和Windows网络编程技术,实现了对被控设备的集中控制和管理.运行情况表明,系统具有较好的鲁棒性、可扩展性、灵活性和可靠性.还给出了软硬件的设计方案和系统测试结果.     

基于状态模型的CAN总线系统的仿真

文中在分析CAN(controller area network)总线通信控制协议的基础上,运用有限状态机理l论,在MATLAB/Simulink软件Stateflow仿真环境中建立了CAN总线通信系统的仿真模型。通过运行此仿真模型,求取了如网络传输数据和不同优先级信息平均传输时延等性能指标。最后,文中还研究了CAN总线系统中字节量和传输速度对上述性能指标的影响,充分分析了CAN总线的高实时性。仿真分析结果进一步证明此种仿真方法对于研究总线是可行的。     

传感器网络结点OS及其传输协议的设计与实现

首先分析了传感器网络结点任务的特殊性和多样性,在此基础上论述了传感器网络结点通用实时嵌入式操作系统(SNNEOS),阐述了该操作系统的系统构架、内核中断的管理和通信子系统的实现方式,并对该操作系统的传输协议关键问题进行论述.SNNEOS采用的事件驱动方式响应外界请求,避免处理器轮循,节省能源消耗.通过实时内核与非实时内核的方式,将实时任务与非实时任务分离,对关键的实时任务进行及时响应.通信子系统中采用分层处理方式,每一层单独创建一个进程,使SNNEOS的实现更加的清晰和容易.     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

安全密钥与秘密属性之间关系的研究

在Strand空间中引入理想的概念 ,可以简化安全协议的证明过程 .此外 ,在Strand空间中引入安全密钥的定义 ,可以作为对协议密钥设计要求的描述 .相关文献只给出了理想结构的大致轮廓 ,论文引入新的符号以给出理想结构的内部细节 .在此基础上 ,借助理想的概念重新描述了安全密钥的设计要求 .针对具有密钥分发功能的安全协议的秘密属性 ,相关文献借助理想概念给出的证明过程缺乏直观性 .论文证明 :协议实现其秘密属性的结论等价于协议对于密钥的使用符合安全密钥的设计要求的结论 .这不仅为利用理想概念证明协议秘密属性的抽象过程提供了直观解释 ,也为证明安全协议的秘密属性提供了一个新的思路     

利用“协议机退缩”的通信协议形式检证

针对提高优先度通信协议检证时生成协议机状数庞大，使检证难以进行的问题，本文给邮了协议机的退缩检证法，通过将给定协我机的检证问题转换为若干个较小义机的相应检证问题，简化了协议形式检证的复杂性，利用退缩检验证法及已建立的检证系统，证明了假我信道错误时ＯＳＩ参照模型中会话层协议的主要部分，满足“无死锁”、“无传输错误”等性质。     

计算机网络对等安全通信技术的研究

论述在计算机局域网上实现对等安全通信的３种技术,以及在因特网环境下,利用ＴＣＰ／ＩＰ协议实现以节点之间信息交换为主要特征的对等安全通信模型,介绍利用不同协议,实现对等安全通信的设计思想和技术,就数据传输过程中的安全性等方面的问题进行讨论,文中给出部分源程度代码。     

Integration of naval distributed tactical training simulation system based on advanced message queuing protocol①

Aiming at the problems of unreliable data transmission , poor steadiness , nonsupport of complex data types , direct couple between data transmission and exchange , a high-level method based on ad-vanced message queuing protocol ( AMQP) is proposed to integrate naval distributed tactical training simulation system after serious consideration with current information exchange features of military combat system .Transferring layer in traditional user datagram protocol is implemented by publishing and subscribing scheme of message middleware .By creating message model to standardize message structure , integration architecture is formulated to resolve potential information security risks from in-consistent data type and express data transmission .Meanwhile , a communication model is put for-ward based on AMQP , which is in the center position of the whole transmission framework and re-sponsible for reliably transferring battlefield data among subsystems .Experiments show that the method can accurately post amounts of data to the subscriber without error and loss , and can get ex-cellent real-time performance of data exchange .