数字图书馆的可信性研究

随着数字图书馆应用的不断增多,如何构建新一代适应信息发展需求的高可信性的数字图书馆已经成为数字图书馆领域最重要的课题之一。叙述了可信计算的概念、由来与发展,探讨了数字图书馆的可信性,指出了数字图书馆可信性的研究方向。

The Reliability Design of a Kind of Multioption Fuze

On the basis of analysing the reliability problems existing in the general design of a kind of multioption fuze. some problems such as the reliability model. the reliability distribution of the electronic part of the fuze are discussed. For a particular multioption fuze, then.according to three different setting ways. the calculating methods of its operating reliability in six different operating states are given.

Evaluation of the computational performance of the finite-volume atmospheric model of the IAP/LASG(FAMIL) on a high-performance computer

High computational performance is extremely important for climate system models, especially in ultra-high-resolution model development. In this study, the computational performance of the Finite-volume Atmospheric Model of the IAP/LASG （FAMIL） was comprehensively evaluated on Tianhe-2, which was the world＇s top-ranked supercomputer from June 2013 to May 2016. The standardized Atmospheric Model Inter-comparison Project （AMIP） type of experiment was carried out that focused on the computational performance of each node as well as the simulation year per day （SYPD）, the running cost speedup, and the scalability of the FAMIL. The results indicated that （1） based on five indexes （CPU usage, percentage of CPU kernel mode that occupies CPU time and of message passing waiting time （CPU SW）, code vectorization （VEC）, average of Gflops （Gflops_ AVE）, and peak of Gflops （Gflops_PK））, FAMIL shows excellent computational performance on every Tianhe-2 computing node; （2） considering SYPD and the cost speedup of FAMIL systematically, the optimal Message Passing Interface （MPI） numbers of processors （MNPs） choice appears when FAMIL use 384 and 1536 MNPs for C96 （100 km） and C384 （25 km）, respectively; and （3） FAMIL shows positive scalability with increased threads to drive the model. Considering the fast network speed and acceleration card in the MIC architecture on Tianhe-2, there is still significant room to improve the computational performance of FAMIL.

Enhancing Reliability via Checkpointing in Cloud Computing Systems

Cloud computing is becoming an important solution for providing scalable computing resources via Internet. Because there are tens of thousands of nodes in data center, the probability of server failures is nontrivial. Therefore, it is a critical challenge to guarantee the service reliability. Fault-tolerance strategies, such as checkpoint, are commonly employed. Because of the failure of the edge switches, the checkpoint image may become inaccessible. Therefore, current checkpoint-based fault tolerance method cannot achieve the best effect. In this paper, we propose an optimal checkpoint method with edge switch failure-aware. The edge switch failure-aware checkpoint method includes two algorithms. The first algorithm employs the data center topology and communication characteristic for checkpoint image storage server selection. The second algorithm employs the checkpoint image storage characteristic as well as the data center topology to select the recovery server. Simulation experiments are performed to demonstrate the effectiveness of the proposed method.

Reliability and sensitivity of bogie frame of high-speed train with strength degradation

High-speed bogie frame is a key mechanical component in a train system. The reliability analysis of the bogie is necessary to the safety of high-speed train. Reliability analysis of a bogie frame was considered. The equivalent load method was employed to account for random repeated loads in structural reliability analysis. Degradation of material strength was regarded as a Gamma process. The probabilistic perturbation method was, then, employed for response moment computation. Example of a high-speed train bogie structure under time-variant load was employed for reliability and sensitivity analyses. Monte-Carlo simulation verifies the accuracy and efficiency of the proposed method in time-variant reliability analysis. The analysis results show that the reliability calculation considering the strength degradation and repeated load is closer to the practicality than the method of considering reliability calculation only. Its decreasing velocity is faster than the traditional reliability. The reliability sensitivity value changes over time. The analysis results provide a variation trend of reliability and sensitivity to design and usage of bogie frame.

Component-based Control Software Design for Flexible Manufacturing System

A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at improving the flexibility and reliability of the control system. On the basis of describing the concepts of component-based software and the distributed object technology, the architecture of the component-based software of the control system is suggested with the Common Object Request Broker Architecture (CORBA). And then, we propose a design method for component-based distributed & hierarchical flexible manufacturing control system. Finally, to verify the software design method, a prototype flexible manufacturing control system software has been implemented in Orbix 2.3c, VC + + 6. 0 and has been tested in connection with the physical flexible manufacturing shop at the WuXi Professional Institute.

Invertibility of Infinite-Dimensional Hamiltonian Operators and Its Application to Plate Bending Equation

The results of invertibility and spectrum for some different classes of infinite-dimensional Hayniltonian operators, after a brief classification by domains. are given. By the above results, the associated infinite-dimensional Hamiltonian operator with simple supported rectangular plate is proved to be invertible. Furthermore, by a certain compactness, we find that the spectrum of this operator consists only of isolated eigenvalues with finite geometric multiplicity, which will play a significant role in finding the analytical and numerical solution based on Hamiltonian system for a class of plate bending equations.

Statistical Analysis for the Birnbaum-Saunders Fatigue Life Distribution under Type-Ⅱ Bilateral Censoring and Multiply Type-II Censoring

In present paper, we obtain the inverse moment estimations of parameters of the Birnbaum-Saunders fatigue life distribution based on Type-Ⅱ bilateral censored samples and multiply Type-Ⅱ censored sample. In this paper, we also get the interval estimations of the scale parameters.

A robust tolerance design method based on process capability

This paper presents a method for robust tolerance design in terms of Process Capability Indices (PCI) . The component tolerance and the suitable manufacturing processes can be selected based on the real manufacturing context. The robustness of design feasibility under the effect of uncertainties is also discussed. A comparison between the results obtained by the proposed model and other methods indicates that robust and reliable tolerance can be obtained.

Optimal transmission lines assignment with maximal reliabilities in multi-source multi-sink multi-state computer network

The optimal transmission lines assignment with maximal reliabilities (OTLAMR) in the multi-source multi-sink multi-state computer network (MMMCN) was investigated. The OTLAMR problem contains two sub-problems: the MMMCN reliabilities evaluation and multi-objective transmission lines assignment optimization. First, a reliability evaluation with a transmission line assignment (RETLA) algorithm is proposed to calculate the MMMCN reliabilities under the cost constraint for a certain transmission lines configuration. Second, the non-dominated sorting genetic algorithm II (NSGA-II) is adopted to find the non-dominated set of the transmission lines assignments based on the reliabilities obtained from the RETLA algorithm. By combining the RETLA and the NSGA-II algorithms together, the RETLA-NSGA II algorithm is proposed to solve the OTLAMR problem. The experiments result show that the RETLA-NSGA II algorithm can provide efficient solutions in a reasonable time, from which the decision makers can choose the best solution based on their preferences and experiences.

The Implementation of Decision Support System for Realizing Effective Usability of CNC Operator Knowledge Capturing System

This article describes experimental evaluations of the authors＇ previous studies on the knowledge-based system （KBS） aimed at capturing and managing CNC （Computer Numerical Control） operator knowledge. The proposed KBS follow thinking steps of CNC operators when they assess machining parameters described in the CAM （Computer Aided Manufacturing） file before proceeding to CNC machining processes. Also, the decision support system equipped with expert system （ES） has been proposed to realize efficient knowledge capturing system and effective usability of captured knowledge, and to recommend actions and decisions. From the viewpoint of providing useful information, the KBS should be aware of context or constraints in which the user has to deal with. In this study, the usefulness of DSS （Decision Support System） and ES is experimentally evaluated using real cases. Comparing the results of the testing participants with and without the DSS and ES, the effectiveness and usefulness were demonstrated. In addition, it was shown that the proposed system is also useful to narrow the discrepancies between CAM and CNC operators, focusing on CNC milling operations.

Reduced Expanding Load Method for Simulation-Based Structural System Reliability Analysis

The current situation and difficulties of the structural system reliability analysis are mentioned. Then on the basis of Monte Carlo method and computer simulation, a new analysis method reduced expanding load method (RELM) is presented, which can be used to solve structural reliability problems effectively and conveniently. In this method, the uncertainties of loads, structural material properties and dimensions can be fully considered. If the statistic parameters of stochastic variables are known, by using this method, the probability of failure can be estimated rather accurately. In contrast with traditional approaches,RELM method gives a much better understanding of structural failure frequency and its reliability index β is more meaningful.To illustrate this new idea, a specific example is given.

A Parallel Quantum Algorithm for the Satisfiability Problem

In this paper we present a classical parallel quantum algorithm for the satisfiability problem. We have exploited the classical parallelism of quantum algorithms developed in [G.L. Long and L. Xiao, Phys. Rev. A 69 （2004） 052303], so that additional acceleration can be gained by using classical parallelism. The quantum algorithm first estimates the number of solutions using the quantum counting algorithm, and then by using the quantum searching algorithm, the explicit solutions are found.

Computational Performance of the High-Resolution Atmospheric Model FAMIL

This paper describes the model speed and model In/Out （I/O） efficiency of the high-resolution atmospheric general circulation model FAMIL （Finite- volume Atmospheric Model of IAP/LASG） at the National Supercomputer Center in Tianjin, China, on its Tianhe-lA supercomputer platform. A series of three- model-day simulations were carried out with standard Aqua Planet Experiment （APE） designed within FAMIL to obtain the time stamp for the calculation of model speed, simulation cost, and model 1/O efficiency. The results of the simulation demonstrate that FAMIL has remarkable scalability below 3456 and 6144 cores, and the lowest simulation costs are 1536 and 3456 cores for 12.5 km and 6.25 krn resolutions, respectively. Furthermore, FAMIL has excellent I/O scalability and an efficiency of more than 80% on 6 I/Os and more than 99% on 1536 I/Os.

Modeling and analysis of cloud computing system survivability based on Bio-PEPA

For the cloud computing system,combined wth the memory function and incomplete matching of the biological immune system,a formal modeling and analysis method of the cloud computing system survivability is proposed by analyzing the survival situation of critical cloud services.First,on the basis of the SAIR(susceptible,active,infected,recovered)model,the SEIRS(susceptible,exposed,infected,recovered,susceptible)model and the vulnerability diffusion model of the distributed virtual system,the evolution state of the virus is divided into six types,and then the diffusion rules of the virus in the service domain of the cloud computing system and the propagation rules between service domains are analyzee.Finally,on the basis of Bio-PEPA(biological-performance evaluation process algebra),the formalized modeling of the survivability evolution of critical cloud services is made,and the SLIRAS(susceptible,latent,infected,recovered,antidotal,susceptible)model is obtained.Based on the stochastic simulation and the ODEs(ordinary differential equations)simulation of the Bio-PEPA model,the sensitivity parameters of the model are analyzed from three aspects,namely,the virus propagation speed of inter-domain,recovery ability and memory ability.The results showthat the proposed model has high approximate fitting degree to the actual cloud computing system,and it can well reflect the survivable change of the system.

Assessment of Coronary Stents by 64-slice Computed Tomography: In-stent Lumen Visibility and Patency

Objective To assess lumen visibility of coronary stents by 64-slice computed tomography （CT） coronary angiography, and determine the value of 64-slice CT in non-invasive detecting of in-stent restenosis after coronary artery stent implantation. Methods Totally, 60 patients （54 males, aged 57.0±12.7 years） and /05 stents were investigated by 64-slice CT at a mean interval of 20.0±16.6 months after coronary stents implantation. Axial multi-planar reconstruction images of the stents and curved-planar reconstruction images through the median of the stents were reconstructed for evaluating stent image quality on a 5-point scale （1=excellent, 5=nonassessable）, and stent lumen diameter was detected. Conventional coronary angiography was performed in 18 patients, and 32 stents were evaluated. Results Image quality was good to excellent on average （score 1.71±0.76）. Stent image quality score was correlated to heart rate （r=0. 281, P〈0.01） and stent diameter （r=-0.480, P〈0.001）. All the stents were assessable in lumen visibility with an average visible lumen diameter percentage of 60.7%±13.6%. Visible lumen diameter percentage was correlated to heart rate （r=-0.193, P〈0.05）, stent diameter （r=0.403, P〈0.001）, and stent image quality score （r=-0.500, P〈0.001）. Visible lumen diameter percentage also varied depending on the stent type. In comparison with the conventional coronary angiography, 4 of 6 in-stent stenoses were correctly detected. The sensitivity and specificity for the detection of in-stent stenosis were 66.7% and 84.6%, respectively. Conclusions Using a 64-slice CT, the stent lumen is partly visible in most of the stents. And 64-slice CT may be useful in the assessment of stent patency.

The First Natural Ventilation Assessment in Building Design in Djibouti

With a sustained period of economic growth, rapidly growing populations and with more diversified economies Africa need sustainable development; hence the greater need for massive investments in energy. Sub-Saharan countries such as Djibouti have the potential and ability to harness their natural ventilation as a passive cooling system for designing new houses. The rapid expansion of the Djibouti city is affecting negatively the environment and the safety and comfort of its inhabitants. Proper atmospheric urban planning and management are key to making cities environmentally friendly and sustainable. Based on energy consumption, climate conditions in Djibouti and numerical analysis using Computational Fluid Dynamics （CFD）, it is apparent that the natural ventilation creates a thermally comfortable indoor environment in buildings during the cool season of the year. Measured wind data from two measurement systems are presented and discussed. Statistical analyses, wind rose, Weibull distribution were carried out to understand the natural ventilation characteristic, which is used for evolving the basic criteria for economic viability of building in the semi-arid climate of Djibouti. The study found that it is possible to benefit from natural ventilation in buildings during the cool season of the year.

Model of Land Suitability Evaluation Based on Computational Intelligence

A novel model of land suitability evaluation is built based on computational intelligence (CI). A fuzzy neural network (FNN) is constructed by the integration of fuzzy logic and artificial neural network (ANN). The structure and process of this network is clear. Fuzzy rules (knowledge) are expressed in the model explicitly, and can be self-adjusted by learning from samples. Genetic algorithm (GA) is employed as the learning algorithm to train the network, and makes the training of the model efficient. This model is a self-learning and self-adaptive system with a rule set revised by training.

A Dormant Multi-Controller Model for Software Defined Networking

In order to improve the scalability and reliability of Software Defined Networking(SDN),many studies use multiple controllers to constitute logically centralized control plane to provide load balancing and fail over.In this paper,we develop a flexible dormant multi-controller model based on the centralized multi-controller architecture.The dormant multi-controller model allows part of controllers to enter the dormant state under light traffic condition for saving system cost.Meanwhile,through queueing analysis,various performance measures of the system can be obtained.Moreover,we analyze the real traffic of China Education Network and use the results as the parameters of computer simulation and verify the effects of parameters on the system characteristics.Finally,a total expected cost function is established,and genetic algorithm is employed to find the optimal values of various parameters to minimize system cost for the deployment decision making.

Arithmetical Proof and Open Sentences

If the concept of proof （including arithmetic proof） is syntactically restricted to closed sentences （or their Godel numbers）, then the standard accounts of Godel＇s Incompleteness Theorems （and Lob＇s Theorem） are blocked. In these standard accounts （Godel＇s own paper and the exposition in Boolos＇ Computability and Logic are treated as exemplars）, it is assumed that certain formulas （notably so called ＂Godel sentences＂） containing the Godel number of an open sentence and an arithmetic proof predicate are closed sentences. Ordinary usage of the term ＂provable＂ （and indeed ＂unprovable＂） favors their restriction to closed sentences which unlike so-called open sentences can be true or false. In this paper the restricted form of provability is called strong provability or unprovability. If this concept of proof is adopted, then there is no obvious alternative path to establishing those theorems.