搜索筛选:
搜索耗时1.7091秒,为你在为你在102,285,761篇论文里面共找到 7 篇相符的论文内容
发布年度:
[期刊论文] 作者：缪力群,,
来源：金融博览 年份：2007
浓郁的蓝天上绽放着灿烂的金黄,荒凉的沙漠里扭曲着昂扬的枯枝。胡杨,夸张而顽强地彰显着不屈的生命:活着,一千年不死;死了,一千年不倒;倒下,一千年不朽!这,就是胡杨!...
[期刊论文] 作者：刘震,缪力,
来源：计算机工程与科学 年份：2007
程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互...
[期刊论文] 作者：缪力,张大方,
来源：计算技术与自动化 年份：2007
过程间并发程序分析问题是一个不可判定问题，理解这个不可判定问题的来源是发展一个有效的分析算法的基础。现有的证明[1]通过构造三个并发任务的PCP问题实例，证明过程间并发程......
[期刊论文] 作者：缪力,张大方,,
来源：计算机应用 年份：2007
模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性。基于对这两种程序模型检测方法各自优缺点的分析,提出......
[期刊论文] 作者：高萩保治,缪裴言,林能杰,缪力,,
来源：中国音乐教育 年份：2007
《音乐学科教学法概论》(〔日〕高萩保治著)作为“20世纪学校音乐教育理论与实践丛书”之一,已由人民音乐出版社出版。下文节选自该书第五章第四节。第四节“音乐创作教学”...
[期刊论文] 作者：高萩保治,缪裴言（译）,林能杰（译）,缪力（译）,
来源：中国音乐教育 年份：2007
《音乐学科教学法概论》（[日]高萩保治著）作为“20世纪学校音乐教育理论与实践丛书”之一，已由人民音乐出版社出版。下文节选自该书第五章第四节。第四节“音乐创作教学”空容包......
[期刊论文] 作者：赵雁波,陈兴康,缪力,白海波,苗健,张明,朱海东,
来源：中华创伤杂志 年份：2007
1 病历资料 患者男,25岁,因机动车撞伤左侧头面部致左肩区疼痛、出血并左肩活动受限1 h急诊入院.头颅CT未见异常征象,左肩部X线片结合胸部CT检查提示左锁骨胸骨端和肩峰端同时骨折,近侧向前上移位,远侧向后下移位,无血气胸及肋骨骨折征象(图1,2).入院诊断:(1......
相关搜索：
