以新发展理念引领高校专业基础课教学改革

以“创新、协调、绿色、开放、共享”为内核的新发展理念，是对马克思主义发展理念的继承和发扬，极具时代精神，富含问题意识，为高校思想政治教育发展、教育教学改革实践提供了强大的理论支撑。本文以“通信原理”为例，阐述了新发展理念在课程改革中的思路和方法，实现了思想政治教育与专业基础课程有机融合，为深化高校教学改革、创新人才培养模式提供了思路。     

LinkingPark: An automatic semantic table interpretation system

In this paper, we present LinkingPark, an automatic semantic annotation system for tabular data to knowledge graph matching. LinkingPark is designed as a modular framework which can handle Cell-Entity Annotation (CEA), Column-Type Annotation (CTA), and Columns-Property Annotation (CPA) altogether. It is built upon our previous SemTab 2020 system, which won the 2nd prize among 28 different teams after four rounds of evaluations. Moreover, the system is unsupervised, stand-alone, and flexible for multilingual support. Its backend offers an efficient RESTful API for programmatic access, as well as an Excel Add-in for ease of use. Users can interact with LinkingPark in near real-time, further demonstrating its efficiency.     

Terrain-Specific: Contemporary Landscape Architecture in Canada

The Canadian landscape has typically captured a global imaginary of a pristine wild, but how might its urban designed landscapes be distinctly understood? Foregrounded by the landscape transformations accelerated by climate change, the book Innate Terrain: Canadian Landscape Architecture, edited by Professor Alissa North from the University of Toronto, highlights landscape architecture projects situated on the unique Canadian terrain. Providing further provocation on Canadian landscape architecture, Innate Terrain seeks to fill the literary gap on contemporary landscape perspectives, distinguishing Canadian landscape architecture from global practice, and particularly, its well-documented American counterpart. Landscape architecture in the Canadian context has evolved and established its own distinct identity, one imbued with national and local sensitivities. Informed by diverse environmental and cultural contexts, Canadian-designed landscapes reflect and refer to the prevailing ecosystems of Canada’s innate terrain. Contrary to the preceding International Style, landscape architecture projects in Canada have adopted the ethos of Critical Regionalism in the second half of the 20th century. Contemporary Canadian practitioners are designing landscapes that are deeply informed by their surrounding geographical context while emphasizing cultural specificity. Central to this cultural specificity, addressed by a new generation of landscape architects, is the increasing recognition of Indigenous Traditional Knowledge within the discipline. Canadian landscape architects have collaborated with First Nations, Inuit, and Métis communities, including the keepers of this knowledge, to develop land management strategies and design landscape interventions.     

REST API技术及在移动通信网络管理中的应用

介绍了目前最炙手可热的REST架构风格，该风格顺应Web2.0的兴起，完美的匹配了云计算时代来临的可扩展要求，在各种应用场景中都得到了充分的表现。根据其技术特点，分析了该风格的API在移动通信网络管理中的应用，从网管系统内部、网管系统之间以及网管系统与上层APP应用之间等多方面对是否适用于REST风格以及如何在合适的位置使用REST API进行了分析。     

Trajectories of knowledge economy in SSA and MENA countries

In the first critical assessment of knowledge economy dynamic paths in Africa and the Middle East, but for a few exceptions, we find overwhelming support for diminishing cross-country disparities in knowledge-based economy dimensions. The paper employs all the four components of the World Bank's Knowledge Economy Index (KEI): economic incentives, innovation, education, and information infrastructure. The main finding suggests that sub-Saharan African (SSA) and the Middle East and North African (MENA) countries with low levels of KE dynamics and catching-up their counterparts of higher KE levels. We provide the speeds of integration and time necessary to achieve full (100%) integration. Policy implications are also discussed.     

共网数字集群系统应用问题的研究

现今国内的数字集群网络发展存在局限性、差异性，还远没有达到“网”状分布的程度，因此，共网数字集群发展空间巨大、前景广阔。通过列举共网数字集群系统在龙嘉国际机场和长春雷锋车队的成功应用案例，探讨了我国共网数字集群系统应用的可行性和必要性。     

How Cells Communicate with Each Other in the Tumor Microenvironment: Suggestions to Design Novel Therapeutic Strategies in Cancer Disease

Connexin- and pannexin (Panx)-formed hemichannels (HCs) and gap junctions (GJs) operate an interaction with the extracellular matrix and GJ intercellular communication (GJIC), and on account of this they are involved in cancer onset and progression towards invasiveness and metastatization. When we deal with cancer, it is not correct to omit the immune system, as well as neglecting its role in resisting or succumbing to formation and progression of incipient neoplasia until the formation of micrometastasis, nevertheless what really occurs in the tumor microenvironment (TME), which are the main players and which are the tumor or body allies, is still unclear. The goal of this article is to discuss how the pivotal players act, which can enhance or contrast cancer progression during two important process: “Activating Invasion and Metastasis” and the “Avoiding Immune Destruction”, with a particular emphasis on the interplay among GJIC, Panx-HCs, and the purinergic system in the TME without disregarding the inflammasome and cytokines thereof derived. In particular, the complex and contrasting roles of Panx1/P2X7R signalosome in tumor facilitation and/or inhibition is discussed in regard to the early/late phases of the carcinogenesis. Finally, considering this complex interplay in the TME between cancer cells, stromal cells, immune cells, and focusing on their means of communication, we should be capable of revealing harmful messages that help the cancer growth and transform them in body allies, thus designing novel therapeutic strategies to fight cancer in a personalized manner.     

In vivo Kinetic Biodistribution of Nano‐Sized Outer Membrane Vesicles Derived from Bacteria

Evaluation of kinetic distribution and behaviors of nanoparticles in vivo provides crucial clues into their roles in living organisms. Extracellular vesicles are evolutionary conserved nanoparticles, known to play important biological functions in intercellular, inter‐species, and inter‐kingdom communication. In this study, the first kinetic analysis of the biodistribution of outer membrane vesicles (OMVs)—bacterial extracellular vesicles—with immune‐modulatory functions is performed. OMVs, injected intraperitoneally, spread to the whole mouse body and accumulate in the liver, lung, spleen, and kidney within 3 h of administration. As an early systemic inflammation response, increased levels of TNF‐α and IL‐6 are observed in serum and bronchoalveolar lavage fluid. In addition, the number of leukocytes and platelets in the blood is decreased. OMVs and cytokine concentrations, as well as body temperature are gradually decreased 6 h after OMV injection, in concomitance with the formation of eye exudates, and of an increase in ICAM‐1 levels in the lung. Following OMV elimination, most of the inflammatory signs are reverted, 12 h post‐injection. However, leukocytes in bronchoalveolar lavage fluid are increased as a late reaction. Taken together, these results suggest that OMVs are effective mediators of long distance communication in vivo.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Low complexity quantum private queries protocol

Private information retrieval(PIR) is an important privacy protection issue of secure multi-party computation, but the PIR protocols based on classical cryptography are vulnerable because of new technologies,such as quantum computing and cloud computing. The quantum private queries(QPQ) protocols available, however, has a high complexity and is inefficient in the face of large database. This paper, based on the QKD technology which is mature now, proposes a novel QPQ protocol utilizing the key dilution and auxiliary parameter. Only N quits are required to be sent in the quantum channel to generate the raw key, then the straight k bits in the raw key are added bitwise to dilute the raw key, and a final key is consequently obtained to encrypt the database. By flexible adjusting of auxiliary parameters θ and k, privacy is secured and the query success ratio is improved. Feasibility and performance analyses indicate that the protocol has a high success ratio in first-trial query and is easy to implement, and that the communication complexity of O(N) is achieved.