悉尼现比萨自动贩卖机 3分钟即可制出美味

<正>据报道,这台2米X1.78米的机器叫做"Pizza Gio",近日出现在悉尼Westfield Chastswood购物中心,吸引了不少客人,因为它能在3分钟内造出一个全尺寸的比萨,价格为12澳元。该比萨店老板表示,这台了不起的机器能把制作比萨和分发比萨的过程合二为一。"这台机器制作的比萨与Pompei餐厅的质量相同,制作用料新鲜,且制作时间少于3分钟。"据悉,比萨贩卖机接受现金和信用卡。比萨贩     

LWE求逆算法的门限方案

为了避免单点失效引起安全隐患,通常采用门限技术来增强密码系统的可靠性。其中,如何构造有效的容错学习(learing with error,LWE)求逆算法的门限方案被遗留为公开问题。提出了LWE求逆算法的门限方案T-LWE-Invert,该方案利用有限群上的秘密分享机制解决了陷门分享和LWE逆的计算问题。理论分析表明,T-LWE-Invert门限方案具有零知识可模拟性,并且与标准的LWE求逆算法具有相同的安全性。     

高粘度流体截止阀开度优化模拟研究

市场现有的截止阀不能很好地应用于高粘度流体领域,为此提出了一款常闭式电磁驱动截止阀,同时对截止阀的开度进行了初步设计。为了进一步优化其结构和性能,采用计算流体力学方法模拟分析截止阀的内部动态流场。通过Solidworks软件对截止阀结构进行三维建模,并采用Fluent软件动网格技术结合外部自定义函数(UDF)程序的方式来定义阀芯的运动,以此实现对截止阀芯关闭过程的模拟。以阻力系数和压降等指标为判断依据,分析了截止阀在关闭过程中的流场分布情况,得出开度设置为3. 5 mm时既能保证过流量又能优化驱动结构。另外,通过优化截止阀杆的形状,削弱了内流场的湍动能,进一步减小了介质的过流阻力。研究为高粘度流体截止阀的设计与选用提供了参考。     

纯满同态的推广对条件(P′)与条件(P_E)的刻画

设S是幺半群,n是一个正整数.设ψ:X→Y是S-满同态,如果ψ是2-纯的,X满足条件(P),那么Y满足条件(P),但反之未必成立.本文给出了纯满同态的一些新推广.利用这些新概念,我们给出了条件(P′)与条件(PE)的等价刻画,即S-系Y满足条件(P′)的充分必要条件是每个满同态X→Y是弱2-纯的,S-系Y满足条件(PE)的充分必要条件是每个满同态X→Y是PE-2-纯的.最后,研究了新满同态的有向上极限.     

re-Horn子句集的Horn化及可满足性判定方法

在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。     

双轴差速立式捏合机混合釜流场特性分析

为揭示双轴差速立式捏合机混合釜内流场产生剪切及拉伸运动的机理,根据混合釜结构特征、桨叶运动特点以及固体推进剂物料特性,采用有限体积法建立综合动网格、用户自定义函数的三维数学模型,以VKM-5立式捏合机为研究对象,计算其功率准数、流场及压力场分布.结果表明:功率准数与实验实测值符合良好;捏合区、近壁区、釜底区存在轴向流、切向流、径向流的相互作用,且物料分别在正压力和负压力作用下做强烈的剪切运动和拉伸运动,物料混合剧烈程度依次为捏合区、近壁区、釜底区及其他区域.     

单个土工格室加筋效果的影响因素分析

通过定速度压缩试验,研究了不同形状(圆形、六边形、正方形)及受不同侧限(柔性侧限、刚性侧限、无侧限)约束的单个土工格室加筋试样在圆形荷载作用下的承载力和变形特性,分析实验所得的荷载-位移曲线,探索不同形状、不同侧限约束作用对土工格室加筋效果的影响.结合试验,采用FLAC3D(Three Dimensional Fast Lagrangian Analysis of Continua)对不同工况下的加筋土体进行了数值模拟,比较分析不同工况下的云图.结果表明:不同形状的格室单元对土体均有加筋效果,且圆形格室的加筋效果最好;侧限可以减小土工格室加筋土的水平位移,约束土体的变形,且侧限材料的模量越大,加筋土体的刚度越大.     

塔中地区上奥陶统良里塔格组构造裂缝成岩作用研究

裂缝作为流体活动的通道,对碳酸盐岩储集体的形成、演化及分布起到非常重要的作用。选取塔里木盆地塔中上奥陶统良里塔格组碳酸盐岩构造裂缝为研究目标,开展了岩芯观测和采样工作,运用显微薄片、阴极发光、流体包裹体、荧光测试等分析方法,重点研究了裂缝的形成充填特征,识别出了方解石胶结、重晶石胶结及萤石胶结等成岩作用类型,良里塔格组构造裂缝经历了3期流体充填作用,第一期为浅埋藏大气淡水胶结;第二期为二叠纪末热流体活动的结果;第三期为中-深埋藏阶段流体的充填作用。     

Homomorphism key agreement based on RSA

0 IntroductionNow,the encrypt technology is the main means to com-municatein security. Key management is i mportant al-so. The reason is that all encrypt technology depend on keywhichis a complex security problem. Besides , key manage-ment is different to different encrypt system[1-3].Key manage-ment includes production, storage, distribution, delete, pi-geonhole and application of the key. The problems involvesysteminitialization,the production of key,storage,to re-sume, enclose, distributio…     

一类图构形的模元素

证明了有n个顶点的图构形中所含的m个顶点的团（clique）对应的超平面的交是模元。然后利用Stanley定理给出了此类图构形的Poincaré多项式的一个因式分解。并举例说明图G的一个弦子图所决定的m个顶点的超平面的交不一定是L(A (G))的模元。