检索结果-南通市图书馆

建设文学景观数据库的价值与方法——以《方舆胜览》为例

在线全文

学校读者我要写书评

暂无评论

中南民族大学学报（人文社会科学版） 2020年第1期40卷 107-111页

作者：邵大为陈逸云中南民族大学文学与新闻传播学院湖北武汉430073 中南民族大学数字人文资源研究中心湖北武汉430073

文学不仅描述景观,传播景观,也塑造景观,甚至在景观湮没之后再造景观,但如何发挥这些作用,还需将一定数量的文学景观放在广阔的时空维度和历史文化场景中整体考量。为文学景观建设数据库,有利于高效处理庞大体量的研究对象及其错综复杂... 详细信息

文学不仅描述景观,传播景观,也塑造景观,甚至在景观湮没之后再造景观,但如何发挥这些作用,还需将一定数量的文学景观放在广阔的时空维度和历史文化场景中整体考量。为文学景观建设数据库,有利于高效处理庞大体量的研究对象及其错综复杂的各类信息,从而使局部的现象关联和宏观的整体分析易于实现。以南宋地志《方舆胜览》所载文学景观为对象,通过建立目录化数据、分词化数据、本体数据库、标签化数据和GIS化景观数据等步骤,探索建设文学景观数据库的具体途径,尝试将《方舆胜览》用地图方式可视化呈现。

关键词：文学景观数据库《方舆胜览》景观地图

Trinuclear gold-catalyzed site-selective alkylation of peptides

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2025年第1期68卷 249-256页

作者： Qing-yun Fang chengyihan Gu yinghan chen Wencheng Yan Yong Liang Weipeng Li chengjian Zhu Jie Han Jin Xie State Key Laboratory of Coordination Chemistry Jiangsu Key Laboratory of Advanced Organic Materials Chemistry and Biomedicine Innovation Center (Chem BIC) School of Chemistry and Chemical Engineering Nanjing University Green Catalysis Center College of Chemistry Zhengzhou University State Key Laboratory of Natural Medicines China Pharmaceutical University

Selective modification of peptides has always been a challenging issue. The selective alkylation of peptides can alter the biological activity and physical properties of molecules, and it has gained significant research interest. We herein disclose an intriguing gold-catalyzed alkylation of peptides using bench-stable unactivated alkyl bromides under photoredox catalysis. A wide range of structurally diverse primary, secondary and tertiary alkyl bromides serve as effective coupling partners to precisely connect with the α-C(sp3)–H in glycine residue of peptides. This protocol demonstrates an exceptionally broad scope for alkyl halides and excellent tolerance for a wide range of useful functional groups. A series of relay transformations to construct cyclic peptides, to proceed click reaction and to realize peptide fluorescence labeling further enhance its synthetic practicality. In addition, mechanistic studies and density functional theory(DFT) calculations reveal an inner-sphere and subsequent outersphere single electron transfer(SET) mechanism.

关键词： gold catalysis peptide alkylation C-C coupling radical

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于主动节点的可靠组播差错控制

中国科学技术大学学报 2005年第3期35卷 354-359页

作者：王际洲陈意云中国科技大学计算机系安徽合肥230026

将主动网络的思想引入可靠组播差错控制,提出由主动节点负责差错检测和报告;结合已有的“NACK汇聚”策略,设计了在主动节点上的“NACK抑制”策略,从而大大减少了NACK消息的数目.基于上述两点,设计了一个新的主动可靠组播协议ADERM.实验... 详细信息

将主动网络的思想引入可靠组播差错控制,提出由主动节点负责差错检测和报告;结合已有的“NACK汇聚”策略,设计了在主动节点上的“NACK抑制”策略,从而大大减少了NACK消息的数目.基于上述两点,设计了一个新的主动可靠组播协议ADERM.实验证明ADERM协议很好地控制了带宽占用和恢复延迟,具有良好的可扩展性.

关键词：可靠组播主动网络本地恢复反馈控制

在线全文

学校读者我要写书评

暂无评论

移动计算系统信息流安全

小型微型计算机系统 2006年第8期27卷 1455-1460页

作者：黄海军陈意云中国科技大学计算机系中国科学院软件研究所计算机科学实验室北京100080

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息... 详细信息

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证MobileML语言程序信息流安全.

关键词：程序信息流安全无干扰性形式语义类型系统子定型

在线全文

学校读者我要写书评

暂无评论

分布式计算系统信息流安全

小型微型计算机系统 2007年第3期28卷 425-430页

作者：黄海军陈意云中国科技大学计算机系安徽合肥230026

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.鉴于分布式移动计算系统中进程之间的通讯会引起严重的信息泄密,本文研究了进程之间的通讯对系统信息流安全的影响,通过对高阶函数式编程语言进... 详细信息

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.鉴于分布式移动计算系统中进程之间的通讯会引起严重的信息泄密,本文研究了进程之间的通讯对系统信息流安全的影响,通过对高阶函数式编程语言进行扩充,加入通讯原语,得到分布式移动计算语言ConcurML,它能很好地模拟网络连接的动态性和代码移动性.并给出了动态语义和静态语义的形式描述,所设计的两级信息流类型系统使用类型和效果技术,结合了多态这样的类型特征,能有效地保证进程之间的通讯不会导致信息泄密.

关键词：程序信息流安全形式语义类型和效果系统多态

在线全文

学校读者我要写书评

暂无评论

一种用于指针程序安全性证明的指针逻辑

计算机学报 2008年第3期31卷 372-380页

作者：陈意云华保健葛琳王志芳中国科学技术大学计算机科学与技术系合肥230026 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

在高可信软件的各种性质中,安全性是被关注的重点,其中软件满足安全策略的证明方法是研究的热点之一.文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统.该逻辑系统是Hoare逻辑系统的一种扩展,... 详细信息

在高可信软件的各种性质中,安全性是被关注的重点,其中软件满足安全策略的证明方法是研究的热点之一.文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统.该逻辑系统是Hoare逻辑系统的一种扩展,它用推理规则来表达每一种语句引起指针信息的变化情况.它可用来对指针程序进行精确的指针分析,所获得的信息用来证明指针程序是否满足定型规则的附加条件,以支持程序的安全性验证.该逻辑系统也可用来证明指针程序的其它性质.

关键词：软件安全指针逻辑 Hoare逻辑指针分析类型系统

Maintaining moderate levels of hypochlorous acid promotes neural stem cell proliferation and differentiation in the recovery phase of stroke

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2025年第3期20卷 845-857页

作者： Lin-Yan Huang yi-De Zhang Jie chen Hai-Di Fan Wan Wang Bin Wang Ju-yun Ma Peng-Peng Li Hai-Wei Pu Xin-yian Guo Jian-Gang Shen Su-Hua Qi School of Medical Technology Xuzhou Key Laboratory of Laboratory DiagnosticsXuzhou Medical UniversityXuzhouJiangsu ProvinceChina School of Pharmacy Xuzhou Medical UniversityXuzhouJiangsu ProvinceChina Department of Laboratory Medicine Branch Hospital of Huai’an First People’s HospitalHuai’anJiangsu ProvinceChina Department of Laboratory Medicine the Affiliated Hospital of Xuzhou Medical UniversityXuzhouJiangsu ProvinceChina School of Chinese Medicine The University of Hong KongHong Kong Special Administrative RegionChina

It has been shown clinically that continuous removal of ischemia/reperfusion-induced reactive oxygen species is not conducive to the recovery of late ***,previous studies have shown that excessive increases in hypochlorous acid after stroke can cause severe damage to brain *** previous studies have found that a small amount of hypochlorous acid still exists in the later stage of stroke,but its specific role and mechanism are currently *** simulate stroke in vivo,a middle cerebral artery occlusion rat model was established,with an oxygen-glucose deprivation/reoxygenation model established in vitro to mimic *** found that in the early stage(within 24 hours)of ischemic stroke,neutrophils produced a large amount of hypochlorous acid,while in the recovery phase(10 days after stroke),microglia were activated and produced a small amount of hypochlorous ***,in acute stroke in rats,hypochlorous acid production was prevented using a hypochlorous acid scavenger,taurine,or myeloperoxidase inhibitor,4-aminobenzoic acid *** results showed that high levels of hypochlorous acid(200μM)induced neuronal apoptosis after oxygen/glucose deprivation/***,in the recovery phase of the middle cerebral artery occlusion model,a moderate level of hypochlorous acid promoted the proliferation and differentiation of neural stem cells into neurons and *** suggests that hypochlorous acid plays different roles at different phases of cerebral ischemia/reperfusion *** levels of hypochlorous acid(5 and 100μM)promoted nuclear translocation ofβ-*** transfection of single-site mutation plasmids,we found that hypochlorous acid induced chlorination of theβ-catenin tyrosine 30 residue,which promoted nuclear ***,our study indicates that maintaining low levels of hypochlorous acid plays a key role in the recovery of neurological function.

关键词： cell differentiation cerebral ischemia/reperfusion injury chlorination hypochlorous acid microglia neural stem cell neurogenesis nuclear translocation stroke β-catenin

在线全文

学校读者我要写书评

暂无评论

基于复用距离的cache失效率分析

小型微型计算机系统 2006年第9期27卷 1777-1781页

作者：付雄张昱陈意云中国科学技术大学计算机科学与技术系安徽合肥230027

复用距离已经成为程序cache行为的一种重要度量标准,但高复杂度和可能的内存溢出问题使得其难以应用.本文在引入最大cache大小的基础上提出一种受限的复用距离分析方法.该方法有效地避免了一般复用距离分析可能导致的内存溢出问题,同时... 详细信息

复用距离已经成为程序cache行为的一种重要度量标准,但高复杂度和可能的内存溢出问题使得其难以应用.本文在引入最大cache大小的基础上提出一种受限的复用距离分析方法.该方法有效地避免了一般复用距离分析可能导致的内存溢出问题,同时使得复用距离分析达到线性时间复杂度.文章通过对一系列整数和浮点程序的实验说明基于该复用距离分析的cache失效率分析的可行性和正确性.

关键词：复用距离 Cache失效率局部性

不同核函数支持向量机和可见-近红外光谱的多种植被叶片生化组分估算

在线全文

学校读者我要写书评

暂无评论

光谱学与光谱分析 2019年第2期39卷 428-434页

作者：陈方圆周鑫陈奕云王奕涵刘会增王俊杰邬国锋武汉大学资源与环境科学学院湖北武汉430079 武汉大学教育部地理信息系统重点实验室湖北武汉430079 湖北省测绘工程院湖北武汉430074 香港浸会大学地理系深圳大学国家测绘地理信息局海岸带地理环境监测重点实验室及深圳市空间信息智能感知与服务重点实验室广东深圳518060 深圳大学生命与海洋科学学院广东深圳518060

氮、磷、钾元素是植物有机质的重要生化组分,准确估算其含量对监测管理植被的新陈代谢和健康状况具有重要意义。可见-近红外光谱结合多种建模方法已被用于植被生化参数的监测,其中支持向量机回归方法被证明能够较好拟合反射光谱和植被... 详细信息

氮、磷、钾元素是植物有机质的重要生化组分,准确估算其含量对监测管理植被的新陈代谢和健康状况具有重要意义。可见-近红外光谱结合多种建模方法已被用于植被生化参数的监测,其中支持向量机回归方法被证明能够较好拟合反射光谱和植被生化参数之间的非线性关系,而选取适当的核函数是其成功的关键。以宜兴地区水稻、玉米、芝麻、大豆、茶叶、草地、乔木和灌木等八种植被叶片样本为研究对象,分析比较基于径向基核函数、多项式核函数和S形核函数的支持向量回归模型估算叶片氮、磷、钾元素含量的能力。利用一阶微分变换、标准正态变量变换和反对数变换对叶片可见-近红外光谱进行预处理,运用bootstrapping法生成1 000组校正集和验证集,分别建立基于三种核函数的支持向量回归估算模型,以决定系数(R2)和相对分析误差(RPD)的均值作为评价指标。结果显示,结合一阶微分和反对数变换光谱,采用径向基核函数模型对氮、钾元素估算精度最高(氮:平均R2=0.64,平均RPD=1.67;钾:平均R2=0.56,平均RPD=1.48),结合一阶微分变换光谱,采用径向基核函数模型对磷元素估算精度最高(磷:平均R2=0.68,平均RPD=1.73)。研究表明,结合不同预处理的可见-近红外光谱,基于径向基核函数的支持向量回归模型具有较好的估算多种植被叶片生化组分含量的潜力。

关键词：核函数支持向量机可见-近红外光谱生化组分