给定悬挂点个数的分子树的ISDD指数的极值

设G=(V (G),E (G))为n阶连通图,其顶点集为V (G),边集为E (G),用deg (x)表示顶点x的度,则图G的反对称分割指数为ISDD(G)=∑₍xy∈E(G))(deg(x)·deg(y)/deg(x)²+deg(y)²)。本文主要采用不等式和分类讨论法对具有固定悬挂点的分子树的ISDD指数进行了研究,分别讨论了悬挂点个数为偶数和悬挂点个数大于等于3时分子树的ISDD指数的极值,分子树是指顶点度不超过4的树。首先,确定了当悬挂点个数为偶数时,分子树中反对称分割指数为最小值,此时,ISDD(MT)=1/2n-31/85p-1/10;其次,确定了当悬挂点个数大于等于3时,分子树中反对称分割指数为最大值,此时,ISDD(MT)=1/2n-9/65p-1/2,并刻画了达到ISDD指数极值的分子树。     

基于可拓学的数据库建模方法

文章介绍了面向对象的数据库建模语言ODL和传统的E/R图建模方法,并提出将可拓学的方法引入数据库建模中,对建模对象进行分析和推理,以获得最优数据库模型。     

关系数据库转换为XML文档的新方法

提出一种在保存数据约束条件下,把关系数据库信息转换为XML文档,并在得到的XML文档信息中能完整地体现所保存的数据约束的新方法。解决了只注意数据结构的无损转换,而忽略数据约束的保存问题。具体做法是:为使关系模式与XML模式相互兼容,把关系数据库中存在数据联系的关系合并成一个新关系;把每个新关系按其数据的约束条件转换为XML文档树后,将多个XML合并成一棵XML文档树;在此树上可根据实际需求选择整个(部分)XML文档树转换为XML文档。     

对边幻图猜测的一个证明

令简单图G =(V ,E)是有 p个顶点 q条边的图。假设G的顶点和边由 1 ,2 ,3 ,… ,p + q所标号 ,且 f :V∪E { 1 ,2 ,… ,p + q}是一个双射。如果对所有的边xy ,f(x) + f(y) + f(xy)是常量 ,则称图G是边幻图 (edge-magic)。毛毛虫图是一个树 ,移走它的所有端点产生一个路 (称为T的脊或主干 )。例如 ,路和星图是毛毛虫图。证明了毛毛虫图是边幻图 ,从而证明了顶点不超过 8的树是边幻图。     

工控系统微机图形组态软件设计

本文以软件组态思想设计了一套工控系统常用的图素、图形软件,具有功能较完善,组合、扩充及人机互联方便,通用性较好的特点,适用于配备VGA卡的8088(带8087)微计算机图形用户系统.     

在固定时间抽样的可变抽样区间的单边控制图

根据文献 [1 ]在固定时间抽样的可变抽样区间 (VSIFT)的x控制图的模型设计标准差 (S)、极差(R)和不合格品数 (np)图。计算了VSIFTS图、R图和np图的发信号前的平均时间 ,并同固定抽样区间 (FSI)的常规S、R和np图作比较。所设计的VSIFTS、R和np图能缩短过程失控时间 ,从而减少不合格品数     

一种概率XML Twig查询的计算

传统数据库只管理确定性信息．但在许多应用中涉及大量不确定数据。本文把概率数据引入XML文档中．提出概率XML文档树、概率XML模式树、概率XML文档树符合概率XML模式树的定义;给出了概率XML Twig查询树和概率XML Twig查询匹配的定义,最后提出了计算概率XML Twig查询结果概率的定理。     

基于XML的机械图元素属性的编制

随着计算机辅助设计与制造(CAD／CAM)技术和Internet的发展，为了解决各不同系统之间CAD模型数据信息的交换问题，基于XML(Extensible Markup Language)构架，提出了一种新的机械图描述语言：XPgML(Extensible Pan—graphics Markup Language)．在对机械图分析的基础上，利用统一建模语言(UML)ROSE工具建立了机械图数据模型，并对机械图构件的元素和属性进行编制，为实现网络化设计、加工和交流打下了基础．     

基于Pro/ E 的液压挖掘机反铲工作装置运动仿真

采用传统的运动分析方法绘制挖掘机铲斗包络图存在工作量大、不精确和不直观等缺点。利用Pro/E 对液压挖掘机反铲工作装置进行了建模和装配, 首先分析了挖掘机的运动过程和各工况位置, 然后用Pro/ E 中的Mechanism 模块进行了机构运动学仿真, 通过对挖掘机各连接轴的设置, 找到挖掘机动臂、斗杆和铲斗的各极限位置, 得到了挖掘机铲斗斗尖运动包络图。运动仿真的结果不仅可以以动画的形式表现, 也可以以参数的形式输出,得到挖掘机的工作参数。这样可知零件之间是否干涉, 还可获知挖掘机的设计是否满足性能要求, 为改善整机性能提供设计依据。     

R(4,1×n_1,n_2)型图的优美性

对R( 4,1×n1,n2 )型图的优美性及交错性进行了讨论 ,证明了R( 4,1×n1)型图是优美交错图 ,由R( 4,1×n1)型图与路Pn2 1粘接而成的R( 4,1×n1,n2 )型图既是优美图 ,同时也是交错图 .并给出了R( 4,1× 4 ,4 )的优美标号 .     

XML约束的规范化研究

本文从数据库设计的角度出发,对XML数据的约束进行深入的研究,提出了基于路径表达式和树模型的XML函数依赖。对于利用XML实现异构数据库的交换技术上,不仅在理论上具有指导价值,而且在实际应用中也具有现实意义和实用价值。     

XML数据的B+树存储实现及更新

XML已成为Web数据表示和交换的标准，如何有效实现对于XML数据的存储、查询及更新操作是XML相关技术研究中的一个重要领域．本文简要介绍了基于模式匹配的XML数据库系统（DISXDBS）组成，重点研究了基于模式匹配的XML数据库系统（DISXDBS）上实现用B^＋树存储XML文档以及对其进行查询、更新等简单操作，并对目前几种常见XML文档的存储策略进行比较．     

Data Caching for XML Query

Webapplicationssupportedbydatabaseretrieve desiredinformationfrommultipledatabasebyissuing queriesagainstremotedatabaseserversacrossInter net.Delayeddatatransmissionsandlostdatapack agesoftendecreasetheirefficiency.Hence,aconsid erableamountofworkhasfocusedontheproblemof semanticcachingfortheseapplications[1-3],but mainlyfocusontherelationaldatabases.Asthenum berofwebapplicationsthatbackedbyXMLdatabase increases,sodoestheneedtoprovideefficient cachingmechanismssuitableforthenatureoftheex ten…     

基于E-Schema的XML模式到关系模式的映射研究

XML文档作为一种半结构化数据,与关系数据库中存储的结构化数据存在一定的差异。本文通过分析XMLSchema的结构和语法,借鉴P-Schema的思想,提出了一种名为E-Schema方法用于XML模式到关系模式的映射,解决了多值元素、可选元素、组元素的映射问题,能够在关系数据库中完整的保存XML文档的结构信息和数据信息,并提高了查询效率。     

利用文档树建立XML文档与数据库的映射

为了处理互联网上大量独立于模式不规则的、零散的XML文档,提出了一种通过扫描XML文档转换为XML文档树,再对文档树进行深度遍历算法把节点映射到数据库的算法,并与其他算法做了简单比较．该算法能把XML数据内容完整地保存到数据库,还可以完全恢复．通过实例证明了算法的可行性和有效性．     

关系模式到XML Schema的约束保留映射

随着XML逐渐成为网络数据表示和交换的标准，将关系数据描述为XML格式已经成为一种趋势。针对这种情况，提出了关系模式到XML Schema的保留约束映射算法，通过对关系模式和XML Schema数学建模，定义模式映射模板，将关系模式转化为XML Schema模式的描述，实现关系数据到XML文档的转化。由于在数学建模过程中充分保留了语义约束信息，与同类研究相比，算法的映射结果可以更完整的描述关系模式的结构和语义信息，保证了数据的连贯性。     

XML与RDB的双向集成技术

在“制造业需要在Internet环境下实现信息化”和“发展具有自主版权的DBMS及其XML套件技术”的大背景下，对比XML与RDB的特点，提出了XML与RDB的三层双向集成技术。其内涵是通过静态转换、动态检索、同步修改等多个层次的数据处理，实现既能从XML到RDB、又能从RDB到XML的双向数据集成。在国内外尚处于某个层面单项技术的研究情况下，该技术从静态到动态、从动态到同步多个层面，实现XML与RDB的互通互访。     

数据集成中XML模式和关系模式映射模型研究

针对数据集成遇到的数据交流难问题,文章首先介绍了XML技术的优势,并就如何利用其优势来解决XML文档和关系数据库之间的数据转换问题进行了分析。进一步研究了XML和关系数据库之间的基本映射方法,在此基础上建立了XML模式和关系模式之间双向映射的模型,并给出了模型的实现。     

用XML实现CNSDTF的矢量数据交换格式

利用可扩展标记语言XML实现了CNSDTF的矢量数据交换格式，生成了符合W3C标准的XSD Schema文档以及CNSDTF附录样本文档所对应的XML文档，给出了Schema文档的完整结构以及部分代表性元素的实现代码，并作出了相应的说明，利用该文档，以Altova的XMLSpy为辅助工具，生成了CNSDTF附录B中矢量数据交换格式样本的XML文档，生成的XML文档完全符合网络矢量数据传输的条件，该Schema文档可以作为对应所有XML数据文件的校验依据，并进一步成为书写，读写这些数据文件源代码的基础。     

基于XML Schema的细粒度SoC设计复用方法

针对传统的基于模块复用的SoC可复用设计方法学在面对结构复用或抽象内容复用时效率低、设计迭代代价高的缺陷,提出基于XML Schema的细粒度设计复用方法（FGRX）,扩充了传统可复用设计方法学,通过分析现有设计把更小的逻辑结构、代码片段和抽象内容吸纳为可复用对象,并基于可复用对象构建设计原语集和复用规则集.FGRX用XML Schema对原语集和复用规则集完成形式化定义,同类设计或同一产品线中的类似芯片设计描述在原语级以XML格式完成.利用XML Validator自动构建基于复用规则集的原语级描述校验器,对设计描述完成静态结构检查.利用XSLT设计转换规则,把由可复用对象组成的原语级设计描述转换成各种标准格式的设计文件,并在转换过程中实现细致的语义检查,进一步校验模型描述.以一个实际应用具体讨论了FGRX的应用过程,实际应用结果证明：FGRX能充分复用现有工作成果、高效可靠地完成同类模块的设计或同一产品线中同类芯片的开发、大规模精简描述代码、减少设计者重复劳动的工作量以及提升工作效率.