部分K值逻辑中完满对称函数集最小覆盖判定的一些结果

根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。     

关于部分四值逻辑中完满对称函数集最小覆盖判定的一些结果

对部分四值逻辑中保完满对称关系的78个准完备集按相似关系别除不属于最小覆盖的32个准完备集,为部分四值逻辑中准完备集最小覆盖的判定提供基础。     

水灰温度对寒区水泥物理力学性能影响的试验研究

为了解水泥出罐温度对水泥早期物理力学性能的影响,通过控制水泥使用温度及拌和用水温度,进行了12组水泥标准稠度用水量试验及16组水泥胶砂强度试验,结果表明,随着水泥出罐使用温度的升高,使用常温水(17℃)和冷水(5℃)的水泥标准稠度用水量都会增加,但使用冷水时标准稠度用水量相对较小;水泥早期力学性能也会随着出罐使用温度的升高而降低,但冷水拌和时具有更高的早期力学性能;在水泥试件长期养护条件下,拌和水温及水泥出罐使用温度对水泥的力学性能影响不明显。寒区工程中,当水泥出罐使用温度过高时,可使用温度较低的地下水进行拌和,以避免水泥拌和物过于干燥并有效提高水泥早期力学性能。     

Internet的资源

Ｉｎｔｅｒｎｅｔ的资源国家智能计算机研究开发中心刘任Ｉｎｔｅｒｎｅｔ正逐渐为我国广大读者所熟悉。前不久的日本神户大地震中，通讯设施完全毁坏，全世界通过Ｉｎｔｅｒｎｅｔ了解地震情况；我国就一位儿童的疑难病症在Ｉｎｔｅｒｎｅｔ网络中征求专家确诊。短短的时...     

并联组合建模在径流预测中的应用

针对径流预报的具体特征和相关问题,本文首先建立多元时变灰色预测模型,在分析多元时变灰色预测模型、非时变的免疫神经网络模型、最小二乘支持向量机模型在径流预报中应用的优势和不足的基础上,讨论并联组合预测建模的实用意义,并基于提高样本数据的精度将三者进行并联组合集成建模,充分发挥多种模型各自优点且相互补充。最后以新疆伊犁河雅马渡水文站的年径流预测为例,对该站年径流量进行并联组合预测建模,通过与三个单项模型的预测结果的比较分析,证实了本文所提出的组合预测的合理性、普适性和可靠性。     

关于部分多值逻辑函数集中准完备集的若干性质

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中“保关系”的系统思想,使用群论和组合数学的工具,研究了部分多值逻辑函数集中准完备类相应关系的若干性质.给出并证明了非空关系Gm是完全关系以及子群H是Gm的对称群的充要条件,定出了部分k值逻辑中完满对称函数类Fs,m中函数集的个数.以上工作为解决部分多值逻辑中Sheffer函数的判定提供了研究基础.     

部分四值逻辑中Sheffer函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。     

P*4中保四元正则可离关系非最小覆盖的剔除*

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。     

布满荆棘的自由之路--析墨西哥著名女作家劳拉·埃斯基维尔成名作《烈火干柴》

墨西哥著名女作家劳拉·埃斯基维尔成名作品《烈火干柴》讲述了女主人公蒂塔在追寻自由的道路上所经历的艰辛磨难。小说中的洋葱是墨西哥人日常生活中最不能缺少的食物之一,却似乎暗含着解读这部小说的密码。洋葱每次出现都是蒂塔在寻求幸福自由道路上的一个里程碑。在经历了一系列身心磨难,在战胜了艾莱娜夫人、战胜了自己、战胜了艾莱娜夫人的替代品罗莎乌拉之后,蒂塔终于在地下的世界获得了永恒的幸福和自由。蒂塔如此执着的精神,让这部小说超越了语言的障碍,超越了国界,打动了无数读者的心,成为了世界文学长廊中一部动人佳作。     

共生矩阵纹理特征的DSP优化实现

灰度共生矩阵纹理特征具有计算复杂、耗费时间等问题,严重影响了程序执行的效率。针对此问题,分析了共生矩阵纹理特征的原理,研究了TMS320C6678 DSP的结构性能,提出了基于共生矩阵纹理特征的存取带宽和软件流水的优化方法,在CCS5.3软件平台下选择TMS320C6678对其进行了程序实现,最后使程序执行时间从1.94 ms减少到0.259 ms。实验结果表明,提出的优化方法能够缩减代码执行时间,提升代码性能,满足嵌入式图像处理系统的实际需要。