apla相关论文
围绕转换系统的设计与实现,该文主要做了以下工作:1、对RADL算法描述语言和APLA抽象程序语言进行了归纳和整理.2、研究RADL语言与A......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
并行程序设计是并行计算的两大难题之一，也是并行计算领域的一个研究热点。并行程序设计的困难主要存在于两个方面：问题的并行求解和......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题，高效率地开发正确、可靠的软件已成为软件产业的迫切要求。软件开发的......
薛锦云教授在国家863和多项国家自然科学基金的资助下,创造性地提出了一种形式化开发方法——PAR方法。就是用数学与逻辑的方法来......
序列比对是一种通过排列基因组序列来识别序列相似性区域,从而获得待比对序列之间的功能、结构或进化关系的技术。随着人类基因组......
当前大数据、云计算、人工智能和可信软件等前沿技术已经成为计算机和信息领域的研究热点。本文指导老师薛锦云教授主持承担的国家......
目的 通过分析妊娠合并慢性再生障碍性贫血(慢性再障)患者的产科处理及妊娠结局,探讨其并发子痫前期的危险因素.方法 对北京大学人......
目的 研究环孢素(CsA)血药浓度水平是否影响重型和(或)极重型再生障碍性贫血(SAA/VSAA)患者免疫抑制治疗(IST)早期疗效,探讨CsA的......
