Suppose $\mathcal {H}$ is an admissible Heegaard diagram for a balanced sutured manifold $(M,\gamma )$ . We prove that the number of generators associated Floer complex upper bound on dimension instanton homology $\mathit {SHI}(M,\gamma It follows, in particular, strong L-spaces are L-spaces.

in this paper, the direct extrusion process of bimetallic rods in conical dies is analyzed by an improved upper bound method. the deformation zone is subdivided into six smaller zones and by considering a non-spherical entrance boundary to the deformation zone, a velocity field is presented which is different from velocity fields employed in previous studies. the total power consumption of the ...

we consider online scheduling of jobs with specic release time on m identical machines. each job has a weight and a size; the goal is maximizing total weight of completed jobs. at release time of a job it must immediately be scheduled on a machine or it will be rejected. it is also allowed during execution of a job to preempt it; however, it will be lost and only weight of completed jobs contr...

in the present paper, the deformation zone of the ecae (equal channel angular extrusion) process was investigated using the upper bound theorem. for this purpose, the shape of the streamlines in the deformation zone was assumed to be cubic bezier curves. then, the force required for the ecae process was optimized with regard to the parameters defining the shape of streamlines by the upper bound...

precision forging process is widely used for the production of spur gears due to its advantages such asimproved strength and surface finish, little waste of materials and reduction in the machining time ofthe gear. an important aspect of precision forging process is the load required to perform the processsuccessfully and design the forging tools. in this research, a new kinematically admissibl...

Vortex extrusion (VE) is a severe plastic deformation technique which is based on the synergies between high strain accumulation and high hydrostatic pressure. Such a high amount of pressure, places a mandate to seek the method for investigation of the load under processing conditions. For this, kinematically admissible velocity field and upper bound terms based on Bezier formulation are develo...

Recently, norm equivalences between spherical polynomials and their sample values at scattered sites have been proved. These so-called MarcinkiewiczZygmund inequalities involve a parameter that characterizes the density of the sampling set and they are applicable to all polynomials whose degree does not exceed an upper bound that is determined by the density parameter. We show that if one is sa...

This paper proposes a method for evaluating control performance of a switching control system for which the switching strategy consists of so-called maximal output admissible sets. The proposed method gives an upper bound of the control performance index. The key to calculate it is the use of a dwell time. Two types of the algorithms are presented so as to seek for the dwell time. The proposed ...

This study formulates a universal velocity ®eld that is kinematically admissible for application in the extrusion of non-axisymmetric rods. Then upper bound theorem dictates that a better upper bound solution heavily depends on the precise conformity of the velocity ®eld postulated. However, a compromise must frequently be made, since the formulation is in general rather complicated. The kinema...