Design of liveness‐enforcing supervisors via transforming plant petri net models of FMS

This paper focuses on the deadlock prevention problems in a class of Petri nets, systems of simple sequential process with resources, S³PR for short. By structure analysis, we propose an approach that can transform a plant net model into a weighted S³PR (WS³PR) that is behaviorally equivalent to the plant model. The WS³PR is made to be live by properly reconfiguring its weight distribution such that its all strict minimal siphons are self‐max'‐controlled. The resulting WS³PR can serve as a liveness‐enforcing Petri net supervisor for the plant model after removing some idle and operation places. A live controlled system can be accordingly obtained by synchronizing a plant model and the places whose weights are regulated. This research shows that a small number of monitors is obtained, leading to more permissive behavior of the controlled system. Examples are used to demonstrate the proposed concepts and methods. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

基于ARM-Linux的钢丝绳损伤检测系统设计

针对现有钢丝绳检测系统实时性与适应性差、自动化程度低的问题,提出了一种基于ARM-Linux的高性能钢丝绳损伤检测系统的设计方案,详细介绍了该系统的硬件组成、工作原理、软件实现方法及实时采样曲线绘制的设计与实现。该系统结合嵌入式Linux技术和漏磁无损检测技术,可独立完成检测任务,实时显示检测波形,提高了检测效率。     

基于正交小波变换和伪彩色的遥感图像增强

针对基于正交小波分析的图像增强技术一般只适用于黑白图像;而伪彩色处理技术不能够充分处理图像中某些细节信息的缺陷.提出了基于正交小波分析和伪彩色的遥感图像增强处理方法;实验结果表明,增强后的遥感图像无论在视觉效果上还是在噪声特性上都有了很大的改善;该方法简便易行且计算量小,在应用中有较大的灵活性;该方法还具有运算速度快和可操作性强等特点,在遥感图像增强研究方面具有广泛的应用前景.     

无线传感器网络感知节点的I~2C设备驱动设计与实现

针对I2C总线在控制外围设备方面的优势,提出了将I2C总线应用于无线传感器网络中感知节点传感器接入的方案,分析了I2C总线协议的数据传输流程,设计了基于TinyOS的I2C总线设备驱动程序架构,并实现了以ATmega 1281为微处理器的感知节点中光照传感器ISL29002的驱动程序;该驱动程序可以成功驱动传感器并已用于西北温室群监控系统中,应用表明驱动程序能够长期稳定工作。     

基于C8051F330的机动车速度监测及无线传输系统

为实现对高速公路机动车行驶速度的全程监测及预警,设计了一种以C8051F330为控制核心的机动车速度监测及无线传输系统;详细叙述了系统设计原理与软硬件的实现方法,系统利用C8051F330单片机控制传感器实时采集机动车行驶速度信号并进行处理,通过RFID标签和读写器无线传输车辆速度、身份信息以及前方路况限速信息,从而实现对高速公路机动车速度的实时监测和预警功能;实验调试表明系统反应速度快、运行可靠且成本低,具有良好的应用前景.     

艺术设计教学中实战课题把握能力分析

课题设计的实战训练模式是高校艺术设计专业中、高年级专业课程教学中实践环节普遍操作的重要训练形式。因此在方案设计展开前,对课题的系统把握能力也就成为课题设计训练成败的先决性因素。本文正是由此进行系统探析学生在具体课题实战训练中,把握课题应着力培养与调度的综合知识能力。     

城市的轨迹——南京地区博物馆地域性展示设计初探

本文通过对南京博物馆地域性展示设计从人文、社会背景、技术的角度进行系统的分析,归纳总结出南京博物馆展示设计发展规律的特点。同时研究南京博物馆展示设计可以以小见大,以一城见中国的博物馆事业的发展。     

基于词性的文本挖掘算法在IDS日志中的应用

提出一种以词性为参考值的文本挖掘算法,能有效挖掘与种子词有关的关联规则。基于Bootstrapping算法思想,既减少了预处理阶段对于词根还原的依赖,能处理日志中出现的中文词汇。增加了对于日志文本上下的理解,提高了关联规则的有效性,并应用与IDS日志挖掘之中,有效改善挖掘效率,为规则库提供关联规则。     

智能剪刀在进入式漫游中的应用

在图像分割中,＂智能剪刀＂（Intelligent scissors）是一种非常有用的交互方法,在这种方法中,通过交互地应用动态规划中图搜索算法,用户可以精确地得到图像中感兴趣的区域,在文章中,将＂智能剪刀＂应用于进入式漫游（TIP）中。用户用＂智能剪刀＂从图像中得到的前景信息可以方便的确定前景在TIP漫游场景中的位置。从而使以前用Photoshop操作并需要人工确定前景位置操作简单化。     

Using jump-diffusion modeling for valuing real options in infrastructure projects

In infrastructure financed projects, in order to attract private investors, host governments often provide some guarantees. This paper develops a value model of minimum revenue guarantee with multiple-exercise real options under the impact of the emergency incident. The model is applied to infrastructure financed projects using the minimum revenue guarantee under simulation. The simulation results indicate that, before quantifying the value of the minimum revenue guarantee, it is necessary to forecast the jump degree and intensity of the emergency incident, as well as prevent and control risks arising from such emergencies. Otherwise, underestimation of the guarantee value will occur and the government will have to bear huge debt in this condition. We also analyze the dependence of the guaranteed value on the minimum guaranteed revenue level, initial revenue and number of exercise rights. For various conditions, the diagrams of the guaranteed value are also presented.