物联网需求驱动的服务组合方法

为实现依据用户需求动态地组合原子服务, 形成服务集合, 提出一种基于本体的服务组合方法。首先对物联网服务进行多视图建模, 使用服务交互模型描述服务与物理实体的交互过程, 服务功能模型刻画物理世界中服务的属性和行为, 服务状态模型表示服务引起的期望状态变化, 并采用扩展的OWL描述面向物理对象的服务。同时, 采用多维QoS模型对用户的需求进行建模, 使用语义的方法进行服务的匹配与组合, 并基于QoS选择满足约束的服务。最后, 通过案例研究和实验验证了所提方法的正确性和有效性。     

一种面向移动智能设备的物联网中间件服务模型

描述了一种面向移动智能设备的物联网中间件服务模型,系统架构由传感网接口层、设备服务层、数据传输层和安卓资源层组成。该模型通过建立与无线传感器网络异构设备的通信接口,封装感知设备提供的状态监测和远程控制功能,向移动端开放统一的物联网接入服务,实现物联网应用带有共性的技术环节,为移动智能设备面向物联网的二次开发提供便利。已有的应用案例证明了服务模型的可靠性、实用性和技术共性,可以有效提升物联网不同行业应用开发的效率。     

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

物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模...     

物联网智能家居虚拟装配交互系统的设计与实现

在物联网智能家居设备装配过程中容易因误操作而造成设备损坏,甚至引起电网事故、人身伤亡事故、财产损失惨重等问题.为了解决这个问题,设计了物联网智能家居虚拟装配交互系统.该系统使用Unity3D实时渲染引擎进行三维场景展示,交互端则使用Unity3D的物理引擎模拟事件触发,选用具有行业标准的物联网数据库来控制智能家居的实时场景交互.通过多角度镜头和实时参数调节,用户在三维引擎操作端可实时查看智能家居安装的进度和交互效果.     

物联网与智能建筑结合的设备管理系统的研究

物联网是互联网和传统通信网的网络延伸及拓展应用,它使用电子标签将物理对象上网联结起来,使用人工智能等技术来实现对普通物理对象的实时控制和精确管理。在物联网时代,实现人、设备和信息的智能一体化是亟待研究的问题。提出了一种基于物联网的设备管理系统的解决方案,实现了网关系统功能、电器控制功能、安防系统功能、远程遥控功能及环境控制功能等,实验表明,本文提出的系统构架能够提供舒适的生活体验,使用户体会到智能化带来的简单与舒适。     

物联网业务模型描述语言的研究与设计

由于物理世界的环境不断变更,物联网中原先传感节点仅提供数据采集的功能已不能满足现实应用中所需求的服务应具有的高度动态性、多样化等特性。为了解决上述问题,文中将面向服务架构SOA的概念应用于物联网业务应用,可以对应用组件进行部署、组合和使用。并且在此基础之上,提出一种基于XML的物联网业务模型描述语言SML,用来描述模型中服务之间的关联性,确定一个灵活的表示业务组合的模型,以加快业务模型的开发速度,支持模型的重用,使物联网业务具有更好的扩展性和实用性。     

基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。     

面向实物交互的空间增强现实数字孪生法配准技术

在支持实物交互的空间增强现实系统中,交互会引起实物对象方向、位置的快速改变.为了确保实物移动过程中的虚实配准实时性和精确性,提出一种面向实物交互的空间增强现实数字孪生法配准技术.通过在数字空间建立与物理空间一致的对象数字模型,实时捕获物理空间中对象的方向、位置信息,利用该信息实时调整数字空间中的虚拟对象方向、位置参数;...     

PMDA:一种物理模型驱动的物联网软件体系结构

实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型、感执模型和应用模型.模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件.通过体系结构描述语言Wright对PMDA中的3个模型的组成以及模型之间的交互进行了形式化描述.通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这3个影响物理应用有效互联的性质.基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形.     

基于实体-数据的物联网服务建模

物联网服务作为信息世界软件服务通过物联网向现实世界的延伸,其在物联网系统具有重要的作用.然而,不同于传统Web服务,物联网服务具有现实感知、数据驱动、异构分布、时空相关等新特点,使得现有的服务模型不足以对物联网服务有效刻画,进而也不能满足物联网应用中的后续服务发现、服务卸载、服务组合等需求.在凝练分析物联网服务建模需求和已有物联网服务模型的基础上,提出了一种基于实体-数据的物联网服务建模框架,该框架提出了服务、实体、数据三元信息融合的物联网服务模型概念及概念关系,重点定义了服务、实体、数据的时空属性及时空依赖关系,以支持基于时空相关性的物联网服务关联表示与分析,并通过扩展OWL-S(ontology Web language for services)给出了基于实体-数据的物联网服务描述方式.最后,结合一个高速公路物联网应用案例对模型的使用方式和效果进行了讨论.     

Effective solution of certain problems of theory of schedulings of nets

Cybernetics and Systems Analysis -     

Determination of the possible duration of performance of a set of tasks

Cybernetics and Systems Analysis -     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

Complexity of families of learning algorithms and estimation of the nonrandomness of extraction of empirical regularities

The paper presents a general approach to the evaluation of the complexity of classes of algorithms, so-called pVCD-method. To develop this method, all the examined families of models of empiric generalization were restricted to classes implementable on computers and, wider, by examining their partially recursive representations. Within the framework of the algorithmic approach, the concept of Kolmogorov’ complexity of algorithms for the recognition of properties or the extraction of regularities is proposed. The method proposed to evaluate the nonrandomness of the extraction of empirical regularities is based on this concept.     

Analysis of microdensitometric data in terms of probability of cleavage of DNA

Computer-aided analysis of autoradiographic films of DNA fragments is presented. The Powell least-squares procedure is used for optimization of parameters for components of complex densitometric curves. Since each densitometric spectrum may be divided for several non-overlapped blocks of bands, there is no upper limit on the number of parameters which must be optimized. Eight shapes for the component bands are utilized: symmetric and asymmetric Gauss and Cauchy functions, direct, symmetric and asymmetric product of Gauss function and inverse of Cauchy function, and log-normal function. The probability of DNA cleavage is calculated with correction for multiple cuts. The methods presented was applied to detailed analysis of densitometric spectra of a 21-bp DNA restriction fragment and allowed for direct correlation between structural microheterogeneity of DNA and the resulting cutting pattern. This method should facilitate the analysis of densitometric data from antibiotic-induced cleavage of DNA and footprinting experiments.     

An estimate of numbers of terms of semicycles of delay difference equations

In this paper, we study the semicycles of oscillatory solutions of the delay difference equation y_n+1 − y_n + p_ny_n-k = 0, where p_n is a sequence of nonnegative real numbers and k is a positive integer. Upper bound of numbers of terms of semicycles are determined in the case when

Our results improve and complement known results in literature.     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.