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

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

新建他激反激变换器方程及其解析解

引用文 [1 ]的思路 ,寻找他激反激变换器的运行状态特征参量 (磁通密度增量、剩余磁通密度和占空比 )与构成这一变换器的基本物理参量之间的函数关系。首先阐明由于频率给定 ,他激反激变换器稳态运行时会出现无剩磁工况和有剩磁工况两种。而后确定这两种工况下 ,磁路等效储能空间单位体积每个周期的传输能量 (命名为“磁能传输密度”)。在这基础上 ,分别建立和解出他激反激变换器在不同工况下稳定运行时应满足的方程。最后根据所得的解析解阐明这种变换器的特性。本文和文 [1 ],以磁路分析为基础建立了一种新的反激变换器理论。     

国际贸易中标准问题解决方略的研究

国际贸易中的标准问题是产生贸易壁垒的一个很重要的方面,世贸组织虽然为解决这一问题做出了一些规定,采取了一些措施,但是实际效果并不好,很多的成员国并没遵守有关的规则,兑现各自的承诺。而且随着世界经济区域集团化,各种区域性标准在对内起到保护作用的同时,对外则建起新的贸易保护障碍。解决国际贸易中的标准问题,应该从两方面着手,一是加强双边合作,二是加强多方位合作。双边合作是解决标准问题直接而有效的途径,随着贸易的全球化发展,标准统一化是最终的趋势。     

高性能复合材料的发展

文章介绍高性能纤维复合材料的发展概况及我所复合材料成型技术专业发展应重点加强的环节。     

振动对空间光通信系统误码率影响的分析

在空间光通信系统中，由于卫星平台的振动，使得光发射机发生振动，从而对通信系统的误码率产生影响，本文针对光射光束为高斯光束时，振动对误码率的影响问题进行研究。结果表明，在振动时不仅振幅影响着误码率，而且波长也对误码率有影响，但通信距离对误码率的影响不大，一般可以忽略。     

多重直扩信号的快速捕获

多重直扩信号的快速捕获得卫星定位及通信系统研制过程中遇到的一个主要课题，它的实现，不仅可以提高系统的多址能力，而且也是系统实现的必备条件，本文阐明了多重直扩信号的来源以及可被分离的理论依据，给出了多重直扩信号快速捕获的硬件实现方案及部分实验结果，得出了一些重要结论。     

谐振腔光纤陀螺频率调制原理及仿真

简述对谐振腔光纤陀螺入射光进行频率调制的基本方法，采用洛仑兹公式来描述光纤陀螺的传递函数，结合输入信号特征，建立其频域的数学模型，最后给出结果和相关仿真图形，以及关键参数的优化值和优化方向，再对全光路的结构提出具体的配置建议，仿真结果表明，谐振腔光纤陀螺具有良好的线性工作区间，精度也能够得到进一步的提高。     

低频靶标法测量CCD相机调制传递函数的仿真

基于用高频靶标法测试调制传递函数(MTF)时不能准确地体现出CCD器件的平均采样的情况。该文探讨用低频靶标法测试MTF,介绍它的原理;通过数字仿真CCD的光学镜头的模糊和采样平均过程,分析不同频率靶标的MTF测试结果,并分析相位造成的影响。     

纤维体积含量对开孔层压板拉伸性能的影响

本文主要研究了碳纤维织物增强复合材料的纤维体积含量V_f对开孔层压板的抗拉强度σ、断裂伸长率ε的影响。采用T300碳纤维平纹织物为增强材料,经树脂传递模塑法(RTM工艺)复合而成T300/环氧TDE-85层压板,用岛津强力测试机进行拉伸性能测试。     

复合材料壳体磁场固化技术

环氧树脂基复合材料及缠绕壳体在磁场中缠绕和固化的技术为前苏联独有,美国只作了一些验证研究。这种技术使得复合材料加工过程中树脂基体发生物理和化学变化,固化后力学性能显著改善,而且质量更加稳定。实现该技术的设备已在前苏联应用。磁场中固化还适用于树脂涂层和粘接层。