Log in

Relevant bibliographies by topics / Nonmonotone techniques / Journal articles

Journal articles on the topic 'Nonmonotone techniques'

To see the other types of publications on this topic, follow the link: Nonmonotone techniques.

Author: Grafiati

Published: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Nonmonotone techniques.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Toint, Philippe L. "An Assessment of Nonmonotone Linesearch Techniques for Unconstrained Optimization." SIAM Journal on Scientific Computing 17, no. 3 (May 1996): 725–39. http://dx.doi.org/10.1137/s106482759427021x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Rapajić, Sanja, and Zoltan Pap. "Smoothing inexact Newton methods for NCP with various nonmonotone techniques." PAMM 13, no. 1 (November 29, 2013): 385–86. http://dx.doi.org/10.1002/pamm.201310188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Cui, Zhaocheng, Boying Wu, and Shaojian Qu. "Combining nonmonotone conic trust region and line search techniques for unconstrained optimization." Journal of Computational and Applied Mathematics 235, no. 8 (February 2011): 2432–41. http://dx.doi.org/10.1016/j.cam.2010.10.044.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Ahmadvand, M., M. Esmaeilbeigi, A. Kamandi, and F. M. Yaghoobi. "A novel hybrid trust region algorithm based on nonmonotone and LOOCV techniques." Computational Optimization and Applications 72, no. 2 (December 13, 2018): 499–524. http://dx.doi.org/10.1007/s10589-018-0051-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Xiao, Yi, and Eric King-Wah Chu. "A nonmonotone inexact Newton algorithm for nonlinear systems of equations." Journal of the Australian Mathematical Society. Series B. Applied Mathematics 36, no. 4 (April 1995): 460–92. http://dx.doi.org/10.1017/s0334270000007499.

Full text

Abstract:

AbstractIn this paper, an inexact Newton's method for nonlinear systems of equations is proposed. The method applies nonmonotone techniques and Newton's as well as inexact Newton's methods can be viewed as special cases of this new method. The method converges globally and quadratically. Some numerical experiments are reported for both standard test problems and an application in the computation of Hopf bifurcation points.

APA, Harvard, Vancouver, ISO, and other styles

6

Bianconcini, Tommaso, and Marco Sciandrone. "A cubic regularization algorithm for unconstrained optimization using line search and nonmonotone techniques." Optimization Methods and Software 31, no. 5 (March 17, 2016): 1008–35. http://dx.doi.org/10.1080/10556788.2016.1155213.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Li, Chengbo, Charles C. Mosher, and Yongchang Ji. "An amplitude-preserving deblending approach for simultaneous sources." GEOPHYSICS 84, no. 3 (May 1, 2019): V185—V196. http://dx.doi.org/10.1190/geo2018-0240.1.

Full text

Abstract:

A goal of simultaneous shooting is to acquire high-quality seismic data more efficiently, while reducing operational costs and improving acquisition efficiency. Effective sampling and deblending techniques are essential to achieve this goal. Inspired by compressive sensing (CS), we have formulated deblending as an analysis-based sparse inversion problem. We solve the inversion problem with an algorithm derived from the classic alternating direction method (ADM), associated with variable splitting and nonmonotone line-search techniques. In our testing, the analysis-based formulation together with nonmonotone ADM algorithm provides improved performance compared with synthesis-based approaches. A major issue for all deblending approaches is how to deal with real-world variations in seismic data caused by static shifts and amplitude imbalances. We evaluate the concept of including static and amplitude corrections obtained from surface-consistent solutions into the deblending formulation. We implement solutions that use a multistage inversion scheme to overcome the practical issues embedded in the field-blended data, such as strong coherent noise, statics, and shot-amplitude variations. The combination of these techniques gives high-fidelity deblending results for marine and land data. We use two field-data examples acquired with simultaneous sources to demonstrate the effectiveness of the proposed approach. Imaging and amplitude variation with offset quantitative analysis are carried out to indicate the amplitude-preserving character of deblended data with this methodology.

APA, Harvard, Vancouver, ISO, and other styles

8

Candito, Pasquale, Umberto Guarnotta, and Roberto Livrea. "Existence of two solutions for singular Φ-Laplacian problems." Advanced Nonlinear Studies 22, no. 1 (January 1, 2022): 659–83. http://dx.doi.org/10.1515/ans-2022-0037.

Full text

Abstract:

Abstract Existence of two solutions to a parametric singular quasi-linear elliptic problem is proved. The equation is driven by the Φ \Phi -Laplacian operator, and the reaction term can be nonmonotone. The main tools employed are the local minimum theorem and the Mountain pass theorem, together with the truncation technique. Global C 1 , τ {C}^{1,\tau } regularity of solutions is also investigated, chiefly via a priori estimates and perturbation techniques.

APA, Harvard, Vancouver, ISO, and other styles

9

Alzeley, Omar, Ehab M. Almetwally, Ahmed M. Gemeay, Huda M. Alshanbari, E. H. Hafez, and M. H. Abu-Moussa. "Statistical Inference under Censored Data for the New Exponential-X Fréchet Distribution: Simulation and Application to Leukemia Data." Computational Intelligence and Neuroscience 2021 (August 29, 2021): 1–16. http://dx.doi.org/10.1155/2021/2167670.

Full text

Abstract:

In reliability studies, the best fitting of lifetime models leads to accurate estimates and predictions, especially when these models have nonmonotone hazard functions. For this purpose, the new Exponential-X Fréchet (NEXF) distribution that belongs to the new exponential-X (NEX) family of distributions is proposed to be a superior fitting model for some reliability models with nonmonotone hazard functions and beat the competitive distribution such as the exponential distribution and Frechet distribution with two and three parameters. So, we concentrated our effort to introduce a new novel model. Throughout this research, we have studied the properties of its statistical measures of the NEXF distribution. The process of parameter estimation has been studied under a complete sample and Type-I censoring scheme. The numerical simulation is detailed to asses the proposed techniques of estimation. Finally, a Type-I censoring real-life application on leukaemia patient’s survival with a new treatment has been studied to illustrate the estimation methods, which are well fitted by the NEXF distribution among all its competitors. We used for the fitting test the novel modified Kolmogorov–Smirnov (KS) algorithm for fitting Type-I censored data.

APA, Harvard, Vancouver, ISO, and other styles

10

Ullrich, Paul A., Dharshi Devendran, and Hans Johansen. "Arbitrary-Order Conservative and Consistent Remapping and a Theory of Linear Maps: Part II." Monthly Weather Review 144, no. 4 (March 29, 2016): 1529–49. http://dx.doi.org/10.1175/mwr-d-15-0301.1.

Full text

Abstract:

Abstract This paper extends on the first part of this series by describing four examples of 2D linear maps that can be constructed in accordance with the theory of the earlier work. The focus is again on spherical geometry, although these techniques can be readily extended to arbitrary manifolds. The four maps include conservative, consistent, and (optionally) monotone linear maps (i) between two finite-volume meshes, (ii) from finite-volume to finite-element meshes using a projection-type approach, (iii) from finite-volume to finite-element meshes using volumetric integration, and (iv) between two finite-element meshes. Arbitrary order of accuracy is supported for each of the described nonmonotone maps.

APA, Harvard, Vancouver, ISO, and other styles

11

Babaie-Kafaki, Saman, and Saeed Rezaee. "A randomized nonmonotone adaptive trust region method based on the simulated annealing strategy for unconstrained optimization." International Journal of Intelligent Computing and Cybernetics 12, no. 3 (August 12, 2019): 389–99. http://dx.doi.org/10.1108/ijicc-12-2018-0178.

Full text

Abstract:

PurposeThe purpose of this paper is to employ stochastic techniques to increase efficiency of the classical algorithms for solving nonlinear optimization problems.Design/methodology/approachThe well-known simulated annealing strategy is employed to search successive neighborhoods of the classical trust region (TR) algorithm.FindingsAn adaptive formula for computing the TR radius is suggested based on an eigenvalue analysis conducted on the memoryless Broyden-Fletcher-Goldfarb-Shanno updating formula. Also, a (heuristic) randomized adaptive TR algorithm is developed for solving unconstrained optimization problems. Results of computational experiments on a set of CUTEr test problems show that the proposed randomization scheme can enhance efficiency of the TR methods.Practical implicationsThe algorithm can be effectively used for solving the optimization problems which appear in engineering, economics, management, industry and other areas.Originality/valueThe proposed randomization scheme improves computational costs of the classical TR algorithm. Especially, the suggested algorithm avoids resolving the TR subproblems for many times.

APA, Harvard, Vancouver, ISO, and other styles

12

De Bem Francisco, Juliano, and Tiara Martini. "Spectral Projected Gradient Method for the Procrustes Problem." TEMA (São Carlos) 15, no. 1 (July 12, 2014): 083. http://dx.doi.org/10.5540/tema.2014.015.01.0083.

Full text

Abstract:

We study and analyze a nonmonotone globally convergent method for minimization on closed sets. This method is based on the ideas from trust-region and Levenberg-Marquardt methods. Thus, the subproblems consists in minimizing a quadratic model of the objective function subject to the constraint set. We incorporate concepts of bidiagonalization and calculation of the SVD "with inaccuracy'' to improve the performance of the algorithm, since the solution of the subproblem by traditional techniques, which is required in each iteration, is computationally expensive. Other feasible methods are mentioned, including a curvilinear search algorithm and a minimization along geodesics algorithm. Finally, we illustrate the numerical performance of the methods when applied to the Orthogonal Procrustes Problem.<object id="c828aa19-8948-aba9-58e8-19af48b78cb9" width="0" height="0" type="application/gas-events-bb"></object>

APA, Harvard, Vancouver, ISO, and other styles

13

Muse, Abdisalam Hassan, Samuel Mwalili, Oscar Ngesa, Saad J. Almalki, and Gamal A. Abd-Elmougod. "Bayesian and Classical Inference for the Generalized Log-Logistic Distribution with Applications to Survival Data." Computational Intelligence and Neuroscience 2021 (October 11, 2021): 1–24. http://dx.doi.org/10.1155/2021/5820435.

Full text

Abstract:

The generalized log-logistic distribution is especially useful for modelling survival data with variable hazard rate shapes because it extends the log-logistic distribution by adding an extra parameter to the classical distribution, resulting in greater flexibility in analyzing and modelling various data types. We derive the fundamental mathematical and statistical properties of the proposed distribution in this paper. Many well-known lifetime special submodels are included in the proposed distribution, including the Weibull, log-logistic, exponential, and Burr XII distributions. The maximum likelihood method was used to estimate the unknown parameters of the proposed distribution, and a Monte Carlo simulation study was run to assess the estimators’ performance. This distribution is significant because it can model both monotone and nonmonotone hazard rate functions, which are quite common in survival and reliability data analysis. Furthermore, the proposed distribution’s flexibility and usefulness are demonstrated in a real-world data set and compared to its submodels, the Weibull, log-logistic, and Burr XII distributions, as well as other three-parameter parametric survival distributions, such as the exponentiated Weibull distribution, the three-parameter log-normal distribution, the three-parameter (or the shifted) log-logistic distribution, the three-parameter gamma distribution, and an exponentiated Weibull distribution. The proposed distribution is plausible, according to the goodness-of-fit, log-likelihood, and information criterion values. Finally, for the data set, Bayesian inference and Gibb’s sampling performance are used to compute the approximate Bayes estimates as well as the highest posterior density credible intervals, and the convergence diagnostic techniques based on Markov chain Monte Carlo techniques were used.

APA, Harvard, Vancouver, ISO, and other styles

14

Grippo, L., F. Lampariello, and S. Lucidi. "A Nonmonotone Line Search Technique for Newton’s Method." SIAM Journal on Numerical Analysis 23, no. 4 (August 1986): 707–16. http://dx.doi.org/10.1137/0723046.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Ou, Yigui, and Yuanwen Liu. "A memory gradient method based on the nonmonotone technique." Journal of Industrial & Management Optimization 13, no. 2 (2017): 857–72. http://dx.doi.org/10.3934/jimo.2016050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Huang, Shuai, Zhong Wan, and Xiaohong Chen. "A new nonmonotone line search technique for unconstrained optimization." Numerical Algorithms 68, no. 4 (May 2, 2014): 671–89. http://dx.doi.org/10.1007/s11075-014-9866-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Yu, Zhensheng, and Dingguo Pu. "A new nonmonotone line search technique for unconstrained optimization." Journal of Computational and Applied Mathematics 219, no. 1 (September 2008): 134–44. http://dx.doi.org/10.1016/j.cam.2007.07.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Hu, Ping, and Xu-Qing Liu. "A Nonmonotone Line Search Slackness Technique for Unconstrained Optimization." Journal of Optimization Theory and Applications 158, no. 3 (December 29, 2012): 773–86. http://dx.doi.org/10.1007/s10957-012-0247-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Gao, Jing, Jian Cao, and Yueting Yang. "A Derivative-Free Trust Region Algorithm with Nonmonotone Filter Technique for Bound Constrained Optimization." Mathematical Problems in Engineering 2018 (October 23, 2018): 1–13. http://dx.doi.org/10.1155/2018/5049027.

Full text

Abstract:

We propose a derivative-free trust region algorithm with a nonmonotone filter technique for bound constrained optimization. The derivative-free strategy is applied for special minimization functions in which derivatives are not all available. A nonmonotone filter technique ensures not only the trust region feature but also the global convergence under reasonable assumptions. Numerical experiments demonstrate that the new algorithm is effective for bound constrained optimization. Locally, optimal parameters with respect to overall computational time on a set of test problems are identified. The performance of the best choice of parameter values obtained by the algorithm we presented which differs from traditionally used values indicates that the algorithm proposed in this paper has a certain advantage for the nondifferentiable optimization problems.

APA, Harvard, Vancouver, ISO, and other styles

20

Han, Congying, Tingting Feng, Guoping He, and Tiande Guo. "Parallel Variable Distribution Algorithm for Constrained Optimization with Nonmonotone Technique." Journal of Applied Mathematics 2013 (2013): 1–7. http://dx.doi.org/10.1155/2013/295147.

Full text

Abstract:

A modified parallel variable distribution (PVD) algorithm for solving large-scale constrained optimization problems is developed, which modifies quadratic subproblemQPlat each iteration instead of theQPl0of the SQP-type PVD algorithm proposed by C. A. Sagastizábal and M. V. Solodov in 2002. The algorithm can circumvent the difficulties associated with the possible inconsistency ofQPl0subproblem of the original SQP method. Moreover, we introduce a nonmonotone technique instead of the penalty function to carry out the line search procedure with more flexibly. Under appropriate conditions, the global convergence of the method is established. In the final part, parallel numerical experiments are implemented on CUDA based on GPU (Graphics Processing unit).

APA, Harvard, Vancouver, ISO, and other styles

21

Diniz-Ehrhardt, M. A., J. M. Martínez, and M. Raydan. "A derivative-free nonmonotone line-search technique for unconstrained optimization." Journal of Computational and Applied Mathematics 219, no. 2 (October 2008): 383–97. http://dx.doi.org/10.1016/j.cam.2007.07.017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Grippo, L., F. Lampariello, and S. Lucidi. "A quasi-discrete Newton algorithm with a nonmonotone stabilization technique." Journal of Optimization Theory and Applications 64, no. 3 (March 1990): 495–510. http://dx.doi.org/10.1007/bf00939421.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Su, Ke, and Zhensheng Yu. "A modified SQP method with nonmonotone technique and its global convergence." Computers & Mathematics with Applications 57, no. 2 (January 2009): 240–47. http://dx.doi.org/10.1016/j.camwa.2008.05.030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Zhang, Hongchao, and William W. Hager. "A Nonmonotone Line Search Technique and Its Application to Unconstrained Optimization." SIAM Journal on Optimization 14, no. 4 (January 2004): 1043–56. http://dx.doi.org/10.1137/s1052623403428208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Huang, Shuai, Zhong Wan, and Jing Zhang. "An extended nonmonotone line search technique for large-scale unconstrained optimization." Journal of Computational and Applied Mathematics 330 (March 2018): 586–604. http://dx.doi.org/10.1016/j.cam.2017.09.026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Hatamian, Masoud, Mahmoud Paripour, Farajollah Mohammadi Yaghoobi, and Nasrin Karamikabir. "An Adaptive Nonmonotone Line Search Technique for Solving Systems of Nonlinear Equations." Journal of Mathematics 2021 (August 26, 2021): 1–6. http://dx.doi.org/10.1155/2021/7134561.

Full text

Abstract:

In this article, a new nonmonotone line search technique is proposed for solving a system of nonlinear equations. We attempt to answer this question how to control the degree of the nonmonotonicity of line search rules in order to reach a more efficient algorithm? Therefore, we present a novel algorithm that can avoid the increase of unsuccessful iterations. For this purpose, we show the robust behavior of the proposed algorithm by solving a few numerical examples. Under some suitable assumptions, the global convergence of our strategy is proved.

APA, Harvard, Vancouver, ISO, and other styles

27

Zhu, Detong. "Trust Region Methods With Nonmonotonic Back Tracking Technique for." Optimization 46, no. 1 (January 1999): 81–113. http://dx.doi.org/10.1080/02331939908844445.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Dwail, Hasan H., and Mushtak A. K. Shiker. "Using a trust region method with nonmonotone technique to solve unrestricted optimization problem." Journal of Physics: Conference Series 1664 (November 2020): 012128. http://dx.doi.org/10.1088/1742-6596/1664/1/012128.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Wang, Hua, Chao Gu, and Dingguo Pu. "A BFGS trust-region method with a new nonmonotone technique for nonlinear equations." Optimization 64, no. 4 (September 30, 2013): 981–92. http://dx.doi.org/10.1080/02331934.2013.840619.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Zhao, Lijuan. "Nonmonotone conic trust region method with line search technique for bound constrained optimization." RAIRO - Operations Research 53, no. 3 (June 24, 2019): 787–805. http://dx.doi.org/10.1051/ro/2017054.

Full text

Abstract:

In this paper, we propose a nonmonotone trust region method for bound constrained optimization problems, where the bounds are dealt with by affine scaling technique. Differing from the traditional trust region methods, the subproblem in our algorithm is based on a conic model. Moreover, when the trial point isn’t acceptable by the usual trust region criterion, a line search technique is used to find an acceptable point. This procedure avoids resolving the trust region subproblem, which may reduce the total computational cost. The global convergence and Q-superlinear convergence of the algorithm are established under some mild conditions. Numerical results on a series of standard test problems are reported to show the effectiveness of the new method.

APA, Harvard, Vancouver, ISO, and other styles

31

Wang, Zhujun, and Detong Zhu. "A nonmonotone filter line search technique for the MBFGS method in unconstrained optimization." Journal of Systems Science and Complexity 27, no. 3 (April 5, 2014): 565–80. http://dx.doi.org/10.1007/s11424-014-1081-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Morgenstern, Leora. "Inheritance comes of age: applying nonmonotonic techniques to problems in industry." Artificial Intelligence 103, no. 1-2 (August 1998): 237–71. http://dx.doi.org/10.1016/s0004-3702(98)00073-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

RAMAMOORTHY, C. V., DANIEL E. COOKE, and CHITTA BARAL. "MAINTAINING THE TRUTH OF SPECIFICATIONS IN EVOLUTIONARY SOFTWARE." International Journal on Artificial Intelligence Tools 02, no. 01 (March 1993): 15–31. http://dx.doi.org/10.1142/s0218213093000035.

Full text

Abstract:

In this paper we explore how methods of truth maintenance and nonmonotonic reasoning may be applied in the engineering of integrated, dynamic systems. In the life of a large system, it is not possible to foresee every significant event which may affect the behavior of the system. Truth maintenance techniques may prove useful in the production and maintenance of these large systems. We discuss how it is that the decision making aspects of a system which change. Both the information on which we base our decisions and our strategies for decision making change. We discuss truth maintenance with respect to preserving the models of specifications and the models of programs. We discuss nonmonotonic reasoning and the need to have nonmonotonic program specification languages for evolutionary programs. We also discuss the relation between knowledge combination and software development.

APA, Harvard, Vancouver, ISO, and other styles

34

Zhu, Detong. "A family of improved secant methods via nonmonotone curvilinear paths technique for equality constrained optimization." Journal of Computational and Applied Mathematics 136, no. 1-2 (November 2001): 73–97. http://dx.doi.org/10.1016/s0377-0427(00)00576-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Schlechta, Karl. "New techniques and completeness results for preferential structures." Journal of Symbolic Logic 65, no. 2 (June 2000): 719–46. http://dx.doi.org/10.2307/2586565.

Full text

Abstract:

AbstractPreferential structures are probably the best examined semantics for nonmonotonic and deontic logics: in a wider sense, they also provide semantical approaches to theory revision and update, and other fields where a preference relation between models is a natural approach. They have been widely used to differentiate the various systems of such logics, and their construction is one of the main subjects in the formal investigation of these logics. We introduce new techniques to construct preferential structures for completeness proofs. Since our main interest is to provide general techniques, which can be applied in various situations and for various base logics (propositional and other), we take a purely algebraic approach, which can be translated into logics by easy lemmata, in particular, we give a clean construction via indexing by trees for transitive structures, this allows us to simplify the proofs of earlier work by the author, and to extend the results given there.

APA, Harvard, Vancouver, ISO, and other styles

36

Alekseev, A. M., A. M. Konstantinov, and A. V. Pavlov. "Integration of logical and imaginative thinking by Fourier holography techniques: Implementation in nonmonotonic reasoning." Bulletin of the Russian Academy of Sciences: Physics 71, no. 2 (February 2007): 169–74. http://dx.doi.org/10.3103/s1062873807020062.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Mo, Jiangtao, Chunyan Liu, and Shicui Yan. "A nonmonotone trust region method based on nonincreasing technique of weighted average of the successive function values." Journal of Computational and Applied Mathematics 209, no. 1 (December 2007): 97–108. http://dx.doi.org/10.1016/j.cam.2006.10.070.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Li, Dan, and Detong Zhu. "An affine scaling interior trust-region method combining with nonmonotone line search filter technique for linear inequality constrained minimization." International Journal of Computer Mathematics 95, no. 8 (May 27, 2017): 1494–526. http://dx.doi.org/10.1080/00207160.2017.1329530.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Su, Ke, and Shibo Tang. "A MODIFIED SQP METHOD WITH NONMONOTONE LINE SEARCH TECHNIQUE WITHOUT A PENALTY OR A FILTER FOR NONLINEAR INEQUALITY CONSTRAINED OPTIMIZATION." Far East Journal of Applied Mathematics 95, no. 4 (November 12, 2016): 249–64. http://dx.doi.org/10.17654/am095040249.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Wang, Yun-juan, and De-tong Zhu. "A projected gradient method with nonmonotonic backtracking technique for solving convex constrained monotone variational inequality problem." Applied Mathematics-A Journal of Chinese Universities 23, no. 4 (December 2008): 463–74. http://dx.doi.org/10.1007/s11766-008-1887-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Eiter, T., M. Fink, T. Krennwallner, C. Redl, and P. Schüller. "Efficient HEX-Program Evaluation Based on Unfounded Sets." Journal of Artificial Intelligence Research 49 (February 26, 2014): 269–321. http://dx.doi.org/10.1613/jair.4175.

Full text

Abstract:

HEX-programs extend logic programs under the answer set semantics with external computations through external atoms. As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of answer set candidates needs special attention. To this end, we present an approach based on unfounded sets as a generalization of related techniques for ASP programs. The unfounded set detection is expressed as a propositional SAT problem, for which we provide two different encodings and optimizations to them. We then integrate our approach into a previously developed evaluation framework for HEX-programs, which is enriched by additional learning techniques that aim at avoiding the reconstruction of the same or related unfounded sets. Furthermore, we provide a syntactic criterion that allows one to skip the minimality check in many cases. An experimental evaluation shows that the new approach significantly decreases runtime.

APA, Harvard, Vancouver, ISO, and other styles

42

Hammond, C. R., and G. E. Johnson. "The Method of Alternate Formulations, an Automated Strategy for Optimal Design." Journal of Mechanisms, Transmissions, and Automation in Design 110, no. 4 (December 1, 1988): 459–63. http://dx.doi.org/10.1115/1.3258945.

Full text

Abstract:

The Method of Alternate Formulations (MAF) is a new method of global information extraction for constrained, nonlinear optimization problems. MAF automatically generates the complete set of candidate solution points for these optimization problems using a symbolic mathematics computer package. MAF uses ideas and techniques from both the Method of Optimal Design and Monotonicity Analysis to reduce and formulate the problem. The reduced problem is repeatedly reformulated to develop state equations and objective functions in terms of all possible variable partitions. Trend analysis on the decision variables in the objective functions yields global information about constraint activity at possible solution points. Trend analysis on all of the possible formulations of the objective functions yields the complete set of candidate solutions. The state equations in each partition of the variables are used to test the feasibility of these candidate solutions, and the best feasible point is selected as the optimum solution. MAF can be used as a preprocessor for standard numerical optimization techniques and can be extended to nonmonotonic problems.

APA, Harvard, Vancouver, ISO, and other styles

43

Gautam, Arvind K., and Avinash Chandra. "A computational study of Stillinger–Weber silicon at 0.75 GPa in supercooled region." International Journal of Modern Physics B 32, no. 30 (December 10, 2018): 1850330. http://dx.doi.org/10.1142/s0217979218503307.

Full text

Abstract:

We studied the liquid-liquid transition in supercooled silicon modeled by the Stillinger–Weber potential. The Isothermal Isobaric Monte Carlo (NPT-MC) simulation techniques were performed here to compute the free energy difference between the two liquid phases of silicon by Bennett Acceptance Ratio (BAR) method along with a reversible path at 0.75 GPa pressure and 970 K temperature. The thermodynamic properties as energy ([Formula: see text]) and density ([Formula: see text]) of the high-density liquid (HDL) phase have been computed here at different temperatures from 970–990 K. We also computed the entropy difference between the high-density liquid (HDL) and low-density liquid (LDL) phases which indicates that the glass transition temperature for the LDL phase is lower compared to the HDL phase. Further, by using the BAR method, we have computed the excess Gibbs free energy (G[Formula: see text]) of HDL phase with respect to the crystalline phase at different temperatures in the supercooled region of SW-Silicon potential model. Based on the slope of excess Gibbs free energy with respect to temperature (T), we found that the excess entropy (Se) of the HDL with respect to crystalline phase shows a nonmonotonic dependence on temperature at the liquid-liquid transition temperature of T[Formula: see text] = 970 K. Our results are in good agreement with the previous observation of a nonmonotonic dependence of the enthalpy on temperature in MD simulations, starting with the HDL phase at a temperature just above T[Formula: see text]. All these properties are useful to understand the phase behavior of supercooled silicon and can be applicable to identify the better quality of silicon for industrial uses.

APA, Harvard, Vancouver, ISO, and other styles

44

Wang, Peng, and Detong Zhu. "A derivative-free affine scaling trust region methods based on probabilistic models with new nonmonotone line search technique for linear inequality constrained minimization without strict complementarity." International Journal of Computer Mathematics 96, no. 4 (September 30, 2018): 663–91. http://dx.doi.org/10.1080/00207160.2018.1517208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

EITER, THOMAS, MICHAEL FINK, THOMAS KRENNWALLNER, and CHRISTOPH REDL. "Conflict-driven ASP solving with external sources." Theory and Practice of Logic Programming 12, no. 4-5 (July 2012): 659–79. http://dx.doi.org/10.1017/s1471068412000233.

Full text

Abstract:

AbstractAnswer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information,hex-programs extend programs withexternal atoms, which allow for a bidirectional communication between the logic program and external sources of computation (e.g., description logic reasoners and Web resources). Current solvers evaluatehex-programs by a translation to ASP itself, in which values of external atoms are guessed and verified after the ordinary answer set computation. This elegant approach does not scale with the number of external accesses in general, in particular in presence of nondeterminism (which is instrumental for ASP). In this paper, we present a novel, native algorithm for evaluatinghex-programs which uses learning techniques. In particular, we extend conflict-driven ASP solving techniques, which prevent the solver from running into the same conflict again, from ordinary tohex-programs. We show how to gain additional knowledge from external source evaluations and how to use it in a conflict-driven algorithm. We first target the uninformed case, i.e., when we have no extra information on external sources, and then extend our approach to the case where additional meta-information is available. Experiments show that learning from external sources can significantly decrease both the runtime and the number of considered candidate compatible sets.

APA, Harvard, Vancouver, ISO, and other styles

46

A.R., Zhangozha. "On techniques of expert systems on the example of the Akinator program." Artificial Intelligence 25, no. 2 (July 15, 2020): 7–13. http://dx.doi.org/10.15407/jai2020.02.007.

Full text

Abstract:

On the example of the online game Akinator, the basic principles on which programs of this type are built are considered. Effective technics have been proposed by which artificial intelligence systems can build logical inferences that allow to identify an unknown subject from its description (predicate). To confirm the considered hypotheses, the terminological analysis of definition of the program "Akinator" offered by the author is carried out. Starting from the assumptions given by the author's definition, the article complements their definitions presented by other researchers and analyzes their constituent theses. Finally, some proposals are made for the next steps in improving the program. The Akinator program, at one time, became one of the most famous online games using artificial intelligence. And although this was not directly stated, it was clear to the experts in the field of artificial intelligence that the program uses the techniques of expert systems and is built on inference rules. At the moment, expert systems have lost their positions in comparison with the direction of neural networks in the field of artificial intelligence, however, in the case considered in the article, we are talking about techniques using both directions – hybrid systems. Games for filling semantics interact with the user, expanding their semantic base (knowledge base) and use certain strategies to achieve the best result. The playful form of such semantics filling programs is beneficial for researchers by involving a large number of players. The article examines the techniques used by the Akinator program, and also suggests possible modifications to it in the future. This study, first of all, focuses on how the knowledge base of the Akinator program is built, it consists of incomplete sets, which can be filled and adjusted as a result of further iterations of the program launches. It is important to note our assumption that the order of questions used by the program during the game plays a key role, because it determines its strategy. It was identified that the program is guided by the principles of nonmonotonic logic – the assumptions constructed by the program are not final and can be rejected by it during the game. The three main approaches to acquisite semantics proposed by Jakub Šimko and Mária Bieliková are considered, namely, expert work, crowdsourcing and machine learning. Paying attention to machine learning, the Akinator program using machine learning to build an effective strategy in the game presents a class of hybrid systems that combine the principles of two main areas in artificial intelligence programs – expert systems and neural networks.

APA, Harvard, Vancouver, ISO, and other styles

47

Walhorn, Volker, Jan Paskarbeit, Heinrich Gotthard Frey, Alexander Harder, and Dario Anselmetti. "Distance dependence of near-field fluorescence enhancement and quenching of single quantum dots." Beilstein Journal of Nanotechnology 2 (September 29, 2011): 645–52. http://dx.doi.org/10.3762/bjnano.2.68.

Full text

Abstract:

In fluorescence microscopy and spectroscopy, energy transfer processes between single fluorophores and fluorophore quencher pairs play an important role in the investigation of molecular distances or orientations. At distances larger than about 3 nm these effects originate predominantly from dipolar coupling. As these experiments are commonly performed in homogenous media, effects at the interface boundaries can be neglected. Nevertheless, the combination of such assays with single-molecule manipulation techniques such as atomic force microscopy (AFM) requires a detailed understanding of the influence of interfaces on dipolar coupling effects. In the presented work we used a combined total internal reflection fluorescence microscopy (TIRFM)–AFM setup to elucidate this issue. We measured the fluorescence emission emanating from single quantum dots as a function of distance from the apex of a gold-coated cantilever tip. As well as fluorescence quenching at close proximity to the tip, we found a nonlinear and nonmonotonic distance dependence of the fluorescence emission. To confirm and interpret our findings we performed calculations on the basis of a simplified multiple multipole (MMP) approach, which successfully supports our experimental data. Moreover, we revealed and quantified the influence of interfering processes such as field enhancement confined at interface boundaries, mirror dipoles and (resonant) dipolar coupling.

APA, Harvard, Vancouver, ISO, and other styles

48

Pinkas, Gadi. "Symmetric Neural Networks and Propositional Logic Satisfiability." Neural Computation 3, no. 2 (June 1991): 282–91. http://dx.doi.org/10.1162/neco.1991.3.2.282.

Full text

Abstract:

Connectionist networks with symmetric weights (like Hopfield networks and Boltzmann Machines) use gradient descent to find a minimum for quadratic energy functions. We show equivalence between the problem of satisfiability in propositional calculus and the problem of minimizing those energy functions. The equivalence is in the sense that for any satisfiable well-formed formula (WFF) we can find a quadratic function that describes it, such that the set of solutions that minimizes the function is equal to the set of truth assignments that satisfy the WFF. We also show that in the same sense every quadratic energy function describes some satisfiable WFF. Algorithms are given to transform any propositional WFF into an energy function that describes it and vice versa. High-order models that use sigma-pi units are shown to be equivalent to the standard quadratic models with additional hidden units. An algorithm to convert high-order networks to low-order ones is used to implement a satisfiability problem-solver on a connectionist network. The results give better understanding of the role of hidden units and of the limitations and capabilities of symmetric connectionist models. The techniques developed for the satisfiability problem may be applied to a wide range of other problems, such as associative memories, finding maximal consistent subsets, automatic deduction, and even nonmonotonic reasoning.

APA, Harvard, Vancouver, ISO, and other styles

49

Shen, Jie, and Juan M. Lorenzo. "Seismic velocity inversion for patchy and homogeneous fluid-distribution conditions in shallow, unconsolidated sands." GEOPHYSICS 81, no. 5 (September 2016): U51—U60. http://dx.doi.org/10.1190/geo2015-0438.1.

Full text

Abstract:

Knowledge of homogeneous and heterogeneous fluid-distribution conditions in unconsolidated sediments is important for the selection of remediation techniques for groundwater contamination. However, for unconsolidated sediments, fluid-distribution conditions from laboratory tests on core samples may not be representative of in situ conditions. We have developed a seismic inversion method to determine in situ fluid-distribution conditions that involves inverting experimental seismic P- and S-wave velocities using Hertz-Mindlin and Biot-Gassmann models with different averaging methods (Wood and Hill averages) and different fluid-distribution condition assumptions. This method can determine whether seismic velocity-versus-depth profiles are better explained assuming heterogeneous or homogeneous saturation conditions in shallow ([Formula: see text] depth) unconsolidated sands. During the imbibition and drainage of shallow unconsolidated sands, we have observed nonmonotonic relationships between P-wave velocity and water levels (WLs) as well as an S-wave velocity and WLs that were consistent with other field and laboratory observations. This relationship can be explained by transitions between the lower Wood bound and the higher Hill bound. The transition is possibly caused by the alternation in the size of fluid patches between small and large during the imbibition and drainage. Inverted results can be verified by a good correlation (difference [Formula: see text]) between the inverted and measured water saturation using moisture sensors.

APA, Harvard, Vancouver, ISO, and other styles

50

Oyerinde, Adedayo, Akhil Datta-Gupta, and William J. Milliken. "Experiences With Streamline-Based Three-Phase History Matching." SPE Reservoir Evaluation & Engineering 12, no. 04 (August 5, 2009): 528–41. http://dx.doi.org/10.2118/109964-pa.

Full text

Abstract:

Summary Streamline-based assisted and automatic history matching techniques have shown great potential in reconciling high resolution geologic models to production data. However, a major drawback of these approaches has been incompressibility or slight compressibility assumptions that have limited applications to two-phase water/oil displacements only. Recent generalization of streamline models to compressible flow has greatly expanded the scope and applicability of streamline-based history matching, in particular for three-phase flow. In our previous work, we calibrated geologic models to production data by matching the water cut (WCT) and gas/oil ratio (GOR) using the generalized travel-time inversion (GTTI) technique. For field applications, however, the highly nonmonotonic profile of the GOR data often presents a challenge to this technique. In this work we present a transformation of the field production data that makes it more amenable to GTTI. Further, we generalize the approach to incorporate bottomhole flowing pressure during three-phase history matching. We examine the practical feasibility of the method using a field-scale synthetic example (SPE-9 comparative study) and a field application. The field case is a highly faulted, west-African reservoir with an underlying aquifer. The reservoir is produced under depletion with three producers, and over thirty years of production history. The simulation model has several pressure/volume/temperature (PVT) and special core analysis (SCAL) regions and more than 100,000 cells. The GTTI is shown to be robust because of its quasilinear properties as demonstrated by the WCT and GOR match for a period of 30 years of production history.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!