有向软件图的极小源(汇)点集判定算法

本文研究了有向软件图的极小源（汇）点集问题，提出了有效的判定算法，并证明了该算法的正确性。该算法可以用于有关软件图的结构正确性的自动分析。

有向软件图自动布局的主流向式算法

软件图分为有向的和无向的两大类，对于有向软件图，我们选择数据流图作为代表，给出其可读性准则，并建立了其自动布局的主流向式算法，该算法的优点是其生成的有向软件图主流方向明确，易于阅读。

软件图语言的形式描述

本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念．本文首先提出了关于软件图语言的一组基本概念，其次研究了软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的图文法，使图文法更适合于表示软件图语言．本文工作可以作为设计面向软件图语言的软件工具的基础．

两种有代表性软件图自动布局的研究

研究软件图自动生成中的软件图自动布局问题．把软件图分为无向的和有向的两大类，对于无向软件图，选择Ｅ－Ｒ图作为其代表；对于有向软件图，选择数据流图作为代表．对这两种图，分别给出其可读性准则。

利用软件图准确定位CRH_1故障点的方法

随着我国路网规模扩大,动车组列车开行数量大幅增加,动车组发生故障时处理人员能否迅速准确的找到故障点,对确保动车组列车安全和正点至关重要。结合实际案例,介绍通过软件图以及软件图编程来快速定位CRH_1动车组故障点的方法。

求软件图的最小源（汇）点集算法

研究有向软件图的最小源（汇）点集问题，提出有效的求最小源（汇）点集的算法，并求出算法的复杂度，其算法的时空效率最高。同时证明该算法的正确性，该算法可以用于有关软件圈的结构正确性的自动分析。

凯图软件图形开发库CDL的研究及开发

分析了通用CAD软件平台的开发库的必要组成 ,研究开发了凯图软件 (CADTool)开发库CDL(CADToolDevelopmentLibrary) ,并对凯图图形开发库CDL进行了阐述 。

图新地球软件在地理时空综合思维能力培养中的应用——以“地表形态与人类活动”为例

本文阐述了图新地球软件在地理时空综合思维能力培养中的优势,探讨了地理时空综合思维能力的培养路径。课程设计以墨脱县交通运输与地表形态关系为主线,借助图新地球软件支撑教学实践,开展“一境到底”的教学模式。该模式通过5个情境问题引导学生深入思考,旨在提升学生的时空综合思维能力,为优化高中地理教学的综合思维培养路径提供借鉴。

盾构法隧道联络通道智能出图软件研究与应用

随着城市地下交通建设的快速发展,盾构法隧道在地铁、公路等项目中得到了广泛应用。联络通道是盾构隧道的重要组成部分,隧道施工图纸的生成和管理是重要环节,直接关系设计施工的质量和进度。传统出图方式往往依赖于人工绘制和审核,效率低下且易出错。文章开发了一款盾构法隧道联络通道智能出图软件,旨在提高盾构法隧道联络通道施工图纸的设计效率和质量,减少人为错误,提升联络通道设计的智能化水平。

一种基于加权软件行为图挖掘的软件错误定位方法

已有错误定位方法通常仅给出可疑语句排序而缺少必要的上下文信息,导致难于理解软件失效的产生原因.为了解决该问题,定义了加权软件行为图来表示成功和失败的程序执行路径,由于图中边的权重表示了路径的执行频率,因此与LEAP方法相比,可以较好地分析与循环和递归等结构相关的软件错误.在此基础上,执行基于分支限界搜索的加权软件行为图挖掘算法,识别成功和失败执行之间最有差异的子图来获得错误签名,不但可以有效定位错误位置,还能输出缺陷语句相关的执行路径,从而提供失效产生的上下文.分析Siemens基准测试集和flex程序的结果表明,在检查相同百分比的语句的情况下,文中方法可以比Tarantula方法和LEAP方法定位到更多的错误.特别是对于冗余代码、缺失代码和变量替换,以及会直接改变执行路径类的错误,文中方法具有较高的定位精度.

应用视角下思维导图软件的比较与选用策略

思维导图在学习、教学、科研中有重要的实用价值。除手工绘制外,使用专业软件制作思维导图是一种直接的解决思路。文章例举了Mind Manager、iMind Map等几种常用的思维导图制作专用软件以及思维导图制作替代软件,并予以了评析。文章指出,用户可从软件的易用、适用、好用三个方面,来选择合适的思维导图软件;各种思维导图制作工具各有优劣,适用于不同场合。

采用面向对象方法开发的地理接线图格式的潮流图软件

介绍中国版ＢＰＡ潮流程序接口的地理接线图绘图软件的特点及采用面向对象设计（ＯＯＤ）方法建立的模型，提出了确保图形的拓扑结构和被分析网络的拓扑结构相一致的方法。该软件采用面向对象的方法进行开发，用ＭｉｃｒｏｓｏｆｔＶｉｓｕａｌＣ＋＋语言实现并经广大用户使用，验证了面向对象思想和设计方法的优点。

常用测图软件数据共享方法研究

在对多种测图软件实践的基础上,详细阐述了常用测图软件之间图形数据共享的困难和技术实现的要点,讨论了在分析操作平台与对象模型的基础上进行二次开发来实现数据共享的思路,并以CASS、MapGIS等软件为基础说明了通过程序开发方式实现数据共享的方法和技巧。

基于m-n变进制规则的动态图软件水印算法

针对软件水印分存算法恢复缓慢、数据扩张的缺点,提出一种基于m-n变进制规则的动态图软件水印算法,利用水印信息、m-n变进制数、排列数与置换图之间的对应关系,实现水印的分存和编码。当水印嵌入时,根据变进制规则将水印信息分存为一组变进制数,构造一个完美哈希函数将变进制数映射为对应的排列数,把得到的排列数编码为置换图结构嵌入到程序的执行代码中,水印提取是水印嵌入的逆过程。实验结果表明,该算法能减小程序的负载,降低水印嵌入和提取的时间复杂度,增强水印的隐蔽性和纠错能力。

基于循环冗余校验的动态图软件水印方案

针对动态图编码时间复杂度较高的问题,提出一种四进制编码方案,利用空间换时间的思想,通过增加两个专门用来编码系数的指针域,在空间复杂度不变的情况下,降低构造水印图的时间复杂度。同时借鉴计算机网络和数据通信的差错检验原理,提出一种基于循环冗余校验的动态图软件水印防窜改技术,实现了水印图的动态验证。实验表明,该方案提高了水印数据率,增强了水印抗攻击性,并使之具有一定的纠错能力。

基于博图软件和MCGS仿真实训平台设计与应用

PLC编程和触摸屏组态是机电类专业非常重要的两个知识技能,实训教学尤为重要。但受实训设备台套数不足、实训内容和方法单一等因素限制,实训效果并不理想。对此设计了基于博图软件和MCGS的仿真实训平台,以小车自动运料控制为例详细阐述了该平台的应用。该仿真平台能让学生有效参与到PLC编程和触摸屏组态训练中,实现程序调试的可视化,提高编程的灵活性和趣味性,增强学生学习兴趣和学习主动性,提升实训教学效果,降低硬件设备投入及教学成本。

高职室内设计专业效果图制图软件的发展与教学探析

近五年来市场上涌现出多种绘制室内设计效果图的软件,简单易学易掌握,这无疑是对传统室内设计教学的一个挑战,是否该调整课程设置适应市场的发展?还是坚持传统教学?该文着重解析了室内设计效果图制图软件的发展对于高职室内设计教学的影响,并通过详细分析两者的关系,提出系列解决措施。

基于Web的虚拟现实图学教育软件的开发技术

开发的多媒体远程教育软件“工程制图”的实例，详细介绍了利用VRML2．0实现虚拟真实杨景模拟、实时交互行为和构建基于WWW的交互界面虚拟现实软件的关键技术。

对产品造型效果图设计软件的比较分析

通过对三维艺术造型设计软件的使用特性和使用功能的比较分析，得出产品造型效果图设计软件的最佳选择是Rhino3D和3ds max，尤其是通过重点对Rhino 3D和3ds max三维软件的分析，从曲面、立体模型的构建，灯光的控制优势，渲染的速度，材质的真实性的模拟特点的详细比较，指出作为工业产品造型的设计师，在目前所选用的效果图软件适宜用Rhino作为主要的曲面建模．再通过3ds max的辅助建模和材质的渲染.

测图软件系统与Arclinfo接口方案

本文简要介绍了ESRI（美国环境系统研究所）系列产品的通用数据格式，SHAPE文件，并详述如何利用Visual C++6\0和ODBC技术将SV300测绘软件的数据成果转换为SHAPE文件，为数字测绘软件和国际GIS软件的接口提供了一个完整的解决方案。