φ-强拟增生算子零点的迭代逼近

设X为实一致光滑Banach空间,T:X→X为Lipschitzφ-强拟增生算子。设为[0,1]中数列满足(ⅰ);(ⅱ)令s=I-T,其中I:X→X为恒等算子。定义Ishikawa迭代序列:则强收敛于T的唯一零点。 一个相关的结果处理Lipschitzφ-半伪压缩算子的不动点的迭代逼近。     

水坝渗流问题的变分不等模型及有限元解

水坝的渗流问题是工程上很受关注的问题。本文采用变分不等式模型,结合有限元方法研究具有自由边界的渗流问题,在整个结构区域内作有限元剖分,避免了传统的有限元分析中需事先估计边界形态、反复修理计算区域的迭代过程。本文方法为简介而快速地分析渗流自由边界问题了一条有效的途径。     

BCK-代数的商积代数及其性质

本文对ＢＣＫ－代数的商积代数作笛卡儿积,构造了一种新的ＢＣＫ－代数－商积代数;并进一步讨论了经的一些性质。     

分布式计算环境下的栅格数据存储策略

针对传统的栅格数据存储策略不能满足分布式计算环境下粗粒度数据访问需求,应对海量栅格数据计算时效率低下的问题,结合分布式文件系统的存储特点,同时考虑地图代数算子在Map/Reduce阶段以栅格瓦片为单位的计算特点,提出一种基于Hadoop分布式文件系统的栅格瓦片存储策略。围绕栅格数据瓦片分割、压缩瓦片数据组织与存储、分布式文件输入输出接口改进等方面对该存储策略加以实现,并使用基于该存储策略的地图代数局部算子的分布式计算流程加以验证。理论分析与实验结果表明,该策略能够显著提高分布式计算环境下空间分析算子的运算速度。     

一种不精确推理模型与模糊关系代数

提出一种不精确推理的模型以及模糊关系代数,定义了模糊集合的并、交、差和笛卡尔积等运算,从而对非精确数据及知识描述中不确定性进行有效地处理。     

先进性教育 党委是重点

山西省太原市杏花岭区人武部在共产党员先进性教育中,把党委班子作为重点,“一班人”率先垂范,认真制定计划,带头学习政治理论,敢于揭短亮丑,让群众给“把脉”,然后深挖存在问题的根源。在整改阶段,充分发动干部职工提建议,为加强党委建设出谋划策。现在该人武部上下风气正、干劲足,各项工作奋勇争先。     

梅红

皑皑雪原中,一片梅林迎风傲雪,青色的梅枝上梅花绽放,吐红喷翠,清新雅致。每每想到梅花怒放的景象,我总会想起一个人来,她的名字叫梅红。十年前,我曾对梅红进行了一次采访。这么多年过去了,发生在她身上的事,一点也没有在我脑海里淡化,反而异常清晰。在我眼中,她就是一朵梅花,迎着风雪,开得灿烂。初次见到梅红时,她正把一碗热气腾腾的米饭,递向瘫痪在床的丈夫。那时,她的头发已落上了"雪霜",蓬松杂乱。脸上堆满了岁月流淌的痕迹,似核桃壳上的纹路。那年,她刚满50岁,但岁月已使她变成了一个老人。忆想当年,梅红可是一个鲜鲜亮亮的俏姑娘。16岁,梅红     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

广义A-调和张量的反向H?lder型不等式

基于微分形式A-调和方程的反向Hlder型不等式,是研究其解可积性的重要工具。本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向Hlder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础。     

“四大工程”推动调结构转方式

坚持以调结构转方式为主线,大力推进工业提效、城镇化提升、现代农业提质、服务业提速"四大工程",提升兵团城镇化发展质量,着力构建现代产业体系服务业提速工程2015年,兵团将以"四大工程"为载体,着力推动调结构转方式工业提效工程城镇化提升工程现代农业提质工程服务业提速工程