ppxscal/embedding_network huggingface dataset:
Testing System of Hydraulic Head of Mine Pump Based on LabVIEW
Authors: Wenhai He
Venue: Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics (2009)

The operation state of mine pump must be tested periodically because its failure rate is very high. But the existing testing systems have some defects. So, a testing system is developed based on the virtual instrument technology for testing the hydraulic head which was a key parameter used to describe the operation state of the mine pump. In this new testing system, all meters used in the traditional testing system were replaced by testing software. Multiple physical signals can be acquired simultaneously, and all the acquired data can be processed by computer. On the other hand, the ultrasonic sensor is used in this system, so the mine pump can be tested without stopping working. It is known from actual testing that the testing error is less than 3 percent, and the testing efficiency is enhanced to a great extent.
Consistent query answering under primary keys: a characterization of tractable queries
Authors: Jef Wijsen
Venue: Proceedings of the 12th International Conference on Database Theory (2009)

This article deals with consistent query answering to conjunctive queries under primary key constraints. The repairs of an inconsistent database db are obtained by selecting a maximum number of tuples from db without ever selecting two tuples that agree on their primary key. For a Boolean conjunctive query q, we are interested in the following question: does there exist a Boolean first-order query &phis; such that for every database db, &phis; evaluates to true on db if and only if q evaluates to true on every repair of db? We address this problem for acyclic conjunctive queries in which no relation name occurs more than once. Our results improve previous solutions that are based on Fuxman-Miller join graphs.
Admission control for multi-services traffic in hierarchical MobileIPv6 networks using fuzzy inference system
Authors: Shun-Fang Yang, Jung-Shyr Wu, Bor-Jiunn Hwang
Venue: Proceedings of the International Conference on Mobile Technology, Applications, and Systems (2008)

Call Admission Control (CAC) plays a significant role in providing Quality of Service (QoS) in wireless broadband mobile networks. Although much research focuses on modified Mobile IP to get better efficient performance, there are few papers to discuss admission control when considering handover and mobility management. CAC should be introduced to Mobile IP-based network to guarantee the QoS for users. In this paper, we propose a CAC scheme which incorporates multiple traffic types and adjusts the admission threshold dynamically using fuzzy inference system (FIS) to achieve better usage of resources. According to the simulation results, it was evident that these CAC schemes can reduce the probability of the handoff dropping and the cell overload and limit the probability of the new call blocking. The method can provide QoS in Mobile IPv6 networks with few modifications on MAP functionality and slight change in binding update (BU) message formats.
A multistage fuzzy-stochastic programming model for supporting sustainable water-resources allocation and management
Authors: Y. P. Li, G. H. Huang, Y. F. Huang, H. D. Zhou
Venue: Environmental Modelling Software (2009)

In this study, a multistage fuzzy-stochastic programming (MFSP) model is developed for tackling uncertainties presented as fuzzy sets and probability distributions. A vertex analysis approach is proposed for solving multiple fuzzy sets in the MFSP model. Solutions under a set of @a-cut levels can be generated by solving a series of deterministic submodels. The developed method is applied to the planning of a case study for water-resources management. Dynamics and uncertainties of water availability (and thus water allocation and shortage) could be taken into account through generation of a set of representative scenarios within a multistage context. Moreover, penalties are exercised with recourse against any infeasibility, which permits in-depth analyses of various policy scenarios that are associated with different levels of economic consequences when the promised water-allocation targets are violated. The modeling results can help to generate a range of alternatives under various system conditions, and thus help decision makers to identify desired water-resources management policies under uncertainty.
Simulation and optimization in a health center in Medellin, Colombia
Authors: Karol Pérez, Laura Cardona, Sebastián Gómez, Tomás Olarte, Paula Escudero
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Simulation has been widely applied to health care cases in numerous countries. In Colombia, these applications are scarce. We use a systemic approach, discrete event simulation, simulation-optimization and linear programming to reduce waiting times in a health center in Medell&iacute;n, Colombia. With this reduction we ensure a high level of satisfaction of patients with a relatively low additional cost.
Automatic estimation of the dynamics of channel conductance using a recurrent neural network
Authors: Masaaki Takahashi, Kiyohisa Natsume
Venue: Advances in Artificial Neural Systems (2009)

In order to simulate neuronal electrical activities, we must estimate the dynamics of channel conductances from physiological experimental data. However, this approach requires the formulation of differential equations that express the time course of channel conductance. On the other hand, if the dynamics are automatically estimated, neuronal activities can be easily simulated. By using a recurrent neural network (RNN), it is possible to estimate the dynamics of channel conductances without formulating the differential equations. In the present study, we estimated the dynamics of the Na+ and K+ conductances of a squid giant axon using two different fully connected RNNs and were able to reproduce various neuronal activities of the axon. The reproduced activities were an action potential, a threshold, a refractory phenomenon, a rebound action potential, and periodic action potentials with a constant stimulation. RNNs can be trained using channels other than the Na+ and K+ channels. Therefore, using our RNN estimation method, the dynamics of channel conductance can be automatically estimated and the neuronal activities can be simulated using the channel RNNs. An RNN can be a useful tool to estimate the dynamics of the channel conductance of a neuron, and by using the method presented here, it is possible to simulate neuronal activities more easily than by using the previous methods.
Business process based simulation: a powerful tool for demand analysis of business process reengineering and information system implementation
Authors: Linlin Cui, Yueting Chai, Yi Liu
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Demand analysis is of fundamentally importance in the implementation of information system. Business process reengineering (BPR) often gets involved in the process of demand analysis and play a crucial role in the achievement of project objectives. Business process based simulation (BPS) provides a precise and visual method to analyze and compare the concerned performances before and after BPR. The paper presents an industrial experience in using the BPS tool to demonstrate the effects of BPR on restraining stocking-up and overdue payments in the distribution management of a supply chain. Before significant investment involved, the related design result of BPR is validated both by the analytical method and simulation experiments. Based on the mutual supportive results, the BPS method approves its correctness and show its nicety, flexibility and the capacity of visualization.
Digital Watermarks for Audio Signals
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

In this paper, we present a novel technique for embedding digital ``watermarks'' into digital audio signals. Watermarking is a technique used to label digital media by hiding copyright or other information into the underlying data. The watermark must be imperceptible or undetectable by the user and should be robust to attacks and other types of distortion. In our method, the watermark is generated by filtering a PN-sequence with a filter that approximates the frequency masking characteristics of the human auditory system. It is then weighted in the time domain to account for temporal masking. We discuss the detection of the watermark and assess the robustness of our watermarking approach to attacks and various signal manipulations.
Cross-Layer Architecture in Cognitive Ad Hoc Networks
Authors: Yu Yong, Wang Lifeng, Yu Quan
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

In this paper, we proposes a cognitive cross-layer architecture for the cognitive ad hoc networks, where each node in the networks can sense and learn from wireless environment, network environment and user's requirements, and then it will respond the changes of environment by adapting system parameters and network services based on the learned results. In this way, it can provide the end-to-end goals of a data flow while fully utilizing network resources. The core of the proposed architecture is a cognitive module. The proposed architecture can support the design requirements of cognitive ad hoc networks, such as autonomy, self-configuration, self-organization, scalability, adaptability, and simplicity, to provide multimedia services such as video, voice, and emails. The implementation of the proposed cognitive crosslayer architecture is briefly illustrated in this paper with an example of using case-based reasoning. We will research the related algorithms which the cognitive module needs, and the end-to-end performance optimization of cognitive ad hoc networks.
Performance of a burst-frame-based CSMA/CA protocol: analysis and enhancement
Authors: Kejie Lu, Jianfeng Wang, Dapeng Wu, Yuguang Fang
Venue: Wireless Networks (2009)

In this paper, we develop an analytical model to evaluate the delay performance of the burst-frame-based CSMA/CA protocol under unsaturated conditions, which has not been fully addressed in the literature. Our delay analysis is unique in that we consider the end-to-end packet delay, which is the duration from the epoch that a packet enters the queue at the MAC layer of the transmitter side to the epoch that the packet is successfully received at the receiver side. The analytical results give excellent agreement with the simulation results, which represents the accuracy of our analytical model. The results also provide important guideline on how to set the parameters of the burst assembly policy. Based on these results, we further develop an efficient adaptive burst assembly policy so as to optimize the throughput and delay performance of the burst-frame-based CSMA/CA protocol.
WordPress 100 Success Secrets - Start your Blog Today: WordPress Complete. Everything you need in easy steps to create your Blog and tell the world about your Passion
Authors: Jeff Harris
Venue:  (2008)

WordPress is a free blogging platform available to everyone. WordPress has two components, one is a free, Web-based blog-hosting service called WordPress.com. The other is WordPress.org, which provides users with software to run a more feature-rich version of the blogging tool on their own servers.Both services offer a very easy way to blog, with administrative options to work collaboratively on one or several blogs using the same log-in. Bloggers can write their posts on a WYSIWYG editor, or switch over to a code view on the fly.This is a great introduction to WordPress. As simple as WordPress is to administer, you will still need hand holding. Before this there has not been a book on WordPress that got you on your way.This book assumes no blogging or technical background and does a good job of explaining the basics.For the non-technical the hosted version of WordPress is a great place to begin. For those needing more there are the install-it-yourself versions. You will find everything you need in regards to hosting companies that offer 1 click installs of the regular version WordPress. Once you're set up, you'll be so educated about WordPress that you'll not only be blogging on the most democratic platform but also involved with one of the most friendly, intelligent and devoted open source communities in the world. Soon you'll be customizing your blog to the bliss you'll be following for the rest of your life.Not sure where to start blogging? Stuck fiddling around with your blog's limitations? Interested in improving the world through a remarkable blogging platform? Then do yourself a big favor and invest in this book. Highly recommended to anybody who needs to run a blog or to budding web designers who would like to extend their toolkit.
Definition of Fingerprint Scanner Image Quality Specifications by Operational Quality
Authors: A. Alessandroni, R. Cappelli, M. Ferrara, D. Maltoni
Venue: Biometrics and Identity Management: First European Workshop, BIOID 2008, Roskilde, Denmark, May 7-9, 2008. Revised Selected Papers (2008)

This paper analyzes two recently released image quality specifications for single-finger scanners and proposes three new specifications targeted to different types of applications. A comparison of the potential effects on fingerprint recognition accuracy of the various specifications is carried out using an approach based on the definition of "operational quality". The experimental results show that the three new image quality specifications proposed in this work have an accuracy/cost tradeoff better than the existing ones.
The Evil Twin
Authors: Yun Wang
Venue: ACM SIGGRAPH ASIA 2008 computer animation festival (2008)

A girl falls in love with a man at her mother's funeral. After the funeral, she finds the best way to see that man again and realises who the man is ...
WS-DAIOnt-RDF(S): Ontology access provision in grids
Authors: Miguel Esteban Gutierrez, Asuncion Gomez-Perez, Oscar Corcho, Oscar Munoz Garcia
Venue: Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (2007)

This paper presents WS-DAIOnt-RDF(S), a system that provides an homogeneous access mechanism for using heterogeneous and distributed RDF(S) ontologies in Grid applications. These ontologies may be stored in different RDF(S) storage systems, geographically distributed across the Grid infrastructure. The paper describes in detail the design of the system, its rationale, the current implementation, and the ongoing standardisation effort.
Bank Lending, Inventory Financing and Trade Credit
Authors: Zhonghua Ma, Daoli Zhu
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

We analysis bank lending and trade credit,and compare them with another new source,that is inventory financing. And we give empirical evidence and conclude that trade credit is more important for small firms, but these two sources can not satisfy all the financing demand, so inventory financing will be more help for the development of small firms.
Many-to-One Throughput Capacity of IEEE 802.11 Multihop Wireless Networks
Authors: Chi Pan Chan, Soung Chang Liew, An Chan
Venue: IEEE Transactions on Mobile Computing (2009)

This paper investigates the many-to-one throughput capacity (and by symmetry, one-to-many throughput capacity) of IEEE 802.11 multihop networks, in which many sources send data to a sink. An example of a practical scenario is that of a multihop mesh network connecting source and relay nodes to an Internet gateway. In the trivial case where all source nodes are just one hop from the sink, the system throughput can approach L_{s}, where L_{s} is the throughput capacity of an isolated link consisting of just one transmitter and one receiver. In the nontrivial case where some source nodes are more than one hop away, one can still achieve a system throughput of L_{s} by sacrificing and starving the non-one-hop source nodes—however, this degenerates to an unacceptable trivial solution. We could approach the problem by the following partitioning: preallocate some link capacity aL_{s} (0 \leq a \leq 1) at the sink to the one-hop source nodes and then determine the throughput for the source nodes that are two or more hops away based on the remaining capacity L = (1 - a)L_{s}. The throughput of the one-hop nodes will be around aL_{s}. This paper investigates the extent to which the remaining capacity L can be used efficiently by the source traffic that is two or more hops away. We find that for such source traffic, a throughput of L is not achievable under 802.11. We introduce the notion of "canonical networks,” a general class of regularly structured networks that allow us to investigate the system throughput by varying the distances between nodes and other operating parameters. When all links have equal length, we show that 2L/3 is the upper bound for general networks, including random topologies and canonical networks. When the links are allowed to have different lengths, we show that the throughput capacity of canonical networks has an analytical upper bound of 3L/4. The tightness of the bound is confirmed by simulations of 802.11 canonical networks, in which we obtain simulated throughputs of 0.74L when the source nodes are two hops away and 0.69L when the source nodes are many hops away. We conjecture that 3L/4 is also the upper bound for general networks. Our simulations show that 802.11 networks with random topologies operated with AODV routing typically achieve throughputs far below 3L/4. Fortunately, by properly selecting routes near the gateway (or by properly positioning the relay nodes leading to the gateway) to fashion after the structure of canonical networks, the throughput can be improved by more than 150 percent: indeed, in a dense network, deactivating some of the relay nodes near the sink can lead to a higher throughput.
Feasibility study for replacing the MK19 automatic grenade launching system
Authors: Kyle Hurst, Nathan Klein, Mario Feliciano, Steven Warner, Scott Crino
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

The Army's MK-19 weapon system is an automatic grenade launcher capable of destroying thin-skinned vehicles and dismounted targets at ranges up to 2200 meters. Since its first use in the 1960s, the MK-19 has remained largely unchanged while technology has improved. This research will determine if an alternative weapon system provides a significant improvement in lethality over the MK-19. The Joint Combat and Tactical Simulation (JCATS)is used to test weapon variants against a variety of enemies in terrain similar to current operating environments. The results of these tests -- along with the weapon's mobility, user interface, and logistics footprint -- are analyzed, weighted, and scored through the use of the Systems Decision Process (SDP) developed by the U.S. Military Academy's Department of Systems Engineering. Ultimately, this report provides a recommendation to the Army's Program Manager of Advanced Crew Served Weapons on which weapon provides the greatest value to our troops in theater.
Dynamics Modeling and Maneuverability Simulation of the Unmanned Underwater Vehicle Hanging Torpedoes Externally
Authors: Jie Zhou, Shu-zong Wang
Venue: Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics (2009)

The paper firstly calculates the optimal location of external torpedoes. And then the dynamics model of the UUV hanging torpedoes externally is established. Also, the force and moment the torpedoes exerted on the unmanned underwater vehicle are analyzed. Based on the model, the corresponding maneuverability simulation program is derived using SIMULINK. The results show the variation of the maneuverability after the UUV hanging torpedoes. The simulation also shows that the model is appropriate and the program has strong simulation functions.
A note on the crosscorrelation of maximal length FCSR sequences
Authors: Tian Tian, Wen-Feng Qi
Venue: Designs, Codes and Cryptography (2009)

In this note it is shown that if the connection integers of two maximal length FCSR sequences have a common prime factor, then any crosscorrelation between them can be converted into some autocorrelation of the sequence with smaller period.
Artificial-Society-Based Classroom Behavior Dynamic Research
Authors: Lijun Wang, Chunxiao Zhao
Venue: Proceedings of the 2009 Second International Symposium on Intelligent Information Technology and Security Informatics (2009)

This paper introduces the concept and framework of artificial classroom (AC) for the first time by employing artificial societies. Our solution is to use the artificial society approach for modeling artificial classroom. In the artificial society approach, agent-based simulation is used to explore and understand classroom misbehaviors issues. Student agents are selected as three kinds of typical agents and actions of the agents such as communicating, affecting and changing are all designed in detail. Thus, interactions among various agents and between agents and their environment are realized. Using NetLogo multi-agent platform, simulation programs of the model are developed. The simulation results reproduce the emergent pattern in time space and physical space.
Relaxation Refinement: A New Method to Generate Heuristic Functions
Authors: Jan-Georg Smaus, Jörg Hoffmann
Venue: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (2009)

In artificial intelligence, a relaxation of a problem is an overapproximation whose solution in every state of an explicit search provides a heuristic solution distance estimate. The heuristic guides the exploration, potentially shortening the search by exponentially many search states. The big question is how a good relaxation for the problem at hand should be derived. In model checking, overapproximations are called abstractions, and abstraction refinement is a powerful method developed to derive approximations that are sufficiently precise for verifying the system at hand. In our work, we bring these two paradigms together. We pioneer the application of (predicate) abstraction refinement for the generation of heuristic functions that are intelligently adapted to the problem at hand. We investigate how an abstraction refinement process for generating heuristic functions should differ from the process used in the verification context. We do so in the context of DMC of timed automata. We obtain a variety of interesting insights about this approach.
Aitken-Neville sets, principal lattices and divided differences
Authors: Jesús Carnicer, Mariano Gasca, Tomas Sauer
Venue: Journal of Approximation Theory (2009)

In this paper we study multivariate polynomial interpolation on Aitken-Neville sets by relating them to generalized principal lattices. We express their associated divided differences in terms of spline integrals.