基于Grapher软件Automation功能的岩性柱状图绘制程序

单井岩性柱状图作为油田和煤田地质研究中必不可少的图件,其绘制过程比较烦琐,传统的绘制软件各具特色但均有不足之处。本文从实际应用的角度出发,对利用Grapher软件Automation功能绘制岩性柱状图所用到的对象及其属性和方法进行了详细介绍,并给出了关键步骤的代码。该程序实现了绘制岩性柱状图的批量化、规范化和自动化,弥补了前述软件的不足,在实际工作中可以大幅提高工作效率。     

基于Word VBA技术的自动化试卷编辑系统

基于Word VBA技术的自动化试卷编辑系统是以Word软件为开发平台,运用其内嵌的VBA编程语言二次开发实现的应用软件,能使用户轻松完成试题、答案和试卷基本信息的格式化录入,并且自动生成标准化试题、答案、答题纸、命题审核表和批阅审核表等文档,有利于试卷的格式化,提高了教师编辑试卷的效率,具有良好的应用前景和较高的实用价值.     

基于ActiveX Automation的Solid Edge二次开发技术

介绍了采用ActiveX Automation技术,利用VB对Solid Edge进行二次开发的原理和方法,并对如何引用应用程序对象、文档操作、生成二维轮廓、进行特征造型等给出了实现技术和关键步骤,最后说明了Solid Edge应用程序的运行方法.     

基于Automation技术的苏州市地面沉降数据管理系统的研制

针对传统地面沉降数据管理分散、使用效率低的特点，研制了基于Automation技术的苏州地面沉降监测系统。该系统能对沉降数据进行高效管理、多种形式的可视化分析以及对各种分析结果的快速输出，使传统沉降数据的处理发生了质的飞跃。     

基于DM技术动态实现财会软件的智能感知功能

介绍了数据挖掘与软件智能感知的基本概念,探讨了在软件智能和实现过程中用数据挖掘技术代替手工处理的可行性,作者综合知识发现领域已有的研究成果,结合财会软件的智能化提出了一个实用的挖掘算法,它动态地从软件不断积累的数据中撮关联规则知识,并利用这些知识根据用户填制凭证时的工作状态智能化地调整科目的显示顺序,该算法能避免进行大量的运算,实验表明它是实际可行的。     

基于重放分析的网络协议软件状态变量自动化发现技术（英文）

网络协议软件通常具有程序路径复杂、状态空间庞大的特点。程序中往往存在着一些带有状态的关键变量,用于记录协议状态和会话信息。这些状态变量一旦处理不当,很可能违背协议规范,进而产生逻辑错误,导致协议软件出现潜在的缺陷或漏洞。本文针对现有程序分析技术难以发现网络协议软件中的状态变量,且自动化程度偏低的问题,提出一种基于重放分析的状态变量识别方法。考虑到状态变量主要反映着通信双方的参数和程序的状态,具有这些特征的变量通常会以全局变量或静态变量的形式,持续存在于进程之中,该方法通过记录和重放协议软件的执行轨迹,运用动态插桩技术,在协议状态和软件状态的变化过程中,分析内存关键区域的全局变量和静态变量的状态特征,并结合规则进行筛选判定。在此基础上,设计并实现了一套能够自动化发现状态变量的原型系统,在ProFuzzBench中的9个程序和2个现实中的复杂协议软件上进行了测试。实验结果显示,平均真正类率（TPR）可达82%,平均准确度可达96%左右。     

面向自动化建模的软件攻击技术分类研究

针对现有的软件攻击技术分类方法不能满足自动化建模需求的问题。本文提出了一种面向自动化建模的软件攻击技术分类方法——POPDDA。该方法分析了软件攻击技术在实现自动化建模过程中必要的属性信息,依此实现对软件攻击技术的分类,并根据Amoroso分类标准对POPDDA做出评价。最后基于POPDDA构建了相应的攻击知识库,利用攻击知识库实现自动化攻击模型的创建,并结合实验对建模效果进行分析。结果表明该分类方法能够满足Amoroso分类标准与自动化建模的需求,并解决了手工建模效率低、不精确与模型重复性构建的问题。     

基于软件Agent技术的软件质量保证研究

软件Agent是一种新型的计算模式,已成为软件工程领域研究的重要内容。本文系统分析了软件Agent的基本特征,探讨了软件Agent在软件质量保证中的作用,展示了Agent技术在新领域的应用前景。     

基于虚拟软件的电路设计与测试技术

电路设计与测试虚拟化是基于某些专门的仿真软件完成的,是电路测试概念与手段的变革.EWB具有界面友好、操作简便,实用性强等优点,本文以其为例,简介电路设计与测试虚拟化软件的功能及其操作技巧.     

基于DIXON结式的聚筛法的自动化软件GAS

非线性代数方程组的求解是一个尚未完全解决的问题。基于DIXON结式的聚筛法是求解非线性代数方程组的一种非常有效的方法,然而运用该算法的求解过程需要进行专家干预,使得该方法不能被广泛地推广和应用。对基于DIXON结式的聚筛法进行了深入地分析和研究,针对聚筛法在不能从DIXON导出方程组DPS中直接选出关于所有变元的三角列的情况下效率较低的问题,在计算机编程算法方面提出了变元轮换法和方程扩充法,使得该问题得到了有效地解决。在此改进的基础上开发的自动化软件GAS在非线性代数方程组的求解方面有很高的效率,整个计算过程无需人工介入,从而解决了该方法仅仅停留在理论研究领域而不能应用于实际工程计算的问题。     

一种基于数据流的软件密码机制自动化分析方法

对软件密码机制的自动化逆向分析,在漏洞挖掘、恶意代码分析、协议还原等领域发挥着重要作用.针对现有分析方法中存在的机制分析不完整、结果可读性差等问题,提出基于数据流的软件密码机制自动化分析方法,利用动态插桩获取软件运行时信息,定义和识别与密码相关的软件行为,根据行为间数据流关系,从图形和语义两个角度,实现软件密码机制的自...     

基于Web功能的组态软件XG32

本文通过对 Intranet在工业监控系统上应用的分析 ,将 Web技术与工业控制组态软件相结合 ,从而形成一种新的基于 Web的工业控制组态软件 XG32     

基于CATIA软件的二次开发技术

对CATIA的接口技术、开发步骤进行了介绍，以方便CATIA软件二次开发应用。     

基于多种技术的Word设计文档自动生成平台

阐述Word设计文档自动生成平台的框架结构,提出了结合VBA、ADO和ASP等技术的设计思路,并详细介绍了文档自动生成平台软件的具体实现,包括建立文档模板数据库、设计文档模板定制工具和用于设计文档自动生成的B/S模式应用程序。该平台成功应用于卫星热控系统的文档设计,极大地提高了设计工作的时效性和规范性。     

基于CATIA软件的二次开发技术

对CATIA的接口技术、开发步骤进行了介绍 ,以方便CATIA软件二次开发应用。     

基于工作流技术图书馆自动化管理系统的设计与实现

图书馆的自动化要求图书管理各方面业务需要加强交互与协作,能够协同完成某个共同的图书馆工作任务.工作流技术能够将业务活动相互衔接并按照一定顺序自动完成,从而实现业务过程的自动化.本文探讨了工作流和工作流技术的概念,结合图书馆自动化管理系统提出了一个基于工作流技术的图书馆自动化管理系统模型,并介绍了图书采购和编目的流程设计.     

基于软件测试自动化技术应用的分析

当前,依靠计算机发展起来的各项技术越来越多,其中最典型的便是软件工程。在软件开发过程中,软件测试是保证系统质量的基础,只有不断提高软件测试的效率,在有缺陷的地方进行弥补,才能逐步使软件系统完善化,以更好地为人类服务。但是,软件测试并不是一项简单的工作,需要耗费大量的人力、物力和财力,在整个软件开发过程中具有重要的地位和意义。本次研究基于软件测试自动化技术应用,对其进行探讨,分析软件测试自动化技术的应用特点,为该技术在今后的应用提供参考。     

基于碳排放约束的需求预测与订货批量决策

在给定碳排放约束条件下,将需求预测的移动平均法、指数平滑法与Wagner-Wthin、Silver-Meal两种动态批量算进行组合分析,并对库存持有成本、单位碳排放费用、固定订货成本和固定订货碳排放量等相关参数进行基于算法的灵敏度分析,发现移动平均法预测和Wagner-Within动态批量算法组合下的总成本最小。