Search results for: Xinlei He

Authors: Zi Wang, Xinlei He, Jianghua Lv, Yuqing Lan

Abstract:

Kernel though widely used, is complicated. Errors caused by some bugs are often costly. Statically, more than half of the mistakes occur in the design phase. Thus, we introduce a modeling method, KMVM (Linux Kernel Modeling and verification Method), based on type theory for proper designation and correct exploitation of the Kernel. In the model, the Kernel is separated into six levels: subsystem, dentry, file, struct, func, and base. Each level is treated as a type. The types are specified in the structure and relationship. At the same time, we use a demanding path to express the function to be implemented. The correctness of the design is verified by recursively checking the type relationship and type existence. The method has been applied to verify the OPEN business of VFS (virtual file system) in Linux Kernel. Also, we have designed and developed a set of security communication mechanisms in the Kernel with verification.

Keywords: formal approach, type theory, Linux Kernel, software program

Procedia PDF Downloads 90

Authors: Jiani Gao, Qingping Luo, Xinlei Fang

Abstract:

In order to try to achieve better rights and interests for both doctors and patients in the new medical environment, the paper will focus on the renewal and development of medical buildings. In today's highly developed society, many factors have a profound guiding significance for the development of medical buildings. By doing social research, the paper has found that these factors come from all aspects. These factors include the optimization of traditional medical model, rapid alternation of medical technology and equipment, the reform of the social, medical security system, changes in the age structure of the population, the birth of intelligent medical care under the Internet, and the deepening of the concept of green sustainable building development, etc. The purpose of this paper is to capture sensitively these various factors that may affect the evolution of medical buildings in the context of the current era, and to put forward, by using an adaptable development strategy, some feasible suggestions on the design of medical buildings when facing these changes and challenges. Specifically speaking, the adaptable development strategy includes some basic principles and methods, such as using modular design, adopting scalable streamline, selecting a long-span structural system and using replaceable materials and components, etc.

Keywords: medical architecture, adaptable development, medical model, space design

Procedia PDF Downloads 131

Authors: Zhao Xinlei

Abstract:

The outbreak of the Ukraine crisis has had an important impact on the global political and economic order, especially the global food crisis and energy crisis, thus aggravating social and political conflicts. At the same time, with the intensification of the Ukraine crisis, the United States and European countries have imposed severe economic sanctions on Russia to prevent and contain Russia's special military operations against Ukraine. The essence of the Ukraine crisis is a geopolitical conflict and competition between Russia and the United States. For a long time, the United States has always regarded Russia as a serious strategic crisis and challenge. Therefore, for the United States, the outbreak of the Ukraine crisis is an extremely important opportunity to condemn and stop Russia's actions from an international perspective. In this process, China plays a very special role. This special positioning is not only reflected in the long-term friendly relationship between China and Russia and mutual support and assistance on the international stage but also in the complex economic relationship and interdependence between China and the United States. Therefore, China has adopted a "hedging strategy" in dealing with the Ukrainian crisis, and the use of the hedging strategy not only plays a special role in safeguarding China's own security and interests but also because China can act as an intermediary to coordinate Russia and the United States to promote the resolution of the Ukrainian crisis in a peaceful manner.

Keywords: Ukraine crisis Russia-Ukraine conflict balanced strategy Sino-US competition

Procedia PDF Downloads 50

Authors: Zhao Xinlei

Abstract:

In general, interstate relations are diverse and include economic, political, military, and diplomatic. Therefore, by analyzing the development of the relationship between Malaysia and China, we can better verify how the Hirschman effect works between small countries and great powers. This paper mainly adopts qualitative research methods and uses Malaysia's 2020-2022 political crisis as a specific case to verify the practice of the Hirschman effect between small and large countries. In particular, the interest groups in small countries that are closely related to trade with extraordinary abilities, as the primary beneficiaries in the development of trade between the two countries, although they may use their resources to a certain extent to influence the decisions of small countries towards great powers, they do not fundamentally determine the small countries' response to large countries. In this process, the relative power asymmetry between states plays a dominant role, as small states lack trust and suspicion in political diplomacy towards large states based on the perception of threat arising from the relative power asymmetry. When developing bilateral relations with large countries, small states seek practical cooperation to promote economic and trade development but become more cautious in their political ties to avoid being caught in power struggles between large states or being controlled by them. The case of Malaysia-China relations also illustrates that despite the ongoing political crisis in Malaysia, which saw the country go through the transition from (Perikatan Nasional) PN to (Barisan Nasional) BN, different governments have maintained a pragmatic and proactive economic policy towards China to reduce suspicion and mistrust between the two countries in political and diplomatic affairs, thereby enhancing cooperation and interactions between the two countries. At the same time, the Malaysian government is developing multi-dimensional foreign relations and actively participating in multilateral, regional organizations and platforms, such as those organized by the United States, to maintain a relative balance in the influence of the US and China on Malaysia.

Keywords: Hirschman effect, interest groups, Malaysia, China, bilateral relations

Procedia PDF Downloads 36