ppxscal/embedding_network huggingface dataset:
Research and Application of Synthesis Safety Evaluation and Intelligence Decision System on Coal Mine
Authors: Bingsheng Wu, Jinjun Jiang, Xuanchi Zhou, Zhanwei Tian
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

This paper analyzes all sorts of existing problems of the coal mine management and monitoring system on coal mine and established the overall frame based on FIX (Fully-Integrated Control System) software. Under the guidance of risk management and control, we combine the configuration monitoring technology, the risk identification model of major hazard sources, the non-linear mathematical model of equal-risk management and decision together to realize the intelligent identification, evaluation and decision of the risk source on-line in dangerous environment and increase the system's reliability and timeliness. The research and application of the system will enhance the level of safety management and monitoring of coal mining enterprises in China.
Measurement Analysis When Benchmarking Java Card Platforms
Authors: Pierre Paradinas, Julien Cordry, Samia Bouzefrane
Venue: Proceedings of the 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks (2009)

The advent of the Java Card standard has been a major turning point in smart card technology. With the growing acceptance of this standard, understanding the performance behaviour of these platforms is becoming crucial. To meet this need, we present in this paper, a benchmark framework that enables performance evaluation at the bytecode level. This paper focuses on the validity of our time measurements on smart cards.
The development of a multilingual collocation dictionary
Authors: Sylviane Cardey, Rosita Chan, Peter Greenfield
Venue: Proceedings of the Workshop on Multilingual Language Resources and Interoperability (2006)

In this paper we discuss the development of a multilingual collocation dictionary for translation purposes. By 'collocation' we mean not only set or fixed expressions including idioms, simple cooccurrences of items and metaphorical uses, but also translators' paraphrases. We approach this problem from two directions. Firstly we identify certain linguistic phenomena and lexicographical requirements that need to be respected in the development of such dictionaries. The second and other direction concerns the development of such dictionaries in which linguistic phenomena and lexicographic attributes are themselves a means of access to the collocations. The linguistic phenomena and lexicographical requirements concern variously placing the sense of collocations rather than headwords or other access methods at the centre of interest, together with collocation synonymy and translation equivalence, polysemy and non-reversibility of the lexis, and other more lexicographic properties such as varieties of language and regionalisms, and types of translation.
Enhancing unlexicalized parsing performance using a wide coverage lexicon, fuzzy tag-set mapping, and EM-HMM-based lexical probabilities
Authors: Yoav Goldberg, Reut Tsarfaty, Meni Adler, Michael Elhadad
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

We present a framework for interfacing a PCFG parser with lexical information from an external resource following a different tagging scheme than the treebank. This is achieved by defining a stochastic mapping layer between the two resources. Lexical probabilities for rare events are estimated in a semi-supervised manner from a lexicon and large unannotated corpora. We show that this solution greatly enhances the performance of an unlexicalized Hebrew PCFG parser, resulting in state-of-the-art Hebrew parsing results both when a segmentation oracle is assumed, and in a real-word parsing scenario of parsing unsegmented tokens.
An Intelligent System on Water Bloom Remote Monitor and Predication
Authors: Wang Xiaoyi, Liu Zaiwen, Wu Qiaomei, Li Wandong, Zhu Shiping
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

According to lagging state of water quality monitor and the problems of the difficult of water bloom prediction, water bloom remote monitor and prediction system based on BP neural network are proposed in this paper. This system can realize the automatic real-time monitor for the change of water quality and via the prediction by neural network for water bloom; it can provide a kind of efficient and practical system for water environment control.
Matching Images at Sub-pixel Levels Based on Directional Wavelet Transforms
Authors: Zhao Xi'an, Wei Shiyan, Zhang Xuewen, Zhang Yi, Wang Liqiang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

The paper presents a new method for extracting feature points based on multi-scale direction wavelet and matching images at sub-pixel levels. Firstly the images were decomposed by directional wavelet transform and the feature points were extracted at multi-scales. Then the descriptor and feature vector related to each feature points were established using a isotropy modular. After that, matching feature points on different images used Euclid-distance in the two vectors. Then the matching results were refined using the geometric constrains for eliminating false matching points. Finally, the images readjusted at sub-pixel levels. The experiments show that the method is reliable and accurate for extracting feature points and matching images at sub-pixel levels.
On-Line Diagnosis of the Motor Circuit Based on RBF-CMGA
Authors: Hu Mingjiang, Qi Liqiao
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Based on the syncretic theory of the radial basal function neural network (RBFNN) and the contractive mapping genetic arithmetic (CMGA), an on-line diagnostic strategy on the motor circuit fault for vehicles was proposed. The fault on the motor drive circuit were simulated by PSpice, the sampling data were regarded as the inputs of RBFNN, and the faults codes on the components of the drive circuit were regarded as the output of RBFNN, the diagnostic strategy on the motor drive circuit was educated and studied by RBF-CMGA. The on-line diagnostic tests on the fault, such as, short circuit and open circuit of on the drive circuit components were made in the cold-starting engine laboratory by the RBF-CMGA syncretic theory. The test results that the diagnostic accuracy could also reach 94.3 %, the error rate is 0.58%, and the rejective rate is 0.15%, which was testified that the diagnostic strategy could carry out the accurate diagnosis and the orientation of the motor drive circuit malfunction, which completely satisfied the motor started successfully and reliably.
A novel delta sigma built-in-current-sensor as a signal strength indicator for RF transceiver reconfiguration
Authors: Laurent Leyssenne, Eric Kerhervé, Yann Deval, Didier Belot
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

This paper explores a novel Built-in-Current Sensor (BICS) topology that handles both current detection and Delta-Sigma conversion to digital domain. This circuit is a compact solution that requires no extra block and operates transparently on the power supply. The proposed topology is flexible enough to address classic applications of failure testing (IDD-Quiescent) as well as accurate/fast control (IDD-transient) when needed. Its application in RF transceivers is considered.
New Well's Aquifer Designing Based on GIS and Bilinear Interpolation Theory
Authors: Song Mei, Wang Lijie
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

In designing new wells, hydrogeologic operators often make a rough estimation through drawing lines method, according to stratum, aquifer and electric measuring curve of reference wells. This method can not meet the requirement of imprecise for its insufficiency of utilizing data of reference wells. How to analyze the distribution of stratums and aquifers of new well has become a serious problem to be solved urgently in groundwater management. This paper tries to make full use of GIS capacity of data management and strong analysis and the Piecewise Bilinear Interpolation theory to get the aquifer distribution in designing new well and show Cross-section of new well. First, designing database, including graphics database and hydrogeological database. Secondly, according to different wells, choosing reference wells and forming the section graphics of reference wells. From these graphics, the stratum and aquifer of reference wells is displayed. Thirdly, Piecewise Bilinear Interpolation theory is applied to calculate the stratum and aquifer position of new well. The new method shows its advantages in higher precision and efficiency.
On the solution of the polynomial systems arising in the discretization of certain ODEs
Authors: Ezequiel Dratman, Guillermo Matera
Venue: Computing (2009)

We study the positive stationary solutions of a standard finite-difference discretization of the semilinear heat equation with nonlinear Neumann boundary conditions. We prove that, if the diffusion is large enough, then there exists a unique solution of such a discretization, which approximates the unique positive stationary solution of the boundary-value problem under consideration. Furthermore, in this case we exhibit an algorithm computing an &#x03b5;-approximation of such a solution by means of a homotopy continuation method. The cost of our algorithm is polynomial in the number of nodes involved in the discretization and the logarithm of the number of digits of approximation required.
Modality-and task-specific brain regions involved in chinese lexical processing
Authors: Li Liu, Xiaoxiang Deng, Danling Peng, Fan Cao, Guosheng Ding, Zhen Jin, Yawei Zeng, Ke Li, Lei Zhu, Ning Fan, Yuan Deng, Donald J. Bolger, James R. Booth
Venue: Journal of Cognitive Neuroscience (2009)

fMRI was used to examine lexical processing in native adult Chinese speakers. A 2 task (semantics and phonology) íï¾ 2 modality (visual and auditory) within-subject design was adopted. The semantic task involved a meaning association judgment and the phonological task involved a rhyming judgment to two sequentially presented words. The overall effect across tasks and modalities was used to identify seven ROIs, including the left fusiform gyrus (FG), the left superior temporal gyrus (STG), the left ventral inferior frontal gyrus (VIFG), the left middle temporal gyrus (MTG), the left dorsal inferior frontal gyrus (DIFG), the left inferior parietal lobule (IPL), and the left middle frontal gyrus (MFG). ROI analyses revealed two modality-specific areas, FG for visual and STG for auditory, and three task-specific areas, IPL and DIFG for phonology and VIFG for semantics. Greater DIFG activation was associated with conflicting tonal information between words for the auditory rhyming task, suggesting this region's role in strategic phonological processing, and greater VIFG activation was correlated with lower association between words for both the auditory and the visual meaning task, suggesting this region's role in retrieval and selection of semantic representations. The modality-and task-specific effects in Chinese revealed by this study are similar to those found in alphabetical languages. Unlike English, we found that MFG was both modality-and task-specific, suggesting that MFG may be responsible for the visuospatial analysis of Chinese characters and orthography-to-phonology integration at a syllabic level.
On dual Schur domain decomposition method for linear first-order transient problems
Authors: K. B. Nakshatrala, A. Prakash, K. D. Hjelmstad
Venue: Journal of Computational Physics (2009)

This paper addresses some numerical and theoretical aspects of dual Schur domain decomposition methods for linear first-order transient partial differential equations. The spatially discrete system of equations resulting from a dual Schur domain decomposition method can be expressed as a system of differential-algebraic equations (DAEs). In this work, we consider the trapezoidal family of schemes for integrating the ordinary differential equations (ODEs) for each subdomain and present four different coupling methods, corresponding to different algebraic constraints, for enforcing kinematic continuity on the interface between the subdomains. Unlike the continuous formulation, the discretized formulation of the transient problem is unable to enforce simultaneously the continuity of both the primary variable and its rate along the subdomain interface (except for the backward Euler method). Method 1 (d-continuity) is based on the conventional approach using continuity of the primary variable and we show that this method is unstable for a lot of commonly used time integrators including the mid-point rule. To alleviate this difficulty, we propose a new Method 2 (modified d-continuity) and prove its stability for coupling all time integrators in the trapezoidal family (except the forward Euler). Method 3 (v-continuity) is based on enforcing the continuity of the time derivative of the primary variable. However, this constraint introduces a drift in the primary variable on the interface. We present Method 4 (Baumgarte stabilized) which uses Baumgarte stabilization to limit this drift and we derive bounds for the stabilization parameter to ensure stability. Our stability analysis is based on the ''energy'' method, and one of the main contributions of this paper is the extension of the energy method (which was previously introduced in the context of numerical methods for ODEs) to assess the stability of numerical formulations for index-2 differential-algebraic equations (DAEs). Finally, we present numerical examples to corroborate our theoretical predictions.
Brief paper: Synchronization of coupled harmonic oscillators in a dynamic proximity network
Authors: Housheng Su, Xiaofan Wang, Zongli Lin
Venue: Automatica (Journal of IFAC) (2009)

In this paper, we revisit the synchronization problems for coupled harmonic oscillators in a dynamic proximity network. Unlike many existing algorithms for distributed control of complex dynamical networks that require explicit assumptions on the network connectivity, we show that the coupled harmonic oscillators can always be synchronized, without imposing any network connectivity assumption. Moreover, we also investigate the synchronization with a leader and show that all harmonic oscillators can asymptotically attain the position and velocity of the leader, again without any assumption on connectivity of the followers. Numerical simulation illustrates the theoretical results.
Research on 8QAM+ STBC+MIMO about High-Speed Transmission Scheme in Mobile Communications
Authors: Guangsheng Zhao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

According to BPSK+STBC and QPSK+STBC (Space-time block codes) wireless transmission system of two launch antenna and one or two receiving antenna, 8QAM+STBC high-speed wireless transmission system is proposed first in the research, and the transmission scheme is compared and simulated with Monte Carlo simulation from two aspects of noise performance and spectrum efficiency. The research results show that the scheme this paper has existed good noise performance and high spectrum efficiency. 8 QAM transmission scheme is still worth with application in the practice.
PU-BCD: exponential family models for the coarse- and fine-grained all-words tasks
Authors: Jonathan Chang, Miroslav Dudík, David M. Blei
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

This paper describes an exponential family model of word sense which captures both occurrences and co-occurrences of words and senses in a joint probability distribution. This statistical framework lends itself to the task of word sense disambiguation. We evaluate the performance of the model in its participation on the SemEval-2007 coarse- and fine-grained all-words tasks under a variety of parameters.
Quantitative Assessment for Organisational Security & Dependability
Authors: Yudistira Asnar, Massimo Felici, Fabio Massacci, Alessandra Tedeschi, Artsiom Yautsiukhin
Venue: Proceedings of the 2009 Second International Conference on Dependability (2009)

There are numerous metrics proposed to assess security and dependability of technical systems (e.g., number of defects per thousand lines of code). Unfortunately, most of these metrics are too low-level, and lack on capturing high-level system abstractions required for organisation analysis. The analysis essentially enables the organisation to detect and eliminate possible threats by system re-organisations or re-configurations. In other words, it is necessary to assess security and dependability of organisational structures next to implementations and architectures of systems. This paper focuses on metrics suitable for assessing security and dependability aspects of a socio-technical system and supporting decision making in designing processes. We also highlight how these metrics can help in making the system more effective in providing security and dependability by applying socio-technical solutions (i.e., organisation design patterns).
A Novel Method of Buffer Generation Based on Vector Boundary Tracing
Authors: Wang Jiechen, Yu Qing, Chen Yanming
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

Utilizing the property that the distances from all points located on the borderline of buffer zone to corresponding buffer target are the same, this paper presents a novel method of buffer generation based on vector boundary tracing. The new method can avoid complex vector calculations, such as line and curve segment intersection, clipping and recombination, the closure of borderline and so on, and also has an advantage of high precision the same as all existing vector-based algorithms. The main steps of this algorithm include: (1)Generate the initial tracing point set located on the borderline of buffer zone; (2)Obtain an integrated and closed borderline by tracing these points; (3)Construct the area targets on the basis of these closed borderlines. The test results and analysis indicate that this algorithm has a great advantage in the aspects of decreasing EMS memory consumption and improving calculation accuracy, and its computational efficiency can fully meet the demand of usual application in GIS. Furthermore, the principle of boundary tracing in the algorithm has a potential for further being promoted and used to design related spatial analysis algorithms.
Aspect-Oriented Middleware-Based Real-Time and Embedded Systems Software Process
Authors: Liu Jingyong, Zhong Yong, Zhang Lichen, Chen Yong
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Middleware facilitates the development of real-time and embedded systems. However, middleware itself is becoming increasingly complex. Using the methodology of aspect-oriented software development to analyze and reconstruct the architecture of middleware can make the architecture more modularized and more customizable. In addition, since middleware plays a significant role in the realtime and embedded systems development, its characteristics must be considered in the entire real-time and embedded systems software process from requirements analyze phase to testing phase. This paper provides two contributions to the study of real-time and embedded systems development. First, presents the problems of current middleware architecture and analyzes functional requirements and non-functional requirements of aspect-oriented middleware. Second, proposes an aspect-oriented middleware based real-time and embedded systems software process. Both functional and non-functional characteristics of middleware are considered in all phases of the software process.
Fully discrete potential-based finite element methods for a transient eddy current problem
Authors: Tong Kang, Kwang Ik Kim
Venue: Computing (2009)

Fully discrete potential-based finite element methods called $${\mathbf{A}-\phi}$$methods are used to solve a transient eddy current problem in a three-dimensional convex bounded polyhedron. Using $${\mathbf{A}-\phi}$$methods, fully discrete coupled and decoupled numerical schemes are developed. The existence and uniqueness of solutions for these schemes together with the energy-norm error estimates are provided. To verify the validity of both schemes, some computer simulations are performed for the model from TEAM Workshop Problem 7.
Information protection via environmental data tethers
Authors: Matt Beaumont-Gay, Kevin Eustice, Peter Reiher
Venue: Proceedings of the 2007 Workshop on New Security Paradigms (2008)

Faced with an increasing number of incidents involving leaks of confidential data, it is clear that new data protection strategies are needed. We propose Data Tethers, a new paradigm which uses policies based on environmental factors to determine when sensitive data may be stored on a machine and when it must be encrypted or removed from the machine entirely. We discuss a number of example scenarios where existing data protection systems provide insufficient protection and Data Tethers would prevent data exposure. We also discuss a proposed implementation of Data Tethers, including a number of different environmental inputs.
Sudden Changes Detection in WCE Video
Authors: Giovanni Gallo, Eliana Granata, Giuseppe Scarpulla
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

The direct visual inspection of WCE video by an expert is a tiring and cost activity and it is a true bottleneck to the widespread application of this diagnostic technique. In this paper we apply the texton approach to characterize with a numeric indicator the sub-sequences of a WCE that show sharp change and that are likely to represent relevant medical details. Experiments show that the proposed fully automatic technique may safely reduce the amount of frames that need further examination of up to 70%.
An Adaptive Personalized GIS Solution
Authors: Yingjie Wang, Hongyan Deng, Jing Cui, Zhuoyuan Yu, Ling Liu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

Since customizing functional components cannot achieve real personalization in GIS software, an adaptive solution for GIS personalization is proposed. The solution is mainly constituted by user model, database processing model, spatial database, map design, user interface, software evaluation and process control. Software characteristics and key issues to be solved of this personalized GIS solution are also concerned.