物联网服务建模：一种基于环境建模的方法

物联网服务是传统Web服务通过传感器网络向物理环境的延伸,它通过传感器网络感知物理环境中的实体,也向物理环境实体施加作用.与传统Web服务相比,由于物联网服务受到所依赖的物理环境的时间受限性、资源受限性和设备潜在故障概率的影响,物联网服务的响应速度、服务能耗和容错能力等特性成为影响物联网系统整体特性的重要因素.因此,对物联网服务进行全面建模,对物联网服务所处的外部环境进行形式化描述,并结合物理环境模型对物联网服务的性质进行分析,对于确保物联网系统的正确性、稳定性非常必要.本文针对物联网服务的特点,结合基于环境建模的需求工程思想,提出一种基于环境的物联网服务三元问题域建模框架,给出了物联网服务建模本体以及相应的建模原则.在此基础上,提出了一种物联网服务行为建模方法,该方法将物联网服务和物理环境建模为概率时间自动机,将用户期望的服务特性描述为时序逻辑公式,为物联网服务功能行为正确性验证和非功能性约束可满足性验证奠定了基础.     

B组轮状病毒的新成员——大鼠新轮状病毒

<正> 轮状病毒(Rotavirus,RV)是导致许多种幼龄动物发生非菌性腹泻(non—bacterial diarrhea)的主要病原之一。如人、绵羊、山羊、小鼠、羊、羚羊、幼驹、鹿、犊牛、兔、猴、猪、犬、鸡、火鸡、鸭、豚鼠等都有关于RV病原的报道。典型RV的基因组为双链RNA,共有11个分子量范围在2×10~5—2.2×10~6道尔顿片段。这11个片段的分子量总共约10×10~6—14×10~6道尔顿。所有的典型轮状病毒都有相似的RNA电泳型,其基因电泳型呈4—2—3—     

山西的循环经济

介绍了循环经济在国内外的实践情况,论述了在山西发展循环经济的必要性,提出了在山西发展循环经济的几点看法和建议。     

隐蔽信息条件下两级供应链系统1:n协调激励模型

主要研究供应商在不能确定零售商类型的条件下,如何对零售商进行有效的协调激励,以实现供应商最大化利益.首先从特殊的情况出发,即假设存在两种类型零售商、三种类型零售商,分别建立协调激励模型,在此基础上,提出供应商面对n,种类型零售商时,供应商最优协调激励模型.     

互联网时代科技期刊的编辑出版工作

互联网的普及使科技期刊的编辑和出版工作具备了新的特色。网络技术渗透到出版行业的各个角落 ,迫使科技期刊编辑的工作内容和工作方式都产生了质的转变。尽快掌握网络知识、发掘利用网络资源 ,跟上时代前进的步伐 ,是当今的科技期刊编辑在提高业务能力方面必须解决的问题     

船舶辅机舱振动与声辐射计算及实验研究

采用有限元／边界元法对船舶辅机舱动力设备引起的振动与声辐射进行了数值计算,并进行了相应的实验研究．根据面导纳概念和基座振动测试曲线求得动力设备作用于船体基座上的激励力,使用有限元程序进行结构模型的振动响应计算,然后采用边界元法对水下辐射噪声进行了计算．计算结果与实验结果之间的误差d 10dB以内,表明本方法具有较好的准确度．在此基础上讨论了不同模型参数对计算结果的影响,计算结果表明在边界元法中按照流体波长采用较粗的网格仍可获得较好精度,而仅采用一个舱段模型计算会存在较大误差．     

针刀结合中药内服治疗髌骨软化症的疗效观察

目的通过针刀结合中药内服治疗髌骨软化症的疗效观察,探讨治疗新方法.方法①针刀剥离;②中药内服.结果本组30例,总有效率为96.7%.结论针刀结合中药内服治疗髌骨软化症的疗效显著,值得推广.     

超低温冻融循环下钢筋与混凝土的黏结性能

借助低温冰箱和超低温环境箱降温的方式,对7组21个试件分别进行了不同循环次数、不同温度变化的超低温冻融循环.通过对冻融循环后试件的中心拔出试验,得到了钢筋与混凝土的荷载-滑移曲线.结果表明,在循环次数较少的情况下,低温对钢筋与混凝土的荷载-滑移曲线形状影响不大,但对两者的黏结强度有明显的降低作用;在冻融循环中,20~-75,℃温度段对钢筋与混凝土的黏结强度降低作用明显,相比之下,-75~-120,℃温度段对钢筋与混凝土黏结强度的后续降低作用不明显;随着循环次数的增多,每次循环对于钢筋与混凝土黏结强度的降低作用逐渐减弱.     

基于固定检测器的区域交通状态判别方法

以固定检测器获得的交通数据为基础,分别建立路段和交叉口交通状态判别模型;考虑不同路段和交叉口对区域路网整体交通状态影响程度的差异性,建立路段和交叉口交通状态的权重计算模型;在此基础上建立区域交通状态的综合判别模型;并分析状态指标P与路网中车辆平均行程速度的相互关系,确定路网P所表示的交通状态级别;最后利用Vissim软件设计包含9个交叉口的典型路网,根据采集的数据对模型进行验证.仿真结果表明:所建立的方法可以有效地对区域交通状态进行判别.     

融合图像去雾与Tiny-YOLOv3的护帮板状态检测研究

为解决液压支架工长时间作业过程中,因身体疲劳不能及时发现护帮板未护帮的问题,采用实时性高的Tiny-YOLOv3算法检测护帮板状态,但检测任务会受到综采工作面尘雾的影响.因此,提出一种融合图像去雾与Tiny-YOLOv3的目标检测算法,并在此基础上优化图像去雾算法的CUDA实现,首先将暗通道图像用RGB单通道图像代替,...