边界约束下的增量式布图规划算法

快速地在局部范围内调整布图已经成为一种设计需要。该文提出了一种二阶段法来实现边界约束下的增量式布图规划算法。根据已有布图规划建立松弛推移图,直观描述各模块之间"空白区"和松弛量的情况;同时建立模块交换图,记录所有具有形状相似特征的模块集合,基于这2个图进行增量式布图规划。第1阶段,基于推移图和交换图调整布图规划,使其满足边界约束。第2阶段,再次利用交换图进行互连性能优化。实验结果表明该算法在较短的时间里不仅对原有布图规划进行了有效调整满足了给定的所有的几何约束,而且还保证了芯片的面积和线长效果。     

基于股票各板块内部的单向自适应图神经网络的股价预测模型

传统的股价预测方法通常仅看作时间序列预测问题，不能利用到股票的空间信息，而使用图神经网络(GNN)进行预测，却缺少股票间关系的图数据结构。文章基于同一板块内股票之间具有相似的趋势，龙头股对其他股票具有明显的领涨或领跌的影响，提出一种基于股票各板块内部的单向自适应图神经网络模型(Stock-GNN)对股价进行预测。该模型的单向图学习模块可以自适应地训练出股票间的图数据结构，再利用时序卷积模块和图卷积模块提取时间和空间上的特征。并爬取A股四大板块(银行、白酒、电力设备、生物医药)的真实数据进行实证分析，与现有的股票预测模型AR、GARCH、CNN-GRU、TPA-LSTM、CNN-LSTM-Attention以及不按板块划分的图神经网络(All-SGNN)进行比较。实验结果表明，Stock-GNN预测模型的预测误差更低，相关系数更高。     

海船装载图CADD系统

针对某外轮代理公司配载工作的实业业务，进行了需求分析，模块分析和程序编码，提出了适合计算机绘制装载图的处理方法，并建立了海船装载图的计算机辅助设计绘图系统。     

解决布线过程中通道消失分解、合并问题的一种方法

在 VLSI 积木块布图设计模式中,模块的移动会引起通道图发生变化,影响布线的进行。本文给出了一种布线方法,用此方法可保证:任给一个通道图,只要其 T 形约束图中无约束环,无论模块在布线过程中怎样平行移动,均可按照通道图正常布线。此方法已成功地应用在我们研制的 VLSI 版图 CAD 系统中。本文从理论上给予证明,并给出应用实例。     

程序到二级控制图转换工具的研制

二级控制图可很清楚地反映程序的模块间及模块内的逻辑控制关系,它是静态分析非常有用的辅助工具.本文详细描述了从COBOL程序到二级控制图的转换工具TTPCD(Tool for Transformation from Program in to Two LevelControl Diagram)实现原理、技术和功能,并指出该工具进一步发展的前景。     

运载火箭控制系统漏电诊断平台的设计与实现

论述了自行研制设计的可视化漏电故障传播关系图分析系统的功能及程序结构与设计原理。该系统由故障诊断模块和人机交互模块组成，可使运载火箭控制系统漏电故障传播关系图的生成与分析直观而简便，只需用鼠标在屏幕上绘制出传播关系图，就能自动识别并进行定性和定量分析。该方法不仅是故障传播关系图的新绘制方法，也是全新的故障树数据输入法，是故障树算法的拓展和补充。最后给出了一个实例，应用图形输入法得到满意结果。     

虚拟人群仿真的路径规划新算法

提出了一种用于虚拟人群仿真的路径规划新算法.该算法由全局路径规划模块和局部避碰模块组成.全局路径规划模块利用具有最短距离约束的Delaunay三角形方法分割虚拟环境,并由具有距离信息的单元入口图进行表示;局部避碰模块利用相互速度障碍物方法,并加入了停止规则.实验结果表明:通过对具有距离信息的单元入口图的遍历可获得并存储...     

图的几个乘幂不变性质

证明了弦图的奇次幂图仍为弦图，举例说明了弦图的偶次幂图不一定是弦图，从而证实了Ｒ．Ｌａｓｋａｒ和Ｄ．Ｓｈｉｅｒ的一个猜想的正确性，文中还证明了区间图的幂图为区间图，顶点可延图、Ｃａｙｌｅｙ图、循环图、超齐次图及λ－超可迁图的幂图也分别为项点可迁图，Ｃａｙｌｅｙ图、循环图、超齐次图和λ－超可迁图。     

自然图形二阶Voronoi图生成的地图代数方法

分析了2阶V图生成原理．基于欧氏空间中离散点集的2阶V图距离变换原理，论述了栅格形式下离散点集和一般点集图形的2阶V图生成的方法，确定了它的时间复杂性为O（（2＋k）n），适用于欧氏及非欧度量空间的自然图形2阶V图构造．构建了简洁、实用的算法和实验模块，并给出若干算例图.     

基于图文法的可重构机床配置规划方法

为提高制造系统的快速结构配置规划响应速度,提出了基于图文法的可重构机床配置规划方法.使用图文法直观而形像地刻画动态体系结构的配置行为,利用基于图文法的平行模块配置技术,实现了体系结构图模型在具体系统配置规划中的物理实施,并使得图文法模型的图转换操作可以自动映射到实际配置系统的动态配置上.全面表达了可重构机床在配置规划中的相关特征和目标任务的对应变化,实现了平行模块配置规划技术.通过实例验证了该方法.     

3－W_n图的优美性

证明了在齿轮图ｎ个齿的顶端各加上三条长度为１的边所得的图是优美的，从而对齿轮图的优美性作了推广．     

关于Km，n并图的优美性

对于自然数k，m，n，本文给出一类非连通图↑k∪↓i=1Kmi.ni；通过构造标号函数的方法，证明了当max{mi，ni}≥3，min{mi，ni}≥2(i=1，2，…，k)时这类图既是优美图，也是交错图；从而给出构造一类任意个图的并图是优美图的一种方法，拓宽了优美图及其应用的道路。     

图U∧C_(4,m_i)from i=1 to n的优美性

优美图是图论中的一个重要分支,至今对非连通优美性的研究并不多,特别是对n个图的并图的优美性研究就更少.本文证明了一类任意n个二分图∧C4,m的并图4,1inmiC=U∧是优美图,且是交错图.     

再论图Pn^3的优美性

给出图Pn3的另一种优美标号,证明其图是优美图且是交错图.另外指出文献[1]中的一个错误和给出了相应正确的结果,同时证明了严谦泰,张忠辅给出的标号以及我们改正的标号都是交错的.     

任意n个完备二分图的并图的优美性

优美图是图论中的一个重要分支,至今对非连通优美性的研究并不多,特别是对n个图的并图的优美性研究就更少.本文证明了任意n个完备二分图的并图是优美图,且是交错图.     

一类串图的优美性

给出了一些图的优美标号,特别给出了串图ωm1,m2,mn,mn＋1当m1,m2,…,mn≡0（mod4）,mn＋1≡3（mod4）的优美标号,以及串图ωm1,m2,,m2n当mi≡2（mod4）（i=1,2,…,2n）,m2k-1＜m2k,（k=1,2,…,n）时的优美标号.     

Hamilton图的代数刻划

运用矩阵方法,给出了连通图是Ｈａｍｉｌｔｏｎ图的一个代数刻划     

图∪ from i=1 to n(F_(mi,4))的优美性

给出图∪ni=1Fmi,4 的一类非连通图 ,并证明这类图是优美图 ,且也是交错图 .     

几类7点7边图的图设计与最优填充

设λKv是λ重ν点完全图，G是无孤立点的有限简单图。将G－设计（G－填充）记作（ν，G，λ）－GD（（ν，G，λ）－PD）是指一个序偶（X，B），其中X是完全图Kν的顶点集，B是Kν中间构于G的子图（区组）的集合，使得Kν中每条边恰好（至多）出现在B的λ个区组中。讨论了3类7点7边图Gi(i=1,2,3)的图设计及最优填充问题，并给出了（ν，Gi,1)-GD及（ν，Gi,1)-OPD(i=1,2,3)存在的谱。     

图C4∪St(m)的k优美性及算术性

给出一类非连通图C4∪St(m). 论证当k>1(k∈N)时, 该图是k优美图; 当k>d+1(d>1, d∈N)时, 图C4∪St(m)是(k,d)算术图.