搜索筛选:
搜索耗时0.0909秒,为你在为你在102,285,761篇论文里面共找到 13 篇相符的论文内容
发布年度:
[期刊论文] 作者：高新岩,,
来源：经贸实践 年份：2016
目前新疆信贷存在结构欠佳、大量关联业务、大量垫款现象、信贷业务同质化现象等问题,需要从政府干预、信贷制度的完善、信贷产品的差异化等方面进行风险的化解。At presen...
[期刊论文] 作者：乔瑞,高新岩,
来源：武汉理工大学学报：信息与管理工程版 年份：2008
为了增强带测试克林代数（KAT）的表达能力，提出了一种加概率的带测试克林代数（PKAT）的理论，并将其应用于对加概率正则程序的推演。将概率格局变迁系统作为操作语义的模型，它的每个状......
[期刊论文] 作者：高新岩,邓官朝,,
来源：科技信息(科学教研) 年份：2007
在初中物理教学中，如何进行实验教学都有成功的做法。但如何进行实验复习，以及通过实验复习达到扩展知识、强化技能、解决疑难的目的，还需要我们进行探讨。本文从巩固实验技能方......
[期刊论文] 作者：闫炜,吴尽昭,高新岩,,
来源：计算机工程 年份：2007
符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端,依次计算每个结点的布尔函数,直到在电路的输出...
[期刊论文] 作者：方海光, 高新岩, 陈澎,,
来源：计算机工程 年份：2006
软件工程经济是近年来出现的崭新的研究方向,是软件工程和经济学相互融合深入的产物。该文从总体上讨论了软件工程经济的概念、软件工程经济在软件产品价值中的关系以及和经...
[期刊论文] 作者：闫炜,吴尽昭,高新岩,
来源：四川大学学报：工程科学版 年份：2008
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量...
[期刊论文] 作者：闫炜,吴尽昭,高新岩,
来源：四川大学学报：工程科学版 年份：2008
针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题，提出了一种依赖流关系的流事件结构逻辑（FESL），作为多诱因特征的刻画语言。FESL以流事件结构作为框架模型，并且依据格局量词......
[期刊论文] 作者：高新岩,吴尽昭,闫炜,周宁,
来源：计算机工程与应用 年份：2007
切片技术最初是作为一种程序分解抽取的分析技术而出现的，经过20多年的不断发展和完善，应用范围已遍及软件工程学科的各个方面。特别是从本世纪初，随着非经典切片：计算切片和证明......
[期刊论文] 作者：高新岩,吴尽昭,乔瑞,闫炜,,
来源：计算机工程 年份：2009
利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中，正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时......
[期刊论文] 作者：迟宗正,于成,高新岩,刘??,李大奎,
来源：计算机教育 年份：2004
针对全国各大高校软件学院硬件课程体系建设存在的不足，分析软件学院硬件课程在教学过程中的重要作用，以大连理工大学国家示范性软件学院为例，提出建设以模拟与数字电路实验为基......
[会议论文] 作者：徐玉婷,李绍荣,吴尽昭,高新岩,
来源：第十四届计算机辅助设计与图形学学术会议 年份：2006
本文提出了一种基于子图同构的子电路识别启发式算法。该算法启发式地确定识别的起始点,并对电路图中各个结点进行权值计算,通过权值比较,过滤掉不可能匹配的结点,得到可有效...
[期刊论文] 作者：迟宗正,于成,高新岩,刘旸,李大奎,,
来源：计算机教育 年份：2014
针对全国各大高校软件学院硬件课程体系建设存在的不足,分析软件学院硬件课程在教学过程中的重要作用,以大连理工大学国家示范性软件学院为例,提出建设以模拟与数字电路实验...
[会议论文] 作者：何雪川,谢永宏,赵银川,俞露露,高新岩,李平,汪保华,
来源：江苏省遗传学会2016年学术研讨会 年份：2016
本研究以耐盐玉米自交系LH196为材料，将基于毛细管电泳的甲基化敏感扩增多态性分析法运用于DNA甲基化水平分析。通过分析空白对照组和盐胁迫下不同处理时间玉米基因组DNA...
相关搜索：
