火炮总体设计和系统分析的方法

依据系统分析的原理和计算机软件和硬件技术,搭建了火炮系统计算机总体设计和仿真分析的数字体系架构,得到了火炮发射动力学系统分析的一个数字环境,为总体设计提供了一个有效的工具平台.     

量本利分析在施工项目成本预测中的应用

量本利(VCP)分析,适用于研究价格、单位变动成本和固定成本总额因素之间的关系,也是实现目标成本管理的一个重要工具,为工程决策提供依据.     

ARCGIS中应用Python脚本进行空间数据批量处理的研究与实现

ARCGIS是美国环境系统研究所ESRI (Environment system Research Institute)推出的一套完整的软件产品,旨在构建完善的GIS(Geographic Information System)系统. 利用ARCGIS进行空间数据执行空间分析、建模、数据处理任务过程中,几乎所有操作都会涉及重复的工作,例如数据格式转换,裁切拼接,投影变换等.如果采用人工处理,效率低并且容易出错,为了保证数据质量,减少重复劳动,需要创建可自动执行批量处理的方法. 空间数据的地理处理是以数据变换的框架为基础.典型的地理处理工具会在ArcGIS数据集(如要素类、栅格或表)中执行操作,并最终生成一个新数据集.每个地理处理工具都用于对地理数据执行一种非常重要的小操作,例如将数据集从一个地图投影中投影到另一个地图投影中、向表中添加字段或在要素周围创建缓冲区.在ArcGIS中包含了数百个此类地理处理工具.     

基于灰度共生矩阵的高效积分图像计算(英文)

基于局部特征描述符的主要方法正在被用于纹理分类、目标检测和识别.灰度共生矩阵(GLCM)是一个体现纹理图像的很流行的方法,也被证明是一个非常强大的纹理分析工具.灰度共生矩阵所带来的子图像重叠非常严重,要花大量的时间去计算.本文提出一种高效灰度共生矩阵的计算方法,并通过实验结果来显示其效率.     

一个基于双线性对的代理多重盲签名方案

利用双线性映射这一数学工具,在代理多重签名体制和盲签名体制的基础上,提出了一个有效的代理多重盲签名体制,方案中解决了一个代理人能够代理多个原始签名人签名的问题.代理多重盲签名在电子现金、电子选票等方面有广泛的应用.通过对该方案的性能分析,该方案具有可验证性、不可链接性、盲性、不可伪造性、不可否认性和可区分性.     

单位正方形的乘积自映射

本文讨论了正方形乘积自映射的几个性质,从而给出研究种昆虫繁衍整体规律的一个工具.     

数学教学框图——它的作用、设计和使用

在教学中,框图是一种很有用的工具.本文论述了数学教学框图的作用、设计和使用,并列举了一个设计实例.     

基于Linux的Netfilter/Iptables技术及其应用

Netfilter/Iptables是一个集成在Linux内核中的IP数据包过滤系统.文章主要介绍了该 系统的两个基本组件及其基本工作原理,最后应用iptables工具建立一个简单的包过滤防火墙.     

基于Linux的Netfi1ter/Iptables技术及其应用

Netfilter/Iptalles是一个集成在Linux内核中的IP数据包过滤系统.文章主要介绍了该系统的两个基本组件及其基本工作原理,最后应用iptables工具建立一个简单的包过滤防火墙.     

一种开关电源环路补偿的工程设计方法

针对开关电源环路设计中功率变换器建模的复杂性,提出了一种基于Saber时域系统分析工具Tdsa的开关电源环路补偿工程设计方法.利用Saber进行瞬态分析和扫频分析,获得开环系统的频域特性,结合开关电源补偿后的预期性能,设计环路补偿器.最后,以一个设计实例阐述了本方法的具体实现,补偿后的开关电源系统的性能相较于补偿前得到了较大改善,验证了本方法的可行性.     

利用Photoshop提取苹果树图像及其立体效果的处理

利用Photoshop（PS）软件制作立体效果的苹果树图像模型,首先对苹果树图像通过通道提取图像的方法从周围的背景中枢出来,然后进行立体效果的处理．处理过程中运用了选择工具,Alpha通道,加深及减淡工具,取反色,快速蒙版等精确选择图像区域的方法和技巧,最终得到了立体苹果树图像模型,达到了满意的效果．     

可补偿任意结构数控机床几何误差的通用后置处理

运用机构运动学理论并考虑数控机床各个运动副六个自由度方向的几何误差,建立了适用于具有任意拓扑结构的数控机床的运动学模型和误差模型.提出应用该运动学模型和误差模型进行数控编程通用后置处理,并通过后置处理实现数控机床几何误差软件补偿的原理与算法.     

基于BP网络的我国工伤事故死亡率预测模型

应用MATLAB软件的神经网络工具箱建立BP网络模型,通过基于时间序列分析方法对1974～2003年全国工业企业事故死亡率进行预测模型的建立和检验.结果表明,用人工神经网络建立的预测模型预测我国工伤事故死亡率符合度高,效果较好.     

CY-K510型数控机床试验模态分析

通过对某厂的数控机床进行CAE理论分析和试验模态分析,识别其各阶模态参数和模态模型,寻找出了机床-砂轮-工件系统的某些固有频率,使该类机床工作时避开其固有频率,从而指导该类机床的优化设计,提高其刚度和精度.     

绿色产品评价体系与评价方法的研究

根据绿色产品的定义和特点,建立了绿色产品评价指标体系及其模糊综合评价模型．用模糊综合评价方法对产品的“绿色程度”进行了综合评价,从而为绿色产品的认证提供了可行的方法和工具。     

分歧泊松自回归模型的马尔可夫性

分歧自回归模型广泛用于细胞分裂研究,用以分析遗传和环境因素对细胞分裂过程的影响.针对分歧自回归模型的一种形式即分歧泊松自回归模型,利用概率论中母函数方法推导模型性质,并证明模型的马尔可夫性.     

联机分析处理前台工具设计技术的研究

联机分析处理是数据分析与多维显示的重要工具,在数据分析和决策支持中,起着日趋重要的作用。针对现有的多维数据集浏览器不足之处,提出了一种新的多维数据集浏览界面设计方法,实现了界面的整体设计。该设计方式充分利用了有限的界面空间,为用户观察分析数据带来极大的方便。     

组合曲线/曲面等距研究的现状

等距技术在数控加工、计算机辅助设计、机器人技术等领域应用广泛.对平面组合曲线、3D组合曲面/曲线以及组合曲面等距研究的现状进行综述.通过综述指出了研究中存在的问题,并提出了解决问题的对策。     

OWL-S到Z规格说明的转换

OWL-S是重要的Semantic Web Service描述框架,但缺乏有效的形式化验证工具. Z语言是基于集合论和一阶谓词逻辑的形式化规格说明语言,比OWL-S具有更强的表达力. 该文研究基于Z的OWL-S形式化方法,提出从OWL-S到Z规格说明的模型转换规则. 基于这些规则,用Z定义OWL-S中概念的形式化语义,并开发了从OWL-S描述到Z规格说明的自动转换工具OWLS2Z.     

威胁驱动的Web应用On-The-Fly导航模型验证方法

以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战. 该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全性质,利用模型检测工具NuSMV对建立的模型进行验证. 实验结果表明该方法可以减少搜索空间并在一定程度上避免状态空间爆炸.