The proceedings contain 47 papers. The special focus in this conference is on Mathematical Models, Architectures for Computer Network Security, Intrusion Detection and Public Key Distribution. The topics include: A di...
ISBN:
(纸本)3540407979
The proceedings contain 47 papers. The special focus in this conference is on Mathematical Models, Architectures for Computer Network Security, Intrusion Detection and Public Key Distribution. The topics include: A distributed forensics network;implementing a calculus for distributed access control in higher order logic and HOL;complexity problems in the analysis of information systems security;a behavior-based approach to securing email systems;real-time intrusion detection with emphasis on insider attacks;relating process algebras and multiset rewriting for immediate decryption protocols;a knowledge-based repository model for security policies management;symbolic partial model checking for security analysis;rule-based systems security model;enhanced correlation in an intrusion detection process;safeguarding SCADA systems with anomaly detection;experiments with simulation of attacks against computer networks;automatic generation of finite state automata for detecting intrusions using system call sequences;advanced certificate status protocol;efficient group key management with off-line members;a certificate status checking protocol for the authenticated dictionary;context-dependent access control for web-based collaboration environments with role-based approach;a signcryption scheme based on secret sharing technique;a zero-knowledge identification scheme based on an average-case NP-complete problem;achieveability of the key-capacity in a scenario of key sharing by public discussion and in the presence of passive eavesdropper;on cipher design based on switchable controlled operations;encryption and data dependent permutations and detection and removal of hidden data in images embedded with quantization index modulation.
Modeling activities, specifically model calibration, need sensor measurements. Since data collection is expensive and time-consuming, ineffective measurements should be avoided. For this reason, it is important to hav...
详细信息
ISBN:
(纸本)1853129674
Modeling activities, specifically model calibration, need sensor measurements. Since data collection is expensive and time-consuming, ineffective measurements should be avoided. For this reason, it is important to have a method for designing the field data collection that will give the most useful information. While sampling design problems have been studied more in ground-water systems, there are only few applications to water distribution networks. In this paper three different sensitivity-based methods for selecting the worthwhile sensor location in water distribution network are compared. The covariance matrix method, previously applied to identify the most useful loading condition under which to take measurements, is adapted to a sampling design problem. Since this method considers the correlation between the coefficients of the sensitivity matrix of the state variables with respect to calibration parameters, it has a higher computational cost. The three methods are applied to a hypothetical roughness calibration problem. The results show that there are no marked differences between the three methods, while the difference between poor and good sampling design is significant when the number of sensors is limited. This particular result remarks the importance of using a procedure for selecting sensor location. 1 Introduction Simulation models are commonly used in the managing of water distribution networks. These models are used to plan expansion and alteration, investigate operation issues, plan maintenance and estimate operating costs. Also, the introduction of the supervisory controlsystems (SCS) for an efficient hydraulic network management gives simulation models a very important role.
The following topics are dealt with: analog and RF devices; physical design; FPGA; MOS technology; ATPG and DFT; VLSI processors; memory technology; verification and synthesis; security; low power technologies; test o...
详细信息
The following topics are dealt with: analog and RF devices; physical design; FPGA; MOS technology; ATPG and DFT; VLSI processors; memory technology; verification and synthesis; security; low power technologies; test optimization; system-on-a-chip; coupling effects; power estimation andcontrol; high-level synthesis; device testing; reconfigurable system software.
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together with a generalised ...
详细信息
ISBN:
(纸本)076951071X
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to specify the dynamic behaviour of concurrent systems, using object-oriented modelling concepts together with a generalised arc set capable of coping with the complexity of the current embedded systems. This new Petri net meta-model can also be used to support a component-based development approach in the design of generic and parametrisable control-oriented software components for embedded systems.
The complexity of power system transients as well as wide range of operating regimes are beyond practical limitations of modeling techniques used in controldesign. Thus, in order to provide reliable system operation,...
详细信息
ISBN:
(纸本)0780308611
The complexity of power system transients as well as wide range of operating regimes are beyond practical limitations of modeling techniques used in controldesign. Thus, in order to provide reliable system operation, a controller must be insensitive to modelling errors. A study of controldesign for transient stabilization of interconnected power systems is presented here as viewed by the power system engineer. The initial design phase is based on a simplified two machine equivalent model of the original multimachine Western North American Power System. Kharitonov polynomial approach is employed for the initial parameter tuning. This controller is next tested and 'fine-tuned' on the 2nd order swing equation with time-varying parameters, numerically implemented using MAT-LAB. Final controller performance evaluation takes place in the original network using the power industry standard: Electro-Magnetical Transient Program.
control aspects of myoelectric powered prostheses are discussed. A bilinear mathematical model of the neuromuscular system is derived and the role of the variable viscosity of muscle is emphasized through the analysis...
详细信息
ISBN:
(纸本)0080325661
control aspects of myoelectric powered prostheses are discussed. A bilinear mathematical model of the neuromuscular system is derived and the role of the variable viscosity of muscle is emphasized through the analysis of the bilinear system. And then it is shown that the position control of the myoelectric prostheses can be improved largely by adding the bilinear structure to the interface of human-prostheses system.
A model based analysis of manual control of space rendezvous and docking (RVD) in the presence of transmission time delays (nominal case: human operator (HO) on the ground) is presented. The variables studied are time...
详细信息
ISBN:
(纸本)0080325661
A model based analysis of manual control of space rendezvous and docking (RVD) in the presence of transmission time delays (nominal case: human operator (HO) on the ground) is presented. The variables studied are time delay, human induced motor noise levels, rotational and translational control and the effect of display prediction. An 'envelope of performance' is estimated, bounded by performance with optimal prediction (Optimal control Model results) and performance with no prediction at all. 'Nominal' performance is estimated for a simple second order Taylor predictor display. Use is made of HO 'imperfect internal representation' of the system in order to model the no-predictor and predictor display cases.
This article is based on statistics of occurred accidents at automatic machines, and on analyses of four different types of automatic equipment in the paper and engineering industry. The statistics showed that correct...
详细信息
ISBN:
(纸本)0080325661
This article is based on statistics of occurred accidents at automatic machines, and on analyses of four different types of automatic equipment in the paper and engineering industry. The statistics showed that correction of disturbances was the most dangerous task at automatic machines. For example in 30 robot accidents two thirds occurred, while the operator made a correction. In the cases studied the operators sometimes had to make advanced corrections, which often were dangerous. A summary of different kind of safety problems observed is given, and also some tentative suggestions how to prevent them. The list describes a number of factors to be taken into consideration in the design of automatic systems.
A perceived consequence of increasing computer assistance, within such contexts as air traffic control, is that the operator's knowledge and overall appreciation of the system could be impaired. This paper describ...
详细信息
ISBN:
(纸本)0080325661
A perceived consequence of increasing computer assistance, within such contexts as air traffic control, is that the operator's knowledge and overall appreciation of the system could be impaired. This paper described a laboratory based research programme, investigated within a memory model the purpose of which was to provide a context and test constructs applicable to the complex and varied tasks of man-machine systems. Results indicated some decrement in recognition (memory) performance due to the subject's adoption of a monitoring role. Proposals are made for computer-aiding rather than full automation, so that the operator remains within the control loop, thus allowing his overall appreciation of the system state to be maintained.
It is argued that the supervisory control of complex industrial processes having a potential for serious consequences in case of accidents, requires careful consideration of the allocation of decision making between t...
详细信息
ISBN:
(纸本)0080325661
It is argued that the supervisory control of complex industrial processes having a potential for serious consequences in case of accidents, requires careful consideration of the allocation of decision making between the three main agents of control;namely the designer, the operator and the automatic control system. In particular, it is advocated that instead of continuing their efforts to make their preplanning of responses and countermeasures more and more complete and restricting the operators' initiative, designers should take advantage of modern information technology to make available to the operators their conceptual models and their processing resources so as to allow the operators to function as their extended arm in coping with the plant. Such an interactive decision making activity would thus benefit from this simultaneous availability of the design basis, up-to-date knowledge of plant status and accumulated operational experience.
暂无评论