NSTL国家科技图书文献中心

1. Application of De La Vallée Poussin Type Inequalities to Half-Linear Euler Type Equations NSTL国家科技图书文献中心

Patikova, Zuzana - 《Mathematical Methods in the Applied Sciences》 - 2025,48(8) - 9332～9339 - 共8页

摘要： half-linear* differential Euler type equations. Four* | la Vall & eacute;e Poussin type* inequalities to* | corollaries of de la Vall & eacute;e Poussin type | inequalities for Euler type* equations, which can help in* | The paper is devoted to the application of de

关键词： de la Vall & eacute;e Poussin type inequalities | distribution of zeros | Euler-type equations | half-linear differential equation | perturbation | de la Vallée Poussin type inequalities | Euler‐type equations | half‐linear differential equation

2. Application of Interval Type-2 Fuzzy Linear Programming to Chlorine Injection in a Water Distribution System NSTL国家科技图书文献中心

Yumin Wang | Weijian Ran - 《Journal of Water Resources Planning and Management》 - 2025,151(2) - 1.1～1.14 - 共14页

摘要：Abstract In this paper, an interval type-2 | fuzzy linear* programming (IT2FLP) model was proposed* | , the injection mass and booster costs in a type-2 | to deal with uncertainty in booster optimization of | a water distribution system (WDS). The IT2FLP

关键词： Water distribution system (WDS) | Type-2 fuzzy number | Fuzzy linear programming (FLP) | Injection mass | Booster cost

3. Comparing session type systems derived from linear logic NSTL国家科技图书文献中心

van den Heuvel, Bas | Perez, Jorge A. - 《The journal of logical and algebraic methods in programming》 - 2025,142(Jan.) - 1.1～1.26 - 共26页

摘要： intended exchanges over channels. Session type* systems* | -Howard correspondences with linear* logic, , a resource* | different type* systems for concurrency derived from the* | Curry-Howard correspondence between linear* logic and* | type systems: the classical and intuitionistic

关键词： Concurrency | Linear logic | x-calculus | Session types

4. Newton-type methods for solving vertical linear complementarity problems NSTL国家科技图书文献中心

He, Jiewen | Vong, Seakweng - 《Journal of Computational and Applied Mathematics》 - 2025,460 - 共11页

摘要：In this paper, Newton-type* methods are* | proposed to solve the vertical linear* complementarity* | linear complementarity problem to an equivalent system | -type* methods have much higher efficiency than the* | problems. This kind of methods is different from the

关键词： Vertical linear complementarity problems | Newton's method | Iteration methods | Convergence

5. On a Type of Linear Structures of NFSR Sequences NSTL国家科技图书文献中心

Xiao-Xin Zhao | Zhong-Xiao Wang ... - 《IEEE Transactions on Information Theory》 - 2025,71(1) - 768～782 - 共15页

摘要： with low linear* complexities. In this paper, we* | with low linear* complexities from a new perspective* | let $f_{L}$ be the linear* part of f. First, we* | $G(f)$ is more likely to have linear* sequences* | which could be used to find more potential linear

关键词： Complexity theory | Boolean functions | Polynomials | Ciphers | Vectors | Reviews | Logic gates | Linear systems | Linear feedback shift registers | Indexes

6. Choquard type equations with asymptotically linear nonlinearities NSTL国家科技图书文献中心

Furtado, Marcelo F. | da Silva, Edcarlos D...... - 《ZAMP》 - 2025,76(1) - 共17页

摘要： {R}$$end{document} is asymptotically linear* at* | In this work, we consider the following class | nonlocal elliptic problems: -Delta u+V(x)u=[I alpha | & lowast;F(x,u)]f(x,u),x is an element of RN,u is an | element of H1(RN),documentclass[12pt]{minimal

关键词： Nonlocal elliptic problems | Asymptotically linear nonlinearity | Variational methods

7. Step piston linear compressor for step piston type pulse tube refrigerator NSTL国家科技图书文献中心

Xu, Sheng | Wang, Chenguang ... - 《International Journal of Refrigeration》 - 2025,171 - 180～190 - 共11页

摘要：The step piston type* pulse tube refrigerator* | is a new power recovery type* pulse tube* | linear compressor. Compared with the general linear | compressor, the step piston linear* compressor features a* | the step piston linear* compressor, describing the*

关键词： Step piston tube refrigerator | Step piston | Linear compressor | Linear motor | Spring

8. Ulam type stability for the second-order linear Hahn difference equations NSTL国家科技图书文献中心

Chen, Kai | Si, Yuanchao - 《Applied mathematics letters》 - 2025,160 - 共6页

摘要：This paper explores the Ulam type* stability of* | second-order linear* Hahn difference equations* | , beginning with the analysis of general solution for linear | homogeneous cases, as well as the Ulam type* stability of non* | -homogeneous equations. Additionally, an example is given to

关键词： Second-order Hahn difference equation | Riccati equation | Ulam-Hyers stability | Ulam-Hyers-Rassias stability

9. Partially extended oscillation and nonoscillation theorems for half-linear Hill-type differential equations with periodic damping NSTL国家科技图书文献中心

Ishibashi, Kazuki - 《Mathematical Methods in the Applied Sciences》 - 2025,48(3) - 3748～3758 - 共11页

摘要： theorems for half-linear* Hill-type differential equations* | of half-linear* differential equations with periodic* | damping. The solution space of any linear* equation is* | solution space of half-linear* differential equations is* | nonoscillation theorems have been devised for half-linear

关键词： damped half-linear differential equations | Hill's equation | oscillation constant | oscillation problem | Riccati inequality | damped half‐linear differential equations

10. Super-biderivations and linear super-commuting maps on a super Virasoro type algebras NSTL国家科技图书文献中心

Hassan, Omer | Elbukhari, Abu Bakr - 《Journal of algebra and its applications》 - 2025,24(4) - 共9页

摘要：Let W signify the super-Virasoro type* algebra* | -biderivations of the cen-terless super-Virasoro type* algebras* | show that any linear* super commuting maps on the* | centerless super-Virasoro type* algebras W are standard.* | over the field of the complex numbers C. This paper

摘要： half-linear* differential Euler type equations. Four* | la Vall & eacute;e Poussin type* inequalities to* | corollaries of de la Vall & eacute;e Poussin type | inequalities for Euler type* equations, which can help in* | The paper is devoted to the application of de

关键词： de la Vall & eacute;e Poussin type inequalities | distribution of zeros | Euler-type equations | half-linear differential equation | perturbation | de la Vallée Poussin type inequalities | Euler‐type equations | half‐linear differential equation

摘要：Abstract In this paper, an interval type-2 | fuzzy linear* programming (IT2FLP) model was proposed* | , the injection mass and booster costs in a type-2 | to deal with uncertainty in booster optimization of | a water distribution system (WDS). The IT2FLP

关键词： Water distribution system (WDS) | Type-2 fuzzy number | Fuzzy linear programming (FLP) | Injection mass | Booster cost

摘要： intended exchanges over channels. Session type* systems* | -Howard correspondences with linear* logic, , a resource* | different type* systems for concurrency derived from the* | Curry-Howard correspondence between linear* logic and* | type systems: the classical and intuitionistic

关键词： Concurrency | Linear logic | x-calculus | Session types

摘要：In this paper, Newton-type* methods are* | proposed to solve the vertical linear* complementarity* | linear complementarity problem to an equivalent system | -type* methods have much higher efficiency than the* | problems. This kind of methods is different from the

关键词： Vertical linear complementarity problems | Newton's method | Iteration methods | Convergence

摘要： with low linear* complexities. In this paper, we* | with low linear* complexities from a new perspective* | let $f_{L}$ be the linear* part of f. First, we* | $G(f)$ is more likely to have linear* sequences* | which could be used to find more potential linear

关键词： Complexity theory | Boolean functions | Polynomials | Ciphers | Vectors | Reviews | Logic gates | Linear systems | Linear feedback shift registers | Indexes

摘要： {R}$$end{document} is asymptotically linear* at* | In this work, we consider the following class | nonlocal elliptic problems: -Delta u+V(x)u=[I alpha | & lowast;F(x,u)]f(x,u),x is an element of RN,u is an | element of H1(RN),documentclass[12pt]{minimal

关键词： Nonlocal elliptic problems | Asymptotically linear nonlinearity | Variational methods

摘要：The step piston type* pulse tube refrigerator* | is a new power recovery type* pulse tube* | linear compressor. Compared with the general linear | compressor, the step piston linear* compressor features a* | the step piston linear* compressor, describing the*

关键词： Step piston tube refrigerator | Step piston | Linear compressor | Linear motor | Spring

摘要：This paper explores the Ulam type* stability of* | second-order linear* Hahn difference equations* | , beginning with the analysis of general solution for linear | homogeneous cases, as well as the Ulam type* stability of non* | -homogeneous equations. Additionally, an example is given to

关键词： Second-order Hahn difference equation | Riccati equation | Ulam-Hyers stability | Ulam-Hyers-Rassias stability

关键词： damped half-linear differential equations | Hill's equation | oscillation constant | oscillation problem | Riccati inequality | damped half‐linear differential equations

摘要：Let W signify the super-Virasoro type* algebra* | -biderivations of the cen-terless super-Virasoro type* algebras* | show that any linear* super commuting maps on the* | centerless super-Virasoro type* algebras W are standard.* | over the field of the complex numbers C. This paper

关键词： Super-biderivations | super-commuting maps | super Virasoro type algebra

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： half-linear differential Euler type equations. Four | la Vall & eacute;e Poussin type inequalities to | corollaries of de la Vall & eacute;e Poussin type | inequalities for Euler type equations, which can help in | The paper is devoted to the application of de

关键词： de la Vall & eacute;e Poussin type inequalities | distribution of zeros | Euler-type equations | half-linear differential equation | perturbation | de la Vallée Poussin type inequalities | Euler‐type equations | half‐linear differential equation

摘要：Abstract In this paper, an interval type-2 | fuzzy linear programming (IT2FLP) model was proposed | , the injection mass and booster costs in a type-2 | to deal with uncertainty in booster optimization of | a water distribution system (WDS). The IT2FLP

关键词： Water distribution system (WDS) | Type-2 fuzzy number | Fuzzy linear programming (FLP) | Injection mass | Booster cost

摘要： intended exchanges over channels. Session type systems | -Howard correspondences with linear logic, , a resource | different type systems for concurrency derived from the | Curry-Howard correspondence between linear logic and | type systems: the classical and intuitionistic

关键词： Concurrency | Linear logic | x-calculus | Session types

摘要：In this paper, Newton-type methods are | proposed to solve the vertical linear complementarity | linear complementarity problem to an equivalent system | -type methods have much higher efficiency than the | problems. This kind of methods is different from the

关键词： Vertical linear complementarity problems | Newton's method | Iteration methods | Convergence

摘要： with low linear complexities. In this paper, we | with low linear complexities from a new perspective | let $f_{L}$ be the linear part of f. First, we | $G(f)$ is more likely to have linear sequences | which could be used to find more potential linear

关键词： Complexity theory | Boolean functions | Polynomials | Ciphers | Vectors | Reviews | Logic gates | Linear systems | Linear feedback shift registers | Indexes

摘要： {R}$$end{document} is asymptotically linear at | In this work, we consider the following class | nonlocal elliptic problems: -Delta u+V(x)u=[I alpha | & lowast;F(x,u)]f(x,u),x is an element of RN,u is an | element of H1(RN),documentclass[12pt]{minimal

关键词： Nonlocal elliptic problems | Asymptotically linear nonlinearity | Variational methods

摘要：The step piston type pulse tube refrigerator | is a new power recovery type pulse tube | linear compressor. Compared with the general linear | compressor, the step piston linear compressor features a | the step piston linear compressor, describing the

关键词： Step piston tube refrigerator | Step piston | Linear compressor | Linear motor | Spring

摘要：This paper explores the Ulam type stability of | second-order linear Hahn difference equations | , beginning with the analysis of general solution for linear | homogeneous cases, as well as the Ulam type stability of non | -homogeneous equations. Additionally, an example is given to

关键词： Second-order Hahn difference equation | Riccati equation | Ulam-Hyers stability | Ulam-Hyers-Rassias stability

摘要： theorems for half-linear Hill-type differential equations | of half-linear differential equations with periodic | damping. The solution space of any linear equation is | solution space of half-linear differential equations is | nonoscillation theorems have been devised for half-linear

关键词： damped half-linear differential equations | Hill's equation | oscillation constant | oscillation problem | Riccati inequality | damped half‐linear differential equations

摘要：Let W signify the super-Virasoro type algebra | -biderivations of the cen-terless super-Virasoro type algebras | show that any linear super commuting maps on the | centerless super-Virasoro type algebras W are standard. | over the field of the complex numbers C. This paper

关键词： Super-biderivations | super-commuting maps | super Virasoro type algebra

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： half-linear* differential Euler type equations. Four* | la Vall & eacute;e Poussin type* inequalities to* | corollaries of de la Vall & eacute;e Poussin type | inequalities for Euler type* equations, which can help in* | The paper is devoted to the application of de

摘要：Abstract In this paper, an interval type-2 | fuzzy linear* programming (IT2FLP) model was proposed* | , the injection mass and booster costs in a type-2 | to deal with uncertainty in booster optimization of | a water distribution system (WDS). The IT2FLP

摘要： intended exchanges over channels. Session type* systems* | -Howard correspondences with linear* logic, , a resource* | different type* systems for concurrency derived from the* | Curry-Howard correspondence between linear* logic and* | type systems: the classical and intuitionistic

摘要：In this paper, Newton-type* methods are* | proposed to solve the vertical linear* complementarity* | linear complementarity problem to an equivalent system | -type* methods have much higher efficiency than the* | problems. This kind of methods is different from the

摘要： with low linear* complexities. In this paper, we* | with low linear* complexities from a new perspective* | let $f_{L}$ be the linear* part of f. First, we* | $G(f)$ is more likely to have linear* sequences* | which could be used to find more potential linear

摘要： {R}$$end{document} is asymptotically linear* at* | In this work, we consider the following class | nonlocal elliptic problems: -Delta u+V(x)u=[I alpha | & lowast;F(x,u)]f(x,u),x is an element of RN,u is an | element of H1(RN),documentclass[12pt]{minimal

摘要：The step piston type* pulse tube refrigerator* | is a new power recovery type* pulse tube* | linear compressor. Compared with the general linear | compressor, the step piston linear* compressor features a* | the step piston linear* compressor, describing the*

摘要：This paper explores the Ulam type* stability of* | second-order linear* Hahn difference equations* | , beginning with the analysis of general solution for linear | homogeneous cases, as well as the Ulam type* stability of non* | -homogeneous equations. Additionally, an example is given to

摘要：Let W signify the super-Virasoro type* algebra* | -biderivations of the cen-terless super-Virasoro type* algebras* | show that any linear* super commuting maps on the* | centerless super-Virasoro type* algebras W are standard.* | over the field of the complex numbers C. This paper