APLA相关论文
围绕转换系统的设计与实现,该文主要做了以下工作:1、对RADL算法描述语言和APLA抽象程序语言进行了归纳和整理.2、研究RADL语言与A......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
并行程序设计是并行计算的两大难题之一，也是并行计算领域的一个研究热点。并行程序设计的困难主要存在于两个方面：问题的并行求解和......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题，高效率地开发正确、可靠的软件已成为软件产业的迫切要求。软件开发的......
薛锦云教授在国家863和多项国家自然科学基金的资助下,创造性地提出了一种形式化开发方法——PAR方法。就是用数学与逻辑的方法来......
序列比对是一种通过排列基因组序列来识别序列相似性区域,从而获得待比对序列之间的功能、结构或进化关系的技术。随着人类基因组......
当前大数据、云计算、人工智能和可信软件等前沿技术已经成为计算机和信息领域的研究热点。本文指导老师薛锦云教授主持承担的国家......
目的 通过分析妊娠合并慢性再生障碍性贫血(慢性再障)患者的产科处理及妊娠结局,探讨其并发子痫前期的危险因素.方法 对北京大学人......
目的 研究环孢素(CsA)血药浓度水平是否影响重型和(或)极重型再生障碍性贫血(SAA/VSAA)患者免疫抑制治疗(IST)早期疗效,探讨CsA的......
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程......
目的：研究再生障碍性贫血(AA)在发病机制上的分型，以及临床治疗观察。方法：体外实验采用微量甲基纤维素半固体培养方法，治疗随机分组，选......
目的了解再生障碍性贫血（AA）小鼠外周血中IL-11及受体（IL-11R）的含量及其相互之间的关系，进一步探讨（AA）的发病机制，试图为IL-11治疗（AA）提供......
形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块......
PAR方法是薛锦云教授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的成果，创造性地提出的一种新的形......
从“软件危机”爆发至今,有很多新方法和新工具被提出,致力于解决“软件危机”的各个方面。但现有的这些解决方案并没有使人们彻底......
如今数据库技术应用的领域已经渗透到各行各业,信息社会又充斥着大量非结构化数据,比如图像、音频等多媒体数据。而且传统的关系数......
图形化用户界面是人与计算机软件进行信息交换的媒介,GUI设计的好坏在很大程度上决定软件产品的成败。软件GUI的设计总是要受到诸......
自从“软件危机”爆发以来,软件的可靠性差和开发效率低一直是困扰软件产业的两大难题。高效率地开发正确、可靠的软件已成为软件......
