云南高校图书馆联盟文献共享服务平台- APLA

APLA: 作品数：19被引量：48H指数：4; 导出分析报告; 相关领域：自动化与计算机技术医药卫生更多>>; 相关作者：薛锦云左正康吴艳张昊皮劲松更多>>; 相关机构：江西师范大学湖北省农业科学院江西省高性能计算技术重点实验室武汉大学更多>>; 相关期刊：《管理观察》《江西师范大学学报（自然科学版）》《微电子学与计算机》《现代制造》更多>>; 相关基金：国家自然科学基金江西省教育厅科学技术研究项目江西省自然科学基金国家留学基金更多>>

Interpreting siliciclastic sedimentation in the upper Paleozoic Mulargia-Escalaplano Basin(Sardinia, Italy):influence of tectonics on provenance被引量：1: 《Journal of Palaeogeography》2024年第1期18-34,共17页Luca G.Costamagna Sara Criniti; supported by Cagliari University (2018-2020 FIR grant to L. G. Costamagna);Calabria University (S. Criniti)。; Late to post-Variscan molassic basins of Late Pennsylvanian-Permian age are exposed in Sardinia(Italy). Here, the compositional and stratigraphic evolution of the Mulargia-Escalaplano sedimentary basin(central Sardini...; 关键词：PETROGRAPHY STRATIGRAPHY PROVENANCE Molassic basins SARDINIA

血清aPLA_(2)Rab评估PLA2R相关膜性肾病患者病情和预后的价值被引量：2: 《南京医科大学学报（自然科学版）》2023年第5期714-719,共6页杨静杨爱祥沈蕾沙文刚徐德宇李建中卢国元; 苏州市卫生健康委员会科技项目(LCZX202002)。; 目的:在磷脂酶A_(2)受体(PLA_(2)R)相关膜性肾病患者中观察血清抗磷脂酶A_(2)受体抗体(aPLA_(2)Rab)滴度与肾脏疾病严重程度以及肾脏预后的关系。方法:纳入苏州大学附属第一医院肾内科经肾活检证实为PLA_(2)R相关膜性肾病,且随访时间≥...; 关键词：膜性肾病磷脂酶A_(2)受体预后危险因素

二叉树队列关系问题非递归算法的推导及形式化证明被引量：2: 《江西师范大学学报（自然科学版）》2022年第1期49-58,共10页左正康方越黄志鹏黄箐王昌晶; 国家自然科学基金(61862033,61902162);江西省教育厅科技重点课题(GJJ210307);江西省自然科学基金(20202BAB202015)资助项目.; 该文对二叉树类问题进行分划,寻找其递推关系,并针对具有队列递推关系的一类问题,给出了其推导过程和形式化证明策略.再结合每个算法后置断言的不同,提出3种开发循环不变式的策略,并构造出该类问题的通用循环不变式模板.同时,发现该类...; 关键词：二叉树队列递推关系循环不变式 Dijkstra-Gries标准程序证明法 Apla到C++程序自动生成系统非线性数据结构

欧瑞康巴尔查斯涂层(苏州)有限公司 METAPLAS.DOMINO pica设备: 《现代制造》2022年第1期38-38,共1页; 欧瑞康巴尔查斯30多年的涂层经验和专业知识与METAPLAS.DOMINO的创新技术相结合是定制涂层的关键,Metaplas涂层改善了组件在广泛应用中的表现。它们可以提高耐磨性和/或粘着磨损性,减少摩擦或粘附行为,并提高抗侵蚀性和抗腐蚀性。同时...; 关键词：抗腐蚀性粘附行为减少摩擦抗侵蚀性粘着磨损抗氧化性专业知识导电性

复发性流产患者APLA检测及临床应用价值被引量：1: 《广东医学》2020年第18期1863-1866,共4页苗竹林钟兴明崔蓉赵文忠王永霞钟文瑶张碧云; 广东省自然科学基金资助项目(2016A030313760)。; 目的探讨抗丈夫淋巴细胞抗体(APLA)检测及临床应用价值。方法回顾性分析320例复发性自然流产患者APLA检测方法,并对淋巴细胞免疫治疗后患者妊娠结局进行比较。结果APLA的检测方法多样,目前最常采用的是酶联免疫吸附法,该方法患者未经干...; 关键词：母胎免疫耐受抗丈夫淋巴细胞抗体复发性流产

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法被引量：2: 《江西师范大学学报（自然科学版）》2020年第3期301-306,共6页王昌晶余小军沈德明罗海梅左正康; 国家自然科学基金(61762049,11804133,61862033,61662035,61902162);国家留学基金(202008360094);江西省科技厅课题(20181BAB206034);江西省研究生创新基金(YC2019-S161)资助项目.; 形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽...; 关键词：并发分布式计算依赖-卫式推理 CONCURRENT APLA 形式化验证

Apla与程序设计语言泛型特性比较研究被引量：8: 《江西师范大学学报（自然科学版）》2019年第5期454-461,共8页左正康刘志豪黄箐游珍王昌晶石海鹤胡启敏陶小明; 国家自然科学基金(61862033,61462039,61762049,61662035,61662036);江西省教育厅科技课题(GJJ160329)资助项目; 面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持...; 关键词：泛型程序设计动态语义约束抽象程序设计语言

复发性流产的免疫治疗及监测分析被引量：5: 《中国社区医师》2017年第29期17-18,20,共3页陈晓邓国生罗宇迪何娟文坚潘金姐; 复发性流产的免疫治疗及监测分析,项目编号:13036023~~; 目的:探讨不明原因复发性流产患者采用淋巴细胞主动免疫治疗的临床效果。方法:收治封闭抗体缺乏引起的复发性流产患者200例,对其进行淋巴细胞免疫治疗,观察治疗后封闭抗体的变化及妊娠结局。结果:实际追踪人数158例,其中封闭抗体未行复...; 关键词：APLA 复发性流产 RSA 淋巴细胞免疫治疗

血清抗心磷脂抗体和单个核细胞Tim-1在APLA阴性习惯性流产免疫治疗失败的意义被引量：3: 《贵州医药》2017年第8期828-830,共3页何婷; 目的探讨血清抗心磷脂抗体(ACA)和单个核细胞Tim-1在APLA阴性习惯性流产患者行淋巴细胞免疫治疗失败的意义。方法共纳入52例行淋巴细胞免疫治疗的APLA阴性习惯性流产患者,其中成功组30例,失败组22例,采用ELISA法检测血清ACA阳性率,流式...; 关键词：抗心磷脂抗体 TIM-1 APLA阴性淋巴细胞免疫治疗

在建模语言Apla中实现多媒体数据库应用的方法研究被引量：3: 《江西师范大学学报（自然科学版）》2017年第1期46-51,共6页朱小征薛锦云夏鲸熊小舟; 国家自然科学基金重大国际合作研究项目(61020106009);国家自然科学基金面上项目(61272075;61472167);国家自然科学基金地区科学基金(61462041)资助项目; 随着信息技术在各大领域的广泛应用,产生的多媒体数据所占比例越来越大,对多媒体数据处理的需求也越来越多,高级程序设计语言支持多媒体数据处理的功能也变得尤为重要.采用模型驱动的思想,在支持模型驱动软件开发PAR平台的Apla→Java程...; 关键词：PAR 模型驱动多媒体数据处理

APLA