基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

信息获取中两类不确定性的风险表达模型研究

分析了搜索引擎在信息获取中效率低下的原因,在Lafferty等人提出的风险表达形式化模型基础上,提出了风险表达的认知模型,并对该模型中风险函数R的可计算问题进行了分析和讨论。     

三圈高地毯簇绒机花型准备系统的开发

介绍了三圈高地毯簇绒机的花型准备系统，包括花型设计和花型转换两大部分．花型设计是基于计算图像处理技术实现对地毯花型的计算机辅助设计，得到符合条件的花型；花型转换是根据设计的工艺要求，把设计图转换为直接应用于现场控制地毯簇绒机的工艺图．     

强正则图的字典积的零度和秩

设G，H是两个强正则图。它们的字典积（lexicographic product）图的零度和秩是指它们的邻接矩阵的零度和秩．讨论了部分强正则图在二元运算下的字典积图的结构、零度及秩。得到了一些有意义的结果．     

基于EXCEL和MATLAB的矩形薄片热传导计算与仿真研究

对二维导热问题进行了离散化研究,推导出了节点差分方程,以矩形薄片为例,用MS.Excel对节点温度进行了计算,用MATLAB对计算结果进行了仿真,得到了薄片的温度分布仿真图.     

V*类图的伴随等价性

Pn表示n个点的路,Sk表示k阶星图.本文通过研究两族V*类图的伴随多项式的分解,得到了此类图的补图的色等价图的结构.     

完全图K_n分解成五个顶点的星和圈

讨论了完全图Kn分解成五个顶点的星和圈的存在性,给出完全图Kn存在{S5,C5}-强制分解的充要条件是n≥9.以及完全图Kn存在{S5,C5}-分解的充要条件是n≥5(n≠6,7).     

利用Surfer软件绘制山西区域气象要素图

以绘制等雨量图为例,介绍了用Surfer软件绘制山西底图及在山西底图上绘制等雨量线的方法。     

高校图书馆与企业联姻的优势

在分析高校图书馆因经费短缺而严重影响图书馆事业发展的基础上,提出了"图企联姻"的设想,并探讨了高校图书馆为企业开展个性化服务的模式。     

辞格Zeugma理解的认知阐释——认知参照点理论的应用

Zeugma(轭式搭配法)作为一种自然语言现象一直是学者们研究的焦点之一。他们从多角度对Zeugma进行了细致的描述,取得了大量的成果,但对Zeugma的理解问题进行的研究则并不多见。本文试图从认知参照点角度,来对Zeugma的理解进行分析研究。