Accelerating Boyer–Moore searches on binary texts

The Boyer and Moore (BM) pattern matching algorithm is considered as one of the best, but its performance is reduced on binary data. Yet, searching in binary texts has important applications, such as compressed matching. The paper shows how, by means of some pre-computed tables, one may implement the BM algorithm also for the binary case without referring to bits, and processing only entire blocks such as bytes or words, thereby significantly reducing the number of comparisons. Empirical comparisons show that the new variant performs better than regular binary BM and even than BDM.     

极限量规设计中的公差原则适用问题

在极限量规设计中应遵循两个原则,一是泰勒原则,二是内缩原则。由于设计时未考虑公差原则的影响,如果用相同方法设计出来的极限量规来检测遵循不同公差原则的孔和轴,就可能发生误判报废现象。例如图１所示三种不同标注方式的轴,在不考虑公差原则时设计出来的极限量规是相同的,用于检测图１ｂ、ｃ所示轴时就会出现误判报废。图１　三种不同标注方式的轴在图１ａ中,尺寸公差和形位公差之间遵循包容原则。包容原则是使实际要素（单一的或关联的）处处不得超越由其最大实体尺寸确定的理想形状的包容面,同时使其局部实际尺寸不得超越其最…     

Electrical conductivity of poly(2-ethynylthiophene) and poly(2-ethynylfuran) doped with electron acceptors

The electrical conductivity of poly(2-ethynylthiophene) (P2ET) and poly(2-ethynylfuran) (P2EF) doped with electron acceptors such as iodine, bromine, and ferric chloride was investigated. The maximum electrical conductivities of P2ET and P2EF doped with iodine were 3 × 10^?4 Ω^?1 cm^?1 and 5 × 10^?3 Ω^?1 cm^?1, respectively. The electrical conductivity was nearly independent with increasing molecular weight. The spectral measurements such as UV-visible, infrared, electron paramagnetic resonance, thermogravimetric analysis, and X-ray diffraction were also carried out.     

Fire-resistant polymer nanocomposites based on metal oxides and hydroxides

The fire-resistant properties of polymer nanocomposites based on polyvinylchloride and nanoparticles of metal compounds were studied. The investigation of nanoparticles and the determination of their sizes were carried out using scanning electron microscopy (SEM). The size of the nanoparticles of magnesium hydroxide was equal to 50–100 nm; iron oxide, 25–50 nm; and zinc oxide, 50–100 nm. Another type of fire retardant used in the work was aminotrimethylenephosphonic acid ammonium salt (AMPAS); however, the total content of the different additives did not exceed 15%. The nanocomposites obtained were investigated by means of thermogravimetric analysis (TGA) and differential scanning calorimetry (DSC); in addition, the parameters of the oxygen index (OI) and carbon residue (CR) were measured for them. The lowest combustibility was exemplified by the composite material containing as the fire retardants a mixture of AMPAS and ZnO.     

Functional conservation among members of the Salmonella typhimurium InvA family of proteins

InvA, which is essential for Salmonella spp. to enter cultured epithelial cells, is a member of a family of proteins involved in either flagellar biosynthesis or the secretion of virulence determinants by a number of plant and mammalian pathogens. The predicted overall secondary structures of these proteins show significant similarities and indicate a modular construction with a hydrophobic amino-terminal half, consisting of six to eight potential transmembrane domains, and a hydrophilic carboxy terminus which is predicted to reside in the cytoplasm. These proteins can be aligned over the entire length of their polypeptide sequences, with the highest degree of homology found in the amino terminus and clusters of conserved residues in the carboxy terminus. We examined the functional conservation among members of this protein family by assessing the ability of MxiA of Shigella flexneri and LcrD of Yersinia pseudotuberculosis to restore invasiveness to an invA mutant of Salmonella typhimurium. We found that MxiA was able to complement the entry defect of the invA mutant strain of S. typhimurium. In contrast, LcrD failed to complement the same strain. However, a plasmid carrying a gene encoding a chimeric protein consisting of the amino terminus of LcrD and the carboxy terminus of InvA complemented the defect of the Salmonella invA mutant. These results indicate that the secretory systems in which these proteins participate are functionally similar and that the Salmonella and Shigella systems are very closely related. These data also suggest that determinants of specificity may be located at the carboxy termini of these proteins.     

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ

Debugging is one of the most time-consuming activities in program design. Work on automatic debugging has received a great deal of attention and there are a number of symposiums dedicated to this field. Automatic debugging is usually invoked when a test fails in one situation, but succeeds in another. For example, a test fails in one version of the program (or scheduler), but succeeds in another. Automatic debugging searches for the smallest difference that causes the failure. This is very useful when working to identify and fix the root cause of the bug.A new testing method instruments concurrent programs with schedule-modifying instructions to reveal concurrent bugs. This method is designed to increase the probability of concurrent bugs (such as races, deadlocks) appearing. This paper discusses integrating this new testing technology with automatic debugging. Instead of just showing that a bug exists, we can pinpoint its location by finding the minimal set of instrumentations that reveal the bug.In addition to explaining a methodology for this integration, we show an AspectJ-based implementation. We discuss the implementation in detail as it both demonstrates the advantage of the adaptability of open source tools and how our specific change can be used for other testing tools.