检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

实用模型的自动化形式验证

湖南大学学报（自然科学版） 2013年第9期40卷 91-97页

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

通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此... 详细信息

通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此基础上利用定理证明器Isabelle完成对该模型的自动化形式验证,从而实现高等级安全操作系统研发过程中对安全策略模型的形式化需求.

关键词： Biba模型形式化方法定理证明自动化形式验证安全策略

维普期刊数据库博看期刊

生产要素、FDI、环境消耗与中国经济增长源泉——基于Biennial Malmquist生产率指数的分解

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2016年第3期36卷 581-592页

作者：唐李伟胡宗义湖南大学金融与统计学院长沙410079 湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室长沙410006

论文将资本存量区分为国内资本存量和国外资本存量,基于Biennial Malmquist生产率指数对考虑环境消耗的中国1998—2011年间的经济增长源泉进行分解.测算结果显示,整体来看,全要素生产率、劳动投入、国内资本、国外资本以及环境消耗对经... 详细信息

论文将资本存量区分为国内资本存量和国外资本存量,基于Biennial Malmquist生产率指数对考虑环境消耗的中国1998—2011年间的经济增长源泉进行分解.测算结果显示,整体来看,全要素生产率、劳动投入、国内资本、国外资本以及环境消耗对经济增长的贡献率分别为4.33%、3.67%、48.1%、18%和25.9%.分地区统计发现,东部地区全要素生产率对经济增长的贡献率显著大于中西部地区,中部地区的经济增长对资本的依赖性最大,西部地区经济增长对国外资本的依赖性最大.当前中国经济增长对资本依赖度较大且存在地区差异,全要素生产率对经济增长的贡献率有限,经济在快速增长的同时,对环境产生了巨大消耗,这种经济增长模式是不可持续的,转变经济增长方式是必然选择.

关键词：生产要素国外资本环境消耗 Biennial Malmquist生产率指数经济增长源泉

基于级差格式的GM(2,1)模型参数估计优化研究

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2018年第2期38卷 502-508页

作者：唐李伟鲁亚运湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室长沙410006 广东省海洋发展规划研究中心广州510220

参数估计的优化是提高灰色模型精度的一个重要途径，级差格式的提出避免了背景值的复杂构造.现有的GM（2，1）模型计算较为复杂，且参数估计基于目标函数是原始序列一次差分序列的拟合误差平方和最小化来确定，同时，参数估计中微分到... 详细信息

参数估计的优化是提高灰色模型精度的一个重要途径，级差格式的提出避免了背景值的复杂构造.现有的GM（2，1）模型计算较为复杂，且参数估计基于目标函数是原始序列一次差分序列的拟合误差平方和最小化来确定，同时，参数估计中微分到差分的转换以及背景值构造存在较大误差.针对这些问题，本文基于GM（2，1）模型微分方程的时间响应函数推导了级差格式，给出了最小二乘法的参数估计方法，然后基于原始序列误差平方和最小的目标函数，优化了模型的两个初始条件，同时，推导出GM（1，1）回归模型和GM（1，1，exp）模型是该模型的特殊情况，最后通过实例比较本文优化方法与现有方法估计的GM（2，1）模型拟合精度与预测精度.实例结果显示，本文的优化方法估计的GM（2，1）模型具有较好的效果.

关键词： GM(2,1)模型级差格式参数估计优化

First principles calculation of electronic structure, chemical bonding and elastic properties of ultra-incompressible Re_2P

在线全文

学校读者我要写书评

暂无评论

Transactions of Nonferrous Metals Society of China 2013年第11期23卷 3400-3404页

作者：王一夫夏庆林余燕湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室长沙410081 中南大学物理与电子学院长沙410083

The electronic structures, chemical bonding and elastic properties of the Co2P-type structure phase ultra-incompressible Re2P （orthorhombic phase） were investigated by density-functional theory （DFT） within generalized gradient approximation （GGA）. The calculated energy band structures show that the orthorhombic structure phase Re2P is metallic material. The density of state （DOS） and the partial density of state （PDOS） calculations show that the DOS near the Fermi level is mainly from the Re-5d state. Population analysis suggests that the chemical bonding in Re2P has predominantly covalent character with mixed covalent-ionic character. Basic physical properties, such as lattice constant, bulk modulus, shear modulus, and elastic constants Cij, were calculated. The elastic modulus and Poisson ratio were also predicted. The results show that the Co2P-type structure phase Re2P is mechanically stable and behaves in a brittle manner.

关键词： Re2P first principles electronic structures chemical bonding elastic properties

无线传感器网络中的近似Unit Delaunay功率控制算法

在线全文

学校读者我要写书评

暂无评论

通信学报 2013年第2期34卷 170-176页

作者：徐鹏飞陈志刚邓晓衡湖南师范大学数学与计算机科学学院湖南长沙410081 湖南师范大学高性能计算与随机信息处理省部共建教育部重点实验室湖南长沙410081 中南大学信息科学与工程学院湖南长沙410083

提出一种新几何结构AUDT,将其作为无线传感器网络的底层逻辑拓扑后,每个节点依据最远的逻辑邻居调整到最小发射功率;AUDT从理论上保证网络拓扑的双向连通、平面、逻辑邻居有界及延迟性能的上界等。仿真实验显示,AUDT与其他相似算法相比... 详细信息

提出一种新几何结构AUDT,将其作为无线传感器网络的底层逻辑拓扑后,每个节点依据最远的逻辑邻居调整到最小发射功率;AUDT从理论上保证网络拓扑的双向连通、平面、逻辑邻居有界及延迟性能的上界等。仿真实验显示,AUDT与其他相似算法相比,在网络延迟相当的情况下,可以获得更小的发射功率和通信干扰,特别是其构造通信开销已经达到最小。

关键词：无线传感器网络功率控制 UDel图 Voronoi划分 t-支撑

在线全文

学校读者我要写书评

暂无评论

非线性方程组的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-... 详细信息

为求解非线性方程组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)计算量g_j,d_j,K_j,q_j,提出了新的Newton流线法,如果投入大量的随机初始点,能找到所有实根、重根和复根.

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

在线全文

学校读者我要写书评

暂无评论

紧框架中的Korovkin型定理

中国科学：数学 2013年第11期43卷 1131-1144页

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

关于线性正算子的Korovkin定理在函数逼近理论中是著名的定理,本文将建立几个关于紧框架的Korovkin型定理.

关键词：紧框架 Korovkin型定理Bessel序列卷积

C^n中单位球上Bergman型空间的一种积分算子

在线全文

学校读者我要写书评

暂无评论

数学年刊（A辑） 2013年第3期34卷 257-268页

作者：刘竟成张学军湖南师范大学数学与计算机科学学院高性能计算与随机信息处理省部共建教育部重点实验室(HPCSIP)长沙410081

设ω_1,ω_2为正规函数,φ是B_n上的全纯自映射,g∈H(B_n)满足g(0)=0.对所有的0

关键词： Bergman型空间有界性紧性积分算子

在线全文

学校读者我要写书评

暂无评论

可视化搜索用户界面

计算机辅助设计与图形学学报 2014年第5期26卷 708-716页

作者：汪飞李强左伍衡湖南师范大学数学与计算机学院高性能计算与随机信息处理省部共建教育部重点实验室长沙410081 浙江工业大学教育科学与技术学院杭州310024

可视化搜索用户界面直观且交互能力强,已在众多搜索引擎中被大量采用.文中对可视化用户界面在搜索系统中的应用进行了总结,分别就查询表达式如何可视化以及搜索结果的可视化组织进行了深入探讨;详细介绍了基于分类和基于特征的查询表达... 详细信息

可视化搜索用户界面直观且交互能力强,已在众多搜索引擎中被大量采用.文中对可视化用户界面在搜索系统中的应用进行了总结,分别就查询表达式如何可视化以及搜索结果的可视化组织进行了深入探讨;详细介绍了基于分类和基于特征的查询表达式可视化,以及可视化结果组织方法.最后对可视化搜索用户界面领域进行了展望,认为自然化的交互方式、非文本数据、数据规模以及社会化将对该领域产生巨大影响,相关技术值得进一步探索.

关键词：信息可视化自然交互基于分类的搜索界面基于特征的搜索界面