利用信息检索和概率有限自动机的程序理解

为提高基于信息检索的程序理解方法的准确性，提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机（probabilistic finite state automata，PFA）解决了信息检索结果在程序理解中的不确定性，同时采用信息检索构建了多个简单的PFA，而不是单个复杂的PFA，提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类，然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索，取检索结果中的最相关的n项作为候选模板，由候选模板对应得到相应的PFA，通过分析找到最大概率的PFA，完成对源码内容的语义标注.     

Fortran 90借用C++函数模板

函数模板作为一种泛型编程方法,对科学与工程计算具有重要现实意义.首先,探讨了C++函数模板的实现机制,揭示了函数模板与重载函数间的关系;运用Fortran 90泛型接口块结合外部例程,对C++重载函数进行了模拟;然后,在C++环境中添加包装子以实例化函数模板,并将函数模板实例转化成接口一致的"重载"例程,进而在Fortran 90环境中使用C++函数模板.辅以示例程序,对相关的处理方法给予详细说明,也为其它语言借用C++函数模板提供了借鉴.     

大型工业厂房钢筋混凝土柱半装配化工艺研发及应用研究

为解决大型工业厂房中高大截面现浇钢筋混凝土柱的模板支设难度大且施工质量不易保证等问题,提出一种现浇钢筋混凝土柱半装配化工艺,其利用柱模板钢托架使柱模板与柱钢筋笼组装为一起,整体吊装直插入预留柱基础后再进行混凝土现场浇筑.本文对半装配化现浇混凝土柱的施工过程和工艺设计进行了研究,并进行了必要的力学分析.数值分析及工程实际应用结果表明:此工艺满足安全性要求且安装简单快捷,缩短了施工工期,具有良好的经济效益和社会效益.     

基于海量属性数据的索引构建方法研究

基于全球地理信息中海量属性数据,提出了利用已有数据构建索引和批量插入索引数据的改进算法。使用自底向上构建索引算法建立索引树,提高了空间利用率和建库速度;采用缓冲页法批量插入数据,提高了插入效率,减少了节点分裂次数。该算法不但适用于建立索引库,而且适用于更新索引库。     

数据库应用程序模板的设计与实现

介绍了一种使用PowerBuilder数据窗口设计数据库应用程序模板的思路,并给出了部分实现过程。使用该模板可快速开发出基于单表或主子表的数据库应用程序,并提供了数据库表的基本操作,如:插入、删除、修改、查询和排序等。实际应用证明,该模板具有设计简单、易于实现和维护、稳定性好等特点,具有一定的实用价值。     

用Dixon结式产生非线性循环不变式

针对循环程序的部分正确性问题,在代数变迁系统理论基础上,结合约束理论提出了一种用Dixon结式生成循环不变式的算法。首先,程序被转换成代数变迁系统,再根据代数变迁关系和不变式模板构造一个多项式组,计算此多项式组的Dixon结式可以得到关于模板变量的约束,最后对该约束系统求解就得到该模板形式的程序不变式。经实例分析,该算法应用于单路径和多路径程序均是有效的。     

汉字dBASEⅢ报表格式文件生成程序

本文介绍一种汉字dBASEⅢ报表格式文件的生成程序.依此程序只需回答机器的简单提问,便可生成报表格式文件.报表页标题、表头以及报表各行的打印字号可根据需要给定;表头可为简单表头或多重表头,表头标题自动居中(大于列宽度时换行打印);各行、列自动加上行分隔实线和竖线,按给定的行数/页号自动换页,表格上方给出相应页号和打印日期以及附加内容,表下方可加上附注内容。     

基于Excel规划求解软件的多组分配料计算

应用Microsoft Excel软件及其规划求解工具,通过输入公式、调用函数编写计算程序,建立水泥生产四组原料配料计算Excel模板.计算结果表明:Excel配料计算模板可以快速、准确得到原料配合比的最优解,有助于实现新型干法水泥厂生料质量及时、有效地管理和控制.     

通用试题库系统的设计方法研究

文章依据通用试题库的特点,阐述了对通用试题库在结构框架上和算法上的改进。改进试题策略模块,使试卷的评测标准更明确;增设了试卷模板模块,使试题题目便于替换和重组,而且卷面版式更加多样;优化传统随机抽题算法,将其与模糊理论、试凑法相结合。     

硬盘纸包装免胶式一页成型设计探讨

纸盒结构设计中,免胶式一页纸板成型的设计思想对于现代包装是有一定现实意义的.在设计中运用免胶式结构可有效简化成型过程,采用一页纸板成型可最大限度地节省材料并简化组装程序,是具有市场前景的设计探索.通过提出几种较为合理的包装设计方案,说明一页成型纸盒在包装上应用的可行性.     

基于块分布的新闻网页内容提取

提出一种新的新闻网页内容提取方法。与已有的研究相比,它自动判别网页是否含有主内容,并且回避了模板和DOM-Tree方法所带来的局限。主要工作包括:①提出了一种网页分块方法,通过一趟遍历将网页主内容和噪声划分到不同的块中;②提出网页块分布的概念并研究了块分布的属性,根据块分布可以有效地使用分类方法来判别网页是否有主内容,采用孤立点分析的方法从网页块分布中提取主内容。本文通过理论和实验证明了该方法的有效性。     

基于网站建设中网页设计的安全缺陷及对策

讨论了基于网站建设中网页设计的安全缺陷,指出服务器端动态网页技术本身存在安全缺陷。介绍了登陆验证漏洞、绕过验证直接进入设计页面漏洞、桌面数据库被下载漏洞、源代码泄露漏洞和文件上传漏洞,给出了相应解决漏洞的方法。     

关于电子商务网站首页内容设计

从首页内容与网站整体主题内容的衔接、贸易机会在首页的充分展示的方武、首页广告位的合理安排、首页个性化内容的建设四个方面阐述如何合理地进行电子商务网站首页内容的版面设计和安排。     

关于请求分页系统下缺页问题的研究

为了解决关于请求分页系统下的缺页问题,通过对请求分页系统理论的深入研究,提出了对缺页次数和缺页率正确计算方法.澄清了众多书籍中对缺页问题概念的混淆,使读者对缺页的计算有明确的认识.     

Flash在网页设计中的应用

本文介绍了网页中嵌入Flash动画的几种方法,并通过示例进一步说明了在网页中如何插入Flash动画,最后对网站建设中如何使用Flash技术做了阐述。     

在VRML文件中实现对数据库信息的访问

介绍了在VRML文件中访问数据的方法，对每种方法的适用条件，实现过程进行了重点讨论，在VRML文件中可以通过锚（Anchor)节点将对数据库的访问要求转到网页文件中去处理，也可以通过Script节点直接编写连接数据库的程序，以实现对数据库信息的调用，还简介了WEB方式下数据查询结果的显示并列举了VRML文件访部数据库的应用实例。     

中文网页分类中特征提取的研究

针对中文网页分类技术中的一些特征选择方法存在的问题.分析了常用的网页分类特征选择方法,提出了一种比较适合中文网页分类的特征选择方法.该方法将已有的X2统计方法进行了一些变形处理,并把该方法应用到后续的网页分类中,分类实验结果表明,准确率得到了一定的提高.     

基于相似度的车牌定位方法

根据车牌区域内字符的纹理特征以及车牌的颜色特征,提出了一种基于相似度的模板匹配车牌定位方法。该算法先对车牌区域构造出相应的模板,同时分别构造出模板与待定位图像的模糊集,再根据所构造出的模糊集,用滑动窗法计算模板与当前窗口的相似度,得到一个相似度矩阵。取其中最大相似度所对应的区域作为车牌候选区,通过对该候选区进行判断与精确定位分割出车牌区域。实验结果表明该方法能得到较理想的车牌定位效果。     

模板清灰机的电器设计分析

研制的模板清灰机,解决了建筑模板自动清灰问题,提高了模板清灰效率,保证了现场施工质量,在国内现代建筑施工领域有着广泛的应用前景。详细介绍模板清灰机的结构特点及电器系统设计原理。     

基于图像平滑技术的B样条曲线光顺

将图像平滑技术中的模板操作推广到B样条曲线的光顺处理上,设计了3种光顺模板:均值模板、加权模板和Gaussian模板,并运用这3种模板在误差范围内对B样条曲线进行光顺处理.实践证明,本方法灵活性强、计算速度快、光顺效果较好.