Program slicing is a source-code extraction technique that identifies parts of a program which have no effect upon a chosen set of variables at a point of interest. Slices can be constructed statically (with respect t...
详细信息
Program slicing is a source-code extraction technique that identifies parts of a program which have no effect upon a chosen set of variables at a point of interest. Slices can be constructed statically (with respect to no input information) or conditionally (with respect to partial input information). they can also be constructed in either a purely syntax-preserving or amorphous way. Amorphous slices tend to be smaller than their syntax-preserving counterparts but they may not be syntactically related to the original. this paper presents the results of a case study which assesses the value of static and conditioned slicing (in both syntax-preserving and amorphous formulations) upon the problem of dynamic memory analysis. the results confirmed our belief that slicing is helpful for dynamic memory analysis: syntax-preserving static slicing produced an order-of-magnitude reduction in the size of the program to be analysed. Amorphous static slicing produced a further reduction in slice size. Finally, conditioned slicing (both syntax-preserving and amorphous) produced the smallest slices (12 to 35 lines of code).
An optimized software implementation of a high quality MPEG AAC-LC (low complexity) audio encoder is presented in this paper. the standard reference encoder is improved by utilizing several algorithmic optimizations (...
详细信息
An optimized software implementation of a high quality MPEG AAC-LC (low complexity) audio encoder is presented in this paper. the standard reference encoder is improved by utilizing several algorithmic optimizations (fast psycho-acoustic model, new tonality estimation, new time domain block switching, optimized quantizer and Huffman coder) and very careful code optimizations for PC CPU architectures with SIMD (single-instruction-multiple-data) instruction set. the psychoacoustic model used the MDCT filterbank for energy estimation and peak detection as a measure of tonality. Block size decision is based on local perceptual entropies as well as LPC analysis of the time signal. Algorithmic optimizations in the quantizer include loop control module modification and optimized Huffman search. Code optimization is based on parallel processing by replacing vector algebra and math junctions withtheir optimized equivalents with Intel/sup /spl reg// Signal Processing Library (SPL). the implemented codec outperforms consumer MP3 encoders at 30% less bitrate at the same time achieving encoding times several times faster than real-time.
this research examines and demonstrates the potential of Nonlinear Causal Resource Analysis models in predicting driving performance. Motor-control, sensory, and central processing performance resources measurements w...
详细信息
this research examines and demonstrates the potential of Nonlinear Causal Resource Analysis models in predicting driving performance. Motor-control, sensory, and central processing performance resources measurements were collected from a group of subjects (Group A (n=60) and Group B (n=9)), demonstrating a wide range of driving and performance resource availability. In car driving performance was determined by a skilled driving evaluator. Ten performance resources from subjects in Group A were used to construct NCRA models of driving. Model based predictions for Group B correlated (r=.83) with expert rater evaluations. For each prediction, a limiting resource was identified. the NCRA models, constructed with a modest number of subjects and basic performance resources, were able to well predict the level of driving performance, and identify the limiting resource for each subject.
this paper describes a model of metabolic networks that uses fuzzy cognitive maps. Nodes of the map represent specific biochemicals such as proteins, RNA, and small molecules, or stimuli, such as light, heat, or nutri...
详细信息
this paper describes a model of metabolic networks that uses fuzzy cognitive maps. Nodes of the map represent specific biochemicals such as proteins, RNA, and small molecules, or stimuli, such as light, heat, or nutrients. Edges of the map capture regulatory and metabolic relationships found in biological systems. these relationships are established by a domain expert, the biological literature, and extracted from RNA microarray data. this work is part of the development of a software tool, FCModeler, which models and visualizes metabolic networks. A model of the metabolism of the plant hormone gibberellin in Arabidopsis is used to show the capabilities of the fuzzy model.
the control of a nonlinear system where the characteristics are changing is difficult. In order to control the system, a study is needed to model during the execution and control. In this paper, a new evolutionary con...
详细信息
the control of a nonlinear system where the characteristics are changing is difficult. In order to control the system, a study is needed to model during the execution and control. In this paper, a new evolutionary control method is proposed that combines the evolutionary modeling by on-line GA and predictive fuzzy control. this control method is applied to the control of inverted pendulum where characteristics are modified actively to the external factor. the effectiveness of this control method has been confirmed.
the problems of irregular 3D-objects manufacturing preparation are considered. the irregular surfaces digitizing process by video system is offered. the mathematical models of video digitizing process and software bas...
详细信息
predictive accuracy is the sum of two kinds of uncertainty-natural variability and modeling uncertainty. this paper addresses the quantification of predictive accuracy of complex simulation models from two perspective...
详细信息
predictive accuracy is the sum of two kinds of uncertainty-natural variability and modeling uncertainty. this paper addresses the quantification of predictive accuracy of complex simulation models from two perspectives. First, it recognizes that there is a difference between variability and modeling uncertainty; the former can not be reduced with more test information, while the latter can. We suggest that variability is a natural form of uncertainty that can be quantified with probability theory, but that modeling uncertainty is a form that is better addressed by a theoretical foundation that is not based on random variables, but rather random intervals. We suggest possibility theory as the formalism to address modeling uncertainty. the paper discusses the two different methods, and illustrates the power of their integration to address predictive accuracy with a recent case study involving the crushing load of axially loaded metallic spheres.
It has been previously shown that the dynamics governing the share prices in Tehran Stock Exchange can be considered as a chaotic time series. Due to the initial sensitivity of the price generating process, it is show...
详细信息
It has been previously shown that the dynamics governing the share prices in Tehran Stock Exchange can be considered as a chaotic time series. Due to the initial sensitivity of the price generating process, it is shown that linear classical models such as ARIMA and ARCH are not able to efficiently model the dynamic of share prices in Tehran stock exchange for long term prediction purposes. However, non-linear neural network models are proposed to model the Tehran price index (TEPIX) daily data process and it is shown that such nonlinear models can successfully be used for the long term prediction of TEPIX daily data. Real data for the period of 1996 to 1999 are used to validate the prediction results.
Fuzzy rule based systems have been very popular in many engineering applications. In petroleum engineering, fuzzy rules are normally constructed using some fuzzy rule extraction techniques to establish the petrophysic...
详细信息
Fuzzy rule based systems have been very popular in many engineering applications. In petroleum engineering, fuzzy rules are normally constructed using some fuzzy rule extraction techniques to establish the petrophysical property prediction model. However, when generating fuzzy rules from the available information, it may result in a sparse fuzzy rule base. the use of more than one input variable is also common in petroleum engineering. the paper examines the application of fuzzy interpolation to resolve problems using sparse fuzzy rule bases, and perform analysis of fuzzy interpolation in multidimensional input space.
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. this paper presents a snapshot of current research, aimed...
详细信息
Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. this paper presents a snapshot of current research, aimed at combining the best aspects of inductive logic programming withthe uncertainty representation of Fril to create a sophisticated and novel approach to knowledge discovery. An example is given showing how a supported Fril rule can be extracted from uncertain Fril relations.
暂无评论