Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology 3-spheres. As an application, we give explicit constrains on the intersection forms of spin 4-manifolds bounded by Brieskorn spheres ±Σ(2,3,6k±1). Along the way, we also give an alternative proof of Furuta-Kametanni's improvement of 10/8-theorem for closed spin-4 manifolds.

No abstract uploaded!

This paper discusses the problem that making the air flowing into the room maximized by rotating the windows. Two models are built for rotary windows with 2 and 3 sashes respectively. Based on these models and the assumption of wind blowing from different directions with equal chance, the optimal way of opening windows is calculated by using Pascal programs on computer. Finally, the optimal design for window ventilation is found via comparing maximum value of wind quantity in two situations.

No abstract uploaded!

No abstract uploaded!