This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended ∨-De Morgan law introduced in [20]. Then, using this result and the results of [20], we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) in the variety o...

Vehicle routing problem is a kind of common problem in logistics distribution center, in order to solve the high delivery cost of VRP and time constraint problem, the VRP model with the object level and constraints by semi-soft time window is built. Aiming to the semi-soft time window constraints the optimization of the model is discussed. Finally the numerical examples prove the superiority of...

More frequent and thorough inspection of sewer pipes has the potential to save billions in utilities. However, amount quality are impeded by an imprecise highly subjective manual process. It involves technicians judging stretches based on video from remote-controlled robots. Determining state these videos entails a great deal ambiguity. Furthermore, frequency with which different defects occur ...