论文部分内容阅读
求异思维——孕育一切创新的源头
【机 构】
：
《科技导报》
【出 处】
：
科技辅导员
【发表日期】
：
2001年6期
其他文献
4月22日，北京举行了14个重大工业项目落户签约仪式。投资方将在北京经济技术开发区、顺义、昌平、大兴投资兴建产业基地，建成后预计实现销售收入370亿元。
Ｌｉｖｅｃｈａｒｔ是地Ｓｔａｔｅｃｈａｒｔ的扩展，它可用于并发系统活动性的验证，并具有直观和严格的特点。它既可以方便地表达用户的直觉又具有严格的语义，因此它在用户的直觉和形式证明之间建立了一个的接口。本文
本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图，ＳＴＧＡ的中车优点是在并
本文定义了带有索引的认识逻辑ELI，讨论了ELI的语义tableau的证明过程，证明了模态tableau的相容性和完备性．由于ELI与认识逻辑EL是等价的，因而，本文讨论的tableau证明过程也可以作
在策勒县进行花生品种比较试验，结果表明：在当地应重点推广的品种有山农02-1、龙苑9616、03-97、山花7号，这4个品种在产量、抗病性、抗旱性等农艺性状上的表现较好。
数组归约的识别是提高并行化编译能力的有效方法，单模是开发程序并行性的重要手段。然而，由于归约语句间相关的特殊性，影响了单模变换的实施。本文从归约语句引起的相关本质特征
本文在给出Ｄｅｌａｕｎａｙ三角形（ＤＴ）网格的特点及构造方法的基础上，完整地给出一种基于ＤＴ网格的静止图像表示方法，并提出了相应的考虑了彩色和运动信息的特征图像编码方法。与基于其它形状（比如四边
本文首先研究了共享存储系统中的访存事件及其发生次序，从访存事件次序的角度建立了顺序一致性共享存储系统行正确性模型，然后在执行正确性模型的基础上，提出并证明了一种乱序列
操作调度是高级综合中的主要任务。本文对当前大多数高级综合系统所采用的调度算法进行分析之后，针对它们的全局性差，计算复杂度大的不足之处，提出了一种新的操作调度算法，经实验