检索结果-南通市图书馆

Complexity of adaptive testing in scenarios defined extensionally

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2023年第3期17卷 11-28页

作者： Ismael RODRÍGUEZ David RUBIO Fernando RUBIO Dpto.Sistemas informáticos y Computación Facultad de InformáticaUniversidad Complutense de MadridMadrid 28040Spain Instituto de Tecnologías del Conocimiento Universidad Complutense de MadridMadrid 28040Spain Instituto de Biomecánica de Valencia.Universitat Politècnica de València València 46022Spain

In this paper,we consider a testing setting where the set of possible definitions of the Implementation Under Test(IUT),as well as the behavior of each of these definitions in all possible interactions,are extensionally defined,i.e.,on an element-by-element and case-by-case *** this setting,the problem of finding the minimum testing strategy such that collected observations will necessarily let us decide whether the IUT is correct or not(i.e.,whether it necessarily belongs to the set of possible correct definitions or not)is studied in four possible problem variants:with or without non-determinism;and with or without more than one possible definition in the sets of possible correct and incorrect *** computational complexity of these variants is studied,and properties such as PSPACE-completeness and Log-APX-hardness are identified.

关键词： formal testing adaptive testing computational complexity PSPACE-completeness approximation hardness

Do Rules and Patterns Affect design Maintainability?

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2009年第2期24卷 262-272页

作者： Javier Garzás Félix García Mario Piattini Kybele Consulting Madrid Spain Department of Information Technologies and Systems-Escuela Superior de Informáica University of Castilla-La Mancha Alarcos Research Group-Institute of information Technologies and Systems department of information Technologies and Systems-Escuela Superior de informáica University of Castilla-La Mancha

At the present time, best rules and patterns have reached a zenith in popularity and diffusion, thanks to the software community＇s efforts to discover, classify and spread knowledge concerning all types of rules and patterns. Rules and patterns are useful elements, but many features remain to be studied if we wish to apply them in a rational manner. The improvement in quality that rules and patterns can inject into design is a key issue to be analyzed, so a complete body of empirical knowledge dealing with this is therefore necessary. This paper tackles the question of whether design rules and patterns can help to improve the extent to which designs are easy to understand and modify. An empirical study, composed of one experiment and a replica, was conducted with the aim of validating our conjecture. The results suggest that the use of rules and patterns affect the understandability and modifiability of the design, as the diagrams with rules and patterns are more difficult to understand than non-rule/pattern versions and more effort is required to carry out modifications to designs with rules and patterns.

关键词： design patterns and rules maintainability software quality object-oriented design

Application of the extended Fourier amplitude sensitivity testing(FAST)method to inflated,axial stretched,and residually stressed cylinders

在线全文

学校读者我要写书评

暂无评论

Applied Mathematics and Mechanics(English Edition) 2023年第12期44卷 2139-2162页

作者： H.ASGHARI H.TOPOL B.MARKERT J.MERODIO departamento de Matemática Aplicada a las TIC ETS de Ingenier a de Sistemas InformáticosUniversidad Politécnica de MadridMadrid 28031Spain Institute of General Mechanics RWTH Aachen UniversityAachen 52062Germany

This paper is dedicated to applying the Fourier amplitude sensitivity test(FAST)method to the problem of mixed extension and inflation of a circular cylindrical tube in the presence of residual *** metafunctions and the Ishigami function are considered in the sensitivity analysis(SA).The effects of the input variables on the output variables are investigated,and the most important parameters of the system under the applied pressure and axial force such as the axial stretch and the azimuthal stretch are determined.

关键词： sensitivity analysis(SA) Fourier amplitude sensitivity test(FAST)method cylindrical inflation nonlinear elasticity

Skeletons of 3D Surfaces Based on the Laplace-Beltrami Operator Eigenfunctions

在线全文

学校读者我要写书评

暂无评论

Applied Mathematics 2015年第2期6卷 414-420页

作者： Adolfo Horacio Escalona-Buendia Lucila Ivonne Hernández-Martínez Rarafel Martínez-Vega Julio Roberto Murillo-Torres Omar Nieto-Crisóstomo academia de informá tica Universidad Aut&oacute noma de la Ciudad de Mé xico Mexico City Mexico academia de Matemá ticas Universidad Aut&oacute noma de la Ciudad de Mé xico Mexico City Mexico

In this work we describe the algorithms to construct the skeletons, simplified 1D representations for a 3D surface depicted by a mesh of points, given the respective eigenfunctions of the Discrete Laplace-Beltrami Operator (LBO). These functions are isometry invariant, so they are independent of the object’s representation including parameterization, spatial position and orientation. Several works have shown that these eigenfunctions provide topological and geometrical information of the surfaces of interest [1] [2]. We propose to make use of that information for the construction of a set of skeletons, associated to each eigenfunction, which can be used as a fingerprint for the surface of interest. The main goal is to develop a classification system based on these skeletons, instead of the surfaces, for the analysis of medical images, for instance.

关键词： Skeleton Centerline Discrete Laplace-Beltrami Operator Eigenfunctions Graph Theory

Addressing the CQI feedback delay in 5G/6G networks via machine learning and evolutionary computing

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Intelligent and Converged Networks 2022年第3期3卷 271-281页

作者： Andson Balieiro Kelvin Dias Paulo Guarda Centro de informática(CIn) Universidade Federal de PernambucoRecife 50740-560Brasil Motorola Mobility Mogi Mirim 13800-206Brazil

5G networks apply adaptive modulation and coding according to the channel condition reported by the user in order to keep the mobile communication ***,the delay incurred by the feedback may make the channel quality indicator(CQI)*** paper addresses this issue by proposing two approaches,one based on machine learning and another on evolutionary computing,which considers the user context and signal-to-interference-plus-noise ratio(SINR)besides the delay length to estimate the updated SINR to be mapped into a CQI *** proposals are designed to run at the user equipment(UE)side,neither requiring any change in the signalling between the base station(gNB)and UE nor overloading the *** are evaluated in terms of mean squared error by adopting 5G network simulation data and the results show their high accuracy and feasibility to be employed in 5G/6G systems.

关键词： channel quality indicator(CQI)feedback delay 5G/6G networks machine learning evolutionary computing

A new treatment for sarcoma extracted from combination of miRNA deregulation and gene association rules

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Signal Transduction and Targeted Therapy 2023年第7期8卷 3221-3224页

作者： JoséManuel García-Heredia Marco Pérez Eva M.Verdugo-Sivianes María M.Martínez-Ballesteros Sara M.Ortega-Campos Amancio Carnero Instituto de Biomedicina de Sevilla(IBIS)/HUVR/Universidad de Sevilla/CSIC SevillaSpain departamento de Bioquímica Vegetal y Biología Molecular Universidad de SevillaSevillaSpain CIBERONC IS Carlos IIIMadridSpain departamento de Anatomía Patológica HUVRSevillaSpain departamento de Lenguajes y Sistemas informáticos Escuela Superior de Ingeniería InformáticaUniversidad de SevillaSevillaSpain

dear Editor Sarcomas are a group of heterogeneous mesodermic rare tumors with high incidence in children,reaching up to 20%of *** treatment for sarcomas is surgical resection,and only some patients are treated with ch... 详细信息

关键词： neoplasms chemotherapy treatment

Extremal Coalitions for Influence Games Through Swarm Intelligence-Based Methods

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2022年第3期70卷 6305-6321页

作者： Fabián Riquelme Rodrigo Olivares Francisco Munoz Xavier Molinero Maria Serna Escuela de Ingeniería informática Universidad de ValparaísoValparaísoChile Computer Science department Universitat Politècnica de CatalunyaBarcelonaSpain Mathematics department Universitat Politècnica de CatalunyaTerrassaSpain

An influence game is a simple game represented over an influence graph(i.e.,a labeled,weighted graph)on which the influence spread phenomenon is *** games allow applying different properties and parameters coming from cooperative game theory to the contexts of social network analysis,decision-systems,voting systems,and collective *** exact calculation of several of these properties and parameters is computationally hard,even for a small number of *** examples of these parameters are the length and the width of a *** length of a game is the size of its smaller winning coalition,while the width of a game is the size of its larger losing *** parameters are relevant to know the levels of difficulty in reaching agreements in collective decision-making *** the above,new bio-inspired metaheuristic algorithms have recently been developed to solve the NP-hard influence maximization problem in an efficient and approximate way,being able to find small winning coalitions that maximize the influence spread within an influence *** this article,we apply some variations of this solution to find extreme winning and losing coalitions,and thus efficient approximate solutions for the length and the width of influence *** a case study,we consider two real social networks,one formed by the 58 members of the European Union Council under nice voting rules,and the other formed by the 705 members of the European Parliament,connected by political *** are promising and show that it is feasible to generate approximate solutions for the length and width parameters of influence games,in reduced solving time.

关键词： Influence game influence spread collective behavior swarm intelligence bio-inspired computing

A Characterization of Generalized Monotone Normed Cones

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2007年第6期23卷 1067-1074页

作者： S.ROMAGUERA E.A.SNCHEZ-PREZ O.VALERO Escuela de Caminos Departamento de Matemdtiea Aplicada Universidad Politdcnica de Valencia46071 ValenciaSpain departamento de Ciencias Matématicas e informática Universidad de las Islas BalearesEdificio Anselm Turmeda07122 PalmaBalearesSpain

Let C be a cone and consider a quasi-norm p defined on it. We study the structure of the couple （C, p） as a topological space in the case where the function p is also monotone. We characterize when the topology of a quasi-normed cone can be defined by means of a monotone norm. We also define and study the dual cone of a monotone normed cone and the monotone quotient of a general cone. We provide a decomposition theorem which allows us to write a cone as a direct sum of a monotone subcone that is isomorphic to the monotone quotient and other particular subcone.

关键词： quasi-norm monotone cones

A DYNAMICS APPROACH TO THE COMPUTATION OF EIGENVECTORS OF MATRICES

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2005年第6期23卷 657-672页

作者： S. Jiménez L. Vézquez Colaborador honorifico Dept. Matemátiea AplicadaUniversidad Complutense de Madrid 28040 Madrid Spain dept. Matemdtica Aplicada Facultad de Informática Universidad Complutense de Madrid 28040 Madrid Spain Centro de Astrobiologla CSIC/INTA 28850 Torrejón de Ardoz Madrid Spain

We construct a family of dynamical systems whose evolution converges to the eigenvectors of a general square matrix, not necessarily symmetric. We analyze the convergence of those systems and perform numerical tests. ... 详细信息

关键词： Smallest real eigenvalue Iterative method