检索结果-南通市图书馆

DeepOCL:A deep neural network for Object Constraint Language generation from unrestricted nature language

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

CAAI Transactions on Intelligence Technology 2024年第1期9卷 250-263页

作者： yilong yang Yibo Liu Tianshu Bao Weiru Wang Nan Niu Yongfeng Yin School of Software Beihang UniversityBeijingChina College of Computer Science and Technology Guizhou UniversityGuiyangGuizhouChina Faculty of Information Technology Beijing University of TechnologyBeijingChina Department of Electrical Engineering and Computer Sciences University of CincinnatiCincinnatiOhioUSA

Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation *** demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named *** experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural *** can be further developed as a CASE tool for the software industry.

关键词： deep learning OCL software engineering

Generative adversarial networks based motion learning towards robotic calligraphy synthesis

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

CAAI Transactions on Intelligence Technology 2024年第2期9卷 452-466页

作者： Xiaoming Wang yilong yang Weiru Wang Yuanhua Zhou Yongfeng Yin Zhiguo Gong Department of Computer and Information Science University of MacaoMacaoChina School of Software Beihang UniversityBeijingChina Department of Computer Science and Technology Faculty of Information TechnologyBeijing University of TechnologyBeijingChina School of Foreign Languages Guangzhou Huashang CollegeGuangzhouChina

Robot calligraphy visually reflects the motion capability of robotic *** traditional researches mainly focus on image generation and the writing of simple calligraphic strokes or characters,this article presents a generative adversarial network(GAN)-based motion learning method for robotic calligraphy synthesis(Gan2CS)that can enhance the efficiency in writing complex calligraphy words and reproducing classic calligraphy *** key technologies in the proposed approach include:(1)adopting the GAN to learn the motion parameters from the robot writing operation;(2)converting the learnt motion data into the style font and realising the transition from static calligraphy images to dynamic writing demonstration;(3)reproducing high-precision calligraphy works by synthesising the writing motion data *** this study,the motion trajectories of sample calligraphy images are firstly extracted and converted into the robot *** robot performs the writing with motion planning,and the writing motion parameters of calligraphy strokes are learnt with *** the motion data of basic strokes is synthesised based on the hierarchical process of‘stroke-radicalpart-character’.And the robot re-writes the synthesised characters whose similarity with the original calligraphy characters is *** calligraphy characters have been tested in the experiments for method validation and the results validated that the robot can actualise the robotic calligraphy synthesis of writing motion data with GAN.

关键词： calligraphy synthesis generative adversarial networks Motion learning robot writing

Rational design of a single-component mRNA vaccine against orthopoxvirus and SARS-CoV-2

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Life Sciences) 2024年第6期67卷 1311-1313页

作者： yilong yang Xiaofan Zhao Yu Li Xiaodong Zai Xinyi Wang Yue Zhang Xiaolin Wang Peng Lv Jun Zhang Lihua Hou Junjie Xu Wei Chen Laboratory of Advanced Biotechnology Beijing Institute of BiotechnologyAcademy of Military Medical SciencesBeijing 100071China

Dear Editor,In the era of COVID-19,the prevalence of viruses from other families poses new threats to *** the eradication of smallpox in 1980,the global outbreak of monkeypox in 2022(Lum et al.,2022;Nuzzo et al.,2022)alerted that the re-emerging orthopoxvirus(OPXV)remained a persistent threat to global *** includes a number of viruses with a broad host range,including variola virus(VARV),monkeypox virus(MPXV),vaccinia virus(VACV).

关键词： vaccine Rational

樟树市赣江二桥S0主墩钢板桩围堰施工关键技术研究

在线全文

学校读者我要写书评

暂无评论

工程质量 2024年第4期42卷 26-31页

作者：杨毅龙中铁十五局集团第五工程有限公司天津300131

樟树市赣江二桥主桥采用(54+114+400+114+54)m双塔双索面结合梁斜拉桥,S0主墩承台位于河床之上,为充分利用赣江的枯水期以缩短施工工期,经方案比选及创新,采用堰内填砂取消封底+钢板桩围堰的新工艺方案,并做好抵抗水位上涨的预案措施,... 详细信息

樟树市赣江二桥主桥采用(54+114+400+114+54)m双塔双索面结合梁斜拉桥,S0主墩承台位于河床之上,为充分利用赣江的枯水期以缩短施工工期,经方案比选及创新,采用堰内填砂取消封底+钢板桩围堰的新工艺方案,并做好抵抗水位上涨的预案措施,达到了快速施工的目的,节约了成本。采用Midas Civil建立钢板桩有限元模型,对围堰不同施工阶段的受力进行了分析,保证了结构安全。针对围堰特点,在结构受力、安全措施等方面进行了巧妙设计,论述了该围堰在设计、施工等方面的关键技术。

关键词：枯水期方案比选钢板桩围堰堰内填砂取消封底

在线全文

学校读者我要写书评

暂无评论

一多互补:中式说服的哲学基础与实践逻辑

学术研究 2024年第9期 50-56页

作者：宣长春赵可欣杨义珑厦门大学新闻与传播学院福建厦门361005

说服是一切传播行为的基础性问题。对“一”与“多”关系的差异化认识折射出中西方哲学思维的分野,并延伸到中西方的说服实践之中。西方为“一多分有”,而中国则呈现“一多互补”。“一”是万物相系不分、浑然而一,“多”是互系不分的万... 详细信息

说服是一切传播行为的基础性问题。对“一”与“多”关系的差异化认识折射出中西方哲学思维的分野,并延伸到中西方的说服实践之中。西方为“一多分有”,而中国则呈现“一多互补”。“一”是万物相系不分、浑然而一,“多”是互系不分的万物,“互补”是“多中有一”及“一中有多”。在剖析先秦引《诗》说服具体案例时发现,中式说服实践中的意象集中体现了“一多互补”思想,即允许说服双方以自身经验积极参与内容建构以及对意象意义的生发,从而更易达到“心悦诚服”的境界。

关键词：说服研究一多互补 “一”与“多” 意象

Backflow Transformation for A=3 Nuclei with Artificial Neural Networks

在线全文

学校读者我要写书评

暂无评论

原子能科学技术 2023年第4期57卷 673-678页

作者： yang yilong ZHAO Pengwei State Key Laboratory of Nuclear Physics and Technology School of PhysicsPeking UniversityBeijing 100871China

A novel variational wave function defined as a Jastrow factor multiplying a backflow transformed Slater determinant was developed for A=3 *** Jastrow factor and backflow transformation were represented by artificial neural *** this newly developed wave function,variational Monte Carlo calculations were carried out for3H and3He nuclei starting from a nuclear Hamiltonian based on the leadingorder pionless effective field *** obtained ground-state energy and charge radii were successfully benchmarked against the results of the highly-accurate hypersphericalharmonics *** backflow transformation plays a crucial role in improving the nodal surface of the Slater determinant and,thus,providing accurate ground-state energy.

关键词： nuclear many-body problem quantum Monte Carlo artificial neural network backflow transformation

“医院—社区”联动下安宁疗护的利益相关者研究

在线全文

学校读者我要写书评

暂无评论

中国医学伦理学 2024年第3期37卷 339-346页

作者：杨一龙崔檬赵欣欣李娜王玉梅杭州师范大学公共卫生学院浙江杭州311121 中国医科大学附属盛京医院宁养病房辽宁沈阳110022

“医院—社区”安宁疗护模式涉及医疗卫生服务的需求方、执行方、主导方和筹资方等利益相关方,分析各利益主体的利益相关程度、政策影响力和政策执行意愿,为晚期癌症患者获得连续、便捷、优质的安宁疗护提供参考。卫健部门和医保部门是... 详细信息

“医院—社区”安宁疗护模式涉及医疗卫生服务的需求方、执行方、主导方和筹资方等利益相关方,分析各利益主体的利益相关程度、政策影响力和政策执行意愿,为晚期癌症患者获得连续、便捷、优质的安宁疗护提供参考。卫健部门和医保部门是跨机构安宁疗护的主要推动力量,但二者的推动路径存在差异;财政部门是政策推行的重要保障者,需要保证其核心利益不受损失;社区医疗机构是政策推行的重要推动因素,但需要政策支持和医院带动;医院和社区医务人员的执行意愿不强,在缺乏激励补偿机制的情况下,容易成为政策推行的阻碍因素;患者和家属是重要受益者,但若缺少宣传教育和互动交流,也会产生排斥和抵触情绪。因此需要发挥政策执行部门之间的协作性和联动性;创新医院发展模式,引领社区医疗机构;促进“医—医”“医—患”的互动交流和决策共享。

关键词： “医院—社区”联动利益相关者安宁疗护晚期癌症

护理人员对癌痛自控镇痛治疗的知信行现状及相关因素

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中华老年医学杂志 2024年第7期43卷 828-833页

作者：项巧珍杨舒岚谢玲芳李燕芳杨一龙林雨涵浙江医院医疗照护病房杭州310030 杭州师范大学公共卫生学院杭州1311121

疼痛是癌症患者最常见和最难忍受的症状之一,也是影响患者生活质量的主要因素。患者自控镇痛泵技术(PCA)是传统药物镇痛的重要补充措施,护士作为癌痛PCA管理实施的主要角色,其关于癌痛PCA知识、信念、行为的状况将直接影响癌痛管理实施... 详细信息

疼痛是癌症患者最常见和最难忍受的症状之一,也是影响患者生活质量的主要因素。患者自控镇痛泵技术(PCA)是传统药物镇痛的重要补充措施,护士作为癌痛PCA管理实施的主要角色,其关于癌痛PCA知识、信念、行为的状况将直接影响癌痛管理实施的治疗效果。本文对护理人员癌痛PCA的知信行现状及影响因素进行归纳和分析,从完善PCA护理管理、加强护士专科培训、建立癌痛PCA专家共识方面提出建议,旨在为癌痛PCA的护理实践提供参考。

关键词：疼痛镇痛肿瘤

基于OBE的软件工程专业科技写作课程改革探究

在线全文

学校读者我要写书评

暂无评论

软件导刊 2024年第8期23卷 25-31页

作者：杨溢龙田震张洋刘宇洁北京航空航天大学软件学院北京100191

科技写作课程承担着培养学生科技写作能力,助其更好进行科研交流的重要职能。针对科技写作课程教学实践未能满足学生学习学术论文写作方法和锻炼学术论文写作能力的教学实际,分析现有科技写作课程主要问题,结合北京航空航天大学该课程... 详细信息

科技写作课程承担着培养学生科技写作能力,助其更好进行科研交流的重要职能。针对科技写作课程教学实践未能满足学生学习学术论文写作方法和锻炼学术论文写作能力的教学实际,分析现有科技写作课程主要问题,结合北京航空航天大学该课程教学实践,基于OBE“清楚聚焦、扩大机会、提高期望、反向设计”的实施原则,结合软件工程专业特点,调整课程内容,优化教学模式,提出一套理论与实践结合的教学改革方案。对课程改革前后学生成绩进行定量和定性分析,结果表明学生的文献研究分析和学术论文撰写能力显著提高,参与科研的积极性得以充分调动,显示了改革方案的有效性。

关键词： OBE 成果导向教育科技写作软件工程课程改革