论文部分内容阅读
一种系统的算法程序设计和证明方法
【机 构】
：
江西师范大学
【出 处】
：
’94全国理论计算机科学年会
【发表日期】
：
1994年期
其他文献
目的 探讨复杂性肛瘘MRI扫描技术在临床中的应用价值.方法 50例疑为肛瘘患者采用横断面、斜冠状面、斜矢状面薄层及LAVA动态增强进行扫描,对MRI影像检查结果与手术病理进行综
该文通过ＯＤＢＣ体系结构及其数据库迁移特性的分析，提出一种易于数据库迁移的客户／服务器应用程序设计方案，并以Ｍｉｃｒｏｓｏｆｔ Ａｃｃｅｓｓ和Ｖｉｓｕａｌ Ｂａｓｉｃ为例，探讨了它们共同实现这一方案的可行途径。该方案能使应用程序
植树造林是美化山川,构建绿色人居生活环境的重大举措之一。当前,全国各地掀起了绿化美化家园的活动,齐河县也积极响应中央号召,加大宣传力度,因地制宜,带领当地群众开展绿化
目的 探讨自适应统计迭代重建技术在低剂量条件下对泌尿系统结石图像质量的影响.方法 选取医院2016年1月至2018年1月期间诊治的泌尿系统结石患者88例作研究对象,并按辐射剂量
《中国书画长廊》是陕西广播电视台于2013年推出的一档传扬中国书法绘画,尤其是陕西书画文化的电视栏目。栏目的设定基于其地域特色—古城西安的悠久文化历史。栏目宗旨是“
目的 分析单光子发射型计算机断层(SPECT)心肌灌注显像(MPI)和冠状动脉CT造影(CCTA)对功能相关冠脉病变(FRCAL)的诊断价值.方法 收集我院心血管内科收治的85例疑诊冠心病(CAD