We show that the problem of checking careful synchronizability of partial finite automata is PSPACE-complete. Also the problems of checking D1-, D2-, and D3-directability of nondeterministic finite automata are PSPACE-complete; moreover, the restrictions of all these problems to automata with two input letters remain PSPACE-complete. 相似文献
Infrared and Raman spectra of atactic PMMA and infrared spectra of stereoregular PMMA and of its four deuterated derivatives , were measured. They were used to assign the bands of stretching and deformation vibrations of CH2, CCH3 and OCH3 groups in the infrared and Raman spectra and to discuss the effect of stereoregularity on these bands in the infrared spectra. 相似文献
AbstractEnsuring long-term functioning and efficient endothelialization of small diameter vascular grafts (VG) is an urgent task of tissue engineering. A solution may be to use electrospun VGs prepared from blends polyurethane with gelatin and/or bivalirudin. Here, properties of 3D matrices were explored by SEM, contact angle measurements and IR spectroscopy, and their interaction with blood and endothelial cells was studied. Introduction of gelatin into matrices enhanced adhesion and proliferation of endotheliocytes and enabled adhesion of platelets, whereas bivalirudin inhibited platelet adhesion while having no negative effect on the adhesion and proliferation of endothelial cells. 相似文献
Phase formation in the SrF2–LaF3 system was studied at temperatures ranging from 300°C to 450°C using nitrate flux. The solubility of LaF3 in SrF2 decreases with decreasing temperature. The equilibrium width of the solid solution region Sr1−xLaxF2+x at 400°C, it is 44.6 ± 0.4 mol% LaF3 (x = 0.446), at 350°C — 38.3 ± 0.7 mol% LaF3 (x = 0.383), and decreases almost to zero at 300°C. 相似文献
Thesauri and controlled vocabularies facilitate access to digital collections by explicitly representing the underlying principles
of organization. Translation of such resources into multiple languages is an important component for providing multilingual
access. However, the specificity of vocabulary terms in most thesauri precludes fully-automatic translation using general-domain
lexical resources. In this paper, we present an efficient process for leveraging human translations to construct domain-specific
lexical resources. This process is illustrated on a thesaurus of 56,000 concepts used to catalog a large archive of oral histories.
We elicited human translations on a small subset of concepts, induced a probabilistic phrase dictionary from these translations,
and used the resulting resource to automatically translate the rest of the thesaurus. Two separate evaluations demonstrate
the acceptability of the automatic translations and the cost-effectiveness of our approach.
The transient voltage response in both epitaxial and granular YBaCuO thin films to 80 ps pulses of YAGNd laser radiation of wavelength 0.63 and 1.54 m was studied. In the normal and resistive states both types of films demonstrate two components: a nonequilibrium picosecond component and a bolometric nanosecond one. The normalized amplitudes are almost the same for all films. In the superconducting state we observed a kinetic inductive response and two-component shape after integration. The normalized amplitude of the response in granular films is up to five orders of magnitude larger than in epitaxial films. We interpret the nonequilibrium response in terms of a suppression of the order parameter by the excess of quasiparticles followed by the change of resistance in the normal and resistive states or kinetic inductance in the superconducting state. The sharp rise of inductive response in granular films is explained both by a diminishing of the cross section for current percolation through the disordered network of Josephson weak links and by a decrease of condensate density in neighboring regions. 相似文献
Automated suspicious region segmentation has become a crucial need for the experts dealing with numerous images containing contrast-based lesions in MRI. Not all solutions, however, are based on mathematical infrastructure or providing adequate flexibility. On the other hand, segmentation of low-contrast lesions is very challenging for researchers; therefore, advanced magnetic resonance imaging (MRI) experiments are not commonly used in researches. Given the need of repeatability and adaptability, we present an automated framework for intelligent segmentation of brain lesions by wavelet imaging and fuzzy 2-means. Besides the general use of the wavelets in image processing, which is edge detection; we employed the second-order Ricker-type wavelets as the core of our novel imaging framework for low-contrast lesion segmentation. We firstly introduced the mathematical basis of several Ricker wavelet functions, which are in symmetrical form satisfying finite-energy and admissibility conditions of mother wavelets. Afterwards, we investigated three types of Ricker wavelets to apply on our clinical dataset containing susceptibility-weighted (SW) and minimum intensity projection SW (mIP-SW) images with barely-visible lesions. Finally, we adjusted the system parameters of the wavelets for optimization and post-segmentation by fuzzy 2-means. According to the preliminary results of the clinical experiments we conducted, our framework provided 93.53% average dice score (DSC) for SWI by Ricker-3 and 92.56% for mIP-SWI by Ricker-2 wavelet, as the main performance criteria of segmentation. Despite the lack of SWI or mIP-SWI experiments in the public datasets, we tested our framework with BraTS 2012 training sets containing real images with visible lesions and achieved an average of 88.13% DSC with 11.66% standard deviation by re-optimized framework for whole lesion segmentation, which is one of the highest among other relevant researches. In detail, 87.52% DSC for LG datasets with 11.32% standard deviation; while 88.34% DSC for HG datasets with 11.77% standard deviation are calculated.
A general model for determining the computational efficiency of a particular class of electro-optical systems is described. The model is an abstraction of parallel systems that use digital electronic processors and optical pipelined buses for communication. Minimum requirements in terms of area (volume for three-dimensional structures) and time necessary in order to solve a problem are obtained. Different applications are investigated, and a matching area-time upper bound is given for the barrel-shift problem, simulated on an array with reconfigurable optical pipelined buses. The types of problems for which these lower bounds seem to be realistic are described. 相似文献
The measure of similarity between objects is a very useful tool in many areas of computer science, including information retrieval.
SimRank is a simple and intuitive measure of this kind, based on a graph-theoretic model. SimRank is typically computed iteratively,
in the spirit of PageRank. However, existing work on SimRank lacks accuracy estimation of iterative computation and has discouraging
time complexity. In this paper, we present a technique to estimate the accuracy of computing SimRank iteratively. This technique
provides a way to find out the number of iterations required to achieve a desired accuracy when computing SimRank. We also
present optimization techniques that improve the computational complexity of the iterative algorithm from O(n4) in the worst case to min(O(nl), O(n3/ log2n)), with n denoting the number of objects, and l denoting the number object-to-object relationships. We also introduce a threshold sieving heuristic and its accuracy estimation
that further improves the efficiency of the method. As a practical illustration of our techniques, we computed SimRank scores
on a subset of English Wikipedia corpus, consisting of the complete set of articles and category links. 相似文献