陕西省教育厅科研计划项目(08JK432)
- 作品数：8 被引量：16H指数：2
- 相关作者：王彩霞张娟娟冯锋贺兴时张辉更多>>
- 相关机构：西安工程大学西安邮电学院第二炮兵工程学院更多>>
- 发文基金：陕西省教育厅科研计划项目国家自然科学基金陕西省科学技术研究发展计划项目更多>>
- 相关领域：理学自动化与计算机技术电子电信更多>>
- ■ukasiewicz命题逻辑系统中有限命题集的约简理论被引量：2
- 2009年
- 在n值■ukasiewicz命题逻辑中提出了命题集Γ的约简理论,引入由命题集Γ所诱导的形式背景的概念,从Γ及其子集的关系出发给出了n值命题逻辑中有限命题集Γ约简的判定定理以及求Γ约简的方法。说明了无穷值■ukasiewicz命题逻辑中命题集Γ的约简可转化为n值情形。
- 李立峰张建科冯锋
- 关键词：完备性定理
- 面向对象技术的系统思想被引量：2
- 2010年
- 运用系统的概念将面向对象软件系统表示成一个二元组,给出了对象系统及环境系统等的概念,引入了类间的并、交、补运算及子系统的并和定向并等运算,并对它们的性质进行了讨论,给出了这些概念、运算和性质在面向对象设计技术中的一些应用。
- 王彩霞贺兴时张娟娟
- 关键词：面向对象环境系统
- 同型系统间的同态映射与同构映射
- 2011年
- 给出了同型系统的同态、同构概念,并引入了给定系统的诱导系统.利用映射及同态公式,刻划了同型系统间的同态(同构)关系,并得出了同型系统与其诱导系统的同态(同构)关系,在此基础上给出了一些应用.
- 王彩霞贺兴时张娟娟
- 关键词：同态映射同构映射
- 一类具垂直传染SIS传染病模型的全局稳定性被引量：1
- 2010年
- 研究了一类具有常数出生、垂直传染和一般接触率β(N)的SIS传染病模型。利用Bendixson-Dulac判别法证明了当垂直传染率01时,地方病平衡点E*或E*1全局渐近稳定,疾病流行形成地方病。运用Liapunov函数方法证明了当p=0,R0≤1时,无病平衡点E0全局渐近稳定,疾病最终消失。并通过Matlab进行数值模拟。
- 张辉冯锋
- 关键词：垂直传染全局渐近稳定基本再生数闭轨线
- 系统理论及其在面向对象设计中的应用被引量：2
- 2010年
- 将系统理论应用于面向对象技术中,运用系统概念将面向对象软件系统表示成一个二元组(A;R),给出系统、对象系统及环境系统等的概念及其性质,用这些理论分析面向对象中的系统及一些表示方法,然后采用系统理论实现了面向对象技术中的一些功能,如类的继承等,并给出了一些应用.
- 王彩霞贺兴时张娟娟
- 关键词：面向对象环境系统
- 关于同型系统间的联系的几个问题被引量：1
- 2010年
- 给出了同型系统的同态、同构概念,并引入了给定系统的诱导系统,利用映射及同态公式,刻划了同型系统的同态(同构)与其诱导系统的同态(同构)之间的密切关系,并对同态(同构)不变性问题进行了讨论,得出了一些相关结果.
- 王彩霞张娟娟
- 关键词：同态映射同构映射
- 高次MFE多变量加密方案被引量：6
- 2009年
- 对改进的Medium-Field型多变量加密方案进行了分析,其所定义的运算致使该方案不能成功解密,进而,该方案实质并不可行。针对原Medium-Field型多变量公钥加密体制不能抵抗SOLE攻击,提出一种新的有效的改进方案。通过重新设计原方案的中心映射,使攻击者不能得到相关的线性化方程,从而抵抗SOLE攻击。分析表明新方案不仅能够抵御SOLE攻击,而且能抵制秩攻击和Grb ner基攻击,是一种更为安全的多变量公钥加密方案。
- 王鑫张美玲王新梅
- 关键词：密码学分析公钥密码多变量
- 潜伏期具传染力SEIS模型正平衡点的全局稳定性被引量：2
- 2012年
- 研究了一类潜伏期、染病期均具传染力且有不同饱和接触率C1（N）和C2（N）的SEIS传染病模型，得到了判断疾病流行与否的基本再生数R0．利用周期轨道轨道稳定性和Poincare—Bendixson性质理论，证明了当R0〉1时，正平衡点P^＊在T内全局渐近稳定，疾病流行形成地方病．
- 张辉徐文雄冯锋
- 关键词：潜伏期饱和接触率基本再生数全局渐近稳定
