基于IEC61499的实时分布式控制系统的研究

工业控制中实时分布式控制系统对生产是很重要的，IEC61499标准提供的功能块成为构建实时分布式控制系统的合适方法，但是实时性在IEC61499的标准文档中没有做深入的讨论。论文介绍分布式工业过程测量与控制系统（IPMCS）中的IEC61499标准功能块的体系结构，提出了基于抢占式调度的分布式控制系统设计方法。     

IEC 61850标准在智能水电厂数据通信中的应用

为实现水电厂设备间的互操作和信息共享,智能水电厂应采用IEC 61850标准实现数据通信。文中介绍了应用IEC 61850标准的智能水电厂通信关键技术,给出了水电厂现地水情遥测系统的IEC 61850建模实例,描述了智能水电厂通信服务器端应实现的通信服务子集。同时,提出了一种智能水电厂IEC 61850通信客户端软件的实现方案,介绍了该软件的框架设计、数据接收功能和控制功能的实现。     

基于IEC 61850的状态监测通信方案应用

结合状态监测数据通信,介绍了基于IEC 61850的状态监测建模设计,分析了通信方案中可选的4种模型（数据模型、文件传输模型、报告模型、日志模型）,提出了满足要求的合理状态监测通信方案,并对其进行了测试。所选方案将投入智能水电厂工程应用。     

A new view of fuzzy hypernear-rings

In this survey article, we first introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. This concept is a generalized concept of quasi-coincidence of a fuzzy point within a fuzzy set. By using this new idea, we consider the interval valued (∈,∈∨q)-fuzzy sub-hypernear-rings (hyperideals) of a hypernear-ring, and hence, a generalization of a fuzzy sub-near-ring (ideal) is given. Some related properties of fuzzy hypernear-rings are described. Finally, we consider the concept of implication-based interval valued fuzzy sub-hypernear-rings (hyperideals) in a hypernear-ring, in particular, the implication operators in Lukasiewicz system of continuous-valued logic are discussed.     

A deployment methodology of real-time industrial control applications in distributed controllers

This paper deals with the deployment of industrial control applications in distributed devices (considered as multi-tasking Programmable Logic Controllers (PLCs)). These applications are developed according to the component-based standard IEC 61499. In this standard, a function block is an event triggered component and the application is a network of distributed blocks on several devices. To deploy these blocks in feasible OS tasks of the execution support, we propose a hybrid scheduling approach allowing in particular to check according to specifications the temporal behavior of the application in devices and also on the communication network. This approach is based on static and dynamic policies. The static policy allows to construct OS tasks from function blocks, whereas the dynamic policy allows their scheduling at run-time.     

Stability of iterative processes with errors for a system of nonlinear -accretive variational inclusions in Banach spaces

In this paper, by using the concept of (A,η)-accretive mappings and the new resolvent operator technique associated with (A,η)-accretive mappings, we introduce and study a system of general mixed quasivariational inclusions involving (A,η)-accretive mappings in Banach spaces, and construct a new perturbed iterative algorithm with mixed errors for this system of nonlinear (A,η)-accretive variational inclusions in q-uniformly smooth Banach spaces. Our results improve and generalize the corresponding results of recent works.     

基于纯XML数据库的SCL文件管理

介绍IEC61850系列标准中的变电站配置描述语言的文件结构,阐述系统的配置流程及各种数据文件的交换过程,提出在XML文件管理维护上采用纯XML数据库技术。直接将XML文本文件作为存储单元。创建2个索引文件,运用传统的B+树数据结构建立索引。针对XML文件的特性,采用XML路径语言XPath表达式的方法进行文件查询。     

Ontological approach for products-centric information system interoperability in networked manufacturing enterprises

Standardisation initiatives (ISO and IEC) try to answer the problem of managing heterogeneous information, scattered within organizations, by formalising the knowledge related to products technical data. While the product is the centred object from which, along its lifecycle, all enterprise systems, either inside a single enterprise or between cooperating networked enterprises, have a specific view, we may consider it as active as far as it participates to the decisions making by providing knowledge about itself. This paper proposes a novel approach, postulating that the product, represented by its technical data, may be considered as interoperable per se with the many applications involved in manufacturing enterprises as far as it embeds knowledge about itself, as it stores all its technical data, provided that these are embedded on a common model. The matter of this approach is to formalise of all technical data and concepts contributing to the definition of a Product Ontology, embedded into the product itself and making it interoperable with applications, minimising loss of semantics.     

Auto-generation of IEC standard PLC code using t-MPSG

The objective of this paper is to reduce the development time of a PLC (Programmable Logic Controller) by automating the task of code generation. For this purpose, we applied t-MPSG (Timed-Message Based Part State Graph). The t-MPSG is an extended finite state automata used to model and generate an execution module for a real-time shop floor controller system. In our proposed method, t-MPSG is used to model the formal specification of the controller system that can be translated into textual structure. After the verification of the t-MPSG model, it can be used as an input to the plc-builder tool. The plc-builder tool is an extended version of a conventional MPSG simulator. It can be used to translate the textual structure of the t-MPSG into an IEC standard PLC code. Finally, the generated code can be downloaded to a PLC emulator or a PLC device for the purpose of simulation and execution. The similarity in the hierarchical structure of the t-MPSG and the IEC standard PLC program has made it convenient to transform from one form to another. Furthermore, an illustration of the methodology to auto-generate IEC standard PLC code using t-MPSG is explained with a suitable example. Recommended by Editorial Board member Young Soo Suh under the direction of Editor Jae Weon Choi. This work was partially supported by Defense Acquisition Program Administration and Agency for Defense Development under the contract (UD080042AD). Devinder Thapa is a Postdoc Research Fellow in the Department of Industrial & information systems at Ajou University, Korea. He completed his Ph.D. from Ajou University in Industrial and Information Systems Engineering. His area of research is related to manufacturing automation and intelligent decision support systems. Chang Mok Park is a Professor in the Department of Technology & Systems Management at Induk Institute of Technology. He completed his Ph.D. in 2002 from Ajou University in Industrial Engineering. His research interest is related to manufacturing optimization, discrete event system simulation and signal analysis. Sang C. Park is an Associate Professor in the Department of Industrial & Information Systems Engineering at Ajou University. He received his B.S., M.S., and Ph.D. degrees from KAIST in 1994, 1996, and 2000, respectively, all in Industrial Engineering. His research interests include geometric algorithms in CAD/CAM, process planning, engineering knowledge management, and discrete event system simulation. Gi-Nam Wang is the Head and a Professor in the Department of Industrial & Information Systems Engineering at Ajou University, Korea. He completed his Ph.D. in 1992 from Texas A&M University, in Industrial Engineering. He has worked as Visiting Professor at University of Texas at Austin during 2000–2001. His area of research is related to Intelligent Information & manufacturing systems, system integration & automation, e-Business solutions and image processing.     

Efficient identity-based GQ multisignatures

ISO/IEC 14888 specifies a variety of digital signature mechanisms to sign messages of arbitrary length. These schemes can be applied to provide entity authentication, data origin authentication, non-repudiation, and data integrity verification. ISO/IEC 14888 consists of three parts under the general title Information technology—Security techniques—Digital signatures. Part II, or ISO/IEC 14888-2 specifies the general structure and the fundamental procedures for the generation and verification of an identity-based signature (IBS) mechanism for messages of arbitrary length. Particularly, the IBS scheme of Guillou and Quisquater (GQ) is described in Clauses 6–8. In this paper, an efficient identity-based multisignature (IBMS) scheme is proposed for the GQ IBS scheme, which allows multiple users using the ISO/IEC 14888-2 standard GQ scheme to generate multisignatures. The scheme is efficient in the sense that both the length and the verification time of the multisignatures are fixed. The proposed ID-based multisignature scheme is also secure against forgeability under adaptive chosen-message attack and adaptive chosen-identity attack in random oracle model.