布尔

摘要： 正午的马布尔巴(Marble Bar),一片令人窒息的寂静。烈日无情地鞭打着人们的每一寸肌肤,土地俨然成为一个巨大的烤盘,空气吸收了过多热量,毫不留情地炙烤着万物。一切生命体放缓呼吸,蛰伏在阴凉处,等待夕阳西下,空气中才混入一丝可供喘息的凉爽。

摘要： 布尔总是乐呵呵的小男孩,淘气又不太爱学习,但非常聪明布尔有很多好朋友,比利是头一个!比利这只调皮的可卡犬十分可爱,常常引人发笑,偶尔说说小谎,总是在逃避洗澡,但它的爱心非常大!

摘要： 提到美国摩托车,我们最容易想到的是哈雷、印第安,想到OHV气门机构、V型双缸发动机、长轴距、大重量、前置搁脚板、直立驾驶姿势……但是,美国摩托车并不只是笨重的大块头,他们曾经拥有过很灵活、很运动、很有个性的摩托车,那就是哈雷麾下的布尔(BUELL)。

摘要： "在过去几年里,黎巴嫩和中国的贸易关系持续稳定发展。如今,中国已成为黎巴嫩最大的贸易伙伴之一,黎巴嫩近10%的进口来自于中国。"近日,黎巴嫩驻华大使米莉亚·贾布尔接受《中国对外贸易》记者专访时表示,尽管受新冠肺炎疫情影响,全球贸易趋缓,但她依然对中黎两国未来的经贸合作充满期待。

摘要： 在各类教学测试中,由于客观题本身的"布尔"特性为判阅带来准确和便捷,尤其在各类电子化测试批阅中得到广泛应用.但答题者有时会内含一定的不确定成分,不同程度的掩盖了测试者对被测试者真实状况的了解.为准确鉴别和更有效的获取测试信息,设计了主客观相结合的"布尔"格式答题卡,以及计分原则,可以借助"雨课堂"工具,及时作出准确判断,为动态调整教学攻克难点,改进教学的效果、效率和效益提供有力的帮助.

摘要： 一''这次数学考试又没及格.''阿吉难过地低着头,此时,天已下起了蒙蒙细雨。阿吉冲进了雨中,她的衣服湿透了,那双被雨水浸湿的鞋子,已经开胶了,露出可爱的脚指头。''要是现在有个地洞,真想钻进去.''阿吉抱怨道。''阿吉.''谁在叫我?阿吉环顾四周,什么也没看到。''阿吉,我在这.''阿吉头一低,发现脚边多了一个七彩蘑菇。''是你在叫我吗?''阿吉说。蘑菇点点头,并往一旁倾斜了一下,阿吉看到蘑菇下面露出了一张鼹鼠的脸。''鼹鼠.''阿吉吓了一跳。

摘要： 2019年9月17日,中国石油化工股份有限公司(以下简称中国石化)与西布尔控股股份公司(以下简称西布尔)在俄罗斯圣彼得堡签署了丁腈橡胶(NBR)项目合作谅解备忘录和氢化苯乙烯-丁二烯嵌段共聚物(SEBS)项目框架合作协议。

摘要： Aiming at the deficiencies of the existing image restoration algorithm,Boolean cloud model algorithm is used.First the cloud model is constructed,cloud entropy to determine cloud Boolean relations,clouds appear,Boolean logic to calculate each cloud droplet collection of mutual information entropy,entropy of different results to determine value.Followed by the input and Boolean cloud state function determines the cloud model decision by input Boolean function can produce new clouds again,optimize cloud states choose different cloud entropy dynamic changes.Finally,the algorithm processes.simulation results show operator to connect natural repair image,smoothness,to maintain the overall continuous,and PSNR value.%针对现有图像修复算法的不足,采用布尔云模型算法.首先构造云模型,利用云熵确定云布尔关系.不同的云团值出现时,布尔逻辑计算每个云滴集合的互信息熵.通过比较熵的不同来确定结果值；接着在受输入和布尔函数决定后产生云态,云模型在受输入和布尔函数决定后,可以再次产生新的云团.对云态进行选择优化,其不同的云熵动态变化,最后给出了算法流程.仿真结果显示算法对修复图像连接自然,有光滑性,保持了整体连续,并且PSNR值较大.

摘要： 正法国巴黎,举世闻名的浪漫之都。一场盛况空前的音乐会正在举行。欧利布尔,这位在四弦上纵情放飞高山流水,让整个世界为之倾倒的小提琴大师,带给听众的是一次倾情的灵魂放牧。整个音乐厅座无虚席。一曲又一曲,每一枚音符都是飞翔的天籁。

摘要： 本文研究一种基于RW理论的布尔离散事件系统监控理论,讨论了包括建模、能控性、非阻塞性和模块控制等在内的一系列问题.文中结合布尔代数,采用移除最小项的方法,提出了解决离散事件系统监控理论中最关键的问题--计算最大能控子谓词的一种新算法.

摘要： 本发明公开了一种布尔可满足性求解器中学习子句的删除方法及布尔可满足性求解器，所述方法包括：在求解的过程中生成多个学习子句，并对每个学习子句的使用次数及LBD值进行记录；当触发学习子句删除条件时，根据学习子句的使用次数和LBD值对学习子句进行删减。采用本发明的技术方案，可提高学习子句的质量，提升求解器的运行效率。

摘要： 本发明涉及布尔登管及设有该布尔登管的温度计，其目的是提供由铜或铜合金形成的布尔登管的、与导管的连接部分的具体构成；使用于压力式温度计中的布尔登管(2)，在由铜或铜合金形成的同时，形成为以规定的曲率中心作为中心的略圆弧状；在该布尔登管(2)上，形成有第一方向上的中间位置在布尔登管(2)的扁平方向被压扁而形成的压扁部(2a)、和配置于第一方向的两端且在其内部形成有填充流体的填充用空间的流体填充部(2b)，其中，第一方向是与以规定的曲率中心作为中心的圆周方向和布尔登管(2)的扁平方向略垂直相交的方向；在圆周方向上的布尔登管(2)的一端侧上，与流体填充部(2b)相连接那样地形成有插入导管的导管插入部(2d)；导管插入部(2d)的内径形成为，大于流体填充部(2b)的内径且与导管的外径相对应的大小。

摘要： 本发明公开了一种布尔门棋，是一种以布尔逻辑代数和数字门电路的逻辑关系为本棋的准则，各方棋子中包括两种相互对立的逻辑状态的棋子0和1，棋盘是以三角形为基本单元，若干三角形单元连接成大的复合三角形，三角形的两个角点为逻辑门的输入端，另一角点为输出端，三角形的任一个角点为一个逻辑非门的输入端，与之相邻的另一角点为逻辑非门的输出端。通过逻辑门的输入端和逻辑门的性质可以确定由输入端一侧越过逻辑门到达输出端的棋子。通过0和1的不同组合，构成了各种逻辑门、各种逻辑门转换、级联或复合的输入输出关系，从而反映了布尔代数和数字门电路的逻辑状态，实现走棋、竞技和娱乐。

摘要： 本文描述了用于生成唯一指纹的系统、装置和方法。例如，示例集成电路(IC)芯片包括物理不可克隆函数(PUF)和辅助电路。所述PUF是混合布尔网络。另外，所述辅助电路被配置为接收瞬态响应启用信号。

摘要： 本发明公开了一种基于GPU的八叉树布尔运算加速求交方法，利用Delaunay三角剖分算法分别对两个三维模型进行三角化处理，并对所有面片生成一个OBB包围盒，在OBB包围盒上通过递归的方式建立八叉树的数据结构，对三维模型中的三角面片进行存储，通过GPU的多线程并行对叶子节点中的三角面片进行判断，若两个三维模型的三角面片均处于同一个叶子节点中，则输出两个三维模型的三角面片对，通过计算三角面片间距离的方式判断两个三角面片是否存在相交，本方法易于实现，是一种将GPU的良好并行性与八叉树简单的数据结构相结合的的方法，该方法仅考虑了可能存在相交的三角面片对，对于较大三维模型的布尔运算能够快速剔除大部分不相交的三角面片对。

摘要： 本说明书实施例提供一种基于混淆电路的布尔电路连续执行方法及装置，在多方安全计算的业务处理过程中，基于混淆电路将业务处理过程拆分为多个算子电路的连续执行过程。在业务执行过程开始之前，可以预先存储大量混淆表数据。其中，在靠前电路的输出线作为靠后电路的输入线的情况下，由混淆方确定靠前电路输出线对应的备选标签和靠后电路输入线的备选标签之间的关联关系，并由靠前电路根据执行结果中的输出标签及该关联关系确定靠后电路的输入线对应的输入标签。这样，可以使得计算方对各个算子电路的执行能够连续执行，减少冗余通信，提高业务处理效率。

摘要： 本说明书实施例提供一种基于混淆电路的布尔电路连续执行方法及装置，在多方安全计算的业务处理过程中，基于混淆电路将业务处理过程拆分为多个算子电路的连续执行过程。在业务执行过程开始之前，可以预先存储大量混淆表数据。其中，在靠前电路的输出线作为靠后电路的输入线的情况下，将靠前电路的相应输出标签与靠后电路的相应输入标签设为一致，并将靠前电路的混淆表与靠后电路的混淆表关联存储。这样，可以使得计算方对各个算子电路的执行能够连续执行，减少冗余通信，提高业务处理效率。

摘要： 本发明为基于线性规划的布尔可满足性判定方法，属于逻辑电路领域，包括如下步骤：S1提取布尔命题逻辑公式；S2：转换为等可满足的CNF布尔逻辑公式；S3：转化为CNF形式的3‑SAT问题；S4：转化为1‑in‑3‑SAT问题；S5：等效转化为一个线性规划的最优值大小问题；S6：对线性规划的最优值求解问题进行求解精度设定；S7：求解线性规划问题的最优值，并根据最优值大小来判定布尔命题逻辑公式的可满足性；S8：对于可满足的布尔命题逻辑公式，递归地对线性规划问题添加约束并进行求解，得到可满足问题的一个解答。本发明实现了在多项式时间复杂度下的快速判定，能够判定的提高效率，节约能源。

摘要： 本发明公开了一种支持大规模用户群的布尔关键词可搜索加密方法，基于递归属性集结构、访问树结构和递归关键词集结构，在面向大规模用户的前提下实现了灵活的访问策略匹配和细粒度的访问控制。首先，本发明支持更灵活的数据用户属性组织方式以及更灵活的访问策略匹配，实现了更高效的访问控制。本发明使用访问树来表示访问策略，并将数据用户属性以递归集结构组织起来，实现了更加高效的访问策略匹配。另外，本发明还支持更灵活的关键词组织方式以及布尔关键词检索。在本发明中，通过采用将关键词组织成递归集的形式，并通过布尔匹配运算的方法，实现了灵活的关键词组织及布尔关键词搜索。

摘要： 本发明公开了一种基于威布尔函数的脉搏波拟合方法，所述方法包括以下步骤：对数据进行截断,其中，将采集到的人体桡动脉脉搏波数据，以脉搏周期为单位，进行切割划分，得到单周期脉搏波的数据集；使用双参数或三参数威布尔函数的方式，对脉搏波数据进行拟合。本发明的有益效果在于，针对脉搏波的形状，挑选出适合用于脉搏波各子波的拟合函数——威布尔函数。此方法能做到显著提高拟合优度，显著减少出现无法拟合情况的数据个数，且同时具有普遍性。