一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

适用于演化过程建模的通信膜演算

针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。     

一种适用于无线ATM通信的差错控制方案

研究了无线ATM通信的差错控制方案,提出了应根据多媒体业务类型、速率等参数,以及移动环境等,自适应地选择合适的差错控制技术和参数的思想。文中提出的差错控制方案主要包括FEC (可变深度的交织、卷织码、BCH码)和限时/非限时SARQ等技术,计算机仿真结果表明了所提方案的有效性。     

一种适用于无线话音/数据综合通信的新型MAC协议

提出一种面向CDMA蜂窝移动通信系统的支持多种业务的媒体接入控制协议OSSS/PRMA.该协议引入过载控制信号,有效地降低了随机接入的碰撞率,提高了系统的性能.仿真结果表明,与CDMA/PRMA协议相比,该协议的数据分组平均时延、语音分组丢失率和信道利用率都有较大改善.     

一种适用于稳定问题的板单元

基于Ｒｅｉｓｓｎｅｒ变分原理，提出一种适合于稳定问题的板单元。实践证明，该单元具有较高精度。     

一种适用于事物质量评价的数学模型

本文在程度分析和集值统计的基础3上,引入增益函数,争议度δig(λ,τ).上偏差αig(λ),下偏差βig(τ)等概念.构造出综合评价函数.给出一种适用于事物质量评价的数学模型,该模型对多种评价结果还进行聚类分析与横向比较的数值转化.     

一种适用于QR码的数字水印方法

目前,二维条码技术结合数字水印是防伪领域的研究热点.该文提出了一种适用于QR码的数字水印方法,该方法是将数字水印嵌入QR二维条码当中,为了防止QR码图像在DCT域的溢出,对QR码进行了模糊和加噪预处理,将其频域DCT系数进行比较来嵌入水印.为了抵抗数字图像经打印扫描后的图像失真,将水印重复多次嵌入到图像的分块DCT中频...     

一种适用于WSN的数据存储方法

无线传感器网络（WSN）是以数据为中心的网络,如何对传感器节点采集的感知数据进行有效的存储和查询访问已经成为WSN研究的重点。提出一种基于层次路由的分布式数据存储方法,降低了WSN网络的通信负载且使得网络内各节点能耗更加均衡,从而有效地延长了无线传感器网络的生存时间．     

一种适用于超高频射频识别的温度传感器

设计了一种采用双压控振荡器的适用于超高频射频识别(UHF RFID)应用的温度传感器,可应用于环境温度检测以及物流链中．由于采用了两个结构完全相同的压控振荡器,可以抵消工艺偏差和电源电压变化等因素带来的影响,使输出仅和温度有关．采用了时分工作方式,使电路在检测完温度以后处于关断状态,有效地避免了重复计数的问题,并使该传感器完全不影响整体标签的工作距离．采用SMIC 0.18μm 2P4M EEPROM工艺进行流片,测试结果显示,标签读距离达到6m,写距离达到2.5m;在-40℃～+85℃温度范围内,温度测量精度为0.5℃,误差最大不超过±1.5℃．     

一种适用于IPTV的数字权限管理系统

为了解决阻碍IPTV系统发展的数字内容盗版问题．设计了一种适用于IPTV的数字权限管理系统，给出了系统中视频文件加解密、用户端许可证获取和使用等关键模块的实现方案．通过在内容加密服务器端和用户端同时采用许可证机制，使系统实现起来更为简捷；用户端的私钥和使用记录等机密教据在智能卡内部存储和操作使系统具有更高的安全性．     

一种适用于林火预测的并行计算模型

以一种比较优秀的林火预测模型作为相关研究的基础,首先分析了林火预测建模的基本方法、数据处理的基本流程和数据处理算法3个方面的可并行性,提出了一种适用于林火预测的3级并行计算模型,并给出了该模型的形式化描述和基本实现算法;然后采用开放遥感平台实现了该模型,并描述了实现算法和数据处理工作流的建模方法,同时讨论了该实现的优化方法;最后搭建了实验平台,验证了该模型的可行性,对比分析了单机和几种优化方案的实现效果.实验结果表明,应用该模型可以大大提高林火预测的实时性.     

一种适用于高原的火源携带装置

专利号:200710117979.0专利权人:中国航天科工集团公司第三研究院第三十一研究所简介:本发明公开了一种适用于高原的火源携带装置。其由燃烧室壳体(3)、燃速调节盖(4)、隔热层(2)、挡灰板(6)等组成。燃烧室壳体与外壳体(1)套装,燃烧室壳体与外壳体之间填充隔热层;燃速调节盖置于燃烧室壳体与外壳体的上方并与外壳体锁扣连接,燃速调节盖上有孔并配有塞子。使     

一种适用于规则形体的三维重建方法

给出了一种适用于规则形体的三维重建方法,从待建模对象的若干不同角度的照片出发,先通过特征提取和交叉匹配获得足够多的特征点,并以协方差作为相似性度量依据,采取分布匹配策略剔除错误匹配对,然后通过空间点重建和表面重建法重建出目标对象的三维模型,并从采集的图像中提取真实纹理,对图像进行二维三角化,三角化的二维点列再映射到三维空间,为三维模型添加纹理,得到具有真实感的外观模型.实际应用验证了所提方法的正确性和有效性.     

一种适用于远程医疗的水印算法

研究了脑电图(EEG)的水印算法,提出了一种基于自适应滤波的数字水印算法。实验仿真结果表明水印是不可见的,经过低通滤波、中值滤波、维纳滤波、JPEG压缩、小角度旋转等图像处理操作后仍可检验出水印,比空域算法有更高的鲁棒性。     

一种适用于HOTP的一次口令生成算法

采用HMAC SHA-1杂凑函数和动态截短函数设计了一次性口令算法HOTPC．该算法具有计算速度快、安全性高的特点，易于采用令牌或IC卡硬件实现．因此．该算法适用于HTOP认证架构．此外．提出了基于令牌的认证协议应具备的3个基本条件．并设计了一种基于计数器同步的认证协议．该协议通过在服务器端设置最大认证尝试次数来防止蛮力攻击．并设置前顾参数来实现计数器重同步．分析表明．谈协议能够有效抵抗蛮力攻击和截获／重放消息等常见攻击．具有很高的安全性．     

适用于通信的FIR数字滤波器设计

数据传输系统的核心形成系统的传递函数一般认为是发、收双方均等分配。而实际应用中要考虑各种干扰的存在，均等分配传递函数并非最佳。本文论述了形成系统中ＦＩＲ数字滤波器的综合设计方法和传递函数分配中应考虑的问题。     

一种适用于TH-PPM UWB快速捕获方案

同步是超宽带通信系统的关键技术之一.针对高速TH-PPM超宽带通信系统,利用TS-TDT算法捕获速度快、比特翻转法同步精度高的特点,给出了融合两种算法优势的同步捕获方案.仿真分析结果说明该方案能有效降低捕获时间,提高同步精度.     

一种适用于小功率逆变驱动逆变器

介绍了该逆变器的结构和原理,该逆变器 结构简单、控制容易、成本低、工作 稳定可靠,适用于小功率逆变驱动。