检索结果-南通市图书馆

Defence Technology（防务技术） 2024年第2期32卷 285-296页

作者： xiaocong zhou Wei Zheng Zhaowei Li Panlong Wu Yongjin Sun School of Automation Nanjing University of Science and TechnologyNanjing210094China China Academy of Aerospace Science and Innovation Beijing100176China Qian Xuesen Laboratory of Space Technology China Academy of Space TechnologyBeijing100094China School of Electronics and Information Engineering Harbin Institute of TechnologyHarbin150001China

This study focuses on the improvement of path planning efficiency for underwater gravity-aided ***,a Depth Sorting Fast Search(DSFS)algorithm was proposed to improve the planning speed of the Quick Rapidly-exploring Random Trees*(Q-RRT*)algorithm.A cost inequality relationship between an ancestor and its descendants was derived,and the ancestors were filtered ***,the underwater gravity-aided navigation path planning system was designed based on the DSFS algorithm,taking into account the fitness,safety,and asymptotic optimality of the routes,according to the gravity suitability distribution of the navigation ***,experimental comparisons of the computing performance of the ChooseParent procedure,the Rewire procedure,and the combination of the two procedures for Q-RRT*and DSFS were conducted under the same planning environment and parameter conditions,*** results showed that the computational efficiency of the DSFS algorithm was improved by about 1.2 times compared with the Q-RRT*algorithm while ensuring correct computational results.

关键词： Depth Sorting Fast Search algorithm Underwater gravity-aided navigation Path planning efficiency Quick Rapidly-exploring Random Trees*(QRRT*)

-120℃空气制冷深冷冰箱样机开发及性能测试

在线全文

学校读者我要写书评

暂无评论

低温与超导 2024年第7期52卷 1-6页

作者：宋书建陈双涛周晓聪陈良侯予西安交通大学能源与动力工程学院西安710049 深低温技术与装备教育部重点实验室西安710049

为了验证以电驱透平膨胀-压缩一体机为核心部件的闭式逆布雷顿空气制冷系统在深冷冰箱中应用的可行性,探究闭式空气制冷系统在深冷冰箱温区的工作特性,本文开发了制冷量为200 W制冷温度为-120℃的空气制冷深冷冰箱原理样机,开展了该原... 详细信息

为了验证以电驱透平膨胀-压缩一体机为核心部件的闭式逆布雷顿空气制冷系统在深冷冰箱中应用的可行性,探究闭式空气制冷系统在深冷冰箱温区的工作特性,本文开发了制冷量为200 W制冷温度为-120℃的空气制冷深冷冰箱原理样机,开展了该原理样机降温过程及不同热负荷条件下的变工况特性研究。结果表明:所开发的空气制冷深冷冰箱系统运行可靠,降温速率快,系统满功率运行降温至-100℃耗时仅3 h,最低制冷温度达-126℃;系统在设计制冷温度-120℃下制冷量约215 W,同时系统COP为0.08。

关键词：深冷冰箱逆布雷顿循环空气制冷高速透平

Nickel-Catalyzed Cross-Electrophile Coupling of Triazine Esters with Aryl Bromides

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemistry 2023年第24期41卷 3539-3546页

作者： Xiang Liu Cai-Yu He Hao-Nan Yin Chengping Miao Xue-Qiang Chu Weidong Rao Hao Xu xiaocong zhou Zhi-Liang Shen Technical Institute of Fluorochemistry (TIF) Institute of Advanced SynthesisSchool of Chemistry and Molecular EngineeringNanjing Tech UniversityNanjingJiangsu211816 China College of Biological Chemical Science and EngineeringJiaxing University118 Jiahang RoadJiaxingZhejiang314001 China Jiangsu Provincial Key Lab for the Chemistry and Utilization of Agro-Forest Biomass College of Chemical EngineeringNanjing Forestry UniversityNanjingJiangsu210037 China

Cross-electrophile coupling of triazine esters with aryl bromides could be facilely accomplished by employing nickel as catalyst,magnesium as metal mediator,and lithium chloride as *** reactions proceeded efficiently in THF at room temperature through C—O bond activation to afford an array of structurally different diaryl ketones in moderate to good yields with wide functional group *** experiments showed that nickel,magnesium,lithium chloride,and THF are all indispensable for the good performance of the coupling *** mechanistic exploration indicated that in situ formed arylmagnesium reagent by the insertion of magnesium into aryl bromide might serve as the key intermediate of the *** method which avoids the utilization of moisture-labile and relatively difficult-to-obtain organometallics is step-economical,cost-efficient,and operationally simple,potentially serving as an attractive alternative to documented methods.

关键词： Cross-coupling Triazine esters Diaryl ketones Nickel Magnesium Lithium chloride Cross-electrophile coupling

类型系统的λω×_≤等式理论及其语义的合理性

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机研究与发展 2006年第5期43卷 874-880页

作者：周晓聪中山大学计算机科学系广州510275

类型系统在研究程序设计语言的理论基础方面起着十分重要的作用,特别地,带子类型的多态类型系统可刻画面向对象程序设计语言核心概念,如子类型、多态性等.为研究面向对象程序设计语言的形式理论基础,探讨了一个命名为类型系统λω×≤... 详细信息

类型系统在研究程序设计语言的理论基础方面起着十分重要的作用,特别地,带子类型的多态类型系统可刻画面向对象程序设计语言核心概念,如子类型、多态性等.为研究面向对象程序设计语言的形式理论基础,探讨了一个命名为类型系统λω×≤的带高阶子类型的多态类型系统,并利用插入子和fibration理论,引入λω×≤fibration作为该类型系统的语义模型.进一步,讨论了类型系统λω×≤的等式理论,特别是与受限全称量词有关的等式,并利用插入子的性质,证明了对于该等式理论,λω×≤fibration是合理的语义模型.

关键词：类型系统λω×≤ 高阶子类型等式理论 λω×≤fibration

H-TOSSIM: Extending TOSSIM with Physical Nodes

在线全文

学校读者我要写书评

暂无评论

Wireless Sensor Network 2009年第4期1卷 324-333页

作者： Wenjun LI Xiaobin ZHANG Weihua TAN xiaocong zhou 不详

As the development of Wireless Sensor Network (WSN), software testing for WSN-based applications be-comes more and more important. Simulation testing is an important approach to WSN-based software testing, and TOSSIM is the most widely used simulation testing tool targeted at TinyOS which is the most popular operating system nowadays. However, simulation testing tools such as TOSSIM can not reveal program er-rors about communication detail or timing, and lack accurate power consumption model and even can not support power consumption estimation. In this paper, a hybrid testbed H-TOSSIM is proposed, which ex-tends TOSSIM with physical nodes. H-TOSSIM uses three physical nodes, of which, one shares the simu-lated environment with all virtual nodes to test the WSN program, and the other two bridge the real world and the simulated environment. H-TOSSIM combines the advantages of both the simulation in physical node and the simulation testing tools in WSN software testing. Through experiments, we show that H-TOSSIM really reveals program errors which the pure simulation testing can not capture, and can support power con-sumption estimation for large WSN with high accuracy and low hardware cost.

关键词： Wireless Sensor Network Sink Principal Node Superior Node Network Lifetime

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于话题链的汉语语篇连贯性描述体系

中文信息学报 2014年第5期28卷 102-110页

作者：周强周骁聪清华信息科学与技术国家实验室(筹) 清华大学信息技术研究院语音和语言技术中心北京100084

汉语简洁灵活的意合型篇章组合结构,对传统的基于关联词的篇章连贯性描述体系提出了新的挑战。该文引入话题链描述形式,设计不同类型的话题评述关系集,构建了以话题链为主,融合关联词语和其他连贯形式描述机制,覆盖话题评述、并列、因... 详细信息

汉语简洁灵活的意合型篇章组合结构,对传统的基于关联词的篇章连贯性描述体系提出了新的挑战。该文引入话题链描述形式,设计不同类型的话题评述关系集,构建了以话题链为主,融合关联词语和其他连贯形式描述机制,覆盖话题评述、并列、因果、转折四大类关系的汉语语篇连贯性描述体系。在清华句法树库TCT上进行的验证实验,发现话题链和关联词语分别覆盖了约76%和50%的汉语复句,并且两者经常同时使用,初步证明了这个体系在句子连贯性描述方面的可行性和有效性。

关键词：话题链话题评述关系连贯性描述体系汉语语篇分析

在线全文

学校读者我要写书评

暂无评论

类型化π演算的双代数语义

计算机研究与发展 2012年第8期49卷 1773-1780页

作者：黎永基李师贤周晓聪中山大学计算机科学系广州510275

证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进... 详细信息

证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数互模拟一致,而迟语义和早语义对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数模型,为进一步应用双代数框架对其他复杂演算建模奠定了理论基础.

关键词：共代数双代数 π演算进程语义互模拟

考试焦虑对学业成绩的影响:工作记忆容量的调节效应

在线全文

学校读者我要写书评

暂无评论

中国特殊教育 2016年第12期 49-53页

作者：张小聪周仁来南京中医药大学心理学院南京210023 南京大学社会学院心理系南京210023 认知神经科学与学习国家重点实验室(北京师范大学) 北京100875

为考察工作记忆容量在考试焦虑与学业成绩(平均绩点和英语成绩)之间的调节效应,采用考试焦虑问卷和OSPAN任务对174名大学生进行测量。结果表明,工作记忆容量在考试焦虑与学业成绩之间的调节效应显著。高工作记忆容量被试的考试焦虑水平... 详细信息

为考察工作记忆容量在考试焦虑与学业成绩(平均绩点和英语成绩)之间的调节效应,采用考试焦虑问卷和OSPAN任务对174名大学生进行测量。结果表明,工作记忆容量在考试焦虑与学业成绩之间的调节效应显著。高工作记忆容量被试的考试焦虑水平对学业成绩有正向预测作用;但对于低工作记忆容量的被试而言,考试焦虑水平对学业成绩有负向预测作用。

关键词：考试焦虑工作记忆容量学业成绩

高甘油三酯血症型重症急性胰腺炎并发急性肾损伤的临床特点和危险因素研究

在线全文

学校读者我要写书评

暂无评论

中华急诊医学杂志 2023年第9期32卷 1172-1177页

作者：谢光伟孙昀曹利军鹿中华张频捷周笑丛何林安徽医科大学第二附属医院重症医学一科合肥230601

目的研究高甘油三酯血症型重症急性胰腺炎(hypertriglyceridemia-induced severe acute pancreatitis,HTG-SAP)并发急性肾损伤(acute kidney injury,AKI)的临床特点和危险因素。方法回顾性收集2014年1月至2022年7月安徽医科大学第二附属医院重症医学科收治的HTG-SAP患者的临床资料,根据是否发生AKI分为AKI组和非AKI组。比较两组一般情况、实验室检查资料和临床特点,筛选差异具有统计学意义的因素进行Logistic回归分析并构建预测模型。绘制受试者工作特性曲线,使用曲线下面积(area under the curve,AUC)评估各个预测指标对HTG-SAP并发AKI的预测能力。结果共纳入91例患者,其中发生AKI者37例(40.7%),非AKI者54例(59.3%)。AKI组发生胰外感染、脓毒症及多器官功能障碍综合征、需要机械通气、持续肾脏替代治疗(continuous renal replacement therapy,CRRT)、腹膜后穿刺和手术干预的比例高于非AKI组(均P<0.05)。AKI组住ICU时间、住院总时间、病死率高于非AKI组(均P<0.05)。多因素Logistic回归分析显示,急性生理学与慢性健康状况(acute physiology and chronic health evaluation,APACHE)Ⅱ评分(OR=2.069,95%CI:1.286~3.417,P=0.003),腹腔压力(OR=1.469,95%CI:1.108~1.958,P=0.007)和乳酸(OR=3.156,95%CI:1.013~9.831,P=0.047)是HTG-SAP患者发生AKI的独立危险因素。APACHEⅡ评分、腹腔压力、乳酸以及三者联合预测模型的AUC分别为0.951、0.918、0.837、0.986。结论HTG-SAP并发AKI的患者更加容易出现胰外感染、脓毒症、多脏器功能障碍相关并发症,住院期间需要机械通气、CRRT、腹膜后穿刺及手术干预的比例更大,其住ICU时间、住院总时间更长,病死率更高。APACHEⅡ评分、腹腔压力及乳酸为HTG-SAP并发AKI的独立危险因素,根据三者建立的预测模型在预测HGT-SAP并发AKI方面有更高的价值。

关键词：重症急性胰腺炎高甘油三酯血症急性肾损伤临床特点

在线全文

学校读者我要写书评

暂无评论

一个离散数学辅助教学软件的设计与开发

软件工程 2022年第3期25卷 48-52,43页

作者：周晓聪赵清谢扬周宇乔海燕中山大学计算机学院广东广州510006

离散数学是计算机专业的核心基础课程,通常包括逻辑、证明、集合、关系、函数、组合计数、图论和代数等多个模块。一个能求解离散数学问题的计算机软件对离散数学课程的教学和学习都有很好的辅助作用。本文使用面向对象方法设计和开发... 详细信息

离散数学是计算机专业的核心基础课程,通常包括逻辑、证明、集合、关系、函数、组合计数、图论和代数等多个模块。一个能求解离散数学问题的计算机软件对离散数学课程的教学和学习都有很好的辅助作用。本文使用面向对象方法设计和开发了一个包含能求解逻辑、集合、组合计数、图论与代数等离散数学课程模块中问题的教学辅助软件。该软件不仅能展示离散数学问题求解的详细过程,还能随机生成问题供学生练习。对学生试用后的调查表明,该软件对学生学习离散数学课程很有帮助,也有助于培养学生的计算思维。

关键词：离散数学辅助教学软件面向对象设计