基于词法和语法分析技术对FED解析的优化

为解决RTI(运行时间基础设施)中FED(联邦执行数据)文件解析效率、可重用性问题,提出了应用编译原理中的词法分析和语法分析技术对FED文件进行解析的方法.根据RTI研发过程中FED文件解析的要求,对FED文件解析模块进行了研究,并设计出改进的FED文件解析程序的结构框架.在此基础上,给出了应用词法分析和语法分析技术解析FED文件的具体方案和实现过程,最后通过实例验证了基于词法和语法分析技术对FED解析的方案明显优于通常方案.     

Model analysis and performance analysis of two industrial MPCs

This paper presents two case studies on the performance evaluation and model validation of two industrial multivariate model predictive control (MPC) based controllers: (1) a 7-output, 3-input MPC with three measured disturbance variables for controlling a part of kerosene hydrotreating unit (KHU) and (2) a 8-output, 4-input MPC with five measured disturbances for controlling a part of naphtha hydrotreating unit (NHU). The first case study focuses on potential limits to control performance due to constraints and limits set at the time of controller commissioning. The root causes of sub-optimal performance of KHU are successfully isolated. Data from the NHU unit with MPC ‘on’ and with MPC ‘off’ are analyzed to obtain and compare several different measures of multivariate controller performance. Model quality assessment for the two MPCs are performed. A new model index is proposed to have a measure of simulation ability and prediction ability of a model. Closed-loop identification of KHU and closed-loop identification of NHU are conducted using the asymptotic method (ASYM) proposed by Zhu (1998).     

Sequential approach to reliability analysis of multidisciplinary analysis systems

The goal of this study is to present an efficient strategy for reliability analysis of multidisciplinary analysis systems. Existing methods have performed the reliability analysis using nonlinear optimization techniques. This is mainly due to the fact that they directly apply multidisciplinary design optimization (MDO) frameworks to the reliability analysis formulation. Accordingly, the reliability analysis and the multidisciplinary analysis (MDA) are tightly coupled in a single optimizer, which hampers the use of recursive and function-approximation-based reliability analysis methods such as the first-order reliability method (FORM). In order to implement an efficient reliability analysis method for multidisciplinary analysis systems, we propose a new strategy named sequential approach to reliability analysis for multidisciplinary analysis systems (SARAM). In this approach, the reliability analysis and MDA are decomposed and arranged in a sequential manner, making a recursive loop. The key features are as follows. First, by the nature of the recursive loop, it can utilize the efficient advanced first-order reliability method (AFORM). It is known that AFORM converges fast in many cases and requires only the value and the gradient of the limit-state function. Second, the decomposed architecture makes it possible to execute concurrent subsystem analyses for both the reliability analysis and MDA. The concurrent subsystem analyses are conducted by using the global sensitivity equation (GSE). The efficiency of the SARAM method was verified using two illustrative examples taken from the literatures. Compared with existing methods, it showed the least number of subsystem analyses over the other methods while maintaining accuracy.     

主成分分析在区域经济分析中的应用

我国是一个经济与社会发展水平,资源与环境禀赋情况在各区域间差异非常大的国家,要制订出促进区域经济协调发展的有效政策,必须对区域经济发展的水平做出合理的评价,从中找出形成区域经济发展水平差异的关键因素。应用主成分分析和因子分析的方法对区域经济指标体系进行了比较、分析,并且使用历史数据进行了验证,得出与实际情况相一致的科学结论,为挖掘社会经济发展的潜力提供了一定的借鉴作用,同时也为进一步制定经济发展决策提供了有力的支持。     

多元统计分析在宏观经济分析中的应用

研究多元统计分析的理论,利用主成分分析和聚类分析的方法对区域经济指标体系进行分析和综合,找出实质体的数量特征和内在统计规律性.通过实际的历史数据进行演算,证实与当时的客观实际情况相吻合,为决策部门衡量本地区的经济发展,制定科学决策提供了有利的支持.     

独立成份分析方法在股票分析中的应用

为了克服传统的股票分析方法的缺点,将独立成份分析方法用于分析影响股票走势和收益的因素.通过对几个大公司的历年K线数据的深入分析,该方法在一定程度上揭示了影响股票走势和收益的深层次的原因.这对建立和谐的金融体系、促进社会经济的良性发展以及创建和谐的社会都具有一定的现实意义.同时也表明了该方法还具有简单易行、容易理解、结果精确的特点.     

Stability analysis of continuous-time periodic systems via theharmonic analysis

Asymptotic stability of finite-dimensional linear continuous-time periodic (FDLCP) systems is studied by harmonic analysis. It is first shown that stability can be examined with what we call the harmonic Lyapunov equation. Another necessary and sufficient stability criterion is developed via this generalized Lyapunov equation, which reduces the stability test into that of an approximate FDLCP model whose transition matrix can be determined explicitly. By extending the Gerschgorin theorem to linear operators on the linear space l₂, yet another disc-group criterion is derived, which is only sufficient. Stability of the lossy Mathieu equation is analyzed as a numerical example to illustrate the results     

Microeconomic analysis using dominant relationship analysis

The concept of dominance has recently attracted much interest in the context of skyline computation. Given an N-dimensional data set S, a point p is said to dominate q if p is better than q in at least one dimension and equal to or better than it in the remaining dimensions. In this article, we propose extending the concept of dominance for business analysis from a microeconomic perspective. More specifically, we propose a new form of analysis, called Dominant Relationship Analysis (DRA), which aims to provide insight into the dominant relationships between products and potential buyers. By analyzing such relationships, companies can position their products more effectively while remaining profitable. To support DRA, we propose a novel data cube called DADA (Data Cube for Dominant Relationship Analysis), which captures the dominant relationships between products and customers. Three types of queries called Dominant Relationship Queries (DRQs) are consequently proposed for analysis purposes: (1) Linear Optimization Queries (LOQ), (2) Subspace Analysis Queries (SAQ), and (3) Comparative Dominant Queries (CDQ). We designed efficient algorithms for computation, compression and incremental maintenance of DADA as well as for answering the DRQs using DADA. We conducted extensive experiments on various real and synthetic data sets to evaluate the technique of DADA and report results demonstrating the effectiveness and efficiency of DADA and its associated query-processing strategies.     

Fisher discriminant analysis and factor analysis

We show that information on the inherent structure of multidimensional data derived from a factor analysis procedure is equivalent to information obtained by Fisher discriminant analysis techniques, provided certain conditions, usually required in the factor analysis model, are satisfied. The results advocate the use of a factor analysis approach when Fisher discriminant analysis is not applicable, such as, for instance, in clustering problems.     

Functional data analysis in shape analysis

Mid-level processes on images often return outputs in functional form. In this context the use of functional data analysis (FDA) in image analysis is considered. In particular, attention is focussed on shape analysis, where the use of FDA in the functional approach (contour functions) shows its superiority over other approaches, such as the landmark based approach or the set theory approach, on two different problems (principal component analysis and discriminant analysis) in a well-known database of bone outlines. Furthermore, a problem that has hardly ever been considered in the literature is dealt with: multivariate functional discrimination. A discriminant function based on independent component analysis for indicating where the differences between groups are and what their level of discrimination is, is proposed. The classification results obtained with the methodology are very promising. Finally, an analysis of hippocampal differences in Alzheimer’s disease is carried out.     

Inverse image analysis generalises strictness analysis

A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which the program denotes. Inverse image analysis is one possible way of extending strictness analysis to languages with lazy data structures and could perhaps be used to optimise code in implementations of such languages.     

Sensitivity analysis of vibro-acoustic systems in statistical energy analysis framework

The main objective of this paper is to present first and second-order sensitivity analysis of vibro-acoustic systems in the statistical energy analysis (SEA) frame work. Equations for computing these sensitivities for a general SEA model are obtained from two different approaches: (1) direct method and (2) adjoint method. The above equations are applied to a simple model of three plates, joined in the form of a ‘Z’, to minimize the total energy of one of the plates. It has been verified that these approaches lead to the same results and the difference between them is only with respect to the computational efficiency. The design sensitivity results calculated from the proposed analytical methods are compared with those obtained from the finite difference method, which show good agreement. The results of this paper can be useful to optimization of vibro-acoustic systems at the drawing board stage in the SEA framework.     

基于统计数据的微博表情符分析及其在情绪分析中的应用

表情符作为一种新兴的网络语言,受到了越来越多的微博用户的青睐。微博中出现的表情符形象直观地表达了博主的情绪,对情绪分析起着至关重要的作用。首先对大量中文微博中表情符的使用特点、分布情况和情绪表达特点进行了统计分析。然后,人工选取具有代表性且情感倾向明确的表情符作为六类基本情绪的种子表情符。根据目标表情符和六类情绪的种子表情符在微博文本中的共现情况,为其建立六维情绪向量,并将其应用于微博情绪分析。在两个数据集上的实验结果表明,本文建立的表情符情绪向量有效地提高了微博情绪识别的精度。     

Heavy traffic analysis of polling models by mean value analysis

In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at each queue, and with general service-time and switch-over time distributions, and study its behavior when the load tends to one. For this model, we explore the recently proposed mean value analysis (MVA), which takes a new view on the dynamics of the system, and use this view to provide an alternative way to derive closed-form expressions for the expected asymptotic delay; the expressions were derived earlier in [R.D. van der Mei, H. Levy, Expected delay in polling systems in heavy traffic, Adv. Appl. Probab. 30 (1998) 586–602], but in a different way. Moreover, the MVA-based approach enables us to derive closed-form expressions for the heavy-traffic limits of the covariances between the successive visit periods, which are key performance metrics in many application areas. These results, which have not been obtained before, reveal a number of insensitivity properties of the covariances with respect to the system parameters under heavy-traffic assumptions, and moreover, lead to simple approximations for the covariances between the successive visit times for stable systems. Numerical examples demonstrate that the approximations are accurate when the load is close enough to one.     

Monte Carlo uncertainty analysis of an ANN-based spectral analysis method

Neural Computing and Applications - This work presents the uncertainty analysis of an artificial neural network (ANN)-based method, called multiharmonic ANN fitting method (MANNFM), which is able...     

Disparity analysis of images

An algorithm for matching images of real world scenes is presented. The matching is a specification of the geometrical disparity between the images and may be used to partially reconstruct the three-dimensional structure of the scene. Sets of candidate matching points are selected independently in each image. These points are the locations of small, distinct features which are likely to be detectable in both images. An initial network of possible matches between the two sets of candidates is constructed. Each possible match specifies a possible disparity of a candidate point in a selected reference image. An initial estimate of the probability of each possible disparity is made, based on the similarity of subimages surrounding the points. These estimates are iteratively improved by a relaxation labeling technique making use of the local continuity property of disparity that is a consequence of the continuity of real world surfaces. The algorithm is effective for binocular parallax, motion parallax, and object motion. It quickly converges to good estimates of disparity, which reflect the spatial organization of the scene.     

Sensitivity analysis of performability

An analytical expression is provided to evaluate the sensitivity (i.e. the derivative with respect to a system parameter) of the cumulative reward distribution for systems modeled by homogeneous Markov reward processes. Both transition rates and reward rates are assumed to be function of the system parameter. An upper bound is also provided for the error introduced by the numerical evaluation of the sensitivity.     

An analysis of expected-outcome

Abstract

Static evaluators have been used in every game program ever written. These heuristic functions attempt to differentiate between strong and weak moves by assigning them values based on directly detectable game features. Despite their ubiquity, evaluation functions are not well understood; the development of a theory of evaluator design has been too long coming. In fact, the general consensus is that no theory is possible, because expertise is required to develop even a simple evaluator.

One recently introduced ‘generic’ evaluation function, the expected-outcome model, proposed evaluating a node as the expected value of a game's outcome, given random play from that node on. Experimental studies conducted on evaluators designed under this model yielded encouraging results in tac-tac-toe, Othello, and chess. This paper analyzes the expected-outcome model on a simple class of game trees, and shows that the moves recommended under the assumptions of random play and perfect play are identical. This vindicates what appeared to have been an overly naive assumption, and furthers the claim that statistically interpreted evaluation functions are powerful, as well as elegant.     

Object-oriented analysis of ELIMINO

ELIMINO is a mathematical research system developed for the implementation of Wu‘s method,a powerful method for polynomial equation system solving and geometric theorem proving.The aim of ELIMINO is to provide user a programmable interpreting environment to use Wu‘s method in scientific research and engineering computation.In this paper,the development of ELIMINO system is outlined and the techniques adopted are discussed,then some details about the aobject-oriented analysis of ELIMINO are presented.