Japan’s lunar probe satellite “Kaguya”, China’s lunar probe satellite “Chang’ e-1 lunar probe” left the earth on September 14th, 2007 and October 24th, 2007, began the exploration to the moon. The launching of the China’s lunar satellite is the proud to the global Chinese. However, at the same time as we are proud of the event, we must admit that the pictures published which were sent back by Japanese are clearer and more beautiful than Chinese. While we are saying that the Japan has a better technology, maybe we also need to say that the Japanese can hold better chance than Chinese when taking the pictures. The following two pictures were sent back by the satellite. Picture one is sent back by Japan’s satellite, Picture two is sent back by China’s. It can be seen that there is a long way for China if we want to become stronger at science technology. We also hope that we can have some contribution in the prosperity of China now and in the future.

No abstract uploaded!

In this paper, we present a mixed generalized multiscale finite element method (GMsFEM) for solving flow in heterogeneous media. Our approach constructs multiscale basis functions following a GMsFEM framework and couples these basis functions using a mixed finite element method, which allows us to obtain a mass conservative velocity field. To construct multiscale basis functions for each coarse edge, we design a snapshot space that consists of fine-scale velocity fields supported in a union of two coarse regions that share the common interface. The snapshot vectors have zero Neumann boundary conditions on the outer boundaries, and we prescribe their values on the common interface. We describe several spectral decompositions in the snapshot space motivated by the analysis. In the paper, we also study oversampling approaches that enhance the accuracy of mixed GMsFEM. A main idea of

Resolution Matrix Semantics (RMS) introduces a novel truth-value-based framework for modal logic, providing a substantive alternative to Kripke’s relational semantics of possible worlds. Drawing inspiration from Y. Ivlev’s substantive semantics, RMS utilizes a 4-valued structure—necessary truth (tn), contingent truth (tc), contingent false (fc), and necessary false (fn)—augmented by indeterminate values (t, f, t/f) to define modal systems Km, KDm, KTm, S4m, and S5m, analogous to Kripke’s K, KD, T, S4, and S5. By directly assigning determined and indeterminate truth values via an interpretation function, RMS validates formulas without relying on accessibility relations, as demonstrated through soundness and completeness proofs and a tailored tableau method. The framework’s versatility extends to applications in deontic logic, artificial intelligence, and quantum computing, enabling context-dependent reasoning with computational efficiency. RMS thus bridges philosophical logic and practical domains, offering a truth-centric perspective on modal reasoning’s complexities.

No abstract uploaded!