A Method to Eliminate RVA Existing in Relation Variable

Chai Xiao-hui

2008-01-01

Abstract:By analyzing the validity of RVA,problems caused by RVA existing in relation variable is discussed.Then a academic method of eliminating RVA is given.

What problem does this paper attempt to address?

Problem caused by RVA and Method to Eliminate

Xiao-hui CHAI

DOI: https://doi.org/10.3969/j.issn.1004-7077.2007.05.016

2007-01-01

Abstract:By analyzing the validity of RVA,problems caused by RVA existing in relation variable is discussed.Then a concrete method of eliminating RVA is given.
Value Reduction Algorithm in Rough Sets Based on Association Rules Support

Ma Yu-liang,Yan Wen-jun

DOI: https://doi.org/10.1631/jzus.2006.as0219

2006-01-01

Journal of Zhejiang University SCIENCE A

Abstract:Aiming at value reduction, a sort of RSVR algorithm was presented based on support in association rules via Apriori algorithm. A more effective reduction table can be obtained by deleting those rules with less support according to least support— minsup . The reduction feasibility of this algorithm was achieved by reducing the given decision table. Testing by UCI machine learning database and comparing this algorithm with least value reduction algorithm indicate the validity of RSVR algorithm.
Key-variable Analysis in Data Reconciliation

Wang Xiuping,RONG Gang,Wang Shuqing

DOI: https://doi.org/10.3321/j.issn:0254-3087.2001.03.004

2001-01-01

Abstract:Different measurements have different impacts on the estimation precision of data reconciliation,so they do on the gross error detectability. Quantitative analysis was made on the two aspects of impact respectively in this work. A method of key-variable analysis was proposed thereby. It is a useful tool for discriminating the importance of various variables in data rectification. A simulation example and an industrial application illustrated the necessity of key-variable analysis.
Context-Aided Variable Elimination for Requirement Engineering

Inigo Incer,Albert Benveniste,Richard M. Murray,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia

2023-05-28

Abstract:Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This paper presents algorithms for eliminating variables from formulas by computing refinements or relaxations of these formulas in a context. We discuss a connection between this problem and optimization and give efficient algorithms to compute refinements and relaxations of linear inequality constraints.

Logic in Computer Science,Systems and Control
Rsvr Algorithm Based On Support In Association Rules

Yuliang Ma,Wenjun Yan

DOI: https://doi.org/10.1109/WCICA.2006.1713207

2006-01-01

Abstract:Reduction is an important aspect in rough sets theory. Aiming at value reduction, a sort of RSVR algorithm was presented based on support in association rules via Apriori algorithm. The more effective reduction table can be obtained by deleting those rules with less support according to least support minsup. The comparison with least value reduction algorithm shows validity and feasibility of RSVR algorithm.
Automatically Identifying Domain Variables Based on Data Dependence Graph

XY Wang,JL Sun,XH Yang,ZJ He,SR Maddineni

DOI: https://doi.org/10.1109/icsmc.2004.1400866

2004-01-01

Abstract:Experience in reengineering legacy system shows one shouldn't assume the availability of the system documents; even if they are available, the documents may be inconsistent with the code. The software code becomes more reliable source than any documentation to get business rules. So, it is necessary to extract the business rules from source code. Domain variables can be mapped to important objects in the application domain. Identifying domain variables is a significant step in extracting the business rules from the source code. This paper proposes a solution to identify the domain variables automatically from the source code by applying data dependence graph (DDG). The solution contains three steps: generating the DDG of legacy system; identifying pure domain variables; identifying all domain variables which affect output domain variables; domain variables management. This solution been applied to a large complex financial legacy system which has proven to be successful.
Realization Method about Access Control of System Based on Web

BAO Zhigang,HU Yanjun,GU Xinjian

DOI: https://doi.org/10.3969/j.issn.1000-3428.2006.01.059

2006-01-01

Abstract:Firstly making reference to role based access control(RBAC)model,this paper proposes the basic idea about access control.Then it introduces database design of two realizing methods about access control and two methods’ realization in program,it also presents visual effect.Finally it analyzes and compares one to another in detail from two aspects of applicability and reusability.
Elimination of Redundant Invariants

Yu Tong-lan,Yang Xiao-hua,Liu Jie,Luo Yang,Wu Qu-jin

DOI: https://doi.org/10.1007/978-3-642-25194-8_33

2011-01-01

Abstract:Redundant invariants increase processing time and memory consumption, which make serious effect on the application of invariants. The elimination of invariant redundancy is an important part in the invariant study. Now most methods of invariant redundancy elimination are based on optimization of invariants detecting tool which lack the principles analyse and system solutions of redundant invariants themselves. This paper first analyses the theory about classification and forming reasons of redundant invariant and then discusses the judgement of three kinds of invariant redundancy: equivalent redundancy, transitivity redundancy and implicating redundancy. Finally, the paper proposes the algorithms of eliminating invariant redundancy. The study has great value to the application of invariants which can significantly improves the efficiency by saving the time and space in processing.
Exact and Metaheuristic Algorithms for Variable Reduction

Aijuan Song,Guohua Wu,Ling Zhou,Ling Wang,Witold Pedrycz

DOI: https://doi.org/10.1109/tevc.2023.3332913

IF: 16.497

2024-01-01

IEEE Transactions on Evolutionary Computation

Abstract:A variable reduction strategy (VRS) drives evolutionary algorithms (EAs) to evolve more effectively by simplifying optimization problems. To represent a decision space with the smallest set of variables via VRS, a variable reduction optimization problem (VROP) has been defined, which could be handled by a heuristic rule-based automatic variable reduction algorithm (HR-AVRA). However, HR-AVRA has limitations in identifying an optimal solution and is susceptible of getting trapped in local optimums. To handle these challenges, we propose to solve VROP with exact and metaheuristic algorithms. We construct a linear programming model of VROP for the first time. Then, Gurobi, an exact algorithm optimizer, is employed to seek and identify an optimal solution for it. Subsequently, we design two representative single-point-based and population-based metaheuristic algorithms, simulated annealing-based (SA-AVRA) and ant colony optimization-based (ACO-AVRA) methods, to solve VROP more effectively. These variable reduction algorithms can group variables of a continuous optimization problem into reduced and core variables, with the latter representing both reduced variables and the entire decision space. Extensive experiments verify that Gurobi can provide optimal solutions for small-scale VROPs, while SA/ACO-AVRA enables more reduced variables than other variable reduction methods. We also integrate various variable reduction algorithms with several competitive EAs to tackle equality-constrained optimization problems and nonlinear equations systems. Experiments show that EAs integrated with a variable reduction algorithm outperform both standard EAs and those with several other complexity reduction methods. Furthermore, integrating a variable reduction algorithm that introduces more reduced variables generally can lead to better performance of EAs.
A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving

Jian Lin,Liehui Jiang,Yisen Wang,Weiyu Dong

DOI: https://doi.org/10.1109/access.2019.2936139

IF: 3.9

2019-01-01

IEEE Access

Abstract:Value set analysis is a common static binary program analysis approach. Value set analysis attempts to identify a tight over-approximation of the program state at any given point in the program and can be used to detect vulnerability. Existing memory corruption detection analysis technologies based on value set analysis have a high false positive rate, because value set analysis suffers from a lack of accuracy. We observed that two main sources of imprecision in value set analysis are merge operation and failed branch conditions tracking. In order to address above problems, in this paper, we propose a value set analysis refinement approach based on conditional merging and lazy constraint solving. We propose a variable dependence analysis algorithm to divide program paths into subsets and only merge the states which satisfy the condition that the states are from the same subset, which reduces the imprecision from the merging operation. We collect path predicates as path constraint and solve the path constraint using Satisfiability Modulo Theories (SMT) solver lazily to get a tighter number range of the variable when a variable need be refined, which reduces the imprecision from the failed branch conditions tracking. We implement a prototype system RVSA based on the proposed approach and verify its effectiveness according to experimentation. Compared with state-of-the-art approach, the experimental results demonstrate that the false positive rate is reduced by 12.9%. Furthermore, using our proposed approach, 25 zero-day vulnerabilities are found in the Netgear httpd binary.
ARA-RCIV: Identifying Reliability-Critical Input Vectors of Logic Circuits Based On the Association Rules Analysis Approach

Zhanhui Shi,Jie Xiao,Jianhui Jiang,Ying Zhang,Yuhao Zhou

DOI: https://doi.org/10.1109/tcad.2024.3372461

IF: 2.9

2024-01-01

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Abstract:The identification of reliability-critical input vectors (RCIVs) is vital in the assessment and prediction of reliability boundaries for logic circuits. This article introduces an approach grounded in association rule analysis (ARA) to swiftly and efficiently identify RCIVs in both combinational and sequential circuits. The utilization of the ARA model for validating the circuit’s associated primary inputs enhances accuracy while simultaneously reducing the complexity of RCIVs identification. Orienting the generation of new samples with associated inputs expedites the identification process. Quantifying circuit complexity enables the adaptive assignment of algorithmic parameters to circuits of diverse sizes. The construction of input sets facilitates a precise evaluation of the reliability of individual input vectors in sequential circuits. Experimental results on benchmark circuits illustrate that this approach achieves a mean accuracy of 0.9952, with Monte Carlo (MC) method serving as the reference, for small and medium-sized circuits, and require only 20.71% of MC’s time overhead. The average coverage of 0.9884 surpasses the reference method by 1.8 times. The stability is 4.35 times higher with the random method on large scale circuits with 224,624 gates and 6,642 primary inputs. Circuit designers can swiftly ascertain the average reliability and reliability boundaries of a circuit by using this approach for RCIVs identification. By applying optimizations of the identified RCIVs to expedite convergence and mitigate fluctuations, the influence of these RCIVs can be minimized in reliability evaluation and testing.

engineering, electrical & electronic,computer science, interdisciplinary applications, hardware & architecture
Application of fuzzy equivalence theory in data cleaning

李华旸,刘玉葆,李又奎

DOI: https://doi.org/10.3969/j.issn.1003-7985.2004.04.012

2004-01-01

Abstract:This paper presents a rule merging and simplifying method and an improved analysis deviation algorithm. The fuzzy equivalence theory avoids the rigid way (either this or that) of traditional equivalence theory. During a data cleaning process task, some rules exist such as "included"/"being included" relations with each other. The equivalence degree of the being-included rule is smaller than that of the including rule, so a rule merging and simplifying method is introduced to reduce the total computing time. And this kind of relation will affect the deviation of fuzzy equivalence degree. An improved analysis deviation algorithm that omits the influence of the included rules' equivalence degree is also presented. Normally the duplicate records are logged in a file, and users have to check and verify them one by one. It's time-cost. The proposed algorithm can save users' labor during duplicate records checking. Finally, an experiment is presented which demonstrates the possibility of the rule.
A New Method of Redundancy Analysis in Data Reconciliation and Its Application

Pu-Ming Zhang,G. Rong,Yin Wang

DOI: https://doi.org/10.1016/s0098-1354(00)00659-1

IF: 4.13

2001-01-01

Computers & Chemical Engineering

Abstract:In data reconciliation, it is common practice to detect gross errors and delete those measurements with gross error (MGEs) before using reconciliation algorithm. Since some MGEs' deletion will perhaps result in unreasonable solution of the least squares algorithm of data reconciliation, MGEs cannot be deleted totally at one time. They must be treated respectively in order to delete as many MGEs as possible to ensure the reconciliation precision. To solve this problem, a new method of redundancy analysis is proposed in this paper. It also gives suggestion on instruments checking. Simulation results demonstrate the efficiency and consistency of the proposed method. And the application to a refinery is also discussed.
Method to Determine Α in Rough Set Model Based on Connection Degree

Li Huaxiong,Zhou Xianzhong,Huang Bing

2009-01-01

Abstract:An improvement of tolerance relation is proposed in regard to rough set model based on connection degree by which reflexivity of relation can be assured without loss of information. Then, a method to determine optimal identity degree based on relative positive region is proposed so that the identity degree can be computed in an objective method without any preliminary or additional information about data, which is consistent with the notion of objectivity in rough set theory and data mining theory. Subsequently, an algorithm is proposed, and in two examples, the global optimum identity degree is found out. Finally, in regard to optimum connection degree, the method of rules extraction for connection degree rough set model based on generalization function is presented by which the rules extracted from a decision table are enumerated.
Easy First Relation Extraction with Information Redundancy

Shuai Ma,Gang Wang,Yansong Feng,Jinpeng Huai

DOI: https://doi.org/10.18653/v1/D19-1398

2019-01-01

Abstract:Many existing relation extraction (RE) models make decisions globally using integer linear programming (ILP). However, it is nontrivial to make use of integer linear programming as a blackbox solver for RE. Its cost of time and memory may become unacceptable with the increase of data scale, and redundant information needs to be encoded cautiously for ILP. In this paper, we propose an easy first approach for relation extraction with information redundancies, embedded in the results produced by local sentence level extractors, during which conflict decisions are resolved with domain and uniqueness constraints. Information redundancies are leveraged to support both easy first collective inference for easy decisions in the first stage and ILP for hard decisions in a subsequent stage. Experimental study shows that our approach improves the efficiency and accuracy of RE, and outperforms both ILP and neural network-based methods.
Eliminating Redundancies with a

Stan Jarzabek,Li Shubiao

2003-01-01

Abstract:Abstract: to high maintenance costs. While most experts agree on that,opinions - on how serious the problem of redundancies really isand how to tackle it - differ. In this paper, we present the study ofredundancies in the Java Buffer library, JDK 1.4.1, which wasrecently released by Sun. We found that at least 68% of code inthe Buffer library is redundant in the sense that it recurs in manyclasses in the same or slightly modified form. We effectivelyeliminated that 68% of code at the meta-level...
Optimization Technique for Shared Variables in Real-time System Model-Checking

ZHOU Xiu-Yi,ZHAO Jian-Hua,LI Xuan-Dong,ZHENG Guo-Liang

DOI: https://doi.org/10.3969/j.issn.1002-137X.2005.07.061

2005-01-01

Computer Science

Abstract:Real-time systems are often modeled as timed automaton networks, which are parallel compositions of timed automata. Those timed automata interact with each other through shared variables and/or communication chan- nels. In the literate, symbolic states with different shared variable valuations in automaton networks are treated as distinct ones. Therefore, shared variables are also one of the causes of state-space explosion. We present the notion of the compatibility relationship between different shared variable valuations in this paper. Using this compatibility relationship can reduce the amount of states that need exploring in the reachability analysis algorithm of timed au- tomaton networks. In this paper, we describe two algorithms: one that detects compact shared variable valuations and the other more powerful one that detects this compatibility relationship further. These two algorithms result in an enhanced reachability analysis algorithm. The experiment results show that our technioque improves the space-effi- ciency of reachability analysis significantly.
Refined Equivalent Source Method Using Subregion Solution

Zhaowen Yan,Hengli Wang,Jianni Sheng

DOI: https://doi.org/10.3321/j.issn:0253-987X.1999.04.005

1999-01-01

Abstract:The concept subregion is used to extend the domain of application. A refined equivalent source method (RESM) is thus proposed reducing the errors of the boundary comers. Since the position and the number of the equivalent source can be determined theoretically and the field distribution can be expressed in series form, computation accuracy is gained in comparison with the conventional equivalent source method.
The Realization of "division"in Relation Algebra by SQL Query

LU Zhen-yu,YAN Hong-can,LIU Bao-xiang

DOI: https://doi.org/10.3969/j.issn.1674-0262.2005.03.021

2005-01-01

Abstract:This paper uses Discrete Maths as analytic utility and gives a series of query principles of Division in Relation Algebra.Specially,it expounds the realization of SQL.This paper would play a role of guidance in teaching and practically appliance.
Copula-Based Redundancy Analysis

Ji Yeh Choi,Juwon Seo

DOI: https://doi.org/10.1080/00273171.2021.1941729

2021-07-26

Multivariate Behavioral Research

Abstract:Extended Redundancy Analysis (ERA) has recently been developed and widely applied to investigate component regression models. In this paper, we propose Copula-based Redundancy Analysis (CRA) to improve the performance of regression-based ERA. Our simulation results indicate that CRA is significantly superior to the regression-based ERA. We also discuss how to modify CRA to accommodate models with discrete, censored, truncated outcome variables, or a combination thereof, where ERA cannot be employed. For applications, we provide two empirical analyses: one on academic achievement and one on drug use and health.

psychology, experimental,mathematics, interdisciplinary applications,statistics & probability,social sciences, mathematical methods

A Method to Eliminate RVA Existing in Relation Variable

Problem caused by RVA and Method to Eliminate

Value Reduction Algorithm in Rough Sets Based on Association Rules Support

Key-variable Analysis in Data Reconciliation

Context-Aided Variable Elimination for Requirement Engineering

Rsvr Algorithm Based On Support In Association Rules

Automatically Identifying Domain Variables Based on Data Dependence Graph

Realization Method about Access Control of System Based on Web

Elimination of Redundant Invariants

Exact and Metaheuristic Algorithms for Variable Reduction

A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving

ARA-RCIV: Identifying Reliability-Critical Input Vectors of Logic Circuits Based On the Association Rules Analysis Approach

Application of fuzzy equivalence theory in data cleaning

A New Method of Redundancy Analysis in Data Reconciliation and Its Application

Method to Determine Α in Rough Set Model Based on Connection Degree

Easy First Relation Extraction with Information Redundancy

Eliminating Redundancies with a

Optimization Technique for Shared Variables in Real-time System Model-Checking

Refined Equivalent Source Method Using Subregion Solution

The Realization of "division"in Relation Algebra by SQL Query

Copula-Based Redundancy Analysis