骰子模型中和概率的计算

概率论中的骰子模型在许多领域有着重要的应用,本文研究投掷多次骰子时,点数之和的概率计算问题.应用生成函数法得上述问题简洁的概率计算公式,并考虑它的推广情形,最后给出几个计算的例子.     

符号函数及其派生函数在工科教研中的作用

针对符号函数及其派生函数在工科教研中的作用进行研究.首先,通过符号函数的定义及其性质引出其派生函数,进一步给出了派生函数的性质.其次,从提高系统的收敛速度和抗干扰性能的角度说明符号函数及其派生函数在设计系统控制器中的作用.此外,数值仿真说明了根据符号函数及其派生函数所设计的控制器的有效性.     

认知生成主义的方法论意义

生成主义是认知生态学奉行的认知研究纲领,它超越了传统的认知主义和联结主义。作为一种全新的认知哲学观,它在方法论上超越了传统的客观主义和建构主义,它自身蕴涵了以欧陆现象学和东方佛学静心修持传统为代表的第一人称方法,以生物学方法和动力学方法为代表的第三人称方法,以及基于一三人称整合的、以丹尼特的异类现象学和瓦雷拉的神经现象学为代表的第二人称方法,这是它特有的三种方法论。     

专家预测2015会成为反科技年

<正>多年来,拥有最新的电子设备或者应用程序一直是地位的一种象征,但这种事情很快就要发生改变。根据专家们的预测,2015年将成为"反科技年",人们将开始抛弃电子设备、社交网站以及其他科技产品,转而追求简单的生活。最近的数据显示,一些社交网站的人气正在下降,     

BL-代数中的落影模糊理想

在落影理论的基础上，本文建立了定义 BL-代数的模糊（关联）理想的理论方法。研究了落影模糊（关联）理想和模糊（关联）理想的关系，证明了模糊（关联）理想是落影模糊（关联）理想，反之不成立。最后，获得了落影模糊（关联）理想的一些等价刻画。     

公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

代数体函数的几个定理

应用Nevanlinna理论, 首先，研究了代数体函数的唯一性问题, 将亚纯函数五值强化定理推广到代数体函数, 得到了3v+1值强化定理; 其次，研究了当分担值较少时2个代数体函数特征函数之间的关系, 推广了亚纯函数四值定理.     

BiHom-pre-Lie代数的双模

给出了BiHom-pre-Lie代数双模的定义、判断双模的方法以及双模的实例,推导出BiHom-pre-Lie代数双模的对偶是双模所满足的条件.得到了BiHom-pre-Lie代数的双模与BiHom-Lie代数的表示之间的关系.     

高陡横坡段桩柱式桥梁双桩基础受力分析

基于高陡横坡段桩柱式桥梁双桩基础承载特性,提出了一种改进有限杆单元计算分析方法.分析了高陡横坡段桩柱式桥梁双桩基础承载机理及受力特性,建立了双桩基础计算分析模型.其次,根据前、后桩与边坡相对位置关系,给出了后桩所受剩余下滑力与前桩所受土压力的比例关系.在传统有限杆单元分析方法基础上,结合陡坡桩受力特征,导得了考虑桩土共同作用与"P-Δ"效应的单元刚度矩阵修正方法,并在此基础上编制了适用于高陡横坡段桩柱式桥梁双桩基础的有限杆单元分析MATLAB计算程序.采用室内模型试验对本文计算方法进行验证,给出了适用于陡坡段桥梁桩基的设计流程图.研究结果表明:本文理论计算值与模型试验实测结果吻合良好,表明本文计算方法正确可行,可为同类工程设计提供参考.     

对10轮AES-128的中间相遇攻击

给出了AES-128相邻两轮的轮密钥之间的一个线性关系。通过将这一关系与Hüseyin Demirci和Ali Aydın Selçuk在2008年提出的一个5轮AES区分器相结合,构造了一个8轮AES区分器。在这个8轮AES区分器的基础上,设计了一个对10轮AES-128的中间相遇攻击方案。这一方案在预计算阶段可以节省相当大的存储空间。