Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing ...Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.展开更多
Hyper-and multi-spectral image fusion is an important technology to produce hyper-spectral and hyper-resolution images,which always depends on the spectral response function andthe point spread function.However,few wo...Hyper-and multi-spectral image fusion is an important technology to produce hyper-spectral and hyper-resolution images,which always depends on the spectral response function andthe point spread function.However,few works have been payed on the estimation of the two degra-dation functions.To learn the two functions from image pairs to be fused,we propose a Dirichletnetwork,where both functions are properly constrained.Specifically,the spatial response function isconstrained with positivity,while the Dirichlet distribution along with a total variation is imposedon the point spread function.To the best of our knowledge,the neural network and the Dirichlet regularization are exclusively investigated,for the first time,to estimate the degradation functions.Both image degradation and fusion experiments demonstrate the effectiveness and superiority of theproposed Dirichlet network.展开更多
This paper is concerned with the following fourth-order three-point boundary value problem , where , we discuss the existence of positive solutions to the above problem by applying to the fixed point theory in cones a...This paper is concerned with the following fourth-order three-point boundary value problem , where , we discuss the existence of positive solutions to the above problem by applying to the fixed point theory in cones and iterative technique.展开更多
A point spread function(PSF) for the blurring component in positron emission tomography(PET) is studied. The PSF matrix is derived from the single photon incidence response function. A statistical iterative recons...A point spread function(PSF) for the blurring component in positron emission tomography(PET) is studied. The PSF matrix is derived from the single photon incidence response function. A statistical iterative reconstruction(IR) method based on the system matrix containing the PSF is developed. More specifically, the gamma photon incidence upon a crystal array is simulated by Monte Carlo(MC) simulation, and then the single photon incidence response functions are calculated. Subsequently, the single photon incidence response functions are used to compute the coincidence blurring factor according to the physical process of PET coincidence detection. Through weighting the ordinary system matrix response by the coincidence blurring factors, the IR system matrix containing the PSF is finally established. By using this system matrix, the image is reconstructed by an ordered subset expectation maximization(OSEM) algorithm. The experimental results show that the proposed system matrix can substantially improve the image radial resolution, contrast,and noise property. Furthermore, the simulated single gamma-ray incidence response function depends only on the crystal configuration, so the method could be extended to any PET scanner with the same detector crystal configuration.展开更多
In this article, we consider the singular points of meromorphic functions in the unit disk. We prove the second fundamental theorem for the Ahlfors-Shimizu's characteristic in the unit disk in terms of Nevanlinna the...In this article, we consider the singular points of meromorphic functions in the unit disk. We prove the second fundamental theorem for the Ahlfors-Shimizu's characteristic in the unit disk in terms of Nevanlinna theory in the angular domains, and obtain the existence of T-points and Hayman T-points dealing with small functions as target.展开更多
Let c be a nonzero constant and f(z) be a transcendental meromorphic function of finite order. Under some conditions, we study the relationships between the exponent of convergence of fixed points of f(z), its shift f...Let c be a nonzero constant and f(z) be a transcendental meromorphic function of finite order. Under some conditions, we study the relationships between the exponent of convergence of fixed points of f(z), its shift f(z +c) and forward differences △c^n f(z), n ∈ N^+.展开更多
In this paper, we study the normality criteria of meromorphic functions concerning shared fixed-points, we obtain: Let F be a family of meromorphic functions defined in a domain D. Let n, k ≥ 2 be two positive intege...In this paper, we study the normality criteria of meromorphic functions concerning shared fixed-points, we obtain: Let F be a family of meromorphic functions defined in a domain D. Let n, k ≥ 2 be two positive integers. For every f ∈ F, all of whose zeros have multiplicity at least (nk+2)/(n-1). If f(f(k))nand g(g(k))nshare z in D for each pair of functions f and g, then F is normal.展开更多
Let f be a transcendental meromorphic function and △f(z) = f(z + 1) -- f(z) A number of results are proved concerning the existences of zeros and fixed points of Af(z) and △f(z)/f(z) when f(z) is of o...Let f be a transcendental meromorphic function and △f(z) = f(z + 1) -- f(z) A number of results are proved concerning the existences of zeros and fixed points of Af(z) and △f(z)/f(z) when f(z) is of order σ(f)=1. Examples show that some of the results are sharp.展开更多
A set of point spread functions (PSF) has been obtained by means of Monte-Carlo simulation for asmall gamma camera with a pinhole collimator of various hole diameters. The FOV (field of view) of the camera isexpended ...A set of point spread functions (PSF) has been obtained by means of Monte-Carlo simulation for asmall gamma camera with a pinhole collimator of various hole diameters. The FOV (field of view) of the camera isexpended from 45 mm to 70 mm in diameter. The position dependence of the variances of PSF is presented, and theacceptance for the 140 kev gamma rays is explored. A phantom of 70 mm in diameter was experimentally imaged inthe camera with effective FOV of only 45 mm in diameter.展开更多
A simpler and improved utility approximate point scattered function for thin-film converters currently used in neutron photographic devices is proposed as a correction method to produce clearer,more realistic images.T...A simpler and improved utility approximate point scattered function for thin-film converters currently used in neutron photographic devices is proposed as a correction method to produce clearer,more realistic images.The validity of the model was demonstrated through a simulation experiment.Based on the results,an error analysis was carried out,certain corrections were made to the original model,and the final model achieved a very low relative error in the simulation experiment.The model can also be optimized for quantitative neutron photographic analysis using iterative algorithms to obtain realistic neutron photographic images more quickly.At the end of the article,the model is extended to consider the case of energy spectrum hardening by introducing a temperature correction parameter.展开更多
In this article, by using a fixed point theorem, we study following fourth-order three-point BVP:<br /> <img src="Edit_1ba3ab24-dbef-4a90-8fe1-dc466461e2e3.bmp" alt="" /> <span style...In this article, by using a fixed point theorem, we study following fourth-order three-point BVP:<br /> <img src="Edit_1ba3ab24-dbef-4a90-8fe1-dc466461e2e3.bmp" alt="" /> <span style="white-space:normal;">where </span><span style="white-space:nowrap;"><em>f</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;">∈</span></span> <em>C</em>([0,1]×[0,+∞),[0,+∞)) <span style="white-space:nowrap;"><em>α</em></span> <span style="white-space:nowrap;"><span style="white-space:nowrap;">∈</span> </span>[0,6)</span> and <img src="Edit_35fdded4-50be-48af-b9e0-1e97c719aeba.bmp" alt="" /> . The main point to emphasize is that although the corresponding Green’s function is changing signs, by applying the fixed point theorem, we can still obtain at least two positive solutions and degreased solutions under certain suitable conditions.展开更多
Based on the point spread function (PSF) theory, the side-lobe extension direction of the impulse response in bistatic synthetic aperture radar (BSAR) is analyzed in detail; in addition, the corresponding autofocu...Based on the point spread function (PSF) theory, the side-lobe extension direction of the impulse response in bistatic synthetic aperture radar (BSAR) is analyzed in detail; in addition, the corresponding autofocus in BSAR should be considered along iso-range direction, not the traditional azimuth resolution (AR) direction. The conclusion is verified by the computer simulation.展开更多
A foremost general contraction condition is introduced to prove the existence of fixed points for a self-mapping in a somplete metric space whose orbital diametral functions are closed. This condition covers not only ...A foremost general contraction condition is introduced to prove the existence of fixed points for a self-mapping in a somplete metric space whose orbital diametral functions are closed. This condition covers not only the Kannan type but also covers Reich, and Hardy and Roger's type contractive conditions. An example is given in its support.展开更多
In this paper the progress of document image Point Spread Function (PSF) estimation will be presented. At the beginning of the paper, an overview of PSF estimation methods will be introduced and the reason why knife...In this paper the progress of document image Point Spread Function (PSF) estimation will be presented. At the beginning of the paper, an overview of PSF estimation methods will be introduced and the reason why knife-edge input PSF estimation method is chosen will be explained. Then in the next section, the knife-edge input PSF estimation method will be detailed. After that, a simulation experiment is performed in order to verify the implemented PSF estimation method. Based on the simulation experiment, in next section we propose a procedure that makes automatic PSF estimation possible. A real document image is firstly taken as an example to illustrate the procedure and then be restored with the estimated PSF and Lucy-Richardson deconvolution method, and its OCR accuracy before and after deconvolution will be compared. Finally, we conclude the paper with the outlook for the future work.展开更多
In this paper, we study the uniqueness problems of entire and meromorphic functions concerning differential polynomials sharing fixed point and obtain some results which generalize the results due to Subhas S. Bhoosnu...In this paper, we study the uniqueness problems of entire and meromorphic functions concerning differential polynomials sharing fixed point and obtain some results which generalize the results due to Subhas S. Bhoosnurmath and Veena L. Pujari [1].展开更多
In this paper we deal with the existence of infinitely many critical points of the even functional I(u)=integral from n=Q to (F(x,u,Du))+integral from n=(?)Q to (G(x,u)), u∈W^(1,p)(Ω),where G(x, u)=integral from n=o...In this paper we deal with the existence of infinitely many critical points of the even functional I(u)=integral from n=Q to (F(x,u,Du))+integral from n=(?)Q to (G(x,u)), u∈W^(1,p)(Ω),where G(x, u)=integral from n=o to u (g(x,t)dt), under the weak structure conditions on F(x, u, q) by the Mountain Pass Lemma.展开更多
Some common fixed point results for mappings satisfying a quasi-contractive condition which involves altering distance functions are obtained in partially ordered complete cone metric spaces. A sufficient condition fo...Some common fixed point results for mappings satisfying a quasi-contractive condition which involves altering distance functions are obtained in partially ordered complete cone metric spaces. A sufficient condition for the uniqueness of common fixed point is proved. Also, an example is given to support our results.展开更多
Let fμ(z)=z·ep(z)+μ with p(z) being real coefficient polynomial and it's leading coefficient be positive, μ∈R+, when p(z) and μ satisfy two certain conditions, buried point set of fμ(z) contains unbound...Let fμ(z)=z·ep(z)+μ with p(z) being real coefficient polynomial and it's leading coefficient be positive, μ∈R+, when p(z) and μ satisfy two certain conditions, buried point set of fμ(z) contains unbounded positive real interval.展开更多
基金National Natural Science Foundation of China(No.61262010)
文摘Reusing test cases from existing test case library is quite common in the software testing field. Testing practice tells us that there is a strong relationship between the granularity of a function unit under testing and that of the test case. A function unit with small granularity usually results in the test cases with the same small granularity. Therefore a test case defined as the function point,i. e.,the smallest size function unit,was provided for the first time.Though test cases with smaller granularity usually have better reusability,the cost of accurately reusing and integrating such test cases is also higher. In order to balance the test case reusability and the cost of test case reuse,a novel test case reuse model based on the function point was proposed in this paper. In this model,a reusable test case for specification-based testing was defined and some reuse strategies and three formal reuse methods were given. Finally,the complete automatic software process was realized by a reusing generation tool. The new method has improved reuse accuracy,while greatly enhances the software productivity.
基金the Postdoctoral ScienceFoundation of China(No.2023M730156)the NationalNatural Foundation of China(No.62301012).
文摘Hyper-and multi-spectral image fusion is an important technology to produce hyper-spectral and hyper-resolution images,which always depends on the spectral response function andthe point spread function.However,few works have been payed on the estimation of the two degra-dation functions.To learn the two functions from image pairs to be fused,we propose a Dirichletnetwork,where both functions are properly constrained.Specifically,the spatial response function isconstrained with positivity,while the Dirichlet distribution along with a total variation is imposedon the point spread function.To the best of our knowledge,the neural network and the Dirichlet regularization are exclusively investigated,for the first time,to estimate the degradation functions.Both image degradation and fusion experiments demonstrate the effectiveness and superiority of theproposed Dirichlet network.
文摘This paper is concerned with the following fourth-order three-point boundary value problem , where , we discuss the existence of positive solutions to the above problem by applying to the fixed point theory in cones and iterative technique.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.Y4811H805C and 81101175)
文摘A point spread function(PSF) for the blurring component in positron emission tomography(PET) is studied. The PSF matrix is derived from the single photon incidence response function. A statistical iterative reconstruction(IR) method based on the system matrix containing the PSF is developed. More specifically, the gamma photon incidence upon a crystal array is simulated by Monte Carlo(MC) simulation, and then the single photon incidence response functions are calculated. Subsequently, the single photon incidence response functions are used to compute the coincidence blurring factor according to the physical process of PET coincidence detection. Through weighting the ordinary system matrix response by the coincidence blurring factors, the IR system matrix containing the PSF is finally established. By using this system matrix, the image is reconstructed by an ordered subset expectation maximization(OSEM) algorithm. The experimental results show that the proposed system matrix can substantially improve the image radial resolution, contrast,and noise property. Furthermore, the simulated single gamma-ray incidence response function depends only on the crystal configuration, so the method could be extended to any PET scanner with the same detector crystal configuration.
文摘In this article, we consider the singular points of meromorphic functions in the unit disk. We prove the second fundamental theorem for the Ahlfors-Shimizu's characteristic in the unit disk in terms of Nevanlinna theory in the angular domains, and obtain the existence of T-points and Hayman T-points dealing with small functions as target.
基金supported by the Natural Science Foundation of Guangdong Province in China(2016A030310106)the National Natural Science Foundation of China(11801110,11771090,11761035,11871260)the Foundation of Guangzhou Civil Aviation College(17X0419)
文摘Let c be a nonzero constant and f(z) be a transcendental meromorphic function of finite order. Under some conditions, we study the relationships between the exponent of convergence of fixed points of f(z), its shift f(z +c) and forward differences △c^n f(z), n ∈ N^+.
文摘In this paper, we study the normality criteria of meromorphic functions concerning shared fixed-points, we obtain: Let F be a family of meromorphic functions defined in a domain D. Let n, k ≥ 2 be two positive integers. For every f ∈ F, all of whose zeros have multiplicity at least (nk+2)/(n-1). If f(f(k))nand g(g(k))nshare z in D for each pair of functions f and g, then F is normal.
基金supported by the NSF of Shandong Province, China (ZR2010AM030)the NNSF of China (11171013 & 11041005)
文摘Let f be a transcendental meromorphic function and △f(z) = f(z + 1) -- f(z) A number of results are proved concerning the existences of zeros and fixed points of Af(z) and △f(z)/f(z) when f(z) is of order σ(f)=1. Examples show that some of the results are sharp.
基金Supported by the National Natural Science Foundation of China(10275063)
文摘A set of point spread functions (PSF) has been obtained by means of Monte-Carlo simulation for asmall gamma camera with a pinhole collimator of various hole diameters. The FOV (field of view) of the camera isexpended from 45 mm to 70 mm in diameter. The position dependence of the variances of PSF is presented, and theacceptance for the 140 kev gamma rays is explored. A phantom of 70 mm in diameter was experimentally imaged inthe camera with effective FOV of only 45 mm in diameter.
基金the College Foundation Project,the College of Engineering and Technology of Chengdu University of Technology(No.C122018029)。
文摘A simpler and improved utility approximate point scattered function for thin-film converters currently used in neutron photographic devices is proposed as a correction method to produce clearer,more realistic images.The validity of the model was demonstrated through a simulation experiment.Based on the results,an error analysis was carried out,certain corrections were made to the original model,and the final model achieved a very low relative error in the simulation experiment.The model can also be optimized for quantitative neutron photographic analysis using iterative algorithms to obtain realistic neutron photographic images more quickly.At the end of the article,the model is extended to consider the case of energy spectrum hardening by introducing a temperature correction parameter.
文摘In this article, by using a fixed point theorem, we study following fourth-order three-point BVP:<br /> <img src="Edit_1ba3ab24-dbef-4a90-8fe1-dc466461e2e3.bmp" alt="" /> <span style="white-space:normal;">where </span><span style="white-space:nowrap;"><em>f</em> <span style="white-space:nowrap;"><span style="white-space:nowrap;">∈</span></span> <em>C</em>([0,1]×[0,+∞),[0,+∞)) <span style="white-space:nowrap;"><em>α</em></span> <span style="white-space:nowrap;"><span style="white-space:nowrap;">∈</span> </span>[0,6)</span> and <img src="Edit_35fdded4-50be-48af-b9e0-1e97c719aeba.bmp" alt="" /> . The main point to emphasize is that although the corresponding Green’s function is changing signs, by applying the fixed point theorem, we can still obtain at least two positive solutions and degreased solutions under certain suitable conditions.
文摘Based on the point spread function (PSF) theory, the side-lobe extension direction of the impulse response in bistatic synthetic aperture radar (BSAR) is analyzed in detail; in addition, the corresponding autofocus in BSAR should be considered along iso-range direction, not the traditional azimuth resolution (AR) direction. The conclusion is verified by the computer simulation.
文摘A foremost general contraction condition is introduced to prove the existence of fixed points for a self-mapping in a somplete metric space whose orbital diametral functions are closed. This condition covers not only the Kannan type but also covers Reich, and Hardy and Roger's type contractive conditions. An example is given in its support.
文摘In this paper the progress of document image Point Spread Function (PSF) estimation will be presented. At the beginning of the paper, an overview of PSF estimation methods will be introduced and the reason why knife-edge input PSF estimation method is chosen will be explained. Then in the next section, the knife-edge input PSF estimation method will be detailed. After that, a simulation experiment is performed in order to verify the implemented PSF estimation method. Based on the simulation experiment, in next section we propose a procedure that makes automatic PSF estimation possible. A real document image is firstly taken as an example to illustrate the procedure and then be restored with the estimated PSF and Lucy-Richardson deconvolution method, and its OCR accuracy before and after deconvolution will be compared. Finally, we conclude the paper with the outlook for the future work.
文摘In this paper, we study the uniqueness problems of entire and meromorphic functions concerning differential polynomials sharing fixed point and obtain some results which generalize the results due to Subhas S. Bhoosnurmath and Veena L. Pujari [1].
文摘In this paper we deal with the existence of infinitely many critical points of the even functional I(u)=integral from n=Q to (F(x,u,Du))+integral from n=(?)Q to (G(x,u)), u∈W^(1,p)(Ω),where G(x, u)=integral from n=o to u (g(x,t)dt), under the weak structure conditions on F(x, u, q) by the Mountain Pass Lemma.
基金Supported by the National Natural Science Foundation of China(11271293)
文摘Some common fixed point results for mappings satisfying a quasi-contractive condition which involves altering distance functions are obtained in partially ordered complete cone metric spaces. A sufficient condition for the uniqueness of common fixed point is proved. Also, an example is given to support our results.
文摘Let fμ(z)=z·ep(z)+μ with p(z) being real coefficient polynomial and it's leading coefficient be positive, μ∈R+, when p(z) and μ satisfy two certain conditions, buried point set of fμ(z) contains unbounded positive real interval.