Reusing Test Cases Based on the Function Point

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.

Existence of Monotone Positive Solution for a Fourth-Order Three-Point BVP with Sign-Changing Green’s Function

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.

基于GCR-PointPillars的点云三维目标检测

针对PointPillars算法中存在识别与定位不准确的问题,提出一种GCR-PointPillars三维目标检测模型,该模型首先在Pillar特征网络中引入全局注意力机制,学习点云特征之间的相关性,增强伪图特征的全局信息交互能力;其次,基于ConvNeXt V2重新构建特征提取网络,提取更加丰富的语义信息,从而有效提升网络的学习能力;最后引入RDIoU来联合引导分类和回归任务,有效缓解分类和回归不一致的问题。文中模型在KITTI数据集中与基准网络相比,汽车类别在简单、中等、困难三种难度级别下分别提高了2.69%、4.29%、4.84%,并且推理速度达到25.8 f/s。实验结果表明,文中模型在保持实时性速度的同时,检测效果也有明显提升。

Effect of Lumbar Spinal Point Injection on Sitting Function in Children with Cerebral Palsy

Objective: To observe the effect of lumbar spinal point injection on sitting function in children with cerebral palsy. Method: Sixty-two children with post-confirmed cerebral palsy were randomly divided into control group and treatment group, 31 each. The control group was given conventional rehabilitation treatment, and the treatment group was given lumbar chiropspinal acupoint injection on the basis of the treatment method of the control group. After 3 consecutive courses of treatment, the sitting score of the two groups before and after treatment (GMFM88) was used to evaluate the sitting score before and after treatment. Outcome: Before treatment, the two groups were evaluated and the differences were not statistically significant (p > 0.05), which was comparable. The two groups (GMFM88) after treatment had significantly increased the differential values, and the difference was statistically significant compared with the same group before treatment (p Conclusion: Conventional rehabilitation combined with lumbar spinal point injection can effectively improve the sitting motor function of children with cerebral palsy.

PET image reconstruction with a system matrix containing point spread function derived from single photon incidence response

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.

T-AND HAYMAN T-POINTS OF MEROMORPHIC FUNCTIONS FOR SMALL FUNCTIONS IN THE UNIT DISK

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.

ON FIXED POINTS OF MEROMORPHIC FUNCTIONS f(z) AND f(z+c),△_cf(z)

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^+.

ZEROS AND FIXED POINTS OF DIFFERENCE OPERATORS OF MEROMORPHIC FUNCTIONS

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.

Thin-film approximate point scattered function and its application to neutron radiography

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.

Point spread functions for a small gamma camera with pinhole collimator

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.

Existence of Positive Solutions for a Fourth-Order Three-Point BVP with Sign-Changing Green’s Function

In this article, by using a fixed point theorem, we study following fourth-order three-point BVP: where f ∈ C([0,1]×[0,+∞),[0,+∞)) α ∈ [0,6) and . 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.

Bistatic Synthetic Aperture Radar Point Spread Function Characteristic Analysis

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.

FIXED POINT WITH ORBITAL DIAMETRAL FUNCTION

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.

Generalization of Uniqueness of Meromorphic Functions Sharing Fixed Point

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].

ON THE EXISTENCE OF INFINITELY MANY CRITICAL POINTS OF THE EVEN FUNCTIONAL integral from n=Q to (F(x,u,Du))+integral from n=■Q to (G(x,u))

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.

MINIMAX THEOREMS FOR SUBCONVEXLIKEFUNCTIONS WITH APPLICATIONS TO SADDLEPOINT PROBLEMS

In this paper some minimax theorems are presented for subconvexlike functions. These are then applied to obtain saddle point theorems.

Common Fixed Point Results for Quasi-contractions Involving Altering Distance Functions in Ordered Cone Metric Spaces

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.

Finite Type Transcendental Entire Functions Whose Buried Points Set Contains Unbounded Positive Real Interval

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.

Explicit Proof of Equivalence of Two—Point Functions in the Two Formalisms of Thermal Field Theory

We give an explicit proof of equivalence of the two-point function to one-loop order in the two formalisms of thermal λ3 theory based on the expressions in the real-time formalism and indicate that the key point of completing the proof is to separate carefully the imaginary part of the zero-temperature loop integralfrom relevant expressions and this fact will certainly be very useful for examination of the equivalent problem of two formalisms of thermal field theory in other theories, including the one of the propagators for scalar bound states in an NJL model.

Polynomial-time interior-point algorithm based on a local self-concordant finite barrier function

The choice of self-concordant functions is the key to efficient algorithms for linear and quadratic convex optimizations, which provide a method with polynomial-time iterations to solve linear and quadratic convex optimization problems. The parameters of a self-concordant barrier function can be used to compute the complexity bound of the proposed algorithm. In this paper, it is proved that the finite barrier function is a local self-concordant barrier function. By deriving the local values of parameters of this barrier function, the desired complexity bound of an interior-point algorithm based on this local self-concordant function for linear optimization problem is obtained. The bound matches the best known bound for small-update methods.