Search-based statistical structural testing(SBSST)is a promising technique that uses automated search to construct input distributions for statistical structural testing.It has been proved that a simple search algorit...Search-based statistical structural testing(SBSST)is a promising technique that uses automated search to construct input distributions for statistical structural testing.It has been proved that a simple search algorithm,for example,the hill-climber is able to optimize an input distribution.However,due to the noisy fitness estimation of the minimum triggering probability among all cover elements(Tri-Low-Bound),the existing approach does not show a satisfactory efficiency.Constructing input distributions to satisfy the Tri-Low-Bound criterion requires an extensive computation time.Tri-Low-Bound is considered a strong criterion,and it is demonstrated to sustain a high fault-detecting ability.This article tries to answer the following question:if we use a relaxed constraint that significantly reduces the time consumption on search,can the optimized input distribution still be effective in faultdetecting ability?In this article,we propose a type of criterion called fairnessenhanced-sum-of-triggering-probability(p-L1-Max).The criterion utilizes the sum of triggering probabilities as the fitness value and leverages a parameter p to adjust the uniformness of test data generation.We conducted extensive experiments to compare the computation time and the fault-detecting ability between the two criteria.The result shows that the 1.0-L1-Max criterion has the highest efficiency,and it is more practical to use than the Tri-Low-Bound criterion.To measure a criterion’s fault-detecting ability,we introduce a definition of expected faults found in the effective test set size region.To measure the effective test set size region,we present a theoretical analysis of the expected faults found with respect to various test set sizes and use the uniform distribution as a baseline to derive the effective test set size region’s definition.展开更多
The proper amount, the suitable structure and the tentative sources of urban infrastructure investment are the main focuses of urban policy makers. Firstly the amount of urban infrastructure investment is combinatory ...The proper amount, the suitable structure and the tentative sources of urban infrastructure investment are the main focuses of urban policy makers. Firstly the amount of urban infrastructure investment is combinatory forecasted based on historical statistic databases of China. Then the interrelationship of urban infrastructure investment with GNP and the whole society investment in fixed assets are analyzed to work out quantitative coherent relationship. Finally the paper analyses the present and the future development trends of investment structure and capital resource respectively.展开更多
Let∇be a linear connection on a 2n-dimensional almost anti-Hermitian manifold M equipped with an almost complex structure J,a pseudo-Riemannian metric g and the twin metric G=g◦J.In this paper,we first introduce three...Let∇be a linear connection on a 2n-dimensional almost anti-Hermitian manifold M equipped with an almost complex structure J,a pseudo-Riemannian metric g and the twin metric G=g◦J.In this paper,we first introduce three types of conjugate connections of linear connections relative to g,G and J.We obtain a simple relation among curvature tensors of these conjugate connections.To clarify the relations of these conjugate connections,we prove a result stating that conjugations along with an identity operation together act as a Klein group,which is analogue to the known result for the Hermitian case in[2].Secondly,we give some results exhibiting occurrences of Codazzi pairs which generalize parallelism relative to∇.Under the assumption that(∇,J)being a Codazzi pair,we derive a necessary and sufficient condition the almost anti-Hermitian manifold(M,J,g,G)is an anti-K¨ahler relative to a torsion-free linear connection∇.Finally,we investigate statistical structures on M under∇(∇is a J−parallel torsion-free connection).展开更多
An analytical model based on statistical energy analysis (SEA) is developed for the sound pressurelevels inside a box-like structure due to wide-band random excitation applied at a prescribed point on thestructure.So...An analytical model based on statistical energy analysis (SEA) is developed for the sound pressurelevels inside a box-like structure due to wide-band random excitation applied at a prescribed point on thestructure.Some conditions that the sound field inside cavity must adapts to SEA assumes are given. Thesound responses inside the box structure for four different input mobilities are predicted using the SEA modeland compared with expermental results On the basis of these results,possible ways of reducing the noise in-side the box structure are suggested.展开更多
Physical processes involving baryons could leave a non-negligible imprint on the distribution of cosmic matter.A series of simulated data sets at high resolution with identical initial conditions are employed for coun...Physical processes involving baryons could leave a non-negligible imprint on the distribution of cosmic matter.A series of simulated data sets at high resolution with identical initial conditions are employed for count-in-cell analysis,including one N-body pure dark matter run,one with only adiabatic gas and one with dissipative processes.Variances and higher order cumulants Sn of dark matter and gas are estimated.It is found that physical processes with baryons mainly affect distributions of dark matter at scales less than 1 h-1 Mpc.In comparison with the pure dark matter run,adiabatic processes alone strengthen the variance of dark matter by~10%at a scale of 0.1 h-1 Mpc,while the Sn parameters of dark matter only mildly deviate by a few percent.The dissipative gas run does not differ much from the adiabatic run in terms of variance for dark matter,but renders significantly different Sn parameters describing the dark matter,bringing about a more than 10%enhancement to S3 at 0.1 h-1 Mpc and z=0 and being even larger at a higher redshift.Distribution patterns of gas in two hydrodynamical simulations are quite different.Variance of gas at z=0 decreases by~30%in the adiabatic simulation but by~60%in the nonadiabatic simulation at 0.1 h-1 Mpc.The attenuation is weaker at larger scales but is still obvious at~10 h-1 Mpc.Sn parameters of gas are biased upward at scales 〈~4 h-1 Mpc,and dissipative processes show an~84%promotion at z=0 to S3 at 0.1 h-1 Mpc in contrast with the~7%change in the adiabatic run.The segregation in clustering between gas and dark matter could have dramatic implications on modeling distributions of galaxies and relevant cosmological applications demanding fine details of matter distribution in a strongly nonlinear regime.展开更多
We report the discovery of 64 luminous infrared galaxies, based on new observations of 20 square degrees from the LAMOST Complete Spectroscopic Survey of Pointing Area at the Southern Galactic Cap and the WISE 22 μm ...We report the discovery of 64 luminous infrared galaxies, based on new observations of 20 square degrees from the LAMOST Complete Spectroscopic Survey of Pointing Area at the Southern Galactic Cap and the WISE 22 μm catalog from the AllW ISE Data Release. Half of them are classified as late-type spirals and the others are classified as peculiar/compact galaxies. The peculiar/compact galaxies tend to exhibit higher luminosities and lower stellar masses. We also separate AGNs from HII galaxies in a simple way by examining LAMOST spectra. Those cases show that host AGNs are easily distinguished from others in the mid-infrared color-color diagrams.展开更多
In this paper,the problem of increasing information transfer authenticity is formulated.And to reach a decision,the control methods and algorithms based on the use of statistical and structural information redundancy ...In this paper,the problem of increasing information transfer authenticity is formulated.And to reach a decision,the control methods and algorithms based on the use of statistical and structural information redundancy are presented.It is assumed that the controllable information is submitted as the text element images and it contains redundancy,caused by statistical relations and non-uniformity probability distribution of the transmitted data.The use of statistical redundancy allows to develop the adaptive rules of the authenticity control which take into account non-stationarity properties of image data while transferring the information.The structural redundancy peculiar to the container of image in a data transfer package is used for developing new rules to control the information authenticity on the basis of pattern recognition mechanisms.The techniques offered in this work are used to estimate the authenticity in structure of data transfer packages.The results of comparative analysis for developed methods and algorithms show that their parameters of efficiency are increased by criterion of probability of undetected mistakes,labour input and cost of realization.展开更多
Background: The Composite International Diagnostic Interview-3.0 (CIDI-3.0) is a fully structured lay-administered diagnostic interview for the assessment of mental disorders according to ICD-10 and Diagnostic and ...Background: The Composite International Diagnostic Interview-3.0 (CIDI-3.0) is a fully structured lay-administered diagnostic interview for the assessment of mental disorders according to ICD-10 and Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition (DSM-IV) criteria. The aim of the study was to investigate the concurrent validity of the Chinese CIDI in diagnosing mental disorders in psychiatric settings. Methods: We recruited 208 participants, of whom 148 were patients from two psychiatric hospitals and 60 healthy people from communities. These participants were administered with CIDI by six trained lay interviewers and the Structured Clinical Interview for DSM-IV Axis I Disorders (SCID-I, gold standard) by two psychiatrists. Agreement between CIDI and SCID-I was assessed with sensitivity, specificity, positive predictive value and negative predictive value. Individual-level CIDI-SCID diagnostic concordance was evaluated using the area under the receiver operator characteristic curve and Cohen's K. Results: Substantial to excellent CIDI to SCID concordance was found for any substance use disorder (area under the receiver operator characteristic curve [AUC] = 0.926), any anxiety disorder (AUC = 0.807) and any mood disorder (AUC = 0.806). The concordance between the CIDI and the SCID for psychotic and eating disorders is moderate. However, for individual mental disorders, the CIDI-SCID concordance for bipolar disorders (AUC = 0.55) and anorexia nervosa (AUC = 0.50) was insufficient. Conclusions: Overall, the Chinese version of ClDI-3.0 has acceptable validity in diagnosing the substance use disorder, anxiety disorder and mood disorder among Chinese adult population. However, we should be cautious when using it for bipolar disorders and anorexia nervosa.展开更多
Today's emergence of nano-micro hybrid structures with almost biological complexity is of fundamental interest. Our ability to adapt intelligently to the challenges has ramifications all the way from fundamentally ch...Today's emergence of nano-micro hybrid structures with almost biological complexity is of fundamental interest. Our ability to adapt intelligently to the challenges has ramifications all the way from fundamentally changing research itself, over applications critical to future survival, to posing globally existential dangers. Touching on specific issues such as how complexity relates to the catalytic prowess of multi-metal compounds, we discuss the increasingly urgent issues in nanotechnology also very generally and guided by the motto 'Bio Is Nature's Nanotech'. Technology belongs to macro-evolution; for example integration with artificial intelligence (AI) is inevitable. Darwinian adaptation manifests as integration of complexity, and awareness of this helps in developing adaptable research methods that can find use across a wide range of research. The second half of this work reviews a diverse range of projects which all benefited from 'playful' programming aimed at dealing with complexity. The main purpose of reviewing them is to show how such projects benefit from and fit in with the general, philosophical approach, proving the relevance of the 'big picture' where it is usually disregarded.展开更多
基金Publication of this article in an open access journal was funded by the Portland State University Library’s Open Access Fund.
文摘Search-based statistical structural testing(SBSST)is a promising technique that uses automated search to construct input distributions for statistical structural testing.It has been proved that a simple search algorithm,for example,the hill-climber is able to optimize an input distribution.However,due to the noisy fitness estimation of the minimum triggering probability among all cover elements(Tri-Low-Bound),the existing approach does not show a satisfactory efficiency.Constructing input distributions to satisfy the Tri-Low-Bound criterion requires an extensive computation time.Tri-Low-Bound is considered a strong criterion,and it is demonstrated to sustain a high fault-detecting ability.This article tries to answer the following question:if we use a relaxed constraint that significantly reduces the time consumption on search,can the optimized input distribution still be effective in faultdetecting ability?In this article,we propose a type of criterion called fairnessenhanced-sum-of-triggering-probability(p-L1-Max).The criterion utilizes the sum of triggering probabilities as the fitness value and leverages a parameter p to adjust the uniformness of test data generation.We conducted extensive experiments to compare the computation time and the fault-detecting ability between the two criteria.The result shows that the 1.0-L1-Max criterion has the highest efficiency,and it is more practical to use than the Tri-Low-Bound criterion.To measure a criterion’s fault-detecting ability,we introduce a definition of expected faults found in the effective test set size region.To measure the effective test set size region,we present a theoretical analysis of the expected faults found with respect to various test set sizes and use the uniform distribution as a baseline to derive the effective test set size region’s definition.
文摘The proper amount, the suitable structure and the tentative sources of urban infrastructure investment are the main focuses of urban policy makers. Firstly the amount of urban infrastructure investment is combinatory forecasted based on historical statistic databases of China. Then the interrelationship of urban infrastructure investment with GNP and the whole society investment in fixed assets are analyzed to work out quantitative coherent relationship. Finally the paper analyses the present and the future development trends of investment structure and capital resource respectively.
文摘Let∇be a linear connection on a 2n-dimensional almost anti-Hermitian manifold M equipped with an almost complex structure J,a pseudo-Riemannian metric g and the twin metric G=g◦J.In this paper,we first introduce three types of conjugate connections of linear connections relative to g,G and J.We obtain a simple relation among curvature tensors of these conjugate connections.To clarify the relations of these conjugate connections,we prove a result stating that conjugations along with an identity operation together act as a Klein group,which is analogue to the known result for the Hermitian case in[2].Secondly,we give some results exhibiting occurrences of Codazzi pairs which generalize parallelism relative to∇.Under the assumption that(∇,J)being a Codazzi pair,we derive a necessary and sufficient condition the almost anti-Hermitian manifold(M,J,g,G)is an anti-K¨ahler relative to a torsion-free linear connection∇.Finally,we investigate statistical structures on M under∇(∇is a J−parallel torsion-free connection).
文摘An analytical model based on statistical energy analysis (SEA) is developed for the sound pressurelevels inside a box-like structure due to wide-band random excitation applied at a prescribed point on thestructure.Some conditions that the sound field inside cavity must adapts to SEA assumes are given. Thesound responses inside the box structure for four different input mobilities are predicted using the SEA modeland compared with expermental results On the basis of these results,possible ways of reducing the noise in-side the box structure are suggested.
基金supported by the National Natural Science Foundation of China(Grant Nos.10873035 and 11133003)JP acknowledges the One-Hundred-Talent fellowship of CASthe Shanghai Supercomputer Center with support from the National High Technology Research and Development Program of China(863 project,No.2006AA01A125)
文摘Physical processes involving baryons could leave a non-negligible imprint on the distribution of cosmic matter.A series of simulated data sets at high resolution with identical initial conditions are employed for count-in-cell analysis,including one N-body pure dark matter run,one with only adiabatic gas and one with dissipative processes.Variances and higher order cumulants Sn of dark matter and gas are estimated.It is found that physical processes with baryons mainly affect distributions of dark matter at scales less than 1 h-1 Mpc.In comparison with the pure dark matter run,adiabatic processes alone strengthen the variance of dark matter by~10%at a scale of 0.1 h-1 Mpc,while the Sn parameters of dark matter only mildly deviate by a few percent.The dissipative gas run does not differ much from the adiabatic run in terms of variance for dark matter,but renders significantly different Sn parameters describing the dark matter,bringing about a more than 10%enhancement to S3 at 0.1 h-1 Mpc and z=0 and being even larger at a higher redshift.Distribution patterns of gas in two hydrodynamical simulations are quite different.Variance of gas at z=0 decreases by~30%in the adiabatic simulation but by~60%in the nonadiabatic simulation at 0.1 h-1 Mpc.The attenuation is weaker at larger scales but is still obvious at~10 h-1 Mpc.Sn parameters of gas are biased upward at scales 〈~4 h-1 Mpc,and dissipative processes show an~84%promotion at z=0 to S3 at 0.1 h-1 Mpc in contrast with the~7%change in the adiabatic run.The segregation in clustering between gas and dark matter could have dramatic implications on modeling distributions of galaxies and relevant cosmological applications demanding fine details of matter distribution in a strongly nonlinear regime.
基金supported by the National Natural Science Foundation of China (Grant Nos. 11173030, 11225316, 11078017, 11303038, 10833006, 10978014 and 10773014)the National Basic Research Program of China (973 program, 2014CB845705 and 2012CB821800)+1 种基金the Key Laboratory of Optical Astronomy, National Astronomical Observatories,Chinese Academy of Sciencessupported by the Strategic Priority Research Program "The Emergence of Cosmological Structures" of the Chinese Academy of Sciences (Grant No. XDB09000000)
文摘We report the discovery of 64 luminous infrared galaxies, based on new observations of 20 square degrees from the LAMOST Complete Spectroscopic Survey of Pointing Area at the Southern Galactic Cap and the WISE 22 μm catalog from the AllW ISE Data Release. Half of them are classified as late-type spirals and the others are classified as peculiar/compact galaxies. The peculiar/compact galaxies tend to exhibit higher luminosities and lower stellar masses. We also separate AGNs from HII galaxies in a simple way by examining LAMOST spectra. Those cases show that host AGNs are easily distinguished from others in the mid-infrared color-color diagrams.
文摘In this paper,the problem of increasing information transfer authenticity is formulated.And to reach a decision,the control methods and algorithms based on the use of statistical and structural information redundancy are presented.It is assumed that the controllable information is submitted as the text element images and it contains redundancy,caused by statistical relations and non-uniformity probability distribution of the transmitted data.The use of statistical redundancy allows to develop the adaptive rules of the authenticity control which take into account non-stationarity properties of image data while transferring the information.The structural redundancy peculiar to the container of image in a data transfer package is used for developing new rules to control the information authenticity on the basis of pattern recognition mechanisms.The techniques offered in this work are used to estimate the authenticity in structure of data transfer packages.The results of comparative analysis for developed methods and algorithms show that their parameters of efficiency are increased by criterion of probability of undetected mistakes,labour input and cost of realization.
文摘Background: The Composite International Diagnostic Interview-3.0 (CIDI-3.0) is a fully structured lay-administered diagnostic interview for the assessment of mental disorders according to ICD-10 and Diagnostic and Statistical Manual of Mental Disorders, Fourth Edition (DSM-IV) criteria. The aim of the study was to investigate the concurrent validity of the Chinese CIDI in diagnosing mental disorders in psychiatric settings. Methods: We recruited 208 participants, of whom 148 were patients from two psychiatric hospitals and 60 healthy people from communities. These participants were administered with CIDI by six trained lay interviewers and the Structured Clinical Interview for DSM-IV Axis I Disorders (SCID-I, gold standard) by two psychiatrists. Agreement between CIDI and SCID-I was assessed with sensitivity, specificity, positive predictive value and negative predictive value. Individual-level CIDI-SCID diagnostic concordance was evaluated using the area under the receiver operator characteristic curve and Cohen's K. Results: Substantial to excellent CIDI to SCID concordance was found for any substance use disorder (area under the receiver operator characteristic curve [AUC] = 0.926), any anxiety disorder (AUC = 0.807) and any mood disorder (AUC = 0.806). The concordance between the CIDI and the SCID for psychotic and eating disorders is moderate. However, for individual mental disorders, the CIDI-SCID concordance for bipolar disorders (AUC = 0.55) and anorexia nervosa (AUC = 0.50) was insufficient. Conclusions: Overall, the Chinese version of ClDI-3.0 has acceptable validity in diagnosing the substance use disorder, anxiety disorder and mood disorder among Chinese adult population. However, we should be cautious when using it for bipolar disorders and anorexia nervosa.
基金jointly supported by the Natural Science Foundation of Jiangsu Province (No.2012729)the Innovation Fund of Jiangsu Province (No.BY2013072-06)the National Natural Science Foundation of China (No.51171078 and No.11374136)
文摘Today's emergence of nano-micro hybrid structures with almost biological complexity is of fundamental interest. Our ability to adapt intelligently to the challenges has ramifications all the way from fundamentally changing research itself, over applications critical to future survival, to posing globally existential dangers. Touching on specific issues such as how complexity relates to the catalytic prowess of multi-metal compounds, we discuss the increasingly urgent issues in nanotechnology also very generally and guided by the motto 'Bio Is Nature's Nanotech'. Technology belongs to macro-evolution; for example integration with artificial intelligence (AI) is inevitable. Darwinian adaptation manifests as integration of complexity, and awareness of this helps in developing adaptable research methods that can find use across a wide range of research. The second half of this work reviews a diverse range of projects which all benefited from 'playful' programming aimed at dealing with complexity. The main purpose of reviewing them is to show how such projects benefit from and fit in with the general, philosophical approach, proving the relevance of the 'big picture' where it is usually disregarded.