检索结果-南通市图书馆

A temporal programming model with atomic blocks based on projection temporal logic

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2014年第6期8卷 958-976页

作者： Xiaoxiao YANG Yu ZHANG Ming FU xinyu feng State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Suzhou Institute for Advanced Study University of Science & Technology of China SuZhou 215123 China

Atomic blocks, a high-level language construct that allows programmers to explicitly specify the atomicity of operations without worrying about the implementations, are a promising approach that simplifies concurrent programming. On the other hand, temporal logic is a successful model in logic programming and concurrency verification, but none of existing temporal programming models supports concurrent programming with atomic blocks yet. In this paper, we propose a temporal programming model （αPTL） which extends the projection temporal logic （PTL） to support concurrent programming with atomic blocks. The novel construct that formulates atomic execution of code blocks, which we call atomic interval formulas, is always interpreted over two consecutive states, with the internal states of the block being abstracted away. We show that the framing mechanism in projection temporal logic also works in the new model, which consequently supports our development of an executive language. The language supports concurrency by introducing a loose interleaving semantics which tracks only the mutual exclusion between atomic blocks. We demonstrate the usage of αPTL by modeling and verifying both the fine-grained and coarse-grained concurrency.

关键词： atomic blocks semantics temporal logic programming verification framing

Flexible piezoresistive pressure sensor based on a graphene-carbon nanotube-polydimethylsiloxane composite

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Nanotechnology and Precision Engineering 2024年第3期7卷 35-44页

作者： Huifen Wei Xiangmeng Li Fangping Yao xinyu feng Xijing Zhu Shanxi Provincial Key Laboratory of Advanced Manufacturing Technology North University of ChinaTaiyuan 030051China

Flexible sensors are used widely in wearable devices, specifically flexible piezoresistive sensors, which are common and easy to ***, fabricating such sensors is expensive and complex, so proposed here is a simple fabrication approach involving a sensor containing microstructures replicated from a sandpaper template onto which polydimethylsiloxane containing a mixture of graphene and carbon nanotubes is spin coated. The surface morphologies of three versions of the sensor made using different grades of sandpaper are observed, and the corresponding pressure sensitivities and linearity and hysteresis characteristics are assessed and analyzed. The results show that the sensor made using 80-mesh sandpaper has the best sensing performance. Its sensitivity is 0.341 kPa-1in the loading range of 0–1.6 kPa, it responds to small external loading of 100 Pa with a resistance change of 10%, its loading and unloading response times are 0.126 and 0.2 s, respectively,and its hysteresis characteristic is ~7%, indicating that the sensor has high sensitivity, fast response, and good stability. Thus, the presented piezoresistive sensor is promising for practical applications in flexible wearable electronics.

关键词： Piezoresistive sensor Flexible sensor Graphene Carbon nanotube Polymer composite Microstructure

Malaria Elimination in China and Sustainability Concerns in the Post-elimination Stage

在线全文

学校读者我要写书评

暂无评论

China CDC weekly 2022年第44期4卷 990-994页

作者： xinyu feng Li Zhang Hong Tu Zhigui Xia National Institute of Parasitic Diseases Chinese Center for Disease Control and Prevention(Chinese Center for Tropical Diseases Research)NHC Key Laboratory of Parasite and Vector BiologyWHO Collaborating Centre for Tropical DiseasesNational Center for International Research on Tropical DiseasesShanghai MunicipalityChina

The World Health Organization(WHO)certified China as officially malaria-free on June 30,*** back at the public health history in China,malaria elimination has been a product of complex social ***,we summarized our experience and lessons,and found that malaria control and elimination in China is mainly attributed to governmental leadership,consistent efforts,technological innovations,and adaptive *** also raised that vigilance should focus on imported cases through strengthening surveillance and response systems in order to prevent any re-establishment of transmission after *** should continue to maintain its laboratory,clinical and field epidemiology *** policy and financial support,multi-sectoral cooperation,and innovative strategies and approaches will remain *** integrating these,a malaria-free status can become sustainable.

关键词： epidemiology elimination maintain

The Integration and Communication of Regional Culture in Canal Landscape Planning and Design:A Case Study of the Grand Canal in the Gaomin Temple Section of Yangzhou

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Landscape Research 2018年第6期10卷 77-80,85页

作者： feng xinyu Jianghai Polytechnic College YangzhouJiangsu 225101China

The Grand Canal is the cultural source of Yangzhou's historical development. The heritage and development of the canal culture are conducive to enhancing the image of Yangzhou, building cultural brands, and enhancing core competitiveness. Taking the canal in the Gaomin Temple section of Yangzhou for example, this study was based on the regional canal culture and the humanistic characteristics of Gaomin Temple, and explored the unique cultural communication mode of the important landscape node of the canal. Through the analysis of the status and development of the landscape of the section, this study concluded corresponding cultural orientation content and direction, and analyzed the integration and communication ideas of regional culture in landscape planning and design, in order to provide a reference for the promotion of cultural brands in the canal city of Yangzhou.

关键词： Grand Canal Gaomin Temple Landscape planning and design Regional culture Integration, Communication

Facile access to β-hydroxyl ketones via a cobalt-catalyzed ring-opening/hydroxylation cascade of cyclopropanols

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2023年第3期34卷 322-325页

作者： Shengxian Zhai Shuxian Qiu Shuangtao Yang Xingyuan Gao xinyu feng Chenzhe Yun Ning Han Yongsheng Niu Jing Wang Hongbin Zhai College of Chemistry&Environmental Engineering Anyang Institute of TechnologyAnyang 455000China Department of Chemistry and Material Science Engineering Technology Development Center of Advanced Materials&Energy Saving and Emission Reduction in Guangdong Colleges and UniversitiesGuangdong University of EducationGuangzhou 510303China State Key Laboratory of Chemical Oncogenomics and Key Laboratory of Chemical Genomics Shenzhen Engineering Laboratory of Nano Drug Slow-ReleaseShenzhen Graduate School of Peking UniversityShenzhen 518055China Shenzhen Bay Laboratory Shenzhen 518055China Collaborative Innovation Center of Chemical Science and Engineering(Tianjin) Tianjin 300071China

A cobalt-catalyzed ring-opening/hydroxylation cascade of highly strained cyclopropanols has been developed for the first time. The reaction was conducted under open-air atmosphere to afford a broad series of structurally diverse β-hydroxy ketones in moderate to good yields with high *** protocol features mild reaction conditions, simple operation, high-functional-group tolerance, facile scalability, and heterocycle compatibility.

关键词： Cobalt catalysis Ring-opening Cyclopropanol β-Hydroxy ketone Cascade reaction

Protecting the gains of malaria elimination in China

在线全文

学校读者我要写书评

暂无评论

Infectious Diseases of Poverty 2020年第2期9卷 1-3页

作者： xinyu feng Joshua Levens Xiao-Nong Zhou National Institute of Parasitic Diseases Chinese Center for Diseases Control and PreventionChinese Center for Tropical Diseases ResearchShanghai 200025China WHO Collaborating Centre for Tropical Diseases National Center for International Research on Tropical DiseasesMinistry of Science and TechnologyKey Laboratory of Parasite and Vector BiologyMinistry of HealthShanghai 200025China RBM Partnership to End Malaria GenevaSwitzerland

Background About half of the world's population risks contracting malaria,which despite the effective treatments available globally,remains a life-threatening affliction,particularly for the poorest and most vulnerable *** raise awareness,advocacy,and action towards defeating the disease,which was responsible for approximately 228 million debilitating infections and 405000 deaths at last count in 2018,the international community has,since 2008,commemorated World Malaria Day on 25 *** all over the world have provided opportunities for malaria affected countries to learn from each other's experiences and support each other's ***,it has been an occasion for development partners across all countries to showcase their efforts against malaria,reflect on successes,and assess the challenges *** year the World Malaria Day takes its theme from the pan-African campaign,first launched in Senegal,known as"Zero palu!Je m'engage"or"Zero Malaria Starts with Me".

关键词： malaria Malaria elimination

Surveillance Progress for Crucial Vector-Borne Parasitic Diseases in China

在线全文

学校读者我要写书评

暂无评论

China CDC weekly 2020年第33期2卷 638-642页

作者： Fan Yang Zhengbin Zhou Yuan Fang xinyu feng Qin Chen Pin Yang Jing Xu Shizhu Li National Institute of Parasitic Diseases Chinese Center for Disease Control and Prevention/Chinese Center for Tropical Diseases Research/WHO Collaborating Centre for Tropical Diseases/National Center for International Research on Tropical DiseasesMinistry of Science and Technology/Key Laboratory of Parasite and Vector BiologyNational Health Commission of ChinaShanghaiChina

China has achieved significant progress in controlling parasitic diseases through extensive campaigns over the last seven *** 2015,the criteria for schistosomiasis transmission control were met nationwide(1),and no indigenous malaria cases have been reported in China since 2017(2).Moreover,the number of areas with endemic visceral leishmaniasis has been markedly reduced from 16 to 7 provincial-level administrative divisions(PLADs)(3).

关键词： markedly diseases schistosomiasis

Apios americana Medik flower extract protects high-glucose-treated hepatocytes and Caenorhabditis elegans

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Food Bioscience 2022年第1期45卷 105-114页

作者： Su Zhou Jiafei Chen Fangyuan Fan Yani Pan xinyu feng Lushuang Yu Shuying Gong Xiaodong Zheng Yihong Jiang Qiang Chu Tea Research Institute College of Agriculture&BiotechnologyZhejiang UniversityHangzhou310058People’s Republic of China Department of Food Science and Nutrition National Engineering Laboratory of Intelligent Food Technology and EquipmentNational-Local Joint Engineering Laboratory of Intelligent Food Technology and EquipmentZhejiang Key Laboratory for Agro-Food ProcessingFuli Institute of Food ScienceZhejiang UniversityHangzhou310058People’s Republic of China Affiliated Hospital of Stomatology Medical CollegeZhejiang UniversityHangzhou310000People’s Republic of China

Type 2 diabetes(T2D)is a chronic metabolic disease related to glucose metabolism *** evidences indicate that flavonoids obtained from plants have beneficial effects on *** americana Medik,originally cultivated in North America,is rich in *** this study,*** flower extract(AFE)was purified and flavonoids were *** beneficial effects of AFE on glucose metabolism disorders were *** showed that AFE protected hepatic cells from oxidative stress caused by hyperglycemia and increased glucose consumption and glucose *** AKT pathway was involved in AFE-mediated hypoglycemic action in LO2 cells,accompanied by phosphorylation of FoxO1,Gsk-3βand *** vivo,AFE protected Caenorhabditis elegans(***)from oxidative stress under hyperglycemia and restored the expressions of PMK-1 and ***,AFE decreased excessive glucose and lipid accumulation and extended the lifespans of high glucose(HG)treated *** might be beneficial to decrease glucose metabolism disorders and T2D.

关键词： Apios americana flower Hepatocytes Caenorhabditis elegans Glucose metabolism

Pu'er raw tea extract alleviates lipid deposition in both LO2 cells and Caenorhabditis elegans

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Food Bioscience 2022年第6期50卷 1746-1757页

作者： Su Zhou Jiaying Chen Shiyan Yang Yani Pan xinyu feng Shicheng Ma Fangyuan Fan Shuying Gong Yuefei Wang Ping Chen Qiang Chu Tea Research Institute Zhejiang UniversityHangzhou310058China Department of Food Science Zhejiang UniversityHangzhou310058China Wuzhou Liubao Tea Research Association Wuzhou543000China

Non-alcoholic fatty liver disease(NAFLD)is a clinical syndrome associated with steatosis and excessive deposition in the liver,while safe,green and efficient curative therapy is still *** researches have shown that plant polyphenols possess superior lipid-lowering and liver protective ***'er raw tea,a widely consumed tea with increasing fans,has been reported with various healthcare functions,such as blood lipids-lowering,weight loss,anti-microbes and ***,in this study,polyphenols were extracted,purified and identified from Pu'er raw *** beneficial effects of Pu'er raw tea extract(PTE)on lipidoses in both LO2 cells and Caenorhabditis elegans were *** vitro,PTE manifested beneficial effects in protecting cells from oxidative stress,alleviating lipid accumulation and expression of metabolic transcription factors such as Pparα,CD36,Plin2,Scd1,and activating the SIRT1-FOXO pathway to inhibit the expression of SREBP-1c and *** vivo,PTE regulated the abnormal athletic ability of *** and inhibited lipidosis in the whole body induced by oleic acid(OA).Therefore,PTE has exhibited superior bioactivity in alleviating lipid deposition both in vivo and in vitro,and could be regarded as a potential therapeutic strategy for NAFLD in the future.

关键词： Pu'er raw tea Polyphenols Lipid deposition SIRT1-FOXO pathway C.elegans.