• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.105-126
• /
• 2007

The purpose of this paper is to construct several parametric duality models and prove appropriate duality results under various generalized (${\theta},{\eta},{\rho}$)-V-invexity assumptions for a discrete minmax fractional programming problem involving arbitrary norms.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.47-56
• /
• 2012

In this article, we continue the study of tense symmetric Heyting algebras (or TSH-algebras). These algebras constitute a generalization of tense algebras. In particular, we describe a discrete duality for TSH-algebras bearing in mind the results indicated by Or lowska and Rewitzky in [E. Orlowska and I. Rewitzky, Discrete Dualities for Heyting Algebras with Operators, Fund. Inform. 81 (2007), no. 1-3, 275-295] for Heyting algebras. In addition, we introduce a propositional calculus and prove this calculus has TSH-algebras as algebraic counterpart. Finally, the duality mentioned above allowed us to show the completeness theorem for this calculus.

• Structural Engineering and Mechanics
• /
• v.26 no.1
• /
• pp.15-30
• /
• 2007

In the paper, one focuses on the problem of duality in non-linear programming, applied to the solution of no-tension problems by means of Limit Analysis (LA) theorems for Not Resisting Tension (NRT) models. In details, one demonstrates that, starting from the application of the duality theory to the non-linear program defined by the static theorem approach for a discrete NRT model, this procedure results in the definition of a dual problem that has a significant physical meaning: the formulation of the kinematic theorem.

• Journal of the Korean Mathematical Society
• /
• v.41 no.5
• /
• pp.821-864
• /
• 2004

Both parametric and parameter-free necessary and sufficient optimality conditions are established for a class of nondiffer-entiable nonconvex optimal control problems with generalized fractional objective functions, linear dynamics, and nonlinear inequality constraints on both the state and control variables. Based on these optimality results, ten Wolfe-type parametric and parameter-free duality models are formulated and weak, strong, and strict converse duality theorems are proved. These duality results contain, as special cases, similar results for minmax fractional optimal control problems involving square roots of positive semi definite quadratic forms, and for optimal control problems with fractional, discrete max, and conventional objective functions, which are particular cases of the main problem considered in this paper. The duality models presented here contain various extensions of a number of existing duality formulations for convex control problems, and subsume continuous-time generalizations of a great variety of similar dual problems investigated previously in the area of finite-dimensional nonlinear programming.

• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.575-585
• /
• 2008

Suppose that D is a $C^*$-discrete quantum group and $D_0$ a discrete quantum group associated with D. If there exists a continuous action of D on an operator algebra L(H) so that L(H) becomes a D-module algebra, and if the inner product on the Hilbert space H is D-invariant, there is a unique $C^*$-representation $\theta$ of D associated with the action. The fixed-point subspace under the action of D is a Von Neumann algebra, and furthermore, it is the commutant of $\theta$(D) in L(H).

• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.991-1010
• /
• 2008

A discrete minmax fractional subset programming problem is considered. Various parametric and parameter-free global sufficient optimality conditions and duality results are discussed under generalized ($F,{\alpha},{\rho},{\theta}$)-V-type-I n-set functions.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.3
• /
• pp.611-628
• /
• 2021

In this paper, we propose a new branch-reduction-and-bound algorithm to solve the nonlinear knapsack problems by using general discrete monotonic optimization techniques. The specific properties of the problem are exploited to increase the efficiency of the algorithm. Computational experiments of the algorithm on problems with up to 30 variables and 5 different constraints are reported.

• Coupled systems mechanics
• /
• v.9 no.2
• /
• pp.125-145
• /
• 2020

In this paper, we present a 3D thermo-hydro-mechanical coupled discrete beam lattice model of structure built of the nonisothermal saturated poro-plastic medium subjected to mechanical loads and nonstationary heat transfer conditions. The proposed model is based on Voronoi cell representation of the domain with cohesive links represented as inelastic Timoshenko beam finite elements enhanced with additional kinematics in terms of embedded strong discontinuities in axial and both transverse directions. The enhanced Timoshenko beam finite element is capable of modeling crack formation in mode I, mode II and mode III. Mode I relates to crack opening, mode II relates to in-plane crack sliding, and mode III relates to the out-of-plane shear sliding. The pore fluid flow and heat flow in the proposed model are governed by Darcy's law and Fourier's law for heat conduction, respectively. The pore pressure field and temperature field are approximated with linear tetrahedral finite elements. By exploiting nodal point quadrature rule for numerical integration on tetrahedral finite elements and duality property between Voronoi diagram and Delaunay tetrahedralization, the numerical implementation of the coupling results with additional pore pressure and temperature degrees of freedom placed at each node of a Timoshenko beam finite element. The results of several numerical simulations are presented and discussed.

• Management Science and Financial Engineering
• /
• v.19 no.2
• /
• pp.31-36
• /
• 2013

We propose a war-game model that is appropriate for a raid-type warfare in which, a priori, the maneuver of the attacker is relatively certain. The model is based on a multi-weapon extention of the Lanchester's law. Instead of a continuous time dynamic game with the differential equations from the Lanchester's law, however, we adopt a multi-period model relying on a time-discretization of the Lanchester's law. Despite the obvious limitation that two players make a move only on the discrete time epochs, the pragmatic model has a manifold justification. The existence of an equilibrium is readily established by its equivalence to a finite zero-sum game, the existence of whose equilibrium is, in turn, well-known to be no other than the LP-duality. It implies then that the war-game model dictates optimal strategies for both players under the assumption that any strategy choice of each player will be responded by a best strategy of her opponent. The model, therefore, provides a sound ground for finding an efficient reinforcement of a defense system that guarantees peaceful equilibria.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.669-688
• /
• 2021

The aim of this paper is to prove the existence of an admissible inertial manifold for mild solutions to infinite delay evolution equation of the form $$\{{\frac{du}{dt}}+Au=F(t,\;u_t),\;t{\geq}s,\\\;u_s({\theta})={\phi}({\theta}),\;{\forall}{\theta}{\in}(-{{\infty}},\;0],\;s{\in}{\mathbb{R}},$$ where A is positive definite and self-adjoint with a discrete spectrum, the Lipschitz coefficient of the nonlinear part F may depend on time and belongs to some admissible function space defined on the whole line. The proof is based on the Lyapunov-Perron equation in combination with admissibility and duality estimates.