逻辑函数RM展开式和CRM展开式的转换

讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系,并提出了两者的矩阵转换法,举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系,具有较好的实用性.     

Android恶意软件检测研究与进展

针对持续恶化的Android安全形势,从恶意软件检测的角度,首先总结了Android恶意软件在安装、触发和恶意负载方面的特征和发展趋势;以此为基础,结合Android平台特性和移动智能终端环境限制,系统化论述了现有Android恶意软件分析与判定技术,指出了权限分析、动态分析和静态分析的实现方法及其优缺点;介绍了基于特征值和基于启发式的恶意软件判定方法.最后,根据已有Android恶意软件检测研究的不足,提出了未来的研究方向和发展趋势.     

通信工程专业课程设计的教学方法研究

主要研究了课程设计的教学方法和教学手段,提出了任务分解、人员分组,理论结果和测试结果比较分析的教学方法和手段,并简要描述了实施的效果.     

融入研究性教学模式的《数字图像处理》课程教学改革

将研究性教学引入《数字图像处理》课堂教学中,阐述了研究性课堂教学模式的设置原则,提出了适合课程特点和学生水平的三类问题或研究主题,以及研究性教学实施的4个主要步骤,并讨论了在实施过程中应遵循的原则和注意的问题,提高了学生综合运用所学知识和技术手段解决问题的能力,取得了较好的教学效果.     

验证荷载对服役结构抗力的影响分析

基于服役结构的特点,分析了确定性和随机性验证荷载对服役结构抗力的影响.给出了抗力为正态分布和对数正态分布,验证荷载为确定性和随机性时抗力相应的计算公式,并给出了算例,为服役结构的可靠性和耐久性寿命的计算提供了一些有益的结论.     

具变系数和无穷时滞的双向联想记忆神经网络的动力学行为

研究了具有变系数和无穷时滞的双向联想记忆神经网络,通过引入相空间G（R_）×G（R_）和Lyapunov泛函方法,建立了一系列关于解的有界性和全局渐近稳定性的判别准则．对于具有变系数和无穷时滞周期的双向联想记忆神经网络,通过应用周期解存在定理,建立了该系统周期解存在和全局稳定的充分条件．将上述结果应用于自治双向联想记忆神经网络,得到了平衡点的存在性、唯一性和全局渐近稳定性．     

双荷粒子系统电四极和磁四极电磁辐射的双矢势对偶理论

利用电磁场四维双势法,首先给出了广义Maxwen和d'Alembert方程的解,并进-步给出了场强与四维双势的关系.然后利用有电荷存在时的d'Alembert方程推迟解.求出了带磁荷粒子和双荷粒子(Dyon粒子)的电磁辐射的表达式,并分别给出了电荷和磁荷所激发的电四极和磁四极辐射四维双矢势表达式.最后得到了双荷粒子电四极和磁四极辐射场表达式并对其物理性质进行了讨论.     

HS-代数的(落影)模糊演绎系统

定义了HS-代数的模糊演绎系统,由模糊积和模糊上集给出了模糊演绎系统的一个新刻画,讨论了模糊演绎系统的像和逆像的性质.使用落影理论讨论了HS-代数的演绎系统,并研究了落影模糊演绎系统和模糊演绎系统的关系.     

Y对Ru/sepiolite催化剂甲苯加氢活性的影响

以海泡石为载体,Ru为活性组分,采用浸渍法制备了Ru／sepiolite和Ru-Y／sepiolite催化剂。以甲苯加氢为探针反应,利用TPR,TPD,XRD和比表面积等测试手段对催化剂进行了表征。结果表明,Y的加入提高了Ru／sepiolite的催化活性和Ru的分散度,增加了催化剂的活性中心数和吸附性能。     

基于大数据技术的水情云数据中心设计与研究

随着浙江省水情信息化的不断推进,水情数据种类、结构和数据量不断丰富和发展,传统的单结构化数据存储管理方式已不适合当前信息化社会的应用和服务需求。 本研究采用先进的分布式数据采集、智能数据过滤、大数据存储等技术,构建基于大数据云平台技术的浙江省水情云数据中心,对各类分散的多源异构数据进行全面整合。实现了水情大数据的质量管控、深度挖掘和高效共享,丰富了水情信息的资源样本,拓展了服务深度和广度,提升了数据挖掘的服务效率和能力,为水利业务和事务的现代化发展奠定了坚实的基础。     

一个新的有最佳常数因子的Hilbert型积分不等式

应用权函数和实分析技巧,建立一个核含双参数的-4齐次有最佳常数因子的Hilbert型积分不等式及其等价式.作为应用,给出它的逆向不等式.     

一个加强的Hardy-Hilbert型不等式

引入独立参数,应用权系数的方法及Hadamard不等式,建立了一个加强的具有最佳常数因子的Hardy-Hilbert型不等式及其等价形式.     

关于单形内点的一类几何不等式

应用解析方法和质点组几何不等式理论,研究了关于单形内点的几何不等式问题,建立了涉及单形内点的一类几何不等式,作为其特例得到垂足单形的几何不等式.     

关于垂足单形的两个不等式及其应用

利用距离几何的理论与方法研究了n维欧氏空间En中n维单形的几何不等式问题,建立了垂足单形的两个新的几何不等式,作为其特例,得n维Euler不等式及其推广.     

一类 Ga u s s一Kr o n e eke r曲率流的 Ha r n a ck 不 等式

本文考虑 了一 类变形 的 G au s一K or ne ck er 曲率 流,给出了它的 H ar n ac k 不 等式.     

一个推广的较为精密的Hilbert型不等式的逆

引入两个参量λ,α和两对共轭指数(p,q),(r,s),应用改进的Euler-Maclaurin求和公式,建立了一个具有最佳常数因子的推广和较为精密的Hilbert型逆向不等式,作为应用,给出了它的加强式.     

一个实齐次核的Hilbert型积分不等式及其等价形式

应用权函数的方法,给出了一个新的实齐次核的Hilbert型积分不等式及其等价形式,同时证明了常数因子的最佳性.     

一个核为双曲正割函数的Hilbert型积分不等式

引入Γ-函数等特殊函数,利用权函数方法和实分析技巧,建立一个核为双曲正割函数的Hilbert型积分不等式及其等价式,证明了它们的常数因子是最佳值,并通过取特殊的参数值,得到一些有意义的结果.     

分数次积分下关于s-凸函数的新Hermite-Hadamard型不等式

建立了一个关于Riemann-Liouville分数次积分的恒等式,利用此恒等式,得到了一些函数为可微且s-凸映射的关于分数次积分的新Hermite-Hadamard型积分不等式,并且对于可微的s-凹函数也得到一些新的结果.文中的新结果推广了部分已有研究的结论.最后给出了一个应用实例.     

局部紧集上的广义向量均衡问题

利用数值化方法和 Browder 不动点定理,得到一类新的广义向量均衡问题解的存在定理,并用于向量变分不等式、向量相补问题和抽象向量优化问题,得到其解的存在定理.