基于时间自动机的物联网服务建模和验证

来源 :网络安全技术与应用 | 被引量 : 10次 | 上传用户:atom1999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,在信息技术和互联网技术的支持下,物联网的应用愈加广泛,无论是电子商务还是通讯行业,其均能够为人们提供方便快捷的服务以满足其生产、生活的各类要求。为了进一步了解物联网服务的原理,本文通过引入时间自动机的概念,利用其对物联网的原子服务和组合服务进行建模,并对模型的验证方法做出全面分析,以期为提高物联网服务质量和效率提供有价值的参考意见。
其他文献
本文研究了采用空时编码的OFDM系统的性能 ,通过MonteCarlo仿真分析了系统性能和信道估计偏差对系统的影响。 In this paper, the performance of OFDM system using space-
本文简单介绍了适合高速并行调制解调器中差错控制的Reed -Solomon编码 ,提出了适合DSP软件实现的一整套的RS码的编、译码实用方法 ,并对该编、译码法采用数字信号处理器TMS3
据上海华东钢材市场消息,近来,因受中低牌号无取向冷轧硅钢片行情大幅度上涨的影响,部分中小型电机生产企业成本压力越来越重,只能走“回头路”重新采购热轧硅钢片,生产电机
目的 探讨儿童急性B淋巴细胞白血病(B-ALL)的起源及其免疫球蛋白重链可变区(IgHV)上可被细胞毒性T淋巴细胞(CTL)识别的表位(epitope).方法 PCR扩增108例儿童ALL的7个IgHV基因家族;PCR产物直接测序并翻译成氨基酸序列;利用生物信息资源分析B-ALL IgHV基因重排类型、胚系基因片段利用及体细胞突变情况,并预测CTL 细胞识别的表位.结果 66%的ALL患儿检测到I
结婚生子是每个女性生命中很美好的一部分,但对于有心脏病的女性来说,怀孕是她们向往却又很担心的一件事.作为一名产科医生,我们常常会被问:“医生,我有心脏病,能怀孕吗?”rn
期刊
抑郁症常见7个心理症抑郁症是一种情感障碍,会影响人的正常思维,使人的思想达到极端,赶紧随小编来认知一下有哪些症状的表现?rn抑郁症常见7症状rn焦虑:往往与抑郁同时存在,有
期刊
研究表明环氧合酶-2(COX-2)在胃癌中呈过表达,而非甾体抗炎药(NSAIDs)可以抑制COX-2表达,阻断胃癌细胞增殖,但是NSAIDs拮抗肿瘤的作用机制并不只局限于COX-2通路,其机制尚不清楚[1].本研究旨在观察选择性COX-2抑制剂NS-398对胃癌细胞增殖与凋亡的影响,探讨选择性COX-2抑制剂抗胃癌的作用机制。
本文详细介绍了国内外异形曲面高精度线条制造技术的研究应用水平与现状 ,重点分析与阐述了曲面曝光技术在异形曲面高精度线条制作工艺上的应用。 This paper introduces th
目的 利用脱胶电泳-差异蛋白质组学法,筛选与青年男性肥胖相关的蛋白标志物.方法 选择10例18~44岁男性肥胖者,结合年龄、性别等因素进行1∶1配对对照组,采集其空腹8h以上的静脉血2ml;血浆样品经高特异性的免疫亲和法去除白蛋白和IgG后,进行溶液酶切,对多肽混合样品进行脱胶电泳;利用二维纳流液相色谱-芯片-四级杆飞行时间质谱系统对按等电点分离的多肽样品进一步分离和质谱鉴定,比较两组样本中的差异
首先介绍了高占空比、长M序列搜索雷达信号处理中超长M序列脉冲限幅压缩的实现及其特点以及APEX2 0KE系列FPGA的特点 ,指出实现超长M序列实时脉冲压缩的困难。在此基础上介绍