期刊文献+
共找到44篇文章
< 1 2 3 >
每页显示 20 50 100
Boolean process 被引量:4
1
作者 闵应骅 李忠诚 赵著行 《Science China(Technological Sciences)》 SCIE EI CAS 1997年第3期250-257,共8页
Boolean algebra successfully describes the logical behavior of a digital circuit, and has been widely used in electronic circuit design and test With the development of high speed VLSIs it is a drawback for Boolean al... Boolean algebra successfully describes the logical behavior of a digital circuit, and has been widely used in electronic circuit design and test With the development of high speed VLSIs it is a drawback for Boolean algebra to be unable to describe circuit timing behavior. Therefore a Boolean process is defined as a family of Boolean van ables relevant to the time parameter t. A real-valued sample of a Boolean process is a waveform. Waveform functions can be manipulated formally by using mathematical tools. The distance, difference and limit of a waveform polynomial are defined, and a sufficient and necessary condition of the limit existence is presented. Based on this, the concept of sensitization is redefined precisely to demonstrate the potential and wide application possibility The new definition is very different from the traditional one, and has an impact on determining the sensitizable paths with maximum or minimum length, and false paths, and then designing and testing high performance circuits 展开更多
关键词 boolean process WAVEFORM WAVEFORM LIMIT PATH sensitization.
原文传递
利用Poisson Boolean模型建立股票价格波动过程及数据模拟 被引量:2
2
作者 王宁 王军 《北京交通大学学报》 EI CAS CSCD 北大核心 2005年第3期25-28,共4页
通过耦合的方法建立非齐次Poisson过程,从而利用连续渗流理论中的PoissonBoolean模型建立股票的价格波动过程模型.并利用计算机模拟分析,结果表明用本方法建立的模型走势图与实际走势图形很接近.
关键词 数据模拟 波动过程 股票价格 POISSON过程 计算机模拟分析 渗流理论 过程模型 价格波动 非齐次 走势
下载PDF
Study on Simulation of 5-axis NC Machining Process
3
作者 李建广 袁哲俊 袁巨龙 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 1998年第4期7-10,共4页
Ray-casting technique used to generate realism graphs is creatively applied to simulate the NC machining process of an integral turbo-wheel, thus the representation of a workpiece is redused from 3D to 1D. As a result... Ray-casting technique used to generate realism graphs is creatively applied to simulate the NC machining process of an integral turbo-wheel, thus the representation of a workpiece is redused from 3D to 1D. As a result, simulation speed is raised greatly and the visualization is kept. The relative problems are the discussed in detail and the 5 - axis NC machining process simulation of integral turbo-wheel is illustrated with Ray-casting representation. 展开更多
关键词 Ray-casting MACHINING process SIMULATION boolean operation integral TURBO WHEEL
下载PDF
面向数控车床的切削加工仿真方法
4
作者 张剑飞 李亚南 《齐齐哈尔大学学报(自然科学版)》 2024年第3期28-33,共6页
针对现有数控加工仿真系统中存在的加工过程动态仿真效果差、切削加工仿真类型有限以及系统交互性不足等问题,结合加工工件的几何外形和成形特征,采用基于二维边界表示法(B-rep)模型生成算法,实现回转体工件模型的快速生成和更新。在虚... 针对现有数控加工仿真系统中存在的加工过程动态仿真效果差、切削加工仿真类型有限以及系统交互性不足等问题,结合加工工件的几何外形和成形特征,采用基于二维边界表示法(B-rep)模型生成算法,实现回转体工件模型的快速生成和更新。在虚拟数控车床上的应用实验表明,该方法能够高效地生成和更新工件模型,满足实时监控的要求。基于布尔运算的二维B-rep多边形切削算法实现了内径加工、外径加工和螺纹加工3种切削类型的加工模拟,提升了系统的仿真能力和灵活性。 展开更多
关键词 加工过程仿真 车削加工 布尔运算 工件模型 B-REP
下载PDF
基于布尔过程的组合电路波形模拟 被引量:9
5
作者 李立健 闵应骅 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第3期242-246,共5页
工作频率高和定时严格是现代集成电路的特点 ,它们要求数字系统模拟器不但可以模拟电路的逻辑行为 ,而且可以精确地模拟电路的定时特性 .文中提出了一个基于布尔过程的波形模拟途径 ,并介绍了它的理论基础、主要算法思想、所采用的技术。
关键词 布尔过程 波形模拟 组合电路 集成电路 设计
下载PDF
基于布尔过程论的层次化延时分析方法 被引量:6
6
作者 杜振军 马光胜 冯刚 《计算机研究与发展》 EI CSCD 北大核心 2001年第10期1269-1275,共7页
芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式... 芯片设计的日益复杂化和高速化对电路精确的定时特性提出了越来越高的要求 .电路的延时不仅与电路的拓扑结构有关 ,而且还与电路的逻辑功能及输入都有密切的关系 .采用 Boole过程论这种统一描述数字电路的逻辑行为和时变行为的代数形式作为理论基础 ,提出了波形多项式偏导的概念 ,并用之重新定义了敏化 .用偏导定义的敏化改进了解析延时模型 ,基于最长可敏化通路的延时建立了电路模块或子电路的延时矩阵模型 ,由延时矩阵模型出发提出了一种精确的电路层次化延时分析方法 .最后用实验验证了文中提出的延时分析方法的有效性 . 展开更多
关键词 系统芯片 布尔过程论 层次化延时分析 数字电路
下载PDF
波形模拟器关于组合电路中竞争冒险的应用 被引量:3
7
作者 蔡烁 杨致远 刘舜 《微电子学与计算机》 CSCD 北大核心 2012年第1期67-70,75,共5页
为了更好地研究组合逻辑电路的竞争冒险现象,提出了一种关于组合电路竞争冒险的波形模拟方法,利用基于布尔过程的波形模拟器对电路进行模拟.该方法为检测电路中的竞争冒险现象提供了帮助,能有效降低对某些尖峰脉冲敏感的负载电路所产生... 为了更好地研究组合逻辑电路的竞争冒险现象,提出了一种关于组合电路竞争冒险的波形模拟方法,利用基于布尔过程的波形模拟器对电路进行模拟.该方法为检测电路中的竞争冒险现象提供了帮助,能有效降低对某些尖峰脉冲敏感的负载电路所产生的影响.实验结果证明了该方法的可行性和有效性. 展开更多
关键词 布尔过程 波形模拟器 组合电路 竞争冒险
下载PDF
布尔过程在通路敏化中的应用 被引量:1
8
作者 赵著行 闵应骅 李忠诚 《计算机学报》 EI CSCD 北大核心 1996年第8期568-575,共8页
对高性能数字电路来说,定时(Timing)的研究与分析是非常重要的.新近提出的布尔过程是定时分析的有效的理论工具,它将电路的逻辑关系和定时关系统一地表示在一个表达式中.本文首先介绍布尔过程的基本概念,然后利用此方法对... 对高性能数字电路来说,定时(Timing)的研究与分析是非常重要的.新近提出的布尔过程是定时分析的有效的理论工具,它将电路的逻辑关系和定时关系统一地表示在一个表达式中.本文首先介绍布尔过程的基本概念,然后利用此方法对任意输入模式下的通路敏化问题进行讨论──重新定义通路敏化的概念,并通过一个例子说明几种主要的敏化定义之间的不同,给出并证明判定通路敏化的充要条件.文章最后提出计算敏化通路的原始输入波形的算法,并给以证明. 展开更多
关键词 布尔过程 波形函数 通路敏化 数字电路
下载PDF
基于布尔过程论的波形和波形空间的性质及应用 被引量:1
9
作者 尤志强 张大方 刘先霞 《电子学报》 EI CAS CSCD 北大核心 2000年第8期107-109,共3页
本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 .并在此基础上定义了延迟算子 ,推导了延迟算... 本文在布尔过程论的基础上运用布尔运算定义了波形空间 ,波形空间中的每一个元素为一波形 ,定义了波形的距离和极限 ,从数学角度推导出了波形与波形空间的许多性质 ,进一步完善了布尔过程论 .并在此基础上定义了延迟算子 ,推导了延迟算子的性质 ,论证了定义的距离的连续性和给出通路敏化的条件 ,展示了布尔过程论的应用前景 . 展开更多
关键词 布尔过程 波形空间 波形距离 波形极限 布尔代数
下载PDF
面向互连的综合策略 被引量:1
10
作者 马光胜 杜振军 《计算机工程与应用》 CSCD 北大核心 2002年第20期27-29,共3页
VDSM(超深亚微米)设计中互连线延迟已在电路延迟中起到决定性作用。在前期设计阶段考虑互连延迟问题已是当前研究的重要课题。建立以互连为中心的综合方法是当前的一个棘手问题,尚未有成熟的方法。文章提出了一种面向互连延迟的综合策略... VDSM(超深亚微米)设计中互连线延迟已在电路延迟中起到决定性作用。在前期设计阶段考虑互连延迟问题已是当前研究的重要课题。建立以互连为中心的综合方法是当前的一个棘手问题,尚未有成熟的方法。文章提出了一种面向互连延迟的综合策略,将前期设计定时规划,前期设计的线网规划和布局规划方法相融合,并在不同阶段给出了不同精度和复杂度的定时分析模型。文中还给出了一个设计实例对该文的综合策略予以了说明。 展开更多
关键词 综合策略 超深亚微米 Boole过程论 互连延迟 模拟电路 设计
下载PDF
多值Boole过程 被引量:1
11
作者 杜振军 马光胜 《计算机工程》 CAS CSCD 北大核心 2003年第10期21-23,共3页
采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充,提出了多值Boole过程的概念及其运算,为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念,用实值的加、... 采用文献[1]中定义的扩展Allen-Givone代数概念将Boole过程论扩充,提出了多值Boole过程的概念及其运算,为精确统一描述多值逻辑电路的逻辑功能和定时行为提供了一种解析途径。提出基于Allen-Givone代数的带状波形概念,用实值的加、减、乘、除运算为电路的异步特性提出了解析化的理论基础。这种数学分析与离散数学相结合的途径能相对精确地描述电路的时滞模型。在多值逻辑电路设计自动化技术的测试、模拟、综合等领域中,这种方法有它的应用前景。 展开更多
关键词 Boole过程 多值逻辑电路 带状波形 Allen-Givone代数
下载PDF
MBD环境下加工元的三维机加工艺设计方法 被引量:2
12
作者 林云峰 金逸林 胡笑奇 《现代制造工程》 CSCD 北大核心 2017年第9期123-128,共6页
针对目前基于模型定义(Model-Based Definition,MBD)环境下三维机加工艺设计过程中出现的信息不一致问题,在MBD加工元的概念基础上,提出基于MBD加工元的三维机加工艺设计方法和设计过程。研究基于MBD加工元的生成方法,并在此基础上研究... 针对目前基于模型定义(Model-Based Definition,MBD)环境下三维机加工艺设计过程中出现的信息不一致问题,在MBD加工元的概念基础上,提出基于MBD加工元的三维机加工艺设计方法和设计过程。研究基于MBD加工元的生成方法,并在此基础上研究基于MBD加工元的工艺方法决策。基于工序模型的关联复制技术和布尔运算,建立基于MBD加工元的工艺模型。开发基于MBD加工元的机加工艺设计系统,并以飞机盒类零件为例验证所提方法的有效性。 展开更多
关键词 基于模型定义 MBD加工元 工序模型 布尔运算
下载PDF
基于Clipper的3D打印支撑算法研究与设计 被引量:2
13
作者 谢明师 陈鸿 杨凯祥 《制造技术与机床》 北大核心 2017年第3期61-64,共4页
利用clipper库(二维图形裁剪库)对3D打印过程中生成的上下两层切片轮廓进行布尔运算,得到当前层的支撑区域,使用逆向分层的思想得到模型的全部支撑区域,并采用直线扫描的方式对支撑区域添加薄板支撑。通过桌面3D打印机打印实验证明,该... 利用clipper库(二维图形裁剪库)对3D打印过程中生成的上下两层切片轮廓进行布尔运算,得到当前层的支撑区域,使用逆向分层的思想得到模型的全部支撑区域,并采用直线扫描的方式对支撑区域添加薄板支撑。通过桌面3D打印机打印实验证明,该算法简化了运算,确保了支撑添加无遗漏。 展开更多
关键词 支撑算法 布尔运算 逆向分层 直线扫描 二维图形裁剪库
下载PDF
应用过渡特征简化的工序几何建模方法 被引量:2
14
作者 唐健钧 田锡天 耿俊浩 《计算机集成制造系统》 EI CSCD 北大核心 2013年第8期1984-1989,共6页
为了快速建立工序几何模型,提出一种将过渡特征简化和加工特征边界提取相结合的工序几何模型建立方法。首先对加工特征中的过渡特征进行简化,获得加工特征边界;然后选择加工特征边界,利用旋转、扫掠或拉伸方法建立加工体积特征;用前一... 为了快速建立工序几何模型,提出一种将过渡特征简化和加工特征边界提取相结合的工序几何模型建立方法。首先对加工特征中的过渡特征进行简化,获得加工特征边界;然后选择加工特征边界,利用旋转、扫掠或拉伸方法建立加工体积特征;用前一道工序的几何模型与该加工体积特征做布尔差运算,求得本工序的工序几何模型。在简化过渡特征时区分边过渡和点过渡,并综合考虑支持面丢失等情况。以典型轴类零件的车削加工工序几何建模为例,分析了选择不同加工特征边界建立的工序几何模型的尺寸变化规律,验证了该方法的有效性。 展开更多
关键词 工序几何建模 过渡特征简化 布尔差运算 车削加工
下载PDF
考虑噪声效应的VDSM延时测试生成方法
15
作者 杜振军 马光胜 冯刚 《哈尔滨工程大学学报》 EI CAS CSCD 2003年第4期431-435,共5页
为了解决超深亚微米芯片的延时测试问题,首先提出了一种新的基于布尔过程论的逻辑级噪声预测方法,用波形多项式描述的同时发生的跳变数来预测噪声大小,并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合... 为了解决超深亚微米芯片的延时测试问题,首先提出了一种新的基于布尔过程论的逻辑级噪声预测方法,用波形多项式描述的同时发生的跳变数来预测噪声大小,并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合,提出了一种基于布尔过程论的能产生最大噪声效应的敏化测试波形生成方法.实验表明,本文提出的方法可以应用在复杂电路的延时故障测试中,有较好的推广价值. 展开更多
关键词 延时故障测试 噪声效应 布尔过程论 可敏化通路
下载PDF
特征建模及图象处理 被引量:2
16
作者 高玮 吴中奇 童红卫 《计算机学报》 EI CSCD 北大核心 1994年第4期250-256,共7页
本文提出了一种图象处理与特征造型相结合的造型手段,利用图象处理的技术把三维布尔运算转化为在一维区间上处理,从而避免了实体造型中布尔运算的不稳定性.特征信息的加入使参数化修改成为可能,并在修改时自动进行关联性检查,方便... 本文提出了一种图象处理与特征造型相结合的造型手段,利用图象处理的技术把三维布尔运算转化为在一维区间上处理,从而避免了实体造型中布尔运算的不稳定性.特征信息的加入使参数化修改成为可能,并在修改时自动进行关联性检查,方便了设计人员的设计与修改.该造型手段保存的信息能用于后序加工. 展开更多
关键词 图象处理 特征建模 伪布尔运算
下载PDF
面向互连的综合策略
17
作者 马光胜 杜振军 《贵州工业大学学报(自然科学版)》 CAS 2002年第4期8-11,共4页
VDSM (超深亚微米 )设计中互连线延迟已在电路延迟中起到决定性作用。在前期设计阶段考虑互连延迟问题已是当前研究的重要课题。建立以互连为中心的综合方法是当前的一个棘手问题 ,尚未有成熟的方法。提出一种面向互连延迟的综合策略 ,... VDSM (超深亚微米 )设计中互连线延迟已在电路延迟中起到决定性作用。在前期设计阶段考虑互连延迟问题已是当前研究的重要课题。建立以互连为中心的综合方法是当前的一个棘手问题 ,尚未有成熟的方法。提出一种面向互连延迟的综合策略 ,将前期设计定时规划 ,前期设计的线网规划和布局规划方法相融合 ,并在不同阶段给出了不同精度和复杂度的定时分析模型。另还给出了一个设计实例对综合策略予以了说明。 展开更多
关键词 综合策略 超深亚微米 Boole过程论 互连延迟 VDSM 设计 门电路 电路延迟 线网规划 布局规划
下载PDF
基于布尔过程的低功耗互联线设计
18
作者 范德会 赵峰 王丁 《黑龙江工程学院学报》 CAS 2007年第3期33-35,40,共4页
在布尔过程理论的基础上提出互连线功耗的扩展模型,该模型综合考虑互连线自身跳变及互连线间的耦合跳变所引起的功耗。并据此提出一个功耗优化算法,该算法通过调整互连线的布局以及相邻互连线间的距离以达到功耗优化的目的。实验结果表... 在布尔过程理论的基础上提出互连线功耗的扩展模型,该模型综合考虑互连线自身跳变及互连线间的耦合跳变所引起的功耗。并据此提出一个功耗优化算法,该算法通过调整互连线的布局以及相邻互连线间的距离以达到功耗优化的目的。实验结果表明该方法有较好的优化效果。 展开更多
关键词 功耗优化 互联总线 布尔过程
下载PDF
TOYOCRYPT-HS1算法高速实现研究
19
作者 王雪瑞 胡广平 +1 位作者 李淼 刘松 《电子技术应用》 北大核心 2012年第7期144-146,150,共4页
提出了一种TOYOCRYPT-HS1算法高速实现架构,不仅能够满足算法中LFSR特征多项式可变的要求,而且实现了LFSR和非线性布尔函数的并行化设计,显著提高了算法的处理性能。最后通过实验验证和性能比较可以看出,该TOYOCRYPT-HS1算法高速实现架... 提出了一种TOYOCRYPT-HS1算法高速实现架构,不仅能够满足算法中LFSR特征多项式可变的要求,而且实现了LFSR和非线性布尔函数的并行化设计,显著提高了算法的处理性能。最后通过实验验证和性能比较可以看出,该TOYOCRYPT-HS1算法高速实现架构具有较大的性能优势,最大吞吐率达到1.54 Gb/s。 展开更多
关键词 序列密码 TOYOCRYPT—HS1 线性反馈移位寄存器 非线性布尔函数 并行处理
下载PDF
基于多色集合的产品配置与可扩展性分析 被引量:1
20
作者 乔虎 莫蓉 +1 位作者 杨海成 向颖 《西北工业大学学报》 EI CAS CSCD 北大核心 2015年第6期942-948,共7页
针对产品配置结果多样化,配置模型可扩展等需求,提出使用多色集合进行产品配置求解,算法易于扩展,求解结果多样化。以产品模块为单位,使用功能块对产品模块进行聚类,控制单次求解规模。基于需求与产品系列的关系、需求与模块的关系以及... 针对产品配置结果多样化,配置模型可扩展等需求,提出使用多色集合进行产品配置求解,算法易于扩展,求解结果多样化。以产品模块为单位,使用功能块对产品模块进行聚类,控制单次求解规模。基于需求与产品系列的关系、需求与模块的关系以及性能与模块的关系,建立多层多色集合围道矩阵。考虑产品配置特点,提出统一颜色的体的推理算法,并建立产品配置求解流程。通过研究需求及模块变化对多色集合求解的影响,讨论了产品配置模型的可扩展性和扩展影响。最后,以某型罐式运输车为对象,验证多色集合产品配置模型的可靠性和合理性。 展开更多
关键词 产品配置 多色集合 可扩展性 功能块
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部