检索结果-南通市图书馆

Specification and Verification for Semi-Structured Data

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2006年第1期11卷 107-112页

作者： CHEN Tao-lue han ting-ting LU Jian State Key Laboratory of Novel Software Technology Nanjing University Nanjing 210093 Jiangsu China

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.

关键词： semi structured data tree logic fixpoint model checking algorithm

Neuroprotective Effects of Molecular Hydrogen:A Critical Review

在线全文

学校读者我要写书评

暂无评论

Neuroscience Bulletin 2021年第3期37卷 389-404页

作者： Wei Chen han-ting Zhang Shu-Cun Qin Taishan Institute for Hydrogen Biomedicine Shandong First Medical University and Shandong Academy of Medical SciencesTai'an 271000China Key Laboratory of Atherosclerosis in Universities of Shandong and Institute of Atherosclerosis Shandong First Medical University and Shandong Academy of Medical SciencesTai’an 271000China Departments of Neuroscience and Behavioral Medicine and Psychiatry Rockefeller Neurosciences InstituteWest Virginia University Health Sciences CenterMorgantownWV 26506USA

Molecular hydrogen(H_(2))is a physiologically inert ***,during the last 10 years,increasing evidence has revealed its biological functions under pathological *** specifically,H_(2) has protective effects against a variety of diseases,particularly nervous system disorders,which include ischemia/reperfusion injury,traumatic injury,subarachnoid hemorrhage,neuropathic pain,neurodegenerative diseases,cognitive dysfunction induced by surgery and anesthesia,anxiety,and *** addition,H_(2) plays protective roles mainly through anti-oxidation,anti-inflammation,antiapoptosis,the regulation of autophagy,and preservation of mitochondrial function and the blood-brain ***,H_(2) is easy to use and has neuroprotective effects with no major side-effects,indicating that H_(2) administration is a potential therapeutic strategy in clinical *** we summarize the H_(2) donors and their ***,we review the effectiveness and safety of H_(2) in the treatment of various nervous system diseasesbased on preclinical and clinical studies,leading to the conclusion that H_(2) can be a simple and effective clinical therapy for CNS diseases such as ischemia-reperfusion brain injury,Parkinson's disease,and diseases characterized by cognitive *** potential mechanisms involved in the neuroprotective effect of H_(2) are also analyzed.

关键词： Molecular hydrogen(H_(2)) Neurological disease Neuroprotection Anti-oxidation Anti-inflammation Anti-apoptosis

A ultrasensitive nonenzymatic glucose sensor based on Cu_2O polyhedrons modified Cu electrode

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2012年第8期23卷 953-956页

作者： Zhi Jun Luo ting ting han Ling Ling Qu Xiang Yang Wu School of The Environment Jiangsu UniversityZhenjiang 212013China School of Chemistry and Chemical Engineering Jiangsu UniversityZhenjiang 212013China

A novel nonenzymatic glucose sensor was successfully fabricated based on the Cu2O polyhedrons covered Cu foil. The Cu2O polyhedrons covered Cu foil was constructed via a facile, low-cost and larger scale producible method. The Cu2O polyhedrons covered Cu foil can be directly used as the working electrode of nonenzymatic glucose sensor, which present good stability and flexibility. The results indicated that the Cu2O polyhedrons modified Cu electrode （Cu2O/Cu electrode） showed high electrocatalytic activity for the oxidation of glucose in alkaline solution. There are two linear regions of glucose concentration for the glucose sensor based on Cu2O/Cu electrode, respectively in 10μmol/L to 0.53 mmol/L （sensitivity： 3029.33 μA （mmol/ L）^-1 cm^-2） and in 0.53-7.53 mmol/L （sensitivity： 728.67 μA （rnmol/L）^-1 cm^-2）.

关键词： Cuprous oxide film Nonenzymatic sensor Glucose Electrocatalytic oxidation

Towards Efficient Short-Range Pair Interaction on Sunway Many-Core Architecture

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2021年第1期36卷 123-139页

作者： Jun-Shi Chen Hong An Wen-ting han Zeng Lin Xin Liu School of Computer Science and Technology University of Science and Technology of ChinaHefei 230026China National Research Center of Parallel Computer Engineering and Technology Beijing 100080China

The short-range pair interaction consumes most of the CPU time in molecular dynamics(MD)*** inherent computation sparsity makes it challenging to achieve high-performance kernel on the emerging many-core *** this paper,we present a highly efficient short-range force kernel on the Sunway,a novel many-core architecture with many unique *** parallel efficiency of this algorithm on the Sunway many-core processor is strongly limited by the poor data locality and write *** enhance the data locality,we adopt a super cluster based neighbor list with an appropriate granularity that fits in the local memory of computing *** the absence of a low overhead locking mechanism,using data-privatization force array is a more feasible method to avoid write conflicts,but results in the large overhead of data *** adopt a dual-slice partitioning scheme for both hardware resources and computing tasks,which utilizes the on-chip data communication to reduce data reduction overhead and provide load ***,we exploit the single instruction multiple data(SIMD)parallelism and perform instruction reordering of the force kernel on this many-core *** experimental results show that the optimized force kernel obtains a performance speedup of 226x compared with the reference implementation and achieves 20%of peak flop rate on the Sunway many-core processor.

关键词： molecular dynamics sunway many-core pair interaction parallel algorithm

Magnetite/N-doped carboxylate-rich carbon spheres:Synthesis,characterization and visible-light-induced photocatalytic properties

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2013年第1期24卷 63-66页

作者： Hong-Jun Tang ting-ting han Zhi-Jun Luo Xiang-Yang Wu School of Chemistry and Chemical Engineering Jiangsu University School of the Environment Jiangsu University State Key Laboratory of Coordination Chemistry Nanjing University

A novel magnetically separable visible-light-photocatalyst, magnetite/N-doped carboxylate-rich carbon spheres （N-MCRCSs）, was synthesized by a facile ultrasonic method using the magnetite/carboxylate- rich carbon spheres （MCRCSs） as precursors. N element has been successfully doped into the MCRCSs in a HN03 aqueous solution via an ultrasonic treatment, which were demonstrated by the FT-IR and XPS. N- MCRCSs exhibit more intensive absorption over MCRCSs in the entire UV and visible region. N-MCRCSs can not only be easily recycled by applying an external magnetic field, but also exhibit powerful visible light photocatalytic activity.

关键词： Visible-light-photocatalystFerricarboxylate complexesMagnetiteN-doped carbon

Cutaneous nodules and a novel GNAS mutation in a Chinese boy with pseudohypoparathyroidism type Ia: A case report and review of literature

在线全文

学校读者我要写书评

暂无评论

World Journal of Clinical Cases 2020年第3期8卷 587-593页

作者： Yun-Ling Li ting han Fang Hong Department of Dermatology The Children’s HospitalZhejiang University School of MedicineNational Clinical Research Center for Child HealthHangzhou 310052Zhejiang ProvinceChina Department of Children’s Health Care The Children’s HospitalZhejiang University School of MedicineNational Clinical Research Center for Child HealthHangzhou 310052Zhejiang ProvinceChina Department of Genetics and Metabolism The Children’s HospitalZhejiang University School of MedicineNational Clinical Research Center for Child HealthHangzhou 310052Zhejiang ProvinceChina

BACKGROUND Pseudohypoparathyroidism type Ia(PHP Ia) is a rare hereditary syndrome, and patients with early PHP Ia are generally not diagnosed based on the presentation of cutaneous nodules as the main clinical feature. Here, we describe a Chinese boy with PHP Ia in whom the main clinical feature was cutaneous nodules, and the patient exhibited a novel GNAS *** SUMMARY A 5-year-old boy presented with a 5-year history of cutaneous nodules scattered over his entire body. The patient had a short stature, round face, short neck, and slightly flattened nose;he also had multiple hard papules and cutaneous nodules scattered over his entire body. The patient had a significantly elevated parathyroid hormone level. His serum calcium level was reduced, while his serum phosphorus level was increased and his serum thyroid-stimulating hormone level was elevated. Skin biopsy showed osteoma cutis in subcutaneous tissue. Sanger sequencing revealed a frameshift mutation, c.399 del T(***133 Argfs*2) in exon 5 of the GNAS gene. The patient was diagnosed with PHP Ia and subclinical hypothyroidism. He was given 1,25-dihydroxyvitamin D,calcium carbonate, and synthetic L-thyroxine. After 3 months of treatment, the patient’s parathyroid hormone level decreased, and his serum calcium and serum phosphorus levels were normal. Moreover, his thyroid-stimulating hormone level *** These findings can help dermatologists to diagnose PHP Ia in patients with cutaneous nodules as the main early clinical feature.

关键词： Pseudohypoparathyroidism type Ia Cutaneous nodules GNAS Pseudohypoparathyroidism Case report

Energy-efficient task offloading, load balancing, and resource allocation in mobile edge computing enabled IoT networks

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2019年第2期62卷 243-245页

作者： Shulei LI Daosen ZHAI Pengfei DU ting han Tianyuan Ruixin Communication Technology Co.Ltd. School of Electronics and Information Northwestern Polytechnical University The 10th Institute of China Electronics Technology Group Corporation (CETC) The 504th Institute of China Space Technology

Dear editor,The constraints on energy supply for smart mobile devices (SMDs) have obstructed the development of IoT. Mobile edge computing (MEC)[1]is a promising way to overcome the abovementioned challenge, whereby MEC servers (MECSs)can provide computing capabilities to SMDs with superior computing capabilities and thus reduce the energy consumption (EC) for SMDs [1].

关键词： IoT SMD MEC and resource allocation in mobile edge computing enabled IoT networks load balancing Energy-efficient task offloading

Herbal medicines for insomnia through regulating 5-hydroxytryptamine receptors:a systematic review

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Natural Medicines 2023年第7期21卷 483-498页

作者： WANG Haoran GU Yanqiu KHALID Rahman CHEN Xiaofei han ting School of Pharmacy Naval Medical University(Second Military Medical University)Shanghai 200433China School of Pharmacy Shandong University of Traditional Chinese MedicineJinan 250355China Department of Pharmacy Shanghai Ninth People's HospitalShanghai Jiao Tong UniversitySchool of MedicineShanghai 201999China Faculty of Science School of Pharmacy and Biomolecular SciencesLiverpool John Moores UniversityLiverpoolEngland

Insomnia is a common sleep disorder without effective therapy and can affect a person's *** mechanism of the disease is not completely ***,there is a need to understand the targets related to insomnia,in order to develop innovative therapies and new ***,increasing interest has been focused on complementary and alternative medicines for treating or preventing *** into their molecular components has revealed that their sedative and sleep-promoting properties rely on the interactions with various neurotransmitter systems in the *** this review,the role of 5-hydroxytryptamine(5-HT)in insomnia development is summarized,while a systematic analysis of studies is conducted to assess the mechanisms of herbal medicines on different 5-HT receptors subtypes,in order to provide reference for subsequent research.

关键词： 5-Hydroxytryptamine 5-HT receptors Insomnia Herbal medicine

在线全文

学校读者我要写书评

暂无评论

通过设计思维建立驱动社会创新和资源的系统

设计 2019年第18期32卷 34-39页

作者：韩挺上海交通大学设计学院

《设计》:“设计思维”一词非常抽象,您能否用通俗易懂的话阐释何为“设计思维”?韩挺:设计是一种创造性的活动,其目的是为物品、过程、服务以及它们在整个生命周期中构成的系统建立多方面的品质。因此,设计既是创新技术人性化的重要因... 详细信息

《设计》:“设计思维”一词非常抽象,您能否用通俗易懂的话阐释何为“设计思维”?韩挺:设计是一种创造性的活动,其目的是为物品、过程、服务以及它们在整个生命周期中构成的系统建立多方面的品质。因此,设计既是创新技术人性化的重要因素,也是经济文化交流的关键因素。设计的创造性、主观性和不确定性等特点决定了设计不能像科学那样在理性和方法学上被精确定义及充分发展,设计活动的处理对象(即处理人与物的关系)又决定了设计者不能像艺术和工程等其他学科工作者一样思考,因此设计思维具有领域特殊性。设计领域对设计是否存在独特的思维模式的认识有一个反复的过程。以西蒙(Simon)为代表的设计思维初期研究认为,设计是一般的问题解决过程,并建立了分析-综合-评估线性模型。

关键词：设计思维技术人性化领域特殊性经济文化交流人与物的关系线性模型精确定义方法学