Ambient演算的框架设计

给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、 分布和移动代码提供了语言支持.     

一新型移动进程模型—— χ-演算

提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．着重研究χ－进程的代数性质     

基于安全灰箱演算的物联网移动性建模验证

物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统(ETCS)为例,验证了本文建模和验证方法的可行性。     

有限反馈的MIMO系统容量分析

容量是移动通信系统设计中的一个重要因素,该文研究了有限反馈下的MIMO系统容量,给出了确保系统获得正容量增益时所需的最小反馈比特数的表示式.数值计算对比了采用RVQ方法和LBG码本生成方法下的系统容量,并且分别列出了若干天线对和信噪比下所需的最小反馈比特数.结果表明:当反馈比特数大于等于某个门限值,系统将会产生正容量增益,反之相反;整体上来看,RVQ方法优于LBG方法.     

L-fuzzy拓扑空间中的强有限复盖性质

对文献 [3 ]引入的强有限复盖性质 ,证明了它是拓扑不变性质 ,闭遗传的 例证了它对THXO HOB乘积定理不成立 最后给出了强有限复盖性质的一个有用性质     

采用干扰对齐的无线网络容量分析

首先利用基于随机几何的修正BM模型对于无线网络中的干扰信道进行了建模,然后分析了接收信号中干扰的不同特性及其对中断概率和空间容量的影响.为了降低干扰信号的影响,文中提出了基于干扰对齐的干扰管理方法.利用将K个干扰用户的干扰信号在一个子空间内对齐,可以有效地减小干扰的影响,因而有效地提高系统的容量.仿真结果表明,在父节点...     

有限容量的循环服务可修排队系统

假设第ｉ类顾客按泊松流来到服务站ｉ（ｉ＝１，２），顾客的服务时间，“服务员”的工作寿命、维修时间和他在２个服务站间的转移时间分布都是相位型分布，在穷竭服务、普通服务和混合服务规则下，对每个服务站容量为有限的单服务员循环服务可修排队系统以统一形式进行研究，给出了该系统稳态下的排队论和可靠性的主要指标．     

消除时序电路中的竞争干扰

通过分析次序脉冲发生器，着重指出在时序电路中存在过渡竞争干扰，从而给出一些消除这种干扰的措施。     

消除时序电路中的竞争干扰

通过分析次序脉冲发生器，着重指出在时序电路中存在过渡竞争干扰，从而给出一些消除这种干扰的措施。     

ICP-MS分析中的干扰及其消除研究进展

针对电感耦合等离子体质谱法(ICP-MS)存在的两类干扰现象,总结了多原子离子、氧化物、双电荷、氢化物和同量异位素等质谱干扰及其消除的技术方案和基体效应、物理效应等非质谱干扰及其消除的技术方案;探讨了目前干扰消除存在的主要问题以及可能的解决方案;指出鉴于测试中干扰类型出现的多样性及复杂性,综合多种技术方案是干扰消除较为...     

重症脑卒中患者的心肌酶观察

目的:探讨重症脑卒中患者急性期不同时段的心肌酶变化及心肌酶变化与预后有无关系.方法:选取108例重症脑卒中病人,同期非重症脑卒中病人85例的心肌酶进行观察,均选择入院即刻、入院后24h、72h、7d的不同时段观察心肌酶变化.选观察组中死亡患者在以上时段的心肌酶变化与生存患者在以上时段的心肌酶变化.结果:重症脑卒中患者多有心肌酶的改变,早期心肌酶改变的重症脑卒中患者,其心肌酶升高持续时间越长,预后越差.结论:重症脑卒中患者大多有心肌酶升高,且心肌酶升高出现越早,持续时间越长者,死亡率更高.     

渠县汉阙之沈府君阙研究三题

四川渠县现存汉阙6处7尊,占全国的近四分之一,素有“汉阙之乡”的美称。其中《沈府君阙)是现今保存最完好的一处,具有很高的史学价值和书学价值。文章以严谨、科学的态度,对《沈府君阙》阙主的官职名讳、碑亭记以及书法艺术等进行了充分的考证与研究。     

淮阴市土地资源承载力研究

从分析土地资源现状利用及发展趋势入手,讨论土地利用结构的调整;采用产潜比数学模型,预测两种投入水平下土地的生产能力和不同生活标准下的土地人口承载量;通过供需平衡,研究协调土地、农业发展、人口和环境关系的对策.     

鲁棒环境演算中的互模拟同余关系

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型，移动环境演算是一种广为使用的描述移动计算的形式化模型．针对这种演算的一种改进——鲁棒环境演算，提出了一个新的标号转移系统，并在此基础上引进了一种互模拟同余关系．同时，作为上述工作的应用，给出了一些重要进程等价性定律的简洁证明．     

数控机床可靠性评估中的边界强度过程

基于Akaike 信息准则(AIC)、Bayesian 信息准则(BIC)及故障数据拟合的均方根误差(RMSE),提出了可修系统可靠性分析的非齐次泊松过程模型的选择方法,利用最大似然估计的渐近对数正态分布特性,用Fisher信息矩阵法给出了边界强度过程模型参数及系统可靠性指标的点估计及区间估计,分析了多台数控机床时间截尾的故障过程.结果表明,对于维修频繁的性能恶化数控机床,边界强度故障模型适合于其可靠性评估.     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

三维Boussinesq方程在有界区域的爆破性准则

研究了三维Boussinesq方程在带有光滑边界条件下有界区域的爆破性问题,由于耗散项和边界的影响,证实了方程中速度项的梯度控制其解的爆破性,并且速度场比温度函数起着更重要的作用.     

MC-CDMA系统抗单频干扰性能分析

MC-CDMA是OFDM与DS-CDMA相结合的技术,它比单载波CDMA系统具有很多优点,最典型的优点是能够克服符号间干扰(ISI)和抑制窄带干扰,因而成移动通信领域的热点.介绍了典型MC-CDMA系统的模型,讨论了在Rayleigh信道中存在单频干扰情况下的上行链路接收判决统计量,并给出了MC-CDMA系统的误码率公式.提出采用修改等增益合并的方法,来抑制单频干扰的影响.理论分析和数字结果表明,采用此方法可改善MC-CDMA系统抗单频干扰的性能.