To improve scientific and accuracy of disaster recovery capability evaluation, combined with disaster recovery GB, this paper proposes the resource-based disaster recovery capability index system. At the same time, for the lack of systematic research on disaster recovery capability index measurement, according to the index properties, it puts forward dynamic index measurements of threshold logic tree impact analysis based, network performance impact analysis based, and Weibull analysis based. It analyzes the application of the proposed index system and its measurement in the evaluation. The results show that the index system and its measurement specify GB layer by layer and introduce four types of dynamic index to monitor the changes in the influencing factors, therefore, to improve operability of GB and accuracy of evaluation effectively.
This paper proposes an Automatic Color Equalization(ACE) algorithm based on human eye lateral inhibition to solve the problems emerge after using traditional ACE, such as, poor local result, low speed. The algorithm simulates the human eye lateral inhibition mechanism, and selects the two-dimensional circular region around the target point that satisfies accords with the effective scope of the lateral inhibition. And then it selects the sampling point that obeys the Gaussian distribution. At last, it makes a differential comparison between the target point and sampling point to enhance contrast. The proposed algorithm reduces complexity as the operating is centralized among the pixels with high correlation. Experimental results show the proposed algorithm has a good details enhancement and faster processing speed.
Current cache Domain Name System(DNS) servers can not resist continuing Kaminsky DNS cache poisoning, so this paper proposes a defense strategy based on response packets checking. Probability theory is used to analyze the internal relation between success probability and continuing time of poisoning, which attests the harmfulness of continuing Kaminsky poisoning. Packet checking suppresses success probability’s accumulative effect on time on the existing basis so that it can be used to defense continuing Kaminsky poisoning. Simulation experiment is conducted based on probabilistic model checking tool PRISM, whose results prove that the strategy can make poison attack more difficult by over 3 600 times than it is now.
The problem of Narrow Band Interference(NBI) and both Multiple Access Interference(MAI) and Intersymbol Interference(ISI) in dispersive channel of the cellular mobile communication under urban architecture’s influence is proposed, a technique for the simultaneous suppression of NBI, i.e., multitone interferers, autoregressive interferers and digital interferers, and both MAI and ISI, and environmental noise is considered. This technique is based on the suboptimal subspace blind Minimum Mean Square Error(MMSE) detector of multiuser detection with the auxiliary vector to make it low-complexity. It is seen that when SNR is 10 dB, BER of blind MMSE detector is lower than about 3 dB of the conventional ways’.
To evaluate the invulnerability of directed and weighted complex network effectively, considering the impact of edge’s directionality and weighted to the topology of complex network invulnerability, the algorithm which is used to measure the invulnerability of directed and weighted complex network is proposed——Invulnerability Measure Algorithm of Directed and Weighted Complex Network(IMADW). This algorithm uses the shortest harmonic distance of two nodes and the whole network node to measure the nodes tightness, uses the node loop coefficients to reflect the optional paths, and gets gobal invulnerability measure value of network topology layer. The proposed algorithm is proved accurately through the algorithm analysis and experiment simulation.
Continuously verifying and reasoning on software’s execution property are notoriously hard to solve by general software test and static program verification. Aiming at the problems, this paper proposes a runtime program verification framework named RPA based on program instrumentation and Boolean logic. RPA defines a dynamic logic language which describes and asserts runtime properties of target program, proposes an automatic instrumentation approach to collect state information in runtime program, and designs a scheduling algorithm to support fast verification and reasoning. Experimental results show that combined with appropriate predicate extensions, RPA can effectively verify and analyze the software logic, to identify potential software errors.
This paper proposes a multiple satellites imaging scheduling strategy based on Integrated Index Petri Net(IIPN) and hybrid ant colony algorithm. Index information dealing with concurrent observation of multiple satellites and conflict of using satellite resource are introduced into transition, which can also reflect energy and memory constraints, making the problem description more visual and complete. An ant colony algorithm combining with local search is designed to resolve the problem. Index information is integrated in heuristic information for guiding the ants for global search. Local search technique is to accelerate convergence. Experimental results show that the method of can solve the multiple imaging satellites scheduling problem effectively by reaching balance between global search technique and local search technique which is to accelerate convergence.