学科分类
/ 25
500 个结果
  • 简介:定义了布尔函数的,给出了布尔函数的一些性质。讨论了布尔函数的与其零化子和代数免疫度之间的关系,并由此给出了判定布尔函数不可约的一个充分条件。

  • 标签: 布尔函数 可约 不可约 零化子 代数免疫度
  • 简介:满足性问题是第一个被证明为NP-complete问题.首先给出两个解之间距离的概念,其次构造出一类单参数填充函数,该函数形式简洁,便于计算.然后,针对满足性问题提出了一类填充函数算法,实验表明该算法是有效的.

  • 标签: 可满足性问题 填充函数 启发式
  • 简介:<正>以0,1为元素所构成的n阶方阵A=(aij)n×n,i,j=0,1,2,…n-1,其元素之间的加法与乘法运算按下列方式:则称A为布尔矩阵,文[1],[2]对这类矩阵的性质作了深入的研究和全面的介绍,文[4][5]给出了经典循环矩阵和本原性的条件,本文给出了另一类循环布尔矩阵的和本原性的充分必要条件。设g是一个非负整数,一个n阶g-循环矩阵A=(aij)n×n是一个这样的矩阵,除

  • 标签: 布尔矩阵 可约性 本原性 循环矩阵 乘法运算 充分必要条件
  • 简介:据传,远古时期存在着一种因辐射而基因突变的向日葵,成熟之时,向日葵黑金色的花盘会滴落一种油状物质。此油散发着淡淡的芬芳,提炼之后会产生极其浓烈的香味,让人如痴如醉,如梦如幻,深陷其中,难以自拔,

  • 标签: 基因突变 远古时期 向日葵 成熟
  • 简介:一我想,我是被帕慕克的《伊斯坦布尔》这本书给下了蛊了。我第一次看《伊斯坦布尔》时,是2007年的晚夏,我在当时的读书笔记里这样写道:“乌云沉沉,疾风阵阵,远处有雷声。暴风雨前的风有一种寒气,透过脚尖往上走。空气里一种腥甜的味道。天的另一边,最后几朵亮云与乌云遥遥相对。

  • 标签: 伊斯坦布尔 2007年 读书笔记 帕慕克 暴风雨 雷声
  • 简介:有句古话:“知足常乐”。语出《老子》:“祸莫大于不知足.咎莫大于欲得.故知足之足常足矣。”它历来被视为一种人生精义。当代一位作家写道:“一个快乐主义者首先得有知足的修养.就是古训所谓的‘知足常乐’。”

  • 标签: 知足常乐 生精 快乐主义 修养 人生 《老子》
  • 简介:中国上海,2007年10月23日——罗门哈斯宣布已成功开发出替代传统溶剂型胶粘剂,满足压敏胶带及其他高应用需求的新型水性丙烯酸压敏胶ROBOND’MProhesion。此款新品具有其他水性丙烯酸压敏胶所不具备的特点及粘合持久力。

  • 标签: 水性丙烯酸压敏胶 性能应用 溶剂型胶粘剂 压敏胶带 粘合
  • 简介:我五岁的小女儿米妮,整天叽叽呱呱不停嘴。她出生后只花一年时间,就学会了讲话。这以后,只要没有睡着,她简直就没有一分钟安静过。她母亲怎么骂她,也不能使她少说几句。可我却不这样。假如米妮沉默不语,时间一长我就难以忍受。因此,米妮与我聊天,时间一长总是津津有味,神采飞扬。

  • 标签: 小学生 语文学习 阅读知识 课外阅读
  • 简介:1结婚的时候收来的礼,绸缎的被面,暖瓶,搪瓷盆,多到堆在一个角上。小凤仙说,这碍什么事,哪天谁结婚,正好送出去。挑了一床油绿的缎子被面,手抚一下,真顺溜,织得紧实,丝丝缕缕的经纬的纹路仿佛一条河流动。上面的金鱼一条一条滚圆,浮凸在缎面上,活的一样。

  • 标签: 小说 文学 文学作品 当代作品
  • 简介:2002年1月13日,海明威的小说《老人与海》中的主人公原型——弗安特斯去世,享年104岁。第二天,互联网上有27家网站都发布了同一张公告:“有个人,几乎什么都有。论地位,他是享誉世界的大师级人物;论荣誉,他是诺贝尔奖获得者;论金钱,他的版税在他成名之前就已使他成了富翁;论爱情,几乎每一个女人都喜欢他,都愿意为他奉献一切。

  • 标签: 诺贝尔奖获得者 《老人与海》 主人公 海明威 互联网 原型
  • 简介:DEK的ProFlow封闭式印刷头技术,在经过一段成功的测试期后,因其杰出的表现能满足复杂的大规模生产要求,为一家知名的电子解决方案公司所采用。

  • 标签: PROFLOW 大规模生产 X系统 封闭式 DEK 印刷
  • 简介:通过对布尔台矿三盘区各主采煤层煤的物理、化学性质和工艺性能的研究分析,探讨了该矿煤的煤质特征及其变化规律,指出区内各采煤层有害成分低,属特低灰、低灰,特低硫、中磷-高磷煤,高发热量煤,是良好的民用和动力用煤,适用于火力发电,各种工业锅炉等。通过可选研究各煤层简选样评定结果表明:当拟定灰分(Ad)在4.0%、5.0%、6.0%、14.0%时属易选~极难选。

  • 标签: 布尔台煤矿 工艺性能 煤岩特征
  • 简介:

  • 标签:
  • 简介:780N/mm{sup}2gradehot-rolledhigh-strengthsteelsheetforautomotivesuspensionsystem,Acomputationtoolforhydroformingpredictionusinganinverseapproach,Amechanisticunderstandingoftheformabilityofmagnesium:examiningtheroleoftemperatureonthedeformationmechanisms,ANew5xxxseriesalloydevelopedforautomotiveapplications,Anewdual-phasesteelforautomotivebodypanels,ANEWKINDOFNDFEBMAGNETPREPAREDBYSPARKPLASMASINTERING.

  • 标签: 可锻性 热轧制 高强度钢 自动悬浮系统 加氢重整
  • 简介:Characteristicsof590MPagradelowYPtypehotdipgalvannealedsteelsheet;Characterizationofcold-rollcdTRIPsteelsforstructuralcrash-relevantapplicationsintheautomotiveindustry;Characterizingtheinnerstructureofcontinuouslycastsectionsbyusingaheattransfermodel;CURV-Anewlightweight,recyclablematerialforautomotiveapplications;

  • 标签: 可锻性 锌镀层退火处理 热浸法 冷轧制钢板
  • 简介:Developmentofimmediatefittingsocketsystemforartificialleg(evaluationofstrengthandcastingperformance);Developmentofnew55%AI-Zncoatedsteelsheetswithexcellentcorrosionresistanceandformability""""SUPERGENIUS"""";Developmentsinthetexturingofsheet-metalsurfaces;Double-sidedhigh-pressuretubularhydroforming;Effectofadiabaticheatinginsomeprocessesofplasticdeformation

  • 标签: 可锻性 强度演化 铸造性质 腐蚀抗性 塑性形变 金属材料