ppxscal/embedding_network huggingface dataset:
Applying TRIZ and Fuzzy AHP to develop innovative design for automated manufacturing systems
Authors: Te-Sheng Li, Hsing-Hsin Huang
Venue: Expert Systems with Applications: An International Journal (2009)

Innovative design in the development of new product and process has become the core value in most business establishments. These innovative designs are often associated with the long-established trade-off compromises or conflicting performance parameters where speed and reliability, or quality and cost are readily acknowledged. The rate of change in technology and the commercial environment suggests that the opportunity for innovative design is accelerating, and systematic support for innovation process is needed. This study combines the Russian Theory of Inventive Problem Solving (TRIZ) and the fuzzy analytical hierarchy process (AHP) for designing the automated manufacturing systems. This study applied the contradiction matrix table, 40 innovative principles, and 39 engineering parameters to compromise the trade-off between design contradictions and engineering parameters. The design engineers can acquire more feasible solutions and inspiration through the proposed approach. However, due to vagueness and uncertainty in the decision-maker's judgment, a fuzzy AHP is employed as a decision support tool that can adequately represent qualitative and subjective assessments under the multiple criteria decision making environment. Moreover, the proposed approach can help decision makers facilitate the selection and evaluation of innovative designs in the presence of intangible attributes and uncertainty. In short, the objectives of this research are to use TRIZ to propose the automated design alternatives under the innovative design consideration, and to use a fuzzy AHP to evaluate and select the best feasible alternative under multiple criteria. A case study of designing automated connector assembly line has been used to demonstrate the applicability of the proposed approach.
Process variability-aware transient fault modeling and analysis
Authors: Natasa Miskov-Zivanov, Kai-Chiang Wu, Diana Marculescu
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the increase in transistor integration capacity also leads to the increase in process and environmental variations. Despite these difficulties, it is expected that systems remain reliable while delivering the required performance. Reliability and variability are emerging as new design challenges, thus pointing to the importance of modeling and analysis of transient faults and variation sources for the purpose of guiding the design process. This work presents a symbolic approach to modeling the effect of transient faults in digital circuits in the presence of variability due to process manufacturing. The results show that using a nominal case and not including variability effects, can underestimate the SER by 5% for the 50% yield point and by 10% for the 90% yield point.
An Agent-based Semantic Web Service Discovery Framework
Authors: Azadeh Ghari Neiat, Mehran Mohsenzadeh, Rana Forsati, Amir Masoud Rahmani
Venue: Proceedings of the 2009 International Conference on Computer Modeling and Simulation (2009)

Web services have changed the Web from a database of static documents to a service provider. To improve the automation of Web services interoperation, a lot of technologies are recommended, such as semantic Web services and agents. In this paper we propose a framework for semantic Web service discovery based on semantic Web services and FIPA multi agents. This paper provides a broker which provides semantic interoperability between semantic Web service provider and agents by translating WSDL to DF description for semantic Web services and DF description to WSDL for FIPA multi agents. We describe how the proposed architecture analyzes the request and match search query. The ontology management in the broker creates the user ontology and merges it with general ontology (i.e. WordNet, Yago, Wikipedia …). We also describe the recommendation component that recommends the WSDL to Web service provider to increase their retrieval probability in the related queries.
A statistical approach for full-chip gate-oxide reliability analysis
Authors: Kaviraj Chopra, Cheng Zhuo, David Blaauw, Dennis Sylvester
Venue: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design (2008)

Gate oxide breakdown is a key factor limiting the useful lifetime of an integrated circuit. Unfortunately, the conventional approach for full chip oxide reliability analysis assumes a uniform oxide-thickness for all devices. In practice, however, gate-oxide thickness varies from die-to-die and within-die and as the precision of process control worsens an alternative reliability analysis approach is needed. In this work, we propose a statistical framework for chip level gate oxide reliability analysis while considering both die-to-die and within-die components of thickness variation. The thickness of each device is modeled as a distinct random variable and thus the full chip reliability estimation problem is defined on a huge sample space of several million devices. We observe that the full chip oxide reliability is independent of the relative location of the individual devices. This enables us to transform the problem such that the resulting representation can be expressed in terms of only two distinct random variables. Using this transformation we present a computationally efficient and accurate approach for estimating the full chip reliability while considering spatial correlations of gate-oxide thickness. We show that, compared to Monte Carlo simulation, the proposed method incurs an error of only 1~6% while improving the runtime by around three orders.
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
Authors: Valentin Goranko, Dmitry Shkatov
Venue: Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science (2009)

We study the multiagent epistemic logic CMAEL(CD) with operators for common and distributed knowledge for all coalitions of agents. We introduce Hintikka structures for this logic and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using this result, we design an incremental tableau based decision procedure for testing satisfiability in CMAEL(CD).
Addendum to matroid tree-width
Authors: Petr Hlinný, Geoff Whittle
Venue: European Journal of Combinatorics (2009)

Hliněný and Whittle have shown that the traditional tree-width notion of a graph can be defined without an explicit reference to vertices, and that it can be naturally extended to all matroids. Unfortunately their original paper [P. Hliněný, G. Whittle, Matroid tree-width, European J. Combin. 27 (2006) 1117-1128], as pointed out by Isolde Adler in 2007, contained some incorrect arguments. It is the purpose of this addendum to correct the affected proofs. (All the theorems and results of the original paper remain valid.)
Process Control Performance Assessment: From Theory to Implementation
Authors: Andrzej W. Ordys, Damien Uduehi, Michael A. Johnson
Venue: Advances In Industrial Control (2007)

Process Control Performance Assessment is a practical guide to the application of control benchmarking to real, complex, industrial processes. It presents commercial solutions as well as current and future techniques still under development and contains real full-scale-implementation industrial case studies from the oil and gas, power and chemical industries providing a hierarchical perspective on benchmarks. The effect of benchmarking and control tuning on process performance and revenue optimisation is demonstrated. The most frequently occurring practical issues associated with implementing benchmarking algorithms in industrial processes are discussed in detailed and concise terms and guidelines given for avoiding common problems. The impact of problems like valve stiction and plant-wide disturbances on process performance is reviewed and methods for diagnosing causative fault conditions suggested. The benefit of non-intrusive and intrusive benchmarking techniques for optimising control systems using performance assessment and diagnostic tools is the potential to enhance company operational economics through increased throughput and better product quality. The book is appropriate for industrial and academic control and process engineers who wish to learn about methods of benchmarking through directed study or self study.
Steganalysis on Character Substitution Using Support Vector Machine
Authors: Xinxin Zhao, Liusheng Huang, Lingjun Li, Wei Yang, Zhili Chen, Zhenshan Yu
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

A new steganalysis method is proposed to detect the exists of hiddeninformation using character substitution in texts. This is done byutilizing Support Vector Machine (SVM) as a classifier to classifythe characteristic vector input into SVM. The most important step ofthis detection algorithm is the construction of a propercharacteristic vector. Under the prerequisite that the secret bitsto be embedded are uniformly distributed, the distribution of thecharacters used for hiding data has altered after steganographicprocess, thus the ratio of abnormal characters to normal charactersis different in cover texts and stego texts. Experimental resultsdemonstrate that this method can reliably detect whether there ishidden information in texts. The detection accuracy in experimentreaches as high as 96\% while the embedding data rate is merely20\%.
A Novel and High-Quality Measurement Study of Commercial CDN-P2P Live Streaming
Authors: Xuening Liu, Hao Yin, Chuang Lin
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

Content Delivery Network (CDN) and Peer-to-Peer (P2P) are two well-known techniques for the efficient distribution of video streams. We have designed and implemented a large-scale live streaming system by integrating the advantages of CDN and P2P technologies to overcome their own limitations. The system was commercially deployed by ChinaCache, one of the largest CDN companies in China. To the best of our knowledge, it is the first commercial CDN-P2P hybrid live streaming system that primarily adopts UDP transmissions among the end users. By leveraging a large set of log traces collected from the real system, we present important measurement results on various performance metrics, defined as resource allocation, dynamics, and user experience. The performance results demonstrate that the system holds the charming characters of scaling, fairness, and stability. The study of such a real system provides valuable insights into the future development and improvement of video stream technologies.
Toward Perceptual Computing: Vision-based Human Computer Interaction
Authors: Jason J. Corso
Venue:  (2008)

With the ubiquity of powerful, mobile computers andrapid advances in sensing and robot technologies,there exists a great potential for creating advanced,perceptual computing environments. In this work, weinvestigate techniques for integrating passive,vision-based sensing into such environments, whichinclude both conventional interfaces and large-scaleenvironments. We discuss a methodology forvision-based human-computer interaction called theVisual Interaction Cues (VICs) paradigm. In theVICs paradigm, users interact with the computersystem through natural hand gestures. We capture alanguage of interaction" in which individualgestures are the words and sequences of gestures arethe sentences. We give examples of both individualgestures and the gesture language and present themon our next-generation interaction platform the 4DTouchpad. Ultimately our work takes a concrete steptoward perceptual user interfaces."
ASSURE: automatic software self-healing using rescue points
Authors: Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis
Venue: ACM SIGPLAN Notices (2009)

Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover software from unknown faults while maintaining both system integrity and availability, by mimicking system behavior under known error conditions. Rescue points are locations in existing application code for handling a given set of programmer-anticipated failures, which are automatically repurposed and tested for safely enabling fault recovery from a larger class of (unanticipated) faults. When a fault occurs at an arbitrary location in the program, ASSURE restores execution to an appropriate rescue point and induces the program to recover execution by virtualizing the program's existing error-handling facilities. Rescue points are identified using fuzzing, implemented using a fast coordinated checkpoint-restart mechanism that handles multi-process and multi-threaded applications, and, after testing, are injected into production code using binary patching. We have implemented an ASSURE Linux prototype that operates without application source code and without base operating system kernel changes. Our experimental results on a set of real-world server applications and bugs show that ASSURE enabled recovery for all of the bugs tested with fast recovery times, has modest performance overhead, and provides automatic self-healing orders of magnitude faster than current human-driven patch deployment methods.
Design and implementation of a behavioral difference analyzer for network intrusion detection
Authors: Mehran Nadjarbashi-Noghani, Ali A. Ghorbani
Venue: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services (2006)

This paper discusses the use of diversity and redundancy techniques for network intrusion detection, and explains the design and implementation of a Behavioral Difference Analyzer to examine behavioral disparity of two heterogeneous network servers under normal and compromised conditions. The challenges of differential intrusion detection are explained, and solutions and algorithms for carrying out differential analysis are proposed.
The competition number of a graph with exactly h holes, all of which are independent
Authors: Bo-Jr Li, Gerard J. Chang
Venue: Discrete Applied Mathematics (2009)

Given an acyclic digraph D, the competition graph C(D) of D is the graph with the same vertex set as D where two distinct vertices x and y are adjacent in C(D) if and only if there is a vertex v in D such that (x,v) and (y,v) are arcs of D. The competition number @k(G) of a graph G is the least number of isolated vertices that must be added to G to form a competition graph. The purpose of this paper is to prove that the competition number of a graph with exactly h holes, all of which are independent, is at most h+1. This generalizes the result for h=0 given by Roberts, and the result for h=1 given by Cho and Kim.
Orbital Angular Momentum of Single Photons for Optical Communication in a Slant Path Atmospheric Turbulence
Authors: Zhang Yi-xin, Zhao Gui-yang, Xu Jian-cai, Cuang Ji
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

The well defined orbital angular momentum states of photons offer a practical realization of quantum digits and a means of secure single-photon optical communication. The orbital angular momentum is associated with the spatial distribution of the wave function and the number of orbital angular momentum eigenstates is unlimited, giving the possibility of arbitrary base-N digits. The free-space optical communications using angular momentum states of single photons is investigated and the effect of slant path atmospheric turbulence on the angular momentum of the photons is modeled with Rytov approximation and modified von Karman spectrum model of index-of-refraction fluctuation. The analytical modeling for the angular momentum scattering due to the atmospheric turbulence and the orbital angular momentum quantum number for photons propagation in slant path atmospheric turbulence are presented. The refractive index fluctuations in the atmosphere perturb the complex amplitude of a propagating beam so that the photons that were launched in an eigenstate of orbital angular momentum are no longer guaranteed to be in the original eigenstate after propagation.
A performance study of uplink scheduling algorithms in point-to-multipoint WiMAX networks
Authors: Najah Abu Ali, Pratik Dhrona, Hossam Hassanein
Venue: Computer Communications (2009)

The IEEE 802.16 standard defines the specifications for medium access control (MAC) and physical (PHY) layers of WiMAX networks. A critical part of the MAC layer specification is packet scheduling, which resolves contention for bandwidth and determines the transmission order of users. Evaluating the performance packet scheduling algorithms is of utmost importance towards realizing large-scale WiMAX deployment. In this paper, we conduct a comprehensive performance study of scheduling algorithms in point-to-multipoint mode of OFDM-based WiMAX networks. We first make a classification of WiMAX scheduling algorithms, then simulate a representative number of algorithms in each class taking into account that vital characteristics of the IEEE 802.16 MAC layer and OFDM physical layer. We evaluate the algorithms with respect to their abilities to support multiple classes of service, providing quality of service (QoS) guarantees, fairness amongst service classes and bandwidth utilization. To the best of our knowledge, no such comprehensive performance study has been reported in the literature. Simulation results indicate that none of the current algorithms is capable of effectively supporting all WiMAX classes of service. We demonstrate that an efficient, fair and robust scheduler for WiMAX is still an open research area. We conclude our study by making recommendations that can be used by WiMax protocol designers.
Real-time simulation of 3D smoke on GPU
Authors: Qing Yang
Venue: Proceedings of the 3rd WSEAS international conference on Circuits, systems, signal and telecommunications (2009)

In this paper, we investigate the fluid simulation on GPU, and implement real time smoke animation based on GPU by numerically solving Navier-Stokes equation. Based on Navier-Stokes equation, we discuss the details of the method, "Stable Fluids". This scheme makes implementation on the GPU simple, because there is a straightforward mapping between grid cells and voxels in a 3D texture. After optimizing, this method not only fit to GPU, but also is steady and realistic greatly.
An information assurance curriculum for commanding officers using hands-on experiments
Authors: Joel Brynielsson
Venue: Proceedings of the 40th ACM technical symposium on Computer science education (2009)

To authorize and initiate necessary investments and enforce appropriate policies and procedures, decision-makers need to have at least a fair understanding of computer security fundamentals. This paper presents the course design and the laboratory settings that have been developed for, and used within, the high rank officer curriculum at the Swedish National Defence College. The developed course looks at computer security from an attack versus defend viewpoint, meaning that computer attacks are studied to learn about prevention and self-defense. The paper discusses the pedagogical challenges related to education of high rank officers and similar personnel in light of recently-held courses and contrasts the course relative to similar undertakings. A standpoint taken is that computer security is best taught using hands-on laboratory experiments focusing on problem solving assignments. This is not undisputed since, e.g., high rank officers are busy people who are not fond of getting stuck learning about the peripherals.
Telos: Representing Knowledge about Control Systems?
Authors: Dominik Schmitz, Hans W. Nissen, Matthias Jarke, Thomas Rose
Venue: Proceedings of the 2008 First International Workshop on Managing Requirements Knowledge (2008)

Telos is a formal knowledge representation language designed for the development of information systems. It has been successfully applied in many different software development projects. Although the development of control systems also includes software development, it constitutes a completely different application domain. An in-depth analysis of the development process results in a set of key char- acteristics of this domain. Based on this set we investigate in this paper whether the features of Telos and its implementation ConceptBase are also valuable to support the development of control systems. We first review the existing application of the Telosbased, agent-and goal-oriented language i* to requirements modelling for control systems. Then we examine carefully each single feature of Telos and ConceptBase regarding the support of the identified key characteristics. This investigation shows that nearly all characteristics are well supported and only very few require further enhancements of Telos and ConceptBase.
Simulation Environment for a Fuzzy Controller Based Autonomic Computing System
Authors: Harish Sheeranalli Venkatarama, Kandasamy Chandra Sekaran
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

eCommerce is an area where an Autonomic Computing system could be very effectively deployed. eCommerce has created demand for high quality information technology services and businesses seek ways to improve the quality of service in a cost-effective way. Properly adjusting tuning parameters for best values is time-consuming and skills-intensive. This paper describes a simulation environment to implement an approach to automate the tuning of MaxClients parameter of Apache web server using a fuzzy controller and knowledge of the affect of the parameter on quality of service. This is an illustration of the self-optimizing characteristic of an autonomic computing system.
New binning strategy for bitmap indices on high cardinality attributes
Authors: Navneet Goyal, Yashvardhan Sharma
Venue: Proceedings of the 2nd Bangalore Annual Compute Conference (2009)

Bitmap indices are the preferred indexing structures for read only & high dimensional data in data warehouses and scientific databases. High cardinality attributes pose a new challenge in terms of having space efficient bitmap indices. Binning is a common technique for reducing space requirements of bitmap indices. It is found that binning has an adverse affect on the query performance. A new efficient binning strategy is proposed for bitmap indices for high cardinality attributes. Exact bins are created based on query distribution. Exact bins are allowed to overlap. This gives a considerable performance advantage over the conventional non-overlapping bins at the expense of marginal increase in space overheads. Overlapping bins minimize the number of candidate-checks that need to be performed for a given set of queries. Algorithms are also presented for performing candidate checks more efficiently. Experimental results are presented in support of the new binning strategy.
Functional estimation for Lévy measures of semimartingales with Poissonian jumps
Authors: Yasutaka Shimizu
Venue: Journal of Multivariate Analysis (2009)

We consider semimartingales with jumps that have finite Levy measures. The purpose of this article is to estimate integral-type functionals of the Levy measures from discrete observations. We propose two types of estimators: kernel-type and empirical-type estimators, both of which are obtained by direct discretization from asymptotically efficient estimators of the target based on continuous observations. We show the asymptotic efficiency in the asymptotic minimax sense of our estimators as the sample size tends to infinity and the sampling interval tends to zero.