Towards automated software model checking using graph transformation systems and Bogor

来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户：yuwumalan

【摘要】

：

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

【作者】

：

VahidRAFE，AdelT.RAHMANI

【机构】

：

Department of Computer Engineering, lran University of Science and Technology, Tehran, Iran

【出处】

：

黑龙江科技学院学报

【发表日期】

：

2009年8期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<

其他文献

New method for high performance multiply-accumulator design

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

系统性红斑狼疮患者外周血浆细胞样树突状细胞的变化及意义

目的研究系统性红斑狼疮(systemic lupus erythematosus,SLE)患者外周血浆细胞树突状细胞(plasmacytoid dendritic cells,pDC)的变化,探讨其在SLE发病中的作用.方法采用流式细胞术检测外周血pDC水平,并分析pDC表面CD32、CD40、CD86、CD62L、CXCR4的表达,ELISA法检测血清IFN-α浓度.结果 SLE患者外周血p

期刊

系统性红斑狼疮浆细胞样树突状细胞表面分子IFN-α

Growth factors induce the improved cardiac remodeling in autologous mesenchymal stem cell-implanted

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

Information foe Authors

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

miR-146a调节原发性胆汁性肝硬化患者单核细胞对LPS以及Poly I∶C的反应

目的分析原发性胆汁性肝硬化(PBC)患者单核细胞对内毒素(LPS)和多聚次黄嘌呤胞嘧啶核苷酸(Poly I∶C)刺激呈现出的高反应性是否与miR-146a有关.方法以10 μg/ml的LPS或Poly I∶C分别刺激PBC患者和健康个体的外周血单核细胞,采用ELISA检测培养基内IL-1β、IL-6、TNF-α、IFN-α水平的变化,采用RT-PCR检测二者单核细胞内miR-146a、miR-

期刊

miR-146a原发性胆汁性肝硬化固有免疫炎症因子

Relationships between serum lipid,lipoprotein,triglyceride-rich lipoprotein,and high-density lipopro

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

Three-dimensional conceptual model for service-oriented simulation

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

RegIV expression showing specificity to gastrointestinal tract and its potential role in diagnosing

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

Conflict detection and resolution for authorization policies in workflow systems