87 research outputs found
A Reduction-Based Approach Towards Scaling Up Formal Analysis of Internet Configurations
The Border Gateway Protocol (BGP) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by independently setting local policies on route filtering and selection. This independence leads to fragile networking and makes analysis of policy configurations very complex. To aid the systematic and efficient study of the policy configuration space, this paper presents network reduction, a scalability technique for policy-based routing systems. In network reduction, we provide two types of reduction rules that transform policy configurations by merging duplicate and complementary router configurations to simplify analysis. We show that the reductions are sound, dual of each other and are locally complete. The reductions are also computationally attractive, requiring only local configuration information and modification. We have developed a prototype of network reduction and demonstrated that it is applicable on various BGP systems and enables significant savings in analysis time. In addition to making possible safety analysis on large networks that would otherwise not complete within reasonable time, network reduction is also a useful tool for discovering possible redundancies in BGP systems
Microenvironment Restruction of Emerging 2D Materials and their Roles in Therapeutic and Diagnostic Nano-Bio-Platforms
Engineering advanced therapeutic and diagnostic nano-bio-platforms (NBPFs) have emerged as rapidly-developed pathways against a wide range of challenges in antitumor, antipathogen, tissue regeneration, bioimaging, and biosensing applications. Emerged 2D materials have attracted extensive scientific interest as fundamental building blocks or nanostructures among material scientists, chemists, biologists, and doctors due to their advantageous physicochemical and biological properties. This timely review provides a comprehensive summary of creating advanced NBPFs via emerging 2D materials (2D-NBPFs) with unique insights into the corresponding molecularly restructured microenvironments and biofunctionalities. First, it is focused on an up-to-date overview of the synthetic strategies for designing 2D-NBPFs with a cross-comparison of their advantages and disadvantages. After that, the recent key achievements are summarized in tuning the biofunctionalities of 2D-NBPFs via molecularly programmed microenvironments, including physiological stability, biocompatibility, bio-adhesiveness, specific binding to pathogens, broad-spectrum pathogen inhibitors, stimuli-responsive systems, and enzyme-mimetics. Moreover, the representative therapeutic and diagnostic applications of 2D-NBPFs are also discussed with detailed disclosure of their critical design principles and parameters. Finally, current challenges and future research directions are also discussed. Overall, this review will provide cutting-edge and multidisciplinary guidance for accelerating future developments and therapeutic/diagnostic applications of 2D-NBPFs
Effects of TGF- β
Introduction. This study aimed to explore the effects of TGF-β1 on regulating activities of cementoblasts and osteoblasts with or without stress. Material and Methods. Human recombinant TGF-β1 was added with different doses. Immunohistochemical test of osteoprotegerin (OPG)/receptor activator of nuclear factor-kappaB ligand (RANKL) and Alizarin Red-S staining were conducted. Mechanical compressive stress was obtained by increasing the pressure of gaseous phase. OPG/RANKL expression was detected in both cells through quantitative real-time PCR. Results. Similar significant differences (P<0.05) existed in OPG/RANKL change with increasing concentration of TGF-β1 without mechanical stress for cementoblasts and osteoblasts. However, under 3 h stress, OPG increased and RANKL decreased significantly (P<0.01) but with similar OPG/RANKL change. Moreover, under 24 h stress, OPG change exhibited no difference (P>0.05), but RANKL decreased significantly (P<0.01) at 10 and 100 ng/mL TGF-β1 in cementoblasts. In osteoblasts, OPG increased significantly (P<0.01) at 10 and 100 ng/mL, whereas RANKL decreased with statistical difference (P<0.05) at 1 and 10 ng/mL. Conclusions. The effects of TGF-β1 on OPG/RANKL expression of cementoblasts and osteoblasts are similar even without mechanical stress. However, these effects are different under mechanical compressive stress
- …