信息呈现方式、时间压力和认知风格对网上学习的影响

检验信息呈现方式、时间压力和个体认知风格对网上学习的影响效应.包括两个实验:实验一考察信息呈现方式和个体认知风格的影响;实验二考察信息呈现方式和时间压力的影响.结果表明:(1)在学习时间受限时,超文本优于线性文本,而在学习时间宽松时,两者无显著差异;(2)当时间压力不大时,呈现内容组织图不利于学习;(3)网络使用经验可掩盖认知风格的效应.本研究结论认为:文本类型、内容组织图和时间压力对网上学习绩效存在显著的交互作用.     

基于AutoCAD与VB的焊接CCT图形制作与应用

将CAD技术和焊接技术相结合．研制开发了基于AutoCAD与VB的焊接CCT图形调用系统．首先将焊接CCT图形在AutoCAD平台下制作成图形块，然后通过两种方法实现其调用，第一对AutoCAD下拉菜单进行定制后直接调用；第二应用AutoCAD的ActiveX Automation技术通过Visual Basic 6．0进行调用．并将焊接CCT有关数据制作成数据库．通过调用组织图可以预测焊缝组织．调用性能图可以预测焊缝的力学性能．并且可以实现对数据库的动态添加、生成并打印报表．系统的实现充分运用了计算机快速绘图、超大容量信息存储功能，实现了无纸化信息传输．有利于焊接CCT图的推广和应用．     

海运实时监控系统的设计与实现

应用面向对象的软件分析和设计方法,以海运智能交通系统中海运实时监控系统的设计与实现为出发点,将海运实时监控系统划分为总调控制中心子系统和船载子系统两部分,实现了信息自动采集、数据综合处理、目标跟踪显示、图上实时计算和网络通信等功能.     

时频方法在分析相控阵探地雷达正演数据中的应用

基于时频分析能同时反映频率域信息和时间域信息这一特点，将短时傅立叶变换和维格纳变换这两种时频方法应用于相控阵探地雷达的正演分层数据中．研究了采用不同的时频方法、参数和接收单元对时频图的影响，并提出了适于定位分层的参数选择．分析结果表明了时频方法在相控阵探地雷达数据处理这一新领域的有效性及其在水平分层工程中的应用价值．     

一些特殊图类乘积的离散度

连通图的离散度是用s(G)来表示的,s(G)=max{ω(G-S)-|S|:ω(G-S)>1,SV(G)}.给出了两个完全图乘积的和一个完全图与路的乘积的离散度.还给出了两个完全图乘积的坚韧度.     

一些运算图的Wiener极性指数(英文)

图G=(V,E)的Wiener极性指数定义为G中距离为3的无序点对的个数.文中给出了广义hierarchical积图、笛卡尔积图及F-和图的Wiener极性指数运算公式.同时也给出了两个图的Kronecker积图和复合图的Wiener极性指数运算公式.     

非边幻和图的若干定理及证明

若G(p,q)的点边标号一一映射到{1,2,…,p+q},使得任意边与其关联顶点的标号值之和为一个常数,这种标号被称之为边幻和全标号。本文设计了一种算法得到了9个点以内所有简单无向连通图中的非边幻和图,发现其中一些图具有某种相同的特征,因此定义了新的图运算符K_n?C_m和K_n?S_m来刻画这两类联图,通过引入西顿序列,证明了在特定条件下,两类联图为非边幻和图。     

图嵌入算法研究进展

图嵌入算法是将高维网络信息映射至低维后用实数向量表示的一种方法,用于解决推荐系统、社区发现及节点分类等。近年来,随着科技的进步,图数据呈现海量、异构、高维、多模态等特点,机器学习等人工智能算法对高性能的图嵌入算法的需求日益增加,图嵌入已成为国内外人工智能领域的研究热点之一。对图嵌入算法的研究进展、技术原理及基础理论进行了综述,系统概述了已有的主流图嵌入算法,包括基于降维方法的图嵌入、基于矩阵分解的图嵌入、基于网络拓扑结构的图嵌入、基于神经网络的图嵌入、基于生成式对抗网络的图嵌入和基于超图网络的图嵌入,对这些算法进行了分析与比较,并给出了相应的应用场景;归纳总结了常用的测试数据集及其评价标准;最后,展望了图嵌入算法的研究趋势和方向。     

θ-图的邻强边染色

u,v两点间连三条内部不相交的路且至多有一条长度为1的图,称为θ-图，本文得到了θ-图的邻强边色数。     

基于三值K图的多输出三值函数化简的新方法

参照二值多输出逻辑函数的K图化简，提出一种携带重复次数信息的多输出三值K图，从而避免在多个输出之间画大量的与门．本文基于二值多输出函数及三值单输出函数K图化简的讨论，提出了基于三值K图的多输出三值函数化简的新方法，给出了化简规则，并用实例作了具体说明．多输出三值函数K图的化简方法大大降低了电路成本．     

若干类循环图的直径及其最优直径

确定循环图的直径及其最优直径在网络设计中有重要的实际意义.这个问题还远未解决.本文确定出两类有向循环图的直径.对于四正则的无向循环图 G(N;1,s)确定出无穷多类最优图.     

双图的一些脆弱性参数

一个图G的双图（double graphs）的定义为D[G]=G×T2,这里×表示图的直积,而死表示两个顶点的全图．本文研究了图的双图的一些脆弱性参数．     

S-桥图的色惟一性

由连接两个项点的s条内部不交的路组成的图中s－桥图，记作F（k1,k2,…ks）本文讨论了此类图的色性，给出了此类图色借书证一的一个充分条件，并证明了s- 2－桥图Ft(2,2,…，2，a,b）是色惟一的。     

基于图注意力网络的三维网格分割算法

针对三维网格模型分割质量提升问题，提出了感知几何的图注意力网络。首先，定义了感知几何的图注意力系数，利用节点之间的边特征扩展由网络学习得到的注意力系数，引入与节点局部几何信息相关的注意力系数，更好地反映节点之间的相似性。然后，通过调整网络架构，将三维网格模型的几何特征与标签信息共同作为图注意力网络的输入，使标签信息参与网络训练和验证，并通过残差形式的线性连接实现网络的更稳定输出。大量实验结果表明，本文算法能够获得精确的分割边界，其在PSB数据集上的分割准确率较现有经典算法提升约2个百分点，也取得了更好的兰德指数。同时，通过消融实验验证了算法的合理性。     

2k-点可删的导出匹配可扩图

设G是一个简单图．称G是2k-点可删的导出匹配可扩图,如果对于V（G）的任一满足│S│=2k的子集S,G—S是导出匹配可扩的．给出了2k-点可删的导出匹配可扩图的两个充分条件,证明了这两个条件都是最好可能的．     

HS 图及其编码

对苯系统图(HS 图)的三种编码(B 码、F 码和 P 码)进行了的研究。导出了各码之间的互推关系,并得出 B 码是 HS 图的两个必要条件。     

基于深度信息的单幅图像自动阴影检测

为解决复杂场景阴影的自动检测问题,提出一种基于深度信息的单幅图像自动阴影检测算法。该算法首先利用深度信息估计图像的法线、点云信息,并对图像进行多尺度纹理滤波;然后利用法线、点云和色度信息估计不同尺度下滤波图像的阴影置信度和亮度置信度,并对两种置信度图分别进行阴影边界相关的多尺度融合,消除纹理影响的同时保留了复杂的阴影边界信息和结构信息;最后利用拉普拉斯算子对阴影置信度进行插值优化,得到更精确的阴影检测结果。实验结果表明,对于简单场景和复杂场景图像,该算法都能完整检测出其中的硬阴影和软阴影,具有较好的阴影检测效果。通过与其他算法的阴影检测结果进行对比,验证了本文算法的准确性和鲁棒性。     

133—三次图的结构

在[1]中引入了abc—三次图的概念,但仅讨论了两类特殊abc—三次图的结构,本文的目的是解决133一三次图的结构问题。我们用G表示一个连通、无自环、非K_4的三次图,L表示G的最大二部分子图,若S是G的顶点集V(G)的一个子集,则K=[S,]表示G的一个棱截,截指标c(K,L)定义为: c(K,L)=|K∩L|-|K-L|=|L|-|KL|,其中“”表示对称差。本文引用的其它概念与记号见[1]、[2]、[3]。为了叙述方便,我们将133—三次图G的最大二部分子图L的顶点分划集X、Y以两种不同的染色,两个顶点不同色即指它们分属L的不同顶点分划集合。     

两类E~G形图簇的补图的色等价性定理

设G是任意的p阶连通图,用ΨG(i)(k,p)表示把图G的第i个顶点vi与星图Sk+1的k度点重迭后得到的图(1≤i≤p),给出了图ΨG(i)(k,p)与星图Sn+1组合而成的两类EG形图簇,并通过研究这些图簇的伴随多项式的因式分解,进而证明了它们的补图的色等价性定理。     

图Ψ*S*（4δ,nδ）∪tSδ*的伴随多项式的分解及色等价性分析

设Pn是具有n个顶点的路,Ψ*(4,n)表示把2P3的两个2度点分别与Pn的两个1度点重迭后得到的图,Sδ*(δ=rm+1)表示把rPm+1的每个分支的一个1度点重迭在一起得到的图。用PnSδ*表示把Pn的n个顶点与nSδ*的每一个分支的r度顶点依次重迭后得到的图,并用Ψ*S*(4δ,nδ)表示把图Ψ*(4,n)的n+4个顶点与(n+4)Sδ*的每一个分支的r度顶点依次重迭后得到的图。运用图的伴随多项式的性质,证明了图PnSδ*∪tSδ*与Ψ*S*(4δ,nδ)∪tSδ*的伴随多项式的因式分解定理,进而得到了这类图的补图的色等价图的结构特征。