检索结果-内蒙古大学图书馆

在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满足实际系统开发的需求。运用完全形式化的方法对改进模型的状态、不变量、迁移规则等进行描述,使用Isabelle定理证明器证明了迁移规则对模型的不变量保持性,从而实现对模型正确性的自动形式化验证,并保证了模型的可靠性。

关键词： BLP模型安全策略形式化方法自动化验证定理证明安全操作系统

来源：评论

学校读者我要写书评

暂无评论

基于Android的远程控制系统

引用

计算机工程 2013年第11期39卷 280-284页

作者：徐亮湖南师范大学数学与计算机科学学院长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室长沙410081

远程控制系统可以让用户访问非本机系统上的各种软、硬件资源。为了在移动平台上为用户提供远程控制服务,提出基于Android系统的远程控制系统。该系统基于Android系统的应用程序规范,遵照RFB协议,通过Java语言实现远程访问和控制系统,... 详细信息

远程控制系统可以让用户访问非本机系统上的各种软、硬件资源。为了在移动平台上为用户提供远程控制服务,提出基于Android系统的远程控制系统。该系统基于Android系统的应用程序规范,遵照RFB协议,通过Java语言实现远程访问和控制系统,并充分利用Android系统的系统资源,成功实现了对触屏激发、软键盘及多点触屏的支持,能在装有Android系统的手机上运行,并与支持RFB协议的虚拟网络计算软件族服务器进行通信。

关键词：远程控制 Android系统虚拟网络计算系统 RFB协议 Java语言触屏

来源：评论

学校读者我要写书评

暂无评论

基于CG的外推瀑布式多网格法收敛性分析

引用

高等学校计算数学学报 2013年第4期35卷 340-351页

作者：胡宏伶潘克家湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP) 中南大学地球科学与信息物理学院中南大学数学与统计学院

1引言如何求解由有限元或差分法所导出的大型线性方程组是现代科学与工程计算中的重要问题.考虑n阶对称正定线性方程组Ax=6.（1）当未知数超过数百万后,一般直接法因工作量浩大而失效了,而各种迭代法受到特别的关注.除经典的Jacobi迭代,... 详细信息

1引言如何求解由有限元或差分法所导出的大型线性方程组是现代科学与工程计算中的重要问题.考虑n阶对称正定线性方程组Ax=6.（1）当未知数超过数百万后,一般直接法因工作量浩大而失效了,而各种迭代法受到特别的关注.除经典的Jacobi迭代,Gauss-Siedel迭代,超松弛迭代法（SOR）外,还有1952年Hestenes M R和Stiefel E;提出共轭梯度法（Conjugate Gradients,CG）.利用CG算法求

关键词： conjugate gradient methods extrapolation cascadic multigrid method convergence threshold.

来源：评论

学校读者我要写书评

暂无评论

关于多值解析函数的教学研究

引用

大学数学 2013年第1期29卷 99-105页

作者：董新汉伍海华湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室湖南长沙410081

复变函数论中的多值函数教学是一个难点.钟玉泉先生的教材在这一难点的处理方面是较成功的.他通过例题,介绍多值函数分成单值分支的方法,介绍求函数值的方法,并对这些方法进行了总结,得出的结论是:当给定初值后,只有通过连续变化才能得... 详细信息

复变函数论中的多值函数教学是一个难点.钟玉泉先生的教材在这一难点的处理方面是较成功的.他通过例题,介绍多值函数分成单值分支的方法,介绍求函数值的方法,并对这些方法进行了总结,得出的结论是:当给定初值后,只有通过连续变化才能得到其它点的函数值.这一点和传统的代入法求函数值完全不同.然而该教材就在这一总结之后,又用代入法求Arcsin2.我们认为这自我否定了刚刚建立起来的求值方法,扰乱了读者的思想.本文通过对Arcsinz分成单值解析分支的讨论,对求Arcsin2提出了新的教材处理方案,以期和读者商榷.

关键词：多值解析函数单值解析分支反正弦函数函数值

来源：评论

学校读者我要写书评

暂无评论

改进的BLP模型的建模及其应用

引用

计算机与现代化 2013年第4期 193-197页

作者：徐亮湖南师范大学数学与计算机科学学院湖南长沙410081 高性能计算与随机信息处理省部共建教育部重点实验室湖南长沙410081

BLP模型是经典的数据机密性模型,也是高等级安全操作系统研发过程中最常使用的一种安全策略模型。但是由于模型自身存在的不足,使得它无法满足实际系统开发的需求。通过对其做相应的改进,并对其做完全形式化的描述,将其应用到具体的系... 详细信息

BLP模型是经典的数据机密性模型,也是高等级安全操作系统研发过程中最常使用的一种安全策略模型。但是由于模型自身存在的不足,使得它无法满足实际系统开发的需求。通过对其做相应的改进,并对其做完全形式化的描述,将其应用到具体的系统当中,从而满足《信息安全技术——操作系统安全技术要求》(《GB/T 20272-2006》)中对"访问验证保护级"安全操作系统研发过程中提出的需要完全形式化的安全策略模型的需求。

关键词： BLP模型安全策略形式化安全迁移规则安全操作系统

来源：评论

学校读者我要写书评

暂无评论

一类障碍系统弱解的局部与全局高阶可积性

引用

理论数学 2013年第3期3卷 215-222页

作者：周树清胡振华湖南师范大学数学与计算机科学学院长沙高性能计算与随机信息处理省部共建教育部重点实验室长沙湖南城市学院益阳

本文讨论了一类偏微分方程的障碍系统,,通过构造特殊的检验函数并利用逆Hölder不等式,得到了系统的弱解的局部和全局高阶可积性,从而把有关障碍问题的一些结果推广到障碍系统。

关键词：局部可积性全局可积性障碍系统逆Holder不等式

来源：评论

学校读者我要写书评

暂无评论

混合网格下的有限元特征值重构

引用

应用数学与计算数学学报 2013年第1期27卷 33-39页

作者：孟令雄梁洪辉易利军湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室长沙410081 上海师范大学数理学院上海200234

利用有限元后处理技术在混合网格上重构了线性有限元解,使其梯度具有超收敛性,在此基础上利用Rayleigh商重构特征值,获得了线元特征值的四阶超收敛结果.

关键词：特征值混合网格有限元超收敛重构

来源：评论

学校读者我要写书评

暂无评论

非线性方程组的Newton流线法

引用

计算数学 2012年第3期34卷 235-258页

作者：陈传淼胡宏伶雷蕾曾星星高性能计算与随机信息处理省部共建教育部重点实验室湖南师范大学数学与计算机科学学院长沙410081

为求解非线性方程组F(x)=0,研究了Newton流方程x_t(t)=V(x)=-(DF(x))^(-1)F(x),x(0)=-x^0,及数值Newton流x^(j+1)=x^j+hV(x^j),h∈(0,1].导出了减幅指标g_j(h)=‖F(x^(j+1)‖/‖F(x^j)‖=1-h+h^2d_j(h)<1和m重根x~*附近的表示g_j(h)=(1-h/m)~m+h^2O(‖x^j-x~*‖).最后基于4个可计算量g_j,d_j,K_j,q_j,提出了新的Newton流线法,如果投入大量的随机初始点,能找到所有实根、重根和复根.

关键词：非线性方程组 Newton流线法中心场可计算量求所有的根

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：