ppxscal/embedding_network huggingface dataset:
STAP for airborne radar with cylindrical phased array antennas
Authors: Wenchong Xie, Yongliang Wang
Venue: Signal Processing (2009)

Cylindrical phased array antennas have three merits such as all-orientation space scanning, flexible search and track mode, and favorable antenna pattern etc. relative to common planar phased array antennas. In this paper, airborne radar with cylindrical phased array antennas is analyzed in terms of clutter model, clutter space-time distribution, and clutter suppression method, etc. Firstly, the mathematics model of airborne radar with cylindrical phased array antennas is given, and the properties of cylindrical array antenna pattern are analyzed. Secondly, the clutter spectrum distribution in space-time plane, clutter eigenvalue distribution, and clutter spectrum distribution at range are analyzed, respectively. Finally, three different clutter suppression methods from different points of view are presented, and they are as follows: space angular frequency shifting method (SAFS), HT"C"M"T method, and direct data domain method based on joint target cancellation (DDD"J). The simulation results illustrate the performance improvement achieved for airborne radar with cylindrical phased array antennas.
Choose-your-own-adventure routing: lightweight load-time defect avoidance
Authors: Raphael Rubin, André DeHon
Venue: Proceeding of the ACM/SIGDA international symposium on Field programmable gate arrays (2009)

Aggressive scaling increases the number of devices we can integrate per square millimeter but makes it increasingly difficult to guarantee that each device fabricated has the intended operational characteristics. Without careful mitigation, component yield rates will fall, potentially negating the economic benefits of scaling. The fine-grained reconfigurability inherent in FPGAs is a powerful tool that can allow us to drop the stringent requirement that every device be fabricated perfectly in order for a component to be useful. To exploit inherent FPGA reconfigurability while avoiding full CAD mapping, we propose lightweight techniques compatible with the current single bitstream model that can avoid defective devices, reducing yield loss at high defect rates. In particular, by embedding testing operations and alternative path configurations into the bitstream, each FPGA can avoid defects by making only simple, greedy decisions at bitstream load time. With 20% additional tracks above the minimum routable channel width, routes can tolerate 0.01% switch defect rates, raising yield from essentially 0% to near 100%.
Real-Time Conflict Detection in Cooperative Plant Design System Combining Prior and Context
Authors: Nianfeng Shi, Weiqing Tang, Yong Yu, Zhengduo Pang, Tao He
Venue: Computer Supported Cooperative Work in Design IV: 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers (2008)

This paper presents a paradigm for real-time conflict detection and resolution in cooperative plant design system using prior knowledge and context. Firstly, the paper discusses the concept of prior knowledge and real-time engineering conflict detection. Then, the paper presents an algorithm for real-time engineering conflict detection. This is done by: (1) decomposing the engineering conflict into internal engineering conflict (IEC) and external engineering detection (EEC) based on the divide-and-conquer paradigm, and (2) processing them separately using spatial partitioning and BVHs combining prior knowledge and context.
Measures for distributed processing network survivability
Authors: Gene Hilborn
Venue: Proceedings of the May 19-22, 1980, national computer conference (1980)

We seek to develop a new methodology for describing and comparing the survival effectiveness of connected networks of processing subsystems (termed "distributed processing networks") which are subject to deliberate or natural failures or losses of processing or communication components. Examples of distributed processing networks include: &bull; resource-sharing computer networks &bull; military force teams &bull; distributed architecture computers &bull; distributed sensor-processing systems &bull; distributed ballistic missile defense systems
SHOMAS: Intelligent guidance and suggestions in shopping centres
Authors: Javier Bajo, Juan M. Corchado, Yanira De Paz, Juan F. De Paz, Sara Rodríguez, Quintín Martín, Ajith Abraham
Venue: Applied Soft Computing (2009)

This paper introduces the SHOMAS Multiagent System that provides guidance on leisure facilities and suggestions for shopping in malls. The multiagent architecture incorporates reactive and deliberative agents that take decisions automatically. The developed deliberative agent provides suggestions in execution time, with the help of case-based planners. This agent is described together with its guidance and suggestion mechanism. SHOMAS has been tested successfully, and the results obtained are presented in this paper.
Composing Normal Programs with Function Symbols
Authors: Sabrina Baselice, Piero A. Bonatti
Venue: Proceedings of the 24th International Conference on Logic Programming (2008)

Several expressive, decidable fragments of Answer Set Programming with function symbols have been identified over the past years. Undecidability results suggest that there are no maximal decidable program classes encompassing all these fragments; this raises a sort of interoperability question: Given two programs belonging to different fragments, does their union preserve the nice computational properties of each fragment? In this paper we give a positive answer to this question and outline two of its possible applications. First, membership to a "good" fragment can be checked once and independently for each program module; this allows modular answer set programming with function symbols. As a second application, we extend known decidability results, by showing how different forms of recursion can be simultaneously supported.
Detecting outlying properties of exceptional objects
Authors: Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli
Venue: ACM Transactions on Database Systems (TODS) (2009)

Assume you are given a data population characterized by a certain number of attributes. Assume, moreover, you are provided with the information that one of the individuals in this data population is abnormal, but no reason whatsoever is given to you as to why this particular individual is to be considered abnormal. In several cases, you will be indeed interested in discovering such reasons. This article is precisely concerned with this problem of discovering sets of attributes that account for the (a priori stated) abnormality of an individual within a given dataset. A criterion is presented to measure the abnormality of combinations of attribute values featured by the given abnormal individual with respect to the reference population. In this respect, each subset of attributes is intended to somehow represent a &ldquo;property&rdquo; of individuals. We distinguish between global and local properties. Global properties are subsets of attributes explaining the given abnormality with respect to the entire data population. With local ones, instead, two subsets of attributes are singled out, where the former one justifies the abnormality within the data subpopulation selected using the values taken by the exceptional individual on those attributes included in the latter one. The problem of individuating abnormal properties with associated explanations is formally stated and analyzed. Such a formal characterization is then exploited in order to devise efficient algorithms for detecting both global and local forms of most abnormal properties. The experimental evidence, which is accounted for in the article, shows that the algorithms are both able to mine meaningful information and to accomplish the computational task by examining a negligible fraction of the search space.
A multi-level relational system
Authors: J. Mylopoulos, S. Schuster, D. Tsichritzis
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

A relation can be conceptually viewed as a table of data. The table's heading defines the relation's name, the column headings are the attribute names, and each row corresponds to an n-tuple of data values describing a single entity. The set of values which can be used in a column is called a domain. A relational data base is composed of a set of time varying relations inter-related through common domains.
On the absolute summability factors of infinite series involving quasi-power-increasing sequences
Authors: H. Şevli, L. Leindler
Venue: Computers Mathematics with Applications (2009)

In this paper, we prove two theorems on |A|"k,k@?1, summability factors for an infinite series by replacing a Riesz matrix with a lower triangular matrix and using quasi-power-increasing sequences instead of almost increasing sequences. We obtain sufficient conditions for @?a"n@l"n to be summable |A|"k, k@?1, by using quasi-f-increasing sequences.
Attributing semantics to personal photographs
Authors: Rodrigo F. Carvalho, Sam Chapman, Fabio Ciravegna
Venue: Multimedia Tools and Applications (2009)

A major bottleneck for the efficient management of personal photographic collections is the large gap between low-level image features and high-level semantic contents of images. This paper proposes and evaluates two methodologies for making appropriate (re)use of natural language photographic annotations for extracting references to people, location and objects and propagating any location references encountered to previously unannotated images. The evaluation identifies the strengths of each approach and shows extraction and propagation results with promising accuracy.
Ayushman: a secure, usable pervasive health monitoring system
Authors: K. Venkatasubramanian, S. K. Gupta
Venue: Proceedings of the 2nd International Workshop on Systems and Networking Support for Health Care and Assisted Living Environments (2008)

Ayushman is a pervasive health monitoring system which has the ability to collect, process, store and display health data in a secure and easy to use manner. Recent years have seen considerable activity in this field. Most of these systems tend to treat health monitoring as an extension to generic sensor networks. and depend on a network of wearable and implanted, medical and ambient sensors (called a body area network) for data collection and transport. We contend that this paradigm is not suitable for medical monitoring given the low reliability of the sensors, and the mission critical nature of medical monitoring. Further, the existing systems mainly focus on patient monitoring and do not consider security at all, and those that do, treat it in an isolated manner. With Ayushman we present a system which addresses both these issues. It integrates sensors and highly capable entities in the back-end to provide robust health monitoring. It also considers security as an integral part of its design. Sensors in Ayushman utilize physiological values based security for securing their communication. Our design approach enables Ayushman to provide health monitoring in a secure and usable manner - a property that traditional systems lack.
Two-time scale control and observer design for trajectory tracking of two cooperating robot manipulators moving a flexible beam
Authors: Ali Tavasoli, Mohammad Eghtesad, Hamed Jafarian
Venue: Robotics and Autonomous Systems (2009)

In this paper, we present two-time scale control design for trajectory tracking of two cooperating planar rigid robots moving a flexible beam, which does not require vibration measurement for the beam. First, the kinematics and dynamics of the robots and the object are derived. Then, using the relations between different forces acting on the object by the manipulators' end-effectors, dynamics equations of the robots and the object are combined. The resulting equations show that the coupled dynamics including beam vibration and the rigid motion take place in two different time domains. By applying two-time scale control theory on the combined dynamics, a composite control scheme is elaborated which makes the beam orientation and its center of mass position track a desired trajectory while suppressing the beam vibration. For the controller algorithm, first a slow controller is utilized for the slow (rigid) subsystem and then a fast stabilizing controller is considered for the fast (flexible) subsystem. To avoid requiring measurement of beam vibration for the fast control law, a linear observer is also designed. The simulation results show the efficiency of the proposed control scheme.
Monitoring Flow Aggregates with Controllable Accuracy
Authors: Alberto Gonzalez Prieto, Rolf Stadler
Venue: Proceedings of the 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services: Real-Time Mobile Multimedia Services (2008)

In this paper, we show the feasibility of real-time flow monitoring with controllable accuracy in today's IP networks. Our approach is based on Netflow and A-GAP. A-GAP is a protocol for continuous monitoring of network state variables, which are computed from device metrics using aggregation functions, such as SUM, AVERAGE and MAX. A-GAP is designed to achieve a given monitoring accuracy with minimal overhead. A-GAP is decentralized and asynchronous to achieve robustness and scalability. The protocol incrementally computes aggregation functions inside the network and, based on a stochastic model, it dynamically configures local filters that control the overhead and accuracy. We evaluate a prototype in a testbed of 16 commercial routers and provide measurements from a scenario where the protocol continuously estimates the total number of FTP flows in the network. Local flow metrics are read out from Netflow buffers and aggregated in real-time. We evaluate the prototype for the following criteria. First, the ability to effectively control the trade off between monitoring accuracy and processing overhead; second, the ability to accurately predict the distribution of the estimation error; third, the impact of a sudden change in topology on the performance of the protocol. The testbed measurements are consistent with simulation studies we performed for different topologies and network sizes, which proves the feasibility of the protocol design, and, more generally, the feasibility of effective and efficient real-time flow monitoring in large network environments.
Development of a test circuit for calibration of transducers for high voltage power quality measurements using modelling and computer simulation
Authors: Hédio Tatizawa, Erasmo Silveira Neto, Geraldo F. Burani, Antônio A. C. Arruda, Kleiber T. Soletto, Nelson M. Matsuo
Venue: Proceedings of the 8th conference on Systems theory and scientific computation (2008)

The control of power quality parameters in the electric grid is becoming much more important, considering the increasing of sensitive loads, and also the consumers' awareness claiming for a better quality of the electrical energy supply [1, 2, 3, 4]. Most of the necessary calibration procedures for power quality monitors and power quality analyzers are already defined in the international standards, mainly in the IEC 61000 series [5] and ANSI/IEEE Standards. This paper presents results of a research intended to develop a methodology for the calibration of high voltage transducers for power quality measurements in high voltage networks, considering that such kind of procedures are not yet established in the pertinent standards. In this research it is also considered that the conventional high voltage laboratory is not suitable for power quality tests, so some improvement is necessary on this subject. In this development, modeling and computer simulation using ATP - Alternative Transients Program [6] were used for to assess the frequency response of the test setup, and the design of the reactive compensation of the test circuit.
Providing support features for novice researchers using semantic approach
Authors: Maizatul Akmar Ismail, Mashkuri Yaacob, Sameem Abdul Kareem, Fariza Hanum
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

The access to internet has tremendously changed the way of information dissemination. The emergence of digital libraries and institutional repositories provides endless supplies of knowledge. Scholars in particular, make use of research output in the form of conference proceedings, journal and theses as references as guideline in generating new knowledge for the use of future generations. On the other hand, novice researchers are the form of scholars which always drown in the ocean of information. Support in the early stage of study is crucial for novice researchers as it will give them some insights of where to seek for extra information based on institutions, people and research trend without having to go through tedious process of identifying this information all by themselves. Previous studies have identified support features that are useful for novice researchers which among others are Relevant Literatures and Expert Detection. Thus, the purpose of this paper is to explore each of these support features and suggest the state-of-the art development approach by utilizing Semantic Web technologies. The algorithms involved with each of the support features will be discussed. The result of the implementation shows significant information that can be utilized by novice researchers in accelerating research process. Future work in enhancing the proposed prototype will be discussed as concluding remarks.
A Study of Listening Diversity and Speaking for English Learning with Mobile Device Supports
Authors: Wu-Yuin Hwang, Sheng-Yi Wu, Jia-Han Su
Venue: Proceedings of the 9th Pacific Rim Conference on Multimedia: Advances in Multimedia Information Processing (2008)

This paper proposed a mobile learning system supporting listening diversity and speaking and investigates its effect on elementary school English learning. This study tried to help the EFL (English as Foreign Language) students who just can learn English through reading and writing in classes with stimulating their motivation to speak and listen by mobile devices. Therefore, we designed some learning activities with mobile devices to promote students speaking and to enable them to listen various speaking from others. We will investigate the correlation of students speaking and listening and their influence on learning. After experiment the result showed that doing some learning activities like listening diversity, listening times, listening involvement and speaking out have significant correlation with students' English learning achievement. Meanwhile, it was also found that our designed activities with mobile devices can stimulate students' motivation and facilitate their English speaking and listening. We suggested that English learning might refer to this study and design activities using mobile devices to encourage students to speak and listen to various high-achievement peers and make English learn much better.
Designing a seamless learning environment to learn reduce, reuse and recycle in environmental education
Authors: Peter Seow, BaoHui Zhang, Wenli Chen, Chee-Kit Looi, Nicholas Tan
Venue: International Journal of Mobile Learning and Organisation (2009)

This article explores the design of a seamless learning environment and activities for environmental education using mobile, wireless, and online technologies in Singapore primary schools. The learning environment and activities were designed to help students learn about environmental issues, specifically reduce, reuse and recycle (3Rs), and apply such understanding to practice. By seamless, we mean the transitions between classroom learning and field learning, between handheld use in the field and desktop computing back in the school. The research results indicated improvements in the students' understanding of the 3Rs and internalisation of their understanding through application of the 3Rs concepts.
Keystone transformation of the Wigner-Ville distribution for analysis of multicomponent LFM signals
Authors: Xiaolei Lv, Mengdao Xing, Shouhong Zhang, Zheng Bao
Venue: Signal Processing (2009)

Signal detection and parameter estimation for mono- and multicomponent linear frequency modulation (LFM) signals are studied by using the keystone transform of the Wigner-Ville distribution (WVD). The keystone-Wigner transform (KWT) introduces a weight factor containing a range of chirp rate into the time-lag instantaneous autocorrelation function and uses a one-dimensional (1-D) interpolation of the phase which we call keystone formatting. The proposed processing eliminates the effects of linear frequency migration (i.e., the frequency linearly varies along the time axis) to all the signal components even if their chirp rates are unknown. The Fourier transform (FFT) over the time variable to results of the KWT make the power of multicomponent LFM signal concentrated as the locations corresponding to their parameters. Furthermore, the KWT can be efficiently implemented using only complex multiplications and FFT based on the scaling principle instead of interpolating. The computational complexity of KWT is O(4N^2log"2N). Performance analysis is presented by using the perturbation method and verified by simulation results. Finally, the effectiveness of the KWT is validated by a real application example.
A contract of purchase commitments on shared yields as a risk-sharing mechanism among fabless-foundry partnership
Authors: Yi-Nung Yang, Shi-Chung Chang
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

This paper develops a simple cooperative-game model for an alliance with a design house and a foundry in a semiconductor supply chain. In particular, we attempt to investigate an emerging observed type of contracts among fabless-foundry partnership. It is termed the purchase commitments on shared yields contract. We emphasize the risk-sharing aspect on the contract by explicit modeling risk into the fabless and foundry's objective functions. It is shown that the optimal share of yields depends on two parties' expectations on prices of the products, risk-aversion, and scales of production. The optimal share is not directly related to the both firms' marginal cost of production. That is, this contract is a cost-invariant contract. A Nash bargaining solution for the wholesale price under this contract between fabless and foundry is also proposed.
Performance of selective space-time coding and selection diversity under perfect and imperfect CSI
Authors: Ya-Han Pan, Sonia Aïssa
Venue: Wireless Communications Mobile Computing (2009)

Selective space-time coding and selection diversity can be viewed as practical means to reduce the implementation complexity of multiple-input multiple-output (MIMO) systems while still taking benefit of the use of multiple antennas. In this paper, we evaluate the performance of selective space-time block coding (selective-STBC) and antenna selection diversity, and analyze the performance of both techniques under perfect and imperfect channel state information (CSI) available at both ends of the transmission link. Our performance analysis reveals that, under perfect or imperfect CSI and ideal feedback channel, selective-STBC yields a loss in selection diversity gains and that selecting just a single antenna at the transmitter side is the best transmission strategy. We also show that selective-STBC and antenna selection diversity have different behaviors when the feedback channel is imperfect. Indeed, it is shown that selection diversity outperforms selective-STBC when the feedback channel is of high quality, while selective-STBC yields better performance when the feedback channel is of low quality. Copyright &copy; 2008 John Wiley & Sons, Ltd. This article was published online on 1st May 2008. An error was subsequently identified. This notice is included in the online and print versions to indicate that both have been corrected on 2nd June 2008.