摘要：针对命题线性时序逻辑表达能力有限的问题,设计并开发了基于SPIN(Simple Promela interpreter)验证系统的命题投影时序逻辑(PPTL)模型检测器.将协议元语言(ProMeLa)描述的系统转换为系统自动机,将PPTL公式表达的性质转换为性质自动机,通过判定系统与性质自动机的积自动机接受的语言是否为空来判断系统是否满足性质.PPTL模型检测器修改了SPIN的匹配机制,从而改进了验证算法,使得PPTL模型检测器支持有穷和无穷模型的验证.实验结果表明,该模型检测器可以减少无效验证产生的无效迹数目,有效地实现PPTL模型检测.

摘要：分别针对眼睑和眼睫毛遮挡噪声,利用其灰度和形状信息提出了2种灰度形态学检测算法.1)设计弧线形的形态学结构元素,经过灰度开启运算、图像分割和边缘检测,获得眼睑边缘的候选点集,再利用B啨zier曲线拟合出眼睑边缘;2)构造交叉形的形态学结构元素,通过灰度开启运算得到直方图具有分段特性的虹膜图像,经二值化检测出眼睫毛.实验结果表明:文中算法能有效地检测2种遮挡噪声,有助于降低虹膜识别系统的等错误率,提高模式的可分性.

摘要：根据专家系统设计过程 ,定义了评估的概念 ,提出了一种性能 /质量评估方法 ,且给出了其概念。

摘要：本文讨论S-盒保熵性,提出组合函数和S-盒的条件熵、保熵性定义,并利用条件熵给出一种判定组合函数、S-盒满足k阶相关免疫的充要条件和理想保熵的条件,给出了具有理想保熵性组合函数和S-盒的一般代数表达式及其安全缺陷.最后,利用熵与Walsh谱的内在联系,提出组合函数和S-盒满足实际保熵的安全条件,以指导实际应用中组合函数及S-盒的应用设计.

摘要：提出了一种基于传输信道状态检测的低复杂度无线OFDM系统自适应信道估计算法,利用导频子载波在时频方向对当前信道状态进行统计检测,动态跟踪信道参数的变化特征,自适应选择当前条件下的最优内插滤波系数;同时简化传输信道先验统计信息求解,以此作为滤波系数选择的依据。仿真结果表明,在低复杂度条件下可以获知当前信道模型化参数近似统计信息,利用较少的计算资源就能获得较好的自适应性能;从而有效克服了二维Wiener滤波器实现复杂度高,以及传统信道估计按照最恶劣信道情况上限进行设计所导致的非匹配性估计性能损失。

摘要：流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠性保证化简过程中这类模型的行为正确性被保持,完备性保证任意一个正确的此类工作流网最终都能被化简为最简形式.基于化简规则集给出可靠完备的合成规则集,用于流程模型的设计与精化.

摘要：该文研究将智能天线应用于Internet无线接入网络的中心接入点 (CAP) ,提出了基于轮询的自适应波束形成多址接入协议 (PB ABFMA) .该协议中 ,CAP接收或发送数据分组前 ,由CAP引导用户节点发送训练序列 ,CAP的智能天线据此计算出与用户节点对应的权矢量 .CAP以轮询及动态TDMA方式为各节点安排发送时隙 ,采用微时隙为处于空闲状态的节点保持连接以降低时延 .设计了一种简单有效的竞争接入算法 ,保证新用户能快速接入信道 .针对Internet中主要的“请求 回应”(request reply)式业务 ,分析了协议的信道利用率与平均“请求 回应”时延 .结果表明 ,PB

摘要：为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性.

摘要：研究16QAM星座调制下比特交织编码调制迭代译码(BICM-ID)系统的多维映射设计。通过对渐进误比特概率的分析,得到用以映射设计的距离准则。进一步利用修正的分段二进制切换算法(MBSA)搜索,得到准静态瑞利衰落信道下渐进性能近最优的四维16QAM映射。仿真结果表明,采用四维16QAM映射的BICM-ID系统大幅改善了系统的渐进性能。

摘要：为了使k个用户能够在多输入多输出Y(multi-input multi-output-Y)双向中继信道中利用物理层网络编码技术实现用户间信息交换,在上行链路阶段和下行链路阶段均采用广义信号对齐(GSA,general signal alignment)技术,提出了GSA-GSA方案。本方案将对齐信号从传统的方向子空间转移到变换子空间,在源节点和中继节点联合设计预编码矩阵和处理矩阵,克服了传统信号空间对齐成立的条件限制。同时分析了该方案的收发天线数目约束条件以及系统和速率,通过仿真对比可以看到当信噪比和系统自由度(Do F,degrees of freedom)都相同时,该方案能减少系统所需天线数目,提高系统可达和速率。