基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

中小企业税务风险管理现状分析 ——基于广东省实证调研数据

税务风险的管理问题已经逐渐引起了政府和中小企业的关注。参照COSO的《企业风险管理整合框架》,利用层次分析法对企业税务风险意识、制度水平构建量化评价体系,并对广东省1000多家企业的问卷调查数据进行回归分析。分析结果显示,企业的注册资本、年收入、经营年限等特征变量与企业的税务风险意识及管理水平均存在正相关关系。分析结果既为政府扶持当地中小企业的发展提供了参考依据,也为会计中介机构提供财税咨询服务提供了业务拓展方向。     

二维Hilbert曲线构造与绘制

Hilbert是一种经典的空间填充曲线，具有严格的自相似性，可以将他划分成一些很小的单元，只是方向不一。且具有良好的空间聚集特性，应用也很广泛，譬如在图像置乱加密，数据压缩，数据索引编码等。Hilbert曲线比其他的填充曲线如Z-Ordering、Gray更能保持原始数据的性能。因此详细了解Hilbert曲线原理并使用一种自己熟悉的计算机语言来绘制Hilbert有很大的意义。因此，该文主要介绍二维Hilbert曲线的构造及原理并用C#编程语言将它实现。     

基于超效率DEA-ESDA 的中国生态效率时空格局分析

采用改进的数据包络分析法（超效率DEA）计算出中国30 个省在不同时期的生态效率，运用全局和局部空间相关分析方法（ESDA）研究中国生态效率的空间自相关性和空间异质性。结果表明：中国生态效率东、中、西区域差异明显，东部发达地区生态效率高，中西部欠发达地区生态效率低；2004—2012 年全局自相关 Moran’sⅠ值均为正数，表明省域之间生态效率呈现正相关的空间集聚分布，2004—2012 年生态效率的空间聚集程度先略有缩小后加强；区域生态效率的空间异质性主要表现为生态效率的“热点”区相对稳定，主要集中在北部、东部和南部沿海地区，“冷点”区主要集中在东北、大西南、大西北、长江中游和黄河中游地区；生态效率的空间差异与区域经济发展水平、产业结构和能源消耗强度等密切相关，基于空间探索性数据分析方法研究我国区域生态效率的空间异质性，为国家制定提高区域生态效率相关调控政策提供参考。
     

基于混合高斯模型的储物柜存取货行为检测方法

针对储物柜存取货物场景的实际情况和人员行为的特点，提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法，并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性；手臂识别算法模型有效地识别人员伸手动作。实验结果表明，该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。     

基于边迭代的复杂网络平均路径长度分析研究

复杂网络可以用来描述现实世界中许多复杂系统,而平均路径长度则是其中一个研究重点。针对基于边迭代的复杂网络,以Farey网络这一类网络族为实例,分析和研究其平均路径长度。研究方法将加深对这些确定性网络模型的研究,并为随机复杂网络提供新的思路。     

利用反预报方法从截面预言近滴线丰质子核的结合能

在Origin等数据处理软件中,当实验数据较少时,自由参数的不同初始化设置会导致较大的结果差异,这为物理结果的确定带来较大不确定性.通过最小二乘法分析了345MeV/u ~(78) Kr+~9Be反应中产生的丰质子同位素的截面和结合能,并得到线性回归方程.通过回归方程,利用结合能预报部分丰质子核素的截面,以及通过实验截面对近质子滴线核素的结合能进行反预报测量.这对于近质子滴线的丰质子核素实验测量具有较好的借鉴意义.     

两种改进的非线性方程组四阶迭代求解法

文章基于两点Gauss型求积公式,分别结合梯形积分公式和Adomian分解法构造了两种牛顿型迭代格式.借助泰勒展开式,文章证明了这两种迭代格式都具有四阶收敛,并通过数值实验例子验证这两种迭代格式的有效性.