ppxscal/embedding_network huggingface dataset:
Multiform Time in UML for Real-time Embedded Applications
Authors: C. Andre, F. Mallet, M-A. Peraldi-Frati
Venue: Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (2007)

Each domain has its own interpretation of time. We propose to extend UML, which is more and more used in the domain of real-time embedded applications, with a concept of time inherited from reactive system modeling : multiform time. After a brief review of some UML profiles, we present our extensions and we illustrate on an example from the automotive industry how to represent and to constraint behaviors depending on multiform time. We advocate that this model of time offers wider possibilities than restricting models only to the physical time.
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Authors: Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson
Venue: Discrete Event Dynamic Systems (2007)

This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large number of ways are suggested how a finite-state automaton can be simplified such that the results of supervisor synthesis are preserved. The proposed approach yields a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated on a simple manufacturing example to significantly reduce the number of states constructed for supervisor synthesis.
A genetic algorithm based approach to track voltage and current harmonics in electrical power systems
Authors: Renata A. Macêdo, Donato da Silva-Filho, Denis V. Coury, Adriano A. F. M. Carneiro, André C. P. L. F. de Carvalho
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2002)

The presence of voltage and current waveform distortion is generally expressed in terms of harmonic frequencies. These distortions are not appreciated because they are responsible for equipment misoperation and damage. The potential harmonic effects on power equipment and system operation have become a concern for utilities. As a consequence, harmonics can no longer be ignored in industrial power. Therefore, precise harmonic identification is a very important task in order to eliminate these undesirable effects. This paper presents a novel approach to identifying harmonics in power system distorted waveforms. The proposed method is based on Genetic Algorithms, which is an optimization technique inspired by genetics and natural evolution. GOOAL, a specially designed intelligent algorithm for optimization problems, was successfully implemented and tested. Two kinds of representations concerning chromosomes were utilized: binary and real. The results obtained show that the proposed method is more precise than the traditional Fourier Transform, especially considering the real representation of the chromosomes.
A Novel Binarization System for Degraded Document Images
Authors: Y. Xi, Y. Chen, Q. Liao, L. Winghong, F. Shunming, D. Jiangwen
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 01 (2007)

A novel binarization system for degraded document images is proposed in this paper. It combines two local adaptive binarization methods (Niblack method [1] and improved Palumbo method[2]) which are complementary to each other. Niblack thresholding algorithm behaves very well in character areas but causes a lot of noise in background areas while the improved Palumbo thresholding algorithm causes little background noise but sometimes it over-thresholds the characters. The proposed system which combines both Niblack thresholding and Palumbo thresholding takes advantages of these two methods. Experiments show that it performs very well with little background noise and can be used to binarize degraded document images in many application circumstances.
Image Analysis of Size and Shape of Mineral Particles
Authors: Weixing Wang
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 04 (2007)

Mineral analysis is very important in engineering geology. It is often that a geologist analyzes minerals on an image under microscope, or by taking photos. It is difficult to recognize minerals automatically due to the complexity of mineral images. This paper presents the newly studied an image segmentation algorithm for mineral particles. The algorithm consists of image pre-processing, gray level image segmentation, background split, merge of small regions, and merge and split based on shape analysis. The developed algorithm has been tested in a laboratory and works satisfactory. Keywords--- particles, mineral, merge and split, segmentation, shapes
Formulations and exact algorithms for the vehicle routing problem with time windows
Authors: Brian Kallehauge
Venue: Computers and Operations Research (2008)

In this paper we review the exact algorithms proposed in the last three decades for the solution of the vehicle routing problem with time windows (VRPTW). The exact algorithms for the VRPTW are in many aspects inherited from work on the traveling salesman problem (TSP). In recognition of this fact this paper is structured relative to four seminal papers concerning the formulation and exact solution of the TSP, i.e. the arc formulation, the arc-node formulation, the spanning tree formulation, and the path formulation. We give a detailed analysis of the formulations of the VRPTW and a review of the literature related to the different formulations. There are two main lines of development in relation to the exact algorithms for the VRPTW. One is concerned with the general decomposition approach and the solution to certain dual problems associated with the VRPTW. Another more recent direction is concerned with the analysis of the polyhedral structure of the VRPTW. We conclude by examining possible future lines of research in the area of the VRPTW.
Fabrication of SiO2 microdisk arrays for optics and light trapping experiments
Authors: L. V. Saraf, M. H. Engelhard, A. S. Lea
Venue: Microelectronic Engineering (2007)

We present a simple silicon based microfabrication process that produces an array of SiO"2 microdisks using UV lithography. High-resolution SEM images of these structures indicate a smooth outer microdisk cavity surface. Photoemission measurements were performed at different spots on the microdisk and compared with measurements inside the cavity. A silicon to oxygen atomic concentration ratio of 1:2 obtained during depth profiling confirms that the entire microdisk is made up of stoichiometric SiO"2. In contrast, the inner cavity is mostly silicon with native oxide on top. We discuss the usefulness of SiO"2 microdisks in optics for light trapping experiments.
A Policy Language for Adaptive Web Services Security Framework
Authors: Jian-Xin Li, Bin Li, Liang Li, Tong-Sheng Che
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

How to resolve access control on Web Services has become one of the important research tasks about the application of Web Services. In this paper, we propose a policy based adaptive Web Services security framework. In this framework, the ReiT policy is a declarative language based on the rules and ontologies. The non-structural knowledge is represented by rules and the structural temporal knowledge is represented by ontology. Moreover, we propose a mixer reasoning mechanism to evaluate the ReiT policy. The access control policy including the context of the user and Web Services is evaluated by the reasoner. According to the evaluated result agent authorizes the access control of the Web Services.
Secure Routing Protocol based Trust for Ad Hoc Networks
Authors: Zhiyuan Liu, Shejie Lu, Jun Yan
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

An ad hoc network is a kind of wireless network without centralized administration or fixed network infrastructure, in which nodes perform routing discovery and routing maintenance in a self-organized way. However, this flexible network topology introduces a lot of security problems and the existing routing protocols for ad hoc networks such as AODV has no effective measures to prevent themselves from being attacked. Some researchers have proposed several secure routing protocols to protect the ad hoc networks. But most of these secure routing protocols need some centralized units or some trusted third parties to issue digital certificates or monitor network traffics, which actually destroy the self-organization nature of ad hoc networks. In this paper, we propose a secure routing protocol based on our trust mechanism. Each node in this ad hoc network has its opinions about some other nodes' trustworthiness, which are obtained by directly communicating with other nodes or by combining other nodes' recommendations. Then the node will decide whether to exchange routing information with another according to its opinion about that nodes' trustworthiness.
Fuzzy modeling and control of a nonlinear magnetic bearing system
Authors: Sung Kyung Hong, Reza Langari
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1999)

This paper deals with the control of a levitated object with position dependent nonlinearity. We applied the fuzzy modeling and control to a nonlinear magnetic bearing system to obtain uniform desired performance over the entire clearance. We represented the nonlinear magnetic bearing by the Takagi-Sugeno-Kang (TSK) fuzzy model, where a nonlinear global model is approximated by a set of linear local models. Then a model-based fuzzy controller, the so-called parallel distributed compensation (PDC), is employed. Simulation and experimentation results demonstrate that the controller provides excellent compensation for unstable/nonlinear characteristics of the magnetic bearing system and maximizes the controller's valid region of operation, while guaranteeing pre-specified transient performance.
Algorithm 873: LSTRS: MATLAB software for large-scale trust-region subproblems and regularization
Authors: Marielba Rojas, Sandra A. Santos, Danny C. Sorensen
Venue: ACM Transactions on Mathematical Software (TOMS) (2008)

A MATLAB 6.0 implementation of the LSTRS method is presented. LSTRS was described in Rojas et al. &lsqb;2000&rsqb;. LSTRS is designed for large-scale quadratic problems with one norm constraint. The method is based on a reformulation of the trust-region subproblem as a parameterized eigenvalue problem, and consists of an iterative procedure that finds the optimal value for the parameter. The adjustment of the parameter requires the solution of a large-scale eigenvalue problem at each step. LSTRS relies on matrix-vector products only and has low and fixed storage requirements, features that make it suitable for large-scale computations. In the MATLAB implementation, the Hessian matrix of the quadratic objective function can be specified either explicitly, or in the form of a matrix-vector multiplication routine. Therefore, the implementation preserves the matrix-free nature of the method. A description of the LSTRS method and of the MATLAB software, version 1.2, is presented. Comparisons with other techniques and applications of the method are also included. A guide for using the software and examples are provided.
Data Sharing across the Atlantic
Authors: Sophie In 't Veld
Venue: IEEE Security and Privacy (2007)

European and US approaches are all but inversely related to safeguarding privacy-sensitive personal data. When discussing the fight against terrorism, many politicians speak of striking the right balance between security and privacy, but this is a false trade-off: less of one doesn't guarantee more of the other. Confronted by those who want to destroy democracy and freedom, the solution isn't to weaken the very things we want to protect. To make democratic societies more robust and resilient against attack, the author argues for bolstering rather than eroding the rule of law or limiting individual freedoms. The existence of massive databases detailing people's personal transactions and real-world and online lives is a given, as is the fact that they might be needed for local and international law enforcement and security. The key is to update data-protection rules to reflect this new reality.
High-Speed Techniques for a 3-D Color Graphics Terminal
Authors: Tsuneo Ikedo
Venue: IEEE Computer Graphics and Applications (1984)

Innovative concepts in hardware architecture and data structure enable graphics processing at a speed about five times that of conventional raster-scan devices. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Automated Video-Angiocardiographic Image Analysis
Authors: P. H. Heintzen
Venue: Computer (1975)

This paper describes a hardware-software system for handling the two main groups of cardiological data: a) physiological variables such as voltages, pressures, etc., and b) morphological data, derived from x-ray images or angiocardiograms, such as dimensions, areas, or volumes. We will concentrate in particular on some aspects of automated image processing-i. e., the analysis of the size, shape, and contraction pattern of the ventricles from video-angiocardiograms.
Multidimensional Fuzzy Interpolative Reasoning Method Based on \lambda-Width Similarity
Authors: Baowen Wang, Qingda Zhang, Wenyuan Liu, Yan Shi
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

Fuzzy reasoning is the very important process in the intelligent systems. Very few papers address the research for interpolative reasoning under multidimensional sparse rules. Moreover, these methods sometimes can not guarantee the convexity of result. Nowadays, multidimensional sparse rules base focus on the premises composed of many fuzzy sets, but do not consider the consequences composed of multidimensional fuzzy sets. Thus the fuzzy production rule can not express the complicate problems in the real world. It needs to be extended. This paper proposes a similarity relation between fuzzy sets. Based on the similarity relation, then we propose an improved fuzzy interpolative reasoning method. Moreover, we extend the method to the case of complex multidimensional consequences.
A New Position-Based Routing Algorithm for the Reduction of Overhead in Ad-hoc Networks
Authors: Maryam Mohseni, Shabnam Vahedi, Majid Naderi
Venue: Proceedings of the Second International Conference on Systems and Networks Communications (2007)

Mobile Ad-Hoc network is an independent system formed by a set of mobile nodes that can communicate through wireless links. The difference between these networks and cellular networks is that mobile Ad-Hoc networks do not have any fixed and pre-existing infrastructure. Because of mobile nodes in Ad-Hoc networks, the topology is not fixed and changes rapidly Hence, many routing algorithms have proposed for these networks. Position-based algorithms use physical position information of nodes in routing. In these networks each node determines its location by GPS. In this paper a new position-based routing algorithm which is called ILAR(Improved Location-Aided Routing) have proposed. In this algorithm, with insertion of routes in intermediate nodes' caches and using of position information of intermediate nodes and several other improvements in LAR algorithm, overhead is reduced and more bandwidth is allocated to data transmission. Simulation results show that ILAR algorithm leads to an improvement in overhead.
Effect of indenter shapes on bond pad hardness studies of low-k devices
Authors: Narasimalu Srikanth, Lim Chee Tiong, Charles J. Vath,  III
Venue: Microelectronic Engineering (2008)

The idea of using low-k materials compared to conventional silica (SiO"2) poses a large challenge to the back end processes such as wire bonding. In this study, numerical methods such as finite element method is used to characterize the permissible compressive bonding load at the bond pad. Since micro and nano hardness test conventionally use a conical indenter while the wirebond process experiences a spherical indentation, a comparison is made in terms of the force-indentation depth graphs. Results shows that the conical indenter induces early damage and their prediction of the force can be taken as a conservative measure during the wirebond process design. Further a numerical model can be made to verify for its sufficiency to squash the gold ball for a required dimension and to check for any damage within the device. In addition, the strain contours within the device at different metal layers provides better insight to modify the device's active circuit layout below bond pad to distribute the forces evenly.
Proactive Policy Management using TBVH Mechanism in Heterogeneous Networks
Authors: Fatema Shaikh, Glenford Mapp, Aboubaker Lasebae
Venue: Proceedings of the The 2007 International Conference on Next Generation Mobile Applications, Services and Technologies (2007)

In order to achieve seamless interoperability in heterogeneous networking, it is vital to improve the context-awareness of the mobile node (MN) so that it is able to predict future network conditions with sufficient accuracy. In this paper, we introduce a predictive mathematical model for calculating the estimated Time Before Vertical Handover (TBVH) component from available network parameters. The model is practically implemented in OPNET and our simulation results confirm the validity of the concept. We then demonstrate how the knowledge of TBVH along with other network parameters can be applied by downward Quality of Service management policies which bundle multi-class traffic streams on to available network channels based on application QoS, device mobility patterns and prevailing channel conditions.
Publicly Verifiable Secret Sharing with Enrollment Ability
Authors: Jia Yu, Fanyu Kong, Rong Hao
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 03 (2007)

Publicly verifiable secret sharing plays an important role in escrow-cryptosystems, electronic voting and other applications. In this paradigm, not only the shareholder himself but also everybody can verify the correctness of his share. Unfortunately, in a normal publicly verifiable secret sharing, new members can't enroll the system according to the need of actual circumstance because the normal publicly verifiable secret sharing has no this ability. In this paper, a publicly verifiable secret sharing with enrollment ability scheme is proposed. The scheme can provide a share to an enrolling member without exposing the secret and other shares. What's more, because the dishonest behavior of old shareholders can be detected, the new player can verify whether his share is right or not. Using some simple methods, the scheme can be more secure and efficient.
On Optimization Problems in Quasi-uniform Spaces
Authors: Shao-ai Chen, Wen Li, Du Zou, Shaobai Chen
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 01 (2007)

This paper is concerned with optimization problems in T_0 quasi-uniform spaces. Many optimization problems such as vector optimization, set-valued optimization, are unified in the quasi-uniform space to have a simple expression. Firstly, the proposition that a quasi-uniform space is T_0 if and only if the intersection of all entourages of the quasi-uniformity is antisymmetric is proved. Secondly, the notion of extremum in quasi-uniform spaces is given by the partial order, and some equivalent conditions of extremum are obtained. Finally, optimization problems in T_0 quasi-uniform spaces are put forward, and the conclusion that infimum of a lower semi-continuous mapping from a compact set to a T_0 quasi-uniform space can be reached is given.
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
Authors: C. V. Ramamoorthy
Venue: IEEE Transactions on Software Engineering (1980)

Some analysis techniques for real-time asynchronous concurrent systems are presented. In order to model clearly the synchronization involved in these systems, an extended timed Petri net model is used. The system to be studied is first modeled by a Petri net. Based on the Petri net model, a system is classified into either: 1) a consistent system; or 2) an inconsistent system. Most real-world systems fall into the first class which is further subclassified into i) decision-free systems; ii) safe persistent systems; and iii) general systems. Procedures for predicting and verifying the system performance of all three types are presented. It is found that the computational complexity involved increases in the same order as they are listed above.
Binding Update Authentication Scheme for Mobile IPv6
Authors: Irfan Ahmed, Usman Tariq, Shoaib Mukhtar, Kyung-suk Lhee, S. W. Yoo, Piao Yanji, ManPyo Hong
Venue: Proceedings of the Third International Symposium on Information Assurance and Security (2007)

Mobile IPv6 provides route optimization mechanism for fast communication by lessening the overhead of indirection. Although it ameliorates the communication latency but it also needs good authentication mechanism to make route optimization more effective and reliable. In this paper, we improve one of the route optimization security mechanisms called Bombing Resistant Protocol, and propose a new binding update authentication scheme. Both mechanisms perform the care of address validation of the mobile node and maintain the integrity of the binding update message during binding update process, while the latter performs better in terms of latency and computation. They also resolve reflection and amplification, intensive computation problem.
Some Sufficient Stability Conditions on T-S Fuzzy Systems with Time-Delay
Authors: Shengjuan Huang, Xiqin He
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 01 (2007)

Some sufficient stability conditions on T-S fuzzy systems with time-delay are given in this paper. First, the T-S fuzzy models with time-delay are presented and the suffi- cient stability conditions are derived by using the second Lyapunov functional approach. Then a stabilization ap- proach for nonlinear retarded systems through fuzzy state feedback controller is proposed. It shows that the analysis results provide an efficient technique for the design of fuzzy controllers. Sufficient conditions for the existence of fuzzy state feedback gain of the time-delay systems are derived through the numerical solution of a set of coupled linear matrix inequalities.
Radial Basis Networks and Logistic Regression Method for Prediction of Broncho Pulmonary Dysplasia
Authors: Wieslaw Wajs, Pawel Stoch, Piotr Kruczek
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

The main goal of this paper is prediction of BronchoPulmonary Dysplasia among newborn children. Static and dynamic parameters obtained from hospital database and medical data monitoring system were used to build logistic regression and radial basis function neural networks (RBFN) models.