于潇洋[1]2000年在《布尔过程论及其实验基础》文中研究说明布尔过程论是1994年提出的一种高速电路设计与测试分析理论，是布尔代数在时域中的扩充，适用于IC定时研究与分析。但布尔过程论的实践可行性受到一些国际同行的质疑，本文的工作旨在解释布尔过程论的物理意义，构成布尔过程论的实验基础。本文采用SPICE软件模拟电路中的电压波形，对一些电路例子进行模拟，发现模拟结果与用布尔过程论得出的结果是一致的，这就以实验验证了布尔过程论。同时，又通过实验得到了布尔过程论中提出的一些参数的数值。电路中的竞争-冒险现象是一种不利的现象，消除竞争-冒险目前已有多种方法，但这些方法的电路开销都很大。本文针对单原始输入跳变导致的原始输出上的竞争-冒险现象，提出了一种方法，同时开发出相应的软件，可以以较小的电路开销消除或减少这一类竞争-冒险现象。本方法集中考虑电路的定时特性，若一个跳变经过两条长度差异较大的路径到达同一个门，而且两条路径上经过的非门、与非门、或非门的个数分别为奇数个和偶数个，即认为在这个门上可能发生竞争-冒险。消除竞争-冒险的途径是把这两条路径的长度调整为大致相等，具体做法就是在较短的路径上加入延迟线。电路中要调整的路径有很多条，它们之间有很多公共的部分，本文中采取了一种最经济的策略，使得要加入的延迟线的总延迟时间最小，这样修改后的电路增加的开销也就会最小。
杜振军[2]2002年在《布尔过程论及其在复杂高速芯片设计自动化应用中的研究》文中提出芯片设计的日趋复杂化和高速化对设计自动化的理论和方法提出了新的要求。布尔过程论是适应这种要求而提出的新的理论，本文以布尔过程论为理论基础，对该理论进行了拓展，探讨了该理论在复杂高速芯片设计自动化中的应用，在芯片定时、测试生成、验证和综合基础研究方面提出了几个基于该理论的自动化设计的新方法和新算法。 论文首先拓展了布尔过程的理论，提出了以下新的概念、定理、理论模型和数据结构。波形多项式偏导和高阶偏导的新概念，用来精确描述输出跳变与输入跳变之间的关系，并在本文中用来重新定义了电路的敏化和冒险；波形多项式向量的概念，用于形式化描述实际中的多输入多输出的电路，特别是用于统一描述电路模块的功能及定时行为；时序电路的敏化定理，用于时序电路精确定时分析；波形多项式描述跳变及跳变数的定理，用于噪声、功耗等问题的描述；时序电路的完整波形多项式描述，用于时序电路功能和定时行为的统一描述；波形多项式的多项式符号表示和运算的模型以及数据结构，用来实现对波形多项式比较有效的描述和运算。 然后论文进行了布尔过程论在芯片自动化设计中应用的研究。在组合逻辑电路精确定时方面，本文用波形多项式偏导定义的敏化概念改进了解析延时模型，在此基础上建立了基于敏化的延时矩阵以描述电路模块的延时，随后将层次化延时分析方法引入基于延时矩阵的延时分析中，形成一种新的精确的通用电路层次化延时分析方法。实验证明该方法既能大大降低复杂问题的计算时间，又能很好地维持延时的准确性。它还特别适合于片上系统的基于IP的设计方法。 在时序逻辑电路精确定时方面，从时序电路的敏化定理出发，使用本文给出的条件可敏化概念，通过对通路敏化性质的判断建立了一种新的单周期敏化的时序电路最小时钟周期精确确定方法。同传统方法相比，本方法计算出的最小周期既能保证电路的正确计算，又不至于保守，而且能同时计算出组合逻辑部分的延迟；然后从时序电路的波形多项式出发，进一步给出了多周期敏化的最小时钟周期确定方法，适用于有苛刻定时要求的环境。 为了适应超深亚微米电路测试的要求，本文建立了一种新的基于布尔过哈尔滨工程大学博士学位论文程论的逻辑级噪声预测模型，用波形多项式描述的同时发生的跳变数来预测l卜足声大小，并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合，形成一种能产生最大噪声效应的敏化测试波形生成新方法。实验表明，本文的方法可以应用在复杂超深亚微米电路的延时故障测试中，有一定推广价值。 在芯片的综合和验证中，部件的匹配和功能验证是一个基本环节，能以较低的复杂度建立不同设计层次中统一的正则描述形式是一个关键的问题。木文将位级电路波形多项式描述转化成字级多项式描述，提供了一种正则、在多项式时间内可构造的、能够将位级描述转化成字级描述的模型，月_允许简单的合成。该方法可以用来有效判断不同设计层次的描述是否等价，从而可以实现跨设计层次的模块重用、综合和验证。 另外，:基于C语言本人设计开发了一个实验软件系统，该系统包括波形多J一贞式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。
黄少滨[3]2004年在《EDA中高层次综合算法及两种时序综合理论比较研究》文中提出IC(Integrated Circuit)技术飞速发展，目前己处于GSI阶段，正向SOC(System On a Chip)发展，IC的应用范围极广。关于IC的设计、测试、模拟、仿真已形成实用化的集成工具，如VHDL语言。但是，在IC的发展过程中遇到了很多理论与技术问题。本文正是从理论研究角度入手，结合计算复杂性理论，对EDA中的两个重要环节，高层次综合和逻辑综合中的时序处理，做了深入研究，给出了两个理论结果和两个算法。 正如文中所指出的那样，绝大多数组合与时序优化问题，实际上都是NP-完全问题，因而试图给出现实可行的一劳永逸的通用算法在目前是办不到的。所以，大多数研究者均是从自身的角度出发，研究各种各样的启发式算法，然而算法效果如何，针对EDA中各个环节目前尚无人提出统一标准来做判断分析。 本文在继承前人工作的基础上，将最基本也是最重要的图灵机模型及其依据于此的计算复杂性理论的若干重要概念与思想引入到EDA中的高层次综合和逻辑综合环节中。文中在讨论了P与NP问题、近似算法性能指标等概念的基础上，对高层次综合中的问题，将其归结为基本组合问题，并进行了描述。针对高层次综合中部分有代表性的问题，指出其近似求解的无限逼近最优性。 本文对高层次综合中的互连单元分配算法进行了研究，对互连单元分配进行了论述。在着重分析数据通路连接图的表示模型的基础上，对数据通路连接图的标准型给出了一系列定义，然后提出了IU-Allocation算法。利用该算法对线性预测系统的自相关数字电路进行了实验，并对算法的时间复杂性做了分析。 本文介绍了演化计算的概念及应用。提出了一种基于演化程序的数据通路综合算法。该算法将演化程序与已知的启发式算法相结合，可对较大的设计空间进行智能化搜索。同时，以减少硬件资源成本和缩短总的执行时间为目标，讨论了应用该方法对典型的微分方程电路实施调度、分配和数据通路综合的整体优化过程，并做了仿真实验，证明可以有效地提高高层次综合设哈尔滨工程大学博士学位论文计的质量。 对时序逻辑综合领域的两种重要理论，布尔过程论与时变布尔函数，在定时特性方面进行了重点比较。这两种理论均是在考虑布尔变量的同时，将时间特性加入其中，以期系统地处理逻辑与时序问题。其重要的不同点是，布尔过程借助实数的运算，而时变布尔函数依然采用布尔运算。研究了布尔过程在计算通路敏化时的计算复杂性，指出按其算法进行通路敏化求解是指数时间算法。 最后本文对逻辑综合领域的最新进展进行了综述，介绍了OBDD的来源、发展，以及目前的状态。论述了确切BDD算法、启发式BDD算法、快速BDD最小化、使用无关集的启发式BDD最小化等相关概念和算法。关键词:高层次综合算法;布尔过程论;时变布尔函数;顺序二叉判决图
祖拉·祖马斯[4]2015年在《物理新课程改革在布尔津县高中的实施现状分析与对策研究》文中进行了进一步梳理进入21世纪以后,为了培养高素质人才,中国在基础教育界轰轰烈烈地开展了一场由应试教育向素质教育转变的基础教育课程改革。但新疆布尔津县高中新课程改革实施到今天,其成效并不大,推进的情形不是很乐观。直到现在,高中物理仍然是学生惧怕、老师苦恼的一门学科,学生的物理成绩不理想并且很难提高,在当前,多数教师仍旧把自己当作“知识的搬运工”,因此,对于新课程的实施现状进行分析,发现其中存在的问题,提出相应的对策,更好地促进新课程改革,是一个值得关注和探讨的问题。本文分为五个部分,第一部分主要是提出了课题研究的背景、新课程改革的目的及意义；明确了研究对象和研究方法；陈述了本课题研究的理论基础。第二部分给出了布尔津县高级中学概况和该学校新课程改革的基本情况,分析了研究的内容及结果。第三部分从学生因素、教师因素、课程、探究性实验教学的组织与实施中的困难、教学评价制度、学校及社会重视程度、家庭因素等几个方面分析课程改革实施中存在的问题。第四部分针对高中物理新课程实施中存在的问题并分析形成问题的原因,尝试提出有效解决问题的策略。最后第五部分对新课程改革实施的状况进行了简要的总结,指出了存在的问题和今后努力的方向。
朱凌玮[5]2015年在《布尔加科夫中短篇小说与圣经》文中认为米哈伊尔·布尔加科夫(1891-1940)是二十世纪俄苏文学的经典作家。他经历了俄罗斯社会大变革,作品也多围绕着自身的经历展开。他一生创作了大量的作品,包括小说、散文、戏剧等。其作品包含了深厚的人道主义思想,艺术上交织着魔幻与现实、历史与未来,具有十分高超的文学价值,其中《大师与玛格丽特》更是开创了魔幻现实主义的先河。因此,评论者也称布尔加科夫为跨时代的作家。布尔加科夫的中短篇小说较全面地体现了魔幻现实主义的特征。布尔加科夫深受俄罗斯宗教精神的熏陶,但他并不是一名虔诚的宗教徒。这决定了他对圣经与宗教有着深入的了解,同时在艺术创作上能够保持自身的独立性。在作品的艺术特征上,布尔加科夫的中短篇小说共同营造了一个上帝缺位的世界。作家善于在这个失去神性的魔怪世界中对创世命题、兄弟相争命题、受难命题、弥赛亚命题等圣经中重要的神学命题进行现代性的阐释。在作品的思想风格上,作家并没有局限于宗教神学,而是在对上述神学命题的解构与重塑中将目光投向了社会。作家对所处时代的激进主义风潮保持了相当的距离,对暴力革命破坏道德秩序的行为毫不留情地批判。在作家看来,人民群众中潜含着俄罗斯民族复兴的弥赛亚,但是这股原始的自然力中又有俄罗斯民族的劣根性。只有道德和善才能最终拯救俄罗斯民族,而道德与善则要依靠知识分子才能发挥作用。本文以基督教中的创世、兄弟相争、受难、弥赛亚等神学命题为依据,选择布尔加科夫中短篇小说中具有代表性的作品,在文本分析的基础上,以弗莱的圣经批评理论为依据,同时结合俄罗斯宗教哲学和反乌托邦理论,深入剖析布尔加科夫对圣经的讽刺性模拟,挖掘作家潜含的思想观念和价值取向,探寻作品的艺术价值。
马国林[6]2016年在《英格兰学派的发展动因论析》文中认为英格兰学派在冷战中自主发展成为一个独具特色的国际关系理论流派,并在冷战后将其影响扩展到全球范围。对其发展动因,传统的解释主要有时代背景说、学术机制说和理论硬核说。三种解释都对这一问题的回答做出了一定的贡献,但也存在一些偏颇甚至误导性的因素。通过考察英格兰学派思想的发展脉络,可以发现其内部存在很大的争议性和调和性,这一特点通过大会话的方式呈现出来。在推动大会话展开并向纵深发展的过程中,马丁·怀特、赫德利·布尔、亚当·沃森和巴里·布赞四位学者的作用尤为明显,他们是核心概念的界定者和话语体系的构建者。与美国主流国际关系理论流派之间的大辩论相比,英格兰学派的大会话是学派内部的、围绕宏大主题进行的、具有很强包容性的会话。尽管大会话中出现了一系列的二分论,但并未导向非此即彼的二元对立。这种成长路径对于中国国际关系理论建设具有借鉴意义,主要表现为通过内向性发展构建话语体系,并通过外向性发展拓宽研究领域。
董新春[7]2010年在《在历史规律与自由选择之间》文中认为历史规律与自由选择关系问题的核心是历史规律存在性问题。20世纪,围绕该问题,形成了一场以自由主义和现实社会主义为代表、西方各主要政治思潮积极参与的轰轰烈烈的世纪争论。本论文试图对各主要思想派别的观点加以梳理、比较、分析和扬弃,以期恢复马克思主义历史规律思想的本来面目。以苏联为代表的现实社会主义一方形成和坚持传统历史规律观。这是一种以教条化的思维范式对待历史规律问题的态度、观点和方法。它虽然对传播马克思主义、建立和巩固社会主义政权曾起过重要的理论支撑作用,但其中却包含着对马克思主义历史规律思想的种种误读,主要表现在它片面强调马克思主义历史规律思想的绝对性而忽视相对性,舍弃偶然性来谈必然性,教条化地理解历史规律的重复性,过分夸大历史规律的预言功能。尤其遭人诟病的是,它过分强调历史规律的客观性,忽视了人、特别是个人在历史规律中的作用,忽视了个人自由选择权的行使。以波普、阿隆、伯林等人为代表的自由主义者是传统历史规律观的主要批评者。从个人自由至上这一基本原则出发,他们或用逻辑的力量,或从现代社会偶然性增多和价值不断多元的事实出发全盘否定传统历史规律观,捍卫个人自由。客观地说,他们的批评确实在一定程度上击中了传统历史规律观的要害,对结合新的历史语境进一步完善和发展马克思主义历史规律思想有着重要的借鉴意义。但在对其文本的研读中,人们也不难发现这样一个事实,那就是自由主义者所批判的实际上仅仅是苏联形成的那种教条化的传统历史规律观而并非真正的马克思主义历史规律思想。正因如此,社会民主主义者和西方马克思主义者虽然也批评传统历史规律观,但又试图从不同角度、在不同程度上对马克思主义及其历史规律思想进行重新解读和挖掘,使其适应现代社会价值日益多元、主体性不断增强的事实。社会民主主义者选取了伦理道德视角,西方马克思主义者则将主体性和价值作为深化马克思主义理论研究的切入点。他们与自由主义者的批评一起引发了60年代以降苏东学者对马克思主义历史规律思想长期而深入的反思,同时也为20世纪后半叶兴起、至今方兴未艾的后现代思潮的形成和发展创造了条件。后现代学者对马克思主义历史规律思想赖以产生的文化基础和理论前提所作的深入探究及对语言等问题的关注是极为深刻且颇具颠覆性的,必将成为未来较长时间人们探讨马克思主义历史规律思想难以跨越的视界。通过漫长的回顾梳理,可以得出这样一种结论：历史规律存在性之争的关键并不是历史规律是否存在而是历史规律如何存在的问题,是如何实现客观历史规律和主观自由选择有机融合的问题。新的历史语境正为深入解读和发展马克思主义历史规律思想提供着难得的契机。
焦红星[8]2010年在《一般对象的现象学研究》文中认为一般对象是否存在以及如何存在,是西方哲学中一个重要的基本问题,在不同的发展阶段有不同的表现形式。现象学就是由西方两千多年来的主流哲学中一般和个别关系的论争引发的一场哲学运动。胡塞尔现象学突破了传统西方哲学对于个别和一般的割裂,从而形成了一般对象理论以及现象学方法。在《算术哲学》时期,胡塞尔力图从数的心理起源来解释数的根源,他把抽象解释为注意力的运用。在《逻辑研究》时期,胡塞尔在批判传统抽象理论的基础上探讨了一般对象及其相应直观方式。一般对象又叫共相,就是种类的观念统一;观念化的抽象又叫本质直观,就是一种“在直观的基础上直接把握种类统一的意识”。在超越论的现象学时期本质直观或本质还原包括了“本质直观的变更法”。胡塞尔一般对象理论及其本质直观的把握方法对现代西方哲学,尤其对海德格尔和舍勒的哲学产生了深刻的影响。海德格尔用它来进行对存在的存在的理解,舍勒使用胡塞尔开创的本质直观的方法进行对价值的伦常明察。胡塞尔把握一般对象的方式与中国哲学也存在着相互亲近的机缘,对于中国哲学的研究也具有重要的意义和价值。
施华辉[9]2017年在《英帝国历史书写的形成》文中认为英帝国史的书写展现了学术与政治的关联,从一开始起,它就回应着不同的政治与思想论述。19世纪末,专业的英帝国史研究开始形成,约翰·西利、查尔斯·卢卡斯和休·艾格顿在其中扮演了重要角色,但是三人并非处在同一个学术与政治脉络当中。西利把国家当作历史学研究最重要的对象,认为英帝国就是英格兰国家的扩大,因此支持帝国联邦制的政治构想。他撰写英帝国史只是延续了清理麦考莱的史学遗产,重整英国历史学的思路,因而并没有开辟新研究领域的自觉意识。英帝国史书写的初创与学科化主要得益于“帝国联邦运动”没落后的帝国研究热潮。以教育,尤其是历史学教育来维系英帝国的团结成为了更多人的选择,卢卡斯和艾格顿在其中发挥了重要作用,因此这两人可以被视为奠定英帝国史研究与教学框架的主要推动者。他们的英帝国史书写中个人的角色与道德说教的意味更为明显,这与其试图证明英帝国是一个“好帝国”,维护帝国统治正当性有关。本文主要关注自西利发表《英格兰的扩张》至第一次世界大战结束之间的英帝国史书写,把西利、卢卡斯与艾格顿的学术成就当作核心考察对象,以此来讨论这个转折年代中学术与政治的互动如何展现在英帝国史书写当中。其中绪论部分介绍了三位核心人物的生平、国内外的研究状况、研究方法与问题以及论文的框架。第一章围绕西利与英帝国史书写的关系展开讨论。西利广泛吸收了德国与英国思想界中的成果,并集中反映在了他对于国家理论的看法当中。国家是西利最为关心的研究对象,因而也就成为了他编织英帝国史叙事的基础。西利撰写《英格兰的扩张》并非为了开辟一个新领域,而是为了批评以麦考莱为代表的史学潮流,说明国家的成长才是英国史的主题。所以西利的着眼点是英国历史学专业的建设,《英格兰的扩张》是他提供的范本。第二章考察了西利身处的时代中两种主要的帝国论:“帝国联邦论”和“更大的不列颠”。前者关心正式帝国的打造,把联邦制当作统一英帝国的基础;后者更为复杂和灵活,一方面与联邦论之间存在着交集,另一方面也突显了无形精神纽带的重要性。两种帝国论影响了英帝国史的书写,尤其是“更大的不列颠”,更是成为了随后多年里历史学家关注的重点。西利的《英格兰的扩张》体现了上述两者的交织,因而在帝国观念上,他与大多数“帝国联邦运动”的参与者并不完全一致。第三章讨论了帝国研究热潮的兴起与英帝国史书写的初创。在“帝国联邦运动”陷入僵局后,很多政治家与学者开始认识到打造正式帝国还为时过早,现如今应该先加强帝国教育,所以通过教育来培养认同感和帝国爱国主义成为了更多人的选择。“帝国联合会”和“皇家殖民协会”在推进帝国教育,开展英帝国史教学与研究的过程中贡献巨大。英帝国史的学科化和普及化也借此机会得以实现,卢卡斯和艾格顿是其中的代表人物。由于培养认同感和帝国爱国主义的需要,所以初创时期的英帝国史书写中充斥着种族与道德优越性的论调。第四章围绕着卢卡斯、艾格顿与英帝国史书写的关系展开讨论。在精英主义的教育观与关注“更大的不列颠”的做法上,西利、卢卡斯与艾格顿是一脉相承的。但是相比于西利,卢卡斯和艾格顿的帝国观念里,无形精神纽带的重要性更加突出。更为重要的是,由于两人的着眼点是反驳各种污名化英帝国的论调,而非批评英国史学传统,所以与西利不同,他们的英帝国史书写更具道德说教的意味,个人的英雄传奇也占据了更大的篇幅。对于20世纪初直至1950年代的英帝国历史书写来说,卢卡斯和艾格顿的思想有着更为巨大的影响力,在自1929年开始出版的《剑桥英帝国史》,以及关于“大英国协”的研究中,他们的影响所及随处可见。结语部分探讨了西利、卢卡斯与艾格顿的英帝国历史书写对于现今的意义。第二次世界大战结束后,英帝国逐渐瓦解,但是非殖民化运动并没有完全湮没三人的思考。在上世纪70年代以来的“新英国史”与“大西洋史”的讨论当中,他们的名字时常被提起;在当下的通俗史学里,他们的观点也得到了复兴。在如今思考英国人的认同及世界秩序时,他们的理念同样可以带来启发。
刘奇恩[10]2013年在《几个特殊偏序集上的性质研究》文中进行了进一步梳理布尔偏序集、分配偏序集、模的偏序集是三个特殊的偏序集，它们有着特殊的结构和性质，对这些结构和性质的研宄，有助于我们对偏序集有更深刻的理解。第一章中，介绍了格与偏序集的发展过程，格论起源很早，19世纪末,Dedekind定义了格的概念，到了1930年人们才开始关注，它是随着经典逻辑的代数与泛代数的发展而引进的一个代数系统[。特别是G1].Birkhoff的文章《Lattice Theory》奠定了近代格理论的形成，它是这个时期的格论及其对于数理逻辑、泛代数、一般拓扑学、泛函分析和概率论等数学分支中应用的系统总结。近年来，偏序集和格的理论在组合数学、模糊数学及理论计算机科学，甚至社会科学中都得到了广泛的应用，同时也大大推动了该学科自身的发展观，使之成为数学和理论计算机科学中的重要研宄对象。紧接着列举了国内外众多文献在这一领域的研宄成果，对偏序集的结构和一些重要成果进行了描述，并给出了偏序集上关于上锥、下锥、补元、伪补元、分配性、理想等一些预备知识。第二章中，我们研宄了有伪补偏序集的性质，对偶伪补偏序集的性质，得到了布尔偏序集的特征表示，以及分配偏序集的各种等价形式，特别探讨了分配偏序集与模的分配集的关系，以及模的偏序集的一些性质。
参考文献：
[1]. 布尔过程论及其实验基础[D]. 于潇洋. 中国科学院研究生院（计算技术研究所）. 2000
[2]. 布尔过程论及其在复杂高速芯片设计自动化应用中的研究[D]. 杜振军. 哈尔滨工程大学. 2002
[3]. EDA中高层次综合算法及两种时序综合理论比较研究[D]. 黄少滨. 哈尔滨工程大学. 2004
[4]. 物理新课程改革在布尔津县高中的实施现状分析与对策研究[D]. 祖拉·祖马斯. 华中师范大学. 2015
[5]. 布尔加科夫中短篇小说与圣经[D]. 朱凌玮. 河南大学. 2015
[6]. 英格兰学派的发展动因论析[J]. 马国林. 世界经济与政治. 2016
[7]. 在历史规律与自由选择之间[D]. 董新春. 天津师范大学. 2010
[8]. 一般对象的现象学研究[D]. 焦红星. 西北师范大学. 2010
[9]. 英帝国历史书写的形成[D]. 施华辉. 东北师范大学. 2017
[10]. 几个特殊偏序集上的性质研究[D]. 刘奇恩. 湖南大学. 2013