关于两个矩阵不等式的注记

证明了一个矩阵Schur补不等式,由此推广了一个包含Hadamard积的众所周知的矩阵不等式,并且这个不等式等号成立的充要条件同时被获得.     

新的上可嵌入图类

图C的C-划分指：C的一个顶点划分{V1，V2，…，V4}使得每个C[Vi]为多重完全图（l≤i≤k）。证明了如下结果：设C为连通图，且对任意v∈V(C)，dc(v)≡1(mod4)。若C的顶点集存在一个C-划分{V1，V2，…，V4}使得对每个1≤i≤k，|Vi|≥4，且≡0（mod4），则C是上可嵌入的，另外，联系着图的点的度和其它条件，推广和深化了目前有关这方面的一些结果，给出了另一些上可嵌入图类。     

基于PDM的多模式集成CAPP系统

对基于PDM的多模式集成CAPP系统进行研究.在分析PDM的功能和特点的基础上,结合其具体应用背景,讨论基于PDM的系统集成框架,提出基于PDM的多模式集成CAPP系统的体系结构,并介绍其实现方法.通过该方法建立的CAPP系统不仅可实现对工艺设计过程的管理,而且可以实现各个单元系统的无缝结合,为并行工程的实施提供了可能.     

若干图簇的伴随多项式的因式分解及色性分析

通过研究图的伴随多项式，给出了证明非色唯一图的一种新方法，并且得到了若干图簇的色等价图的结构性质。     

XML在网络化制造产品信息集成中的应用

在网络化制造中进行产品信息集成的一个重要障碍就是设计软件之间的信息模型的流动困难.本文基于XML提出一种统一产品数据标记语言UPDML来描述设计软件之间需要共享的数据,并建立了采用UPDML实现产品信息集成的基本框架,为网络化制造系统中众多,有着不同数据格式的设计软件之间进行信息模型的流动提供了一种一般性的解决方法.     

关于完全多部图Kn(t)的{C3,C5}-强制分解

关于完全多部图Kn(t)的Ck 分解 ,已经取得了一系列的研究成果。Kn(t)的 {Ci,Cj} 强制分解则是指Kn(t)分解为长为i或j的圈 ,并且分解中至少各有一个长分别为i和j的圈。本文证明了多部图Kn(t)的 {C3,C5 } 强制分解存在的必要条件也是充分的。     

支持变型设计的装配模型建模方法

指出产品结构变型主要有纵向布局结构变化和横向布局结构变化两种基本形式，在装配模型层次化的基础上，将顶层基本骨架作为自顶向下设计建模时传递信息的纽带，以Pro/ENGINEER为技术平台，提出适应快速变型设计要求的装配模型的建模方法，从而实现产品的变型设计和系列化设计。     

浅谈食品安全生产的HACCP系统

文章简要地介绍了HACCP的由来，框架，基本原理与计划实施的基本过程，以此说明关注农产品与食品安全问题的重要性，并强调要积极推行HACCP。     

一则关于黎曼联络的讨论

本文给出积映射φ( 1 )* ×φ( 2 )* 保持积流形的黎曼联络 ,以及几个诱导联络的公式。     

优化我国出口商品结构几个问题的辨析

如何优化我国的出口商品结构，是一直深受广泛关注的问题。在相关的讨论中，占主流的观点是：优化我国的出口商品结构，即减少劳动密集型产品而增加资本和技术密集型产品的出口，实现出口商品结构的高级化。对此，笔者持不同观点，认为优化我国的出口商品结构结构要立足我国的资源条件和比较优势，以利用率最佳化和国民收入最大化为原则，采取适应性调整和战略性调整并举的方针。出口商品结构的高级化并不等于出口商品结构的优化。