连续函数超空间

基于空间X到空间Y的连续函数族作为乘积空间X×Y的闭子集组成的超空间CL(X×Y)的子空间 ,在限制Y为Hilbert方体Q时 ,得到连续函数超空间C(X ,Q)同胚于Q的伪内部s;在限制X为单位闭区间I时 ,考虑连续函数超空间C(I,Y)在CL(I×Y)中的闭包 ,得到其元素到Y的投影是连续统 ,且投影随I中的点连续变化 ,并举例说明了即使X为单位圆盘 ,上述第二个结论也不能成立 .     

局部凸拓扑向量空间中的向量变分不等式与集值优化

利用与仿射上导数相关的向量变分不等式的真有效性,对局部凸拓扑向量空间中的集值优化问题的Henig有效性、超有效性、锥超有效性等给出了一些充分、必要条件,从而推广了一些已知的相关结论.     

智能化车载信息终端的设计与实现

随着电子控制、计算机、通信等技术的迅猛发展,汽车电子技术和产品的开发日新月异,汽车智能化将成为21世纪汽车发展不可阻挡的潮流和趋势.结合实例,提出了基于嵌入式片上系统(SOC)的智能化车载信息终端的设计思想和实施关键,并从系统结构等方面介绍了整个系统的软、硬件组成及各部分的功能和特点.     

高阶微分方程周期边值问题的上下解方法

利用上、下解的单调迭代方法，讨论了高阶微分方程周期解的存在性，推广了文献[1]中的结果。     

关于扰动广义半流的吸引子的上半连续性

对广义半流Gλ0的扰动Gλ,研究了其吸引子的上半连续性,得到了相关理论,及其应用.     

求粗糙集正域POSc(D)的表上作业法

给出了一种非常简洁的求POSC(D)的表上作业方法,此法不仅无须分别求出U/IND(C)和U/IND(D),而且省略了U/IND(C)和U/IND(D)之间的比较及求交的程序;最后,应用这一方法研究了评价和预测问题中各因素的合理赋权问题,对中国区域生态水平评价问题进行了权重挖掘,按照所得权重给出了新的评价结果.     

关于QF环的一个新刻画

忠实平衡自正交双模是模类里的一种重要的研究对象．它广泛运用于倾斜模和余倾斜模理论及CM—环理论中．本文首先给出Noether环中Strong Nakayama Conjecture成立的一个条件．通过忠实平衡自正交双模的右极小内射分解给出了左Noether环模类的一个上生成子．最后用忠实平衡自正交双模的性质给出了QF环的一个新的刻画。     

一类随机变量序列关于Г-分布的强偏差定理

引进似然比作为非负连续型随机变量序列相对于服从Г分布的独立随机变量序列的偏差的一种度量，并通过限制似然比给出了样本空间的一个子集，在此子集上运用鞅方法得到了任意非负连续型随机变量序列的一类用不等式表示的强极限定理，将任意随机变量序列关于乘积分布的强偏差定理从离散状态空间推广到连续状态空间．作为推论得到了任意非负连续型随机变量序列关于指数分布，厄兰分布以及X^2分布的强偏差定理以及服从Г-分布的独立随机变量序列的一族强大数定律．     

基于分隔符的跨站脚本攻击防御方法

通过分析跨站脚本攻击的特性, 提出一种基于分隔符的跨站脚本攻击防御方法, 该方法适用于UTF-8编码的Web应用程序。首先, 仅对可信数据中的分隔符进行积极污点标记; 然后, 利用字符UTF-8编码值的转换轻量级完成污点标记, 该污点信息可随着字符串操作直接传播到结果页面; 最后, 根据结果页面中分隔符的污点信息及页面上下文分析, 检查脚本执行节点的合法性和脚本内容的可靠性, 精确地检测并防御跨站脚本攻击。针对PHP平台实现了原型系统XSSCleaner。实验证明, XSSCleaner可轻量级地完成污点分析, 并且能够对跨站脚本攻击进行精确防御, 页面生成的时间开销平均为12.9%。