论文部分内容阅读
澄江动物群——５．３亿年前的动物世界
【机 构】
：
科学院南京地质古生物研究所
【出 处】
：
中国科协首届学术年会
【发表日期】
：
1999年期
其他文献
目的:探究慢性丙型肝炎(CHC)患者血清五聚蛋白3(PTX3)的表达水平，并分析PTX3对肝纤维化分期诊断的临床意义。方法:选取2016年9月至2019年10月济宁医学院附属医院消化内科收治
材料的交流阻抗随外加直流磁场的改变而变化的特性称为磁阻抗效应．在软磁合金中，这种效应是快响应、高灵敏度的，因而被称为巨磁阻抗效应．文章简单介绍了这一效应产生的基本原理、
介绍一种基于知识的计算机程序转换方法，该方法利用中间数据结构，采用专家系统程序设计技术及程序自动生成技术，实现了知识与控制的分离，是一种通用的计算机程序转换方法。
该文简单介绍基于ｔａｂｌｅａｕ方法的程序综合系统－－ＤＴＰＳ。ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规格的程序，只需证明的确存在一个满足条件的对象。如果这个证明存在，那么从证明抽取出来的程序
传统程序生成器，只能辅助程序开发，不能有效地辅助程序维护。该文提出了一种自动维护生成程序的方法，可指导开发程序自动生成、维护工具、并以此工具为基础，完成程序的自动生成与
制程管制的目的在于尽可能的抑制和消除生产过程中的变异,以保证制品品质的稳定.本文就方便面行业推行制程管制的过程中各阶层管理人员应做的工作作了简介.