Y（F4‘）条件与加强形式的停止定理

首次提出了Ｙ（Ｆ４＇）条件，给出了Ｙ（Ｆ４＇）条件的两个等价关系，得到了加强形式的停止定理和强鞅的一个等价关系。     

浅谈数学问题的表征形式

表征是信息在人脑中的呈现和记载的方式 .根据信息加工的观点 ,当人对外界信息进行加工(输入 ,编码 ,转换 ,存储和提取等 )时 ,这些信息在头脑中得以表征 .表征是客观事物的反映 ,又是被加工的客体 .同一事物 ,其表征形式不同 ,对它的加工也不同 .知识的表征是现代认知心理学的一个核心概念 .著名的认知心理学家安德森认为 ,“通过以多种方式应用我们从自己的经验中获得的知识 ,认知才得以进步 .理解知识如何应用的前提是理解它如何在人脑中表征的 .”西蒙也曾指出 ,“表征是问题解决的一个中心环节 ,它说明问题在头脑中是如何呈现的 ,如何…     

关于NA情况下重对数律收敛速度的一般形式

研究了NA序列重对数律收敛速度的一般形式，把Davis和Gut的结果推广到了NA的情形，并使梁汉营等人关于对数律一个结果成为特例；作为推论，得到了关于NA序列重对数律收敛速度的充分条件．     

两角和差三角函数在高考中的新特点

两角和差的三角函数是历年高考必考的内容之一 ,试题的形式有“选择、填空、解答” ,试题的难易程度均属中等水平 ,试题考查的知识点较多 ,从近几年试题来看 ,通过一个题目考查多个知识点的题目呈上升趋势 ,同时又呈现出下面新的特点 :①结合图象考查函数的性质 ;②试题的综合性有所加强 ;③试题的考点有所拓宽 ;④试题注重运用探究性思维 ;⑤试题更注重三角的工具性作用 .下面笔者就近几年的高考试题 ,例谈这些新特点 ,供参考 .一、结合图象考查函数的性质与图象结合考查函数性质在其它函数中考查较为常见 ,但出现在三角函数中较少 ,可在近…     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

晚凉天静月华开

一些对于歌唱和语言出现的先后之争无法掩盖这样一个事实，欧洲文化的先祖古希腊人将各种美德都归之于音乐——一种感召心灵的神奇威力!公元前9世纪克里特岛的音乐人萨米塔斯教会了多利亚人用太阳神颂歌来驱除斯巴达的瘟疫，合唱的形式便悄然诞生了。柏拉图和亚里士多德曾深入地发展了关于音乐对于情感和道德的影响之理论，于是当时的各类调式都被赋予了表情意义和精神特     

试点·视点之上海篇-互动电视太超前了吗？

本期前面的几篇文章其实已经涉及到了本文提出的问题。     

场论说对非线性网络节点电压法一般形式方程的推导

从场论说的非线性网络中积分形式的基尔霍夫定律出发，能严格和简练地推导从非线性网络到线性网络的节点电压法的一般形式的网络状态方程，并给出复自导和复互导各与复电导之间包括正负号关系在内的普遍关系式。