Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

污水处理厂污泥厌氧消化优化设计与运行探讨

对国内典型的污水处理厂污泥厌氧消化系统进行调研发现,厌氧消化系统的运行管理尚存在诸多问题。在总结白龙港污水处理厂污泥厌氧消化调试与运行管理经验的基础上,针对厌氧消化工艺存在的普遍性问题,提出了厌氧消化系统设计和运行管理方面的建议,以促进工艺设计优化,提高运行管理水平。     

汽车构造实验网络教学辅助系统设计

为切实提高汽车专业教学水平,建立全方位教学体系,设计基于网络的汽车构造实验教学辅助系统。系统充分利用学校现有计算机网络平台,利用多媒体和网络开发技术,开发或整合多媒体资料,开辟学习交流平台,依据课程学习规律和认知特点,建立起方便快捷、生动有趣的实验教学辅助系统。该系统基于现有教材,又高于教学内容,不仅对于传授汽车zai新技术和剖析专业难点,调动学习积极性,具有重要补充和推动作用,而且对于教学示范中心创建工作,也具有重要意义。     

多种类病毒相互作用下网络信道破坏程度估计

在多种类病毒的相互作用下,网络信道破坏程度呈现较强的非线性特点,不能准确约束病毒在相互作用下的破坏性.传统的网络破坏程度估计的过程中,仅仅以单一病毒破坏程度叠加的方式去计算参数,计算具有较强的主观性,没有准确描述不同病毒的破坏作用,对评估结果误差影响较大.为解决上述问题,提出一种基于粒子滤波算法的多种类病毒相互作用下网络信道破坏程度估计方法,利用欧式距离方法对全部病毒进行分类,获取不同类型病毒的网络信道破坏程度值.通过粒子滤波算法对单一个体约束的优势,将每一个不同类型的病毒看作一个粒子,并进行训练.根据训练结果,利用粒子滤波算法对当前时刻网络信道破坏程度进行估计,完成整体评估.实验结果表明,利用改进算法进行多种类病毒相互作用下网络信道破坏程度估计,能够有效提高估计的准确率.     

基于CCD技术的外观纸病检测系统

设计了CCD在线外观纸病检测系统,介绍了该系统的硬件组成情况和系统的工作原理、技术指标和软件设计,重点阐述了外观纸病检测系统中CCD技术的优势。     

Style synthesis and analysis of car designs for style quantification based on product appearance similarities

Understanding how similar design appears is a key element to understanding companies’ design strategies. However, it is difficult to evaluate companies’ design strategies with conventional style measurement methods since they only taxonomically measure whether a specific characteristic is included in a specific style. This study numerically measured car design similarities to synthesize and analyze car brand styles, thereupon discovering the design trends among car brands for strategic design positioning. This paper aims to find methods for quantifying style differences and identifying unique design elements of car designs among 23 automobile manufacturers based on design similarities of a large quantity of car designs (N = 119). To achieve this goal, a hybrid style quantification methodology – a mixture of Fourier decomposition, eye tracker, and shape grammar – was created to evaluate similarities, visual significance, and combinations of 19 car design elements. Fourier decomposition was incorporated to find the quantifiable values of design similarities of car design elements. Visual significance analysis was also conducted for each car design element through eye tracker to measure the importance of certain design elements for weighting factors. Then, each combination of design elements was compared with car design elements of other cars for similarity calculations. Finally, car design alternatives were synthesized, and transitions of design positioning were analyzed based on the similarity values weighed by the visual significance results. Using the suggested methods, alternate designs can be synthesized while preserving brands’ design styles, and design trends can be analyzed for strategic evaluation.     

Performance comparison of reduced models for leak detection in water distribution networks

This paper presents a methodology for comparing the performance of model-reduction strategies to be used with a diagnostic methodology for leak detection in water distribution networks. The goal is to find reduction strategies that are suitable for error-domain model falsification, a model based data interpretation methodology. Twelve reduction strategies are derived from five strategy categories. Categories differ according to the manner in which nodes are selected for deletion. A node is selected for deletion according to: (1) the diameter of the pipes; (2) the number of pipes linked to a node; (3) the angle of the pipes in the case of two-pipe nodes; (4) the distribution of the water demand; and, (5) a pair-wise combination of some categories.The methodology is illustrated using part of a real network. Performance is evaluated first by judging the equivalency of the reduced network with the initial network (before the application of any reduction procedure) and secondly, by assessing the compatibility with the diagnostic methodology. The results show that for each reduction strategy the equivalency of networks is verified. Computational time can be reduced to less than 20% of the non-reduced network in the best case. Results of diagnostic performance show that the performance decreases when using reduced networks. The reduction strategy with the best diagnostic performance is that based on the angle of two-pipe nodes, with an angle threshold of 165°. In addition, the sensitivity of the performance of the reduced networks to variation in leak intensity is evaluated. Results show that the reduction strategies where the number of nodes is significantly reduced are the most sensitive.Finally this paper describes a Pareto analysis that is used to select the reduction strategy that is a good compromise between reduction of computational time and performance of the diagnosis. In this context, the extension strategy is the most attractive.     

宁夏司法警官职业学院学生信息管理系统研究

长期以来,宁夏司法警官职业学院各种信息通过Office软件来存储,处理,在信息的更新,共享,查询,版本控制上等方面存在很多问题,管理这些信息比较繁琐,并且信息很难共享,因此学院急需一套信息管理系统来管理这些信息。该文对宁夏司法警官职业学院学生信息管理系统的项目立项、用户需求征询、设计开发、测试实施做了一个比较全面的概述。     

Aesthetics and complexity in digital layout systems

Abstract

The layout of pages which carry information is the bread and butter of the graphic design profession. The rationale of what elements are chosen and where they are placed is based on tacit knowledge gained over a number of years of experience. The aesthetics associated with the overall finished design are often based on a style. Important elements of style are complexity and aesthetic value. In this paper I explore how various mathematical aesthetic functions can use complexity as an arousal enhancing or limiting mechanism in the application of layout designs.     

Digital design and time on device; how aesthetic experience can help to illuminate the psychological impact of living in a digital culture

ABSTRACT

Aesthetic techniques are increasingly used by marketeers to create enticing digital products. In this paper, I work with the aesthetic experiences of one audience group to consider the psychological impact of living in a culture where digital devices are deliberately designed to influence behaviour. I argue that aesthetic encounters can help with understanding the impact of the interplay between visual stimulus, affect and digital culture, in ways that may support situated understandings of mental distress in a digital age. I show how audiences respond to the artist-led research project Are We All Addicts Now? arguing that they generate ideas connected to submersion and being overwhelmed as a means of reporting on their own personal experiences of living in a digital culture that seeks to influence behaviour. The findings may have value for designers, curators and artists invested in understanding the experiential impact of digital devices.