The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
To improve the reliability of high-end hydraulic parts for domestic hydraulic industry, a framework of industrial standard is proposed for reliability testing procedures for solenoid operated directional-control valves. Solenoid operated directional-control valve is one of the most basic components, and the experimental standards for directional valve can be an essential reference for reliability...
Peterson's solution is a classical algorithm for mutual exclusion problem. But rigorous works on analyzing its properties of safety or liveness are rare so far. In theorem prover Isabelle/HOL, we formally modelled Peterson's solution for two processes, and proved that it satisfies mutual exclusion property. With Paulson's inductive approach, the algorithm is inductively defined as a set of all possible...
To estimate a clone region in a digital image is an important task of copy-move forgery (CMF) detection, which is one of the key techniques of digital image forensics. Most existing keypoint-based CMF detection schemes are weak in distinguishing the clone regions and the similar regions. However, some misjudgments may be resulted in some similar regions, which are not the clone regions. To solve this...
Traditional PSO(Particle Swarm Optimization) algorithm has the problems of particle cross-border and premature convergence while solving the normalized constrained optimization problem. Our paper uses the attractor and spatial zoom method, and presented the normalized PSO algorithm. Secondly, each attribute is treated equally in the traditional classification algorithm, without considering the differences...
Workflows which realize parts of business goals in a particular order automate the business processes within enterprises. To guarantee the correctness of workflow execution, analyses on structural integrity of workflows are essential. However, comparing to the sequential activities, the activities executed in orders, the anomalies caused by parallel activities are far more complicated for analysis...
Strictly speaking, fault localization includes assessing the code risk of being faulty and identifying the real fault. In practice, only highlighting some possible faulty statements is not helpful enough to reason the roots of the observed failures in a system. Programmers need to manually inspect the highlighted risky statements one by one, reading and understanding their contexts, in order to identify...
In order to evaluate the performance of of information system based on domestic CPU and OS, through the introduction of the background of basic hardware and software based on domestic, we expound the domestic information system performance testing principle and method, according to the testing results of existing mature commercial performance testing tool LoadRunner can not reflect the user experience...
Quality plays a key role in software life-cycle. With the purpose of specializing and evaluating software product quality, ISO had published software quality model standards, SQuaRE series standards. In order to meet the growing demand for software quality measurement, ISO have revised the ISO/IEC 2502n series of standards, recently. This paper introduces evolution of software quality model standards...
EMS(Energy Management System) is a software system with complex structure, which is used in power grid dispatching automation. In the life cycle of the system, it will go through a number of tests, such as FAT(factory test), SAT(acceptance test), etc, whose test cases will be as many as ten thousand. In the maintenance of EMS system, requirements may be often changed, which motivates the component...
Abstract Drilling pump is one of three major parts of the drilling rig, and is the key equipment of drilling fluid circulation system. In this paper, the reliability for ZCL-1600 type drilling mud pump pressure cylinder of the hydraulic system is carried on the thorough discussion. The reliability block diagram is established by qualitative analysis and quantitative calculation. Reliability assessment...
GitHub, a popular social-software-development platform, has fostered a variety of software ecosystems where projects depend on one another and co-evolve together. The projects located in the central hub of the ecosystem are supposed to be important and could affect a number of other projects. However, few researches have investigated the dominant projects in a software ecosystem. In this study, we...
Python, a typical dynamic programming language, is increasingly used in many application domains. Dynamic features in Python allow developers to change the code at runtime. Some dynamic features such as dynamic type checking play an active part in maintenance activities, thus dynamic feature code is often changed to cater to software evolution. The aim of this paper is exploring and validating the...
As an infrastructure of software enterprise management, organizational process asset library (OPAL) is vital essential to deploy and improve processes of software organizations. Not well managed and maintained OPAL will make more difficulties for software process improvement work. In order to do the process improvement work effectively, the paper proposes OPAL architecture for process improvements,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.