Na+-K+-ATP酶的π-演算语义及验证

给出了Na⁺-K⁺-ATP酶跨越细胞膜同时主动向胞内运转钾离子和向胞外运转钠离子这一生化过程的π-演算模型及该模型的Spin验证. 证明了用过程代数的方法表示以“相互通讯”和“可移动”为主要特征的生物系统并模拟其行为的可行性.      

关于π-s映射的一个注记

借助cfp复盖和点星网,给出了度量空间的紧复盖π-s映射的特征。     

关于局部可分度量空间的π映射

给出了局部可分度量空间的序列商（子序列覆盖）π映象,序列覆盖的s,π映象等的内在刻画,部分回答了一个公开问题.     

某种完全单半群的nil-扩张的性质

本文给出了某种特殊类型的完全单半群的nil-扩张的刻划和性质.     

3G反向链路HPSK调制技术研究

在移动通信中,手机功率放大器是典型的非线性放大器,为抑制带外功率辐射,要求调制信号的峰均比尽 可能小。HPSK调制方案是一个应用于WCDMA和cdma2000反向链路中的调制技术,能有效地降低峰均比,提 高功率放大器的效率和降低带外辐射功率,分析了复扰码的应用目的、工作原理和HPSK调制方法的原理,给出 了复扰码器的数学表达式,证明了HPSK信号,π相位跳变的概率值,分析其HPSK信号的峰均比。     

基于π/4-DQPSK码间相关特性的自动频率控制算法与实现

为了降低传统AFC算法的运算量,扩大追踪范围,基于软件无线电的思想,利用π/4-DQPSK相邻码元间的特殊相位跳变关系,提出一种利用差分解调数据直接计算频率偏移量的频偏估计算法,并实现接收机本振自动频率控制.阐述了π/4-DQPSK差分解调原理,进行了频率偏移量计算的模型推导,对比分析了新算法与传统算法在AWGN信道和TU50多径信道下的性能.经Monte-Carlo仿真结果与实际测试验证,该算法计算简单,频率控制效果好,收敛速度快,运算量小,非常适合在工程中应用.     

某些单K3-群的一个新刻画

利用有限群的阶方程给出了除U4（2）以外的所有单K3-群一个新刻画．     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

π-正则半群的全π-正则子半群格

研究了π-正则半群的全π-正则子半群格的相关性质及特征.进一步给出π-正则半群的全π-正则子半群格是分配格的充分必要条件.     

A New Signal Processing Technique of π/4-DQPSK Modem Based on Software Radio

1 .INTRODUCTIONπ/4 DQPSKmodemhasbeenchosenasthemodemschemeinmanymobilecommunicationsystems[1 ] .Inπ/4 DQPSKmodem ,theinformationbitsaremappedintophasetransitionsratherthanabsolutephasevalues.Thisencodingofinformationinthetransitionsovercomesthephaseambiguityproblemsresultingfromtheestimationofcarrierphaseinnon differentialPSKsystems.Soπ/4 DQPSKallowsforsimplebasebanddifferentialdemodulation .Further,inπ/4 DQPSK ,themaximumphaseshiftisrestrict edto± 1 35°(ascomparedto± 1 80…