Parameterized complexity of coloring problems: Treewidth versus vertex cover

We compare the fixed parameter complexity of various variants of coloring problems (including List Coloring, Precoloring Extension, Equitable Coloring, L(p,1)-Labeling and Channel Assignment) when parameterized by treewidth and by vertex cover number. In most (but not all) cases we conclude that parametrization by the vertex cover number provides a significant drop in the complexity of the problems.     

炼油生产调度专家系统的应用研究

基于知识的优化设计应用于炼油化工厂,采用专家系统技术将生产中成功的经验和领域专家的知识组织起来,协调并参与数学规划建模过程,优化编排调度作业计划,并进行优化控制和管理.文章结合大型炼油厂的生产实际,探索智能化的管控一体化的新模式.     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

虚拟环境下面向装配的设计系统的研究

虚拟环境下面向装配的设计,是一种集成虚拟现实技术和装配性评价的交叉学科研究,文中提出了一个虚拟环境下面 向装配的设计系统VirDFA(Virtual Design For Assembly)的体系结构,首先描述了虚拟人工实时拆卸的过程,着重研究在实现虚拟人工拆卸过程中,需要解决的装配体物性建模、虚拟环境下装配约束的动态管理及装配序列/路径的自动记录等关键技术,其次,从面向产品结构和装配工艺过程两方面的再设计角度,构建了装配性评价体系,提出了定量的装配效率模型和装配复杂度指标模型。并从装配成本的角度来评价产品的装配性优劣,为产品和装配工艺规划的再设计提供了依据。     

并行环境下广义装配设计的集成框架

提出了以装配建模和变量设计为核心,以装配规划与仿真,装配分析和公差分析与综合等为支撑的广义装配设计的集成框架,该框架能在并行工程的环境下对产品设计进行信息集成和设计过程集成,形成自上而下的,各支撑系统模块间相互依存,相互评价的设计循环,从而提高产品的一次设计成功率。     

SOAP中的远程过程调用

为了实现异构系统的互操作,进而构造Internet环境的高适应性的统一计算环境,介绍了利用SOAP进行远程过程调用的方法,并比较与其它近似目的的方法的优劣。     

应用Lotus Domino／Notes建立网络办公系统

描述了Lotus Domino/Notes应用的网络结构。以Lotus Domino/Notes群件的先进性,阐述了其作为大型综合办公自动化系统理想平台的可靠性和优越性。     

大纯滞后过程的采样控制及其工程实现中的若干问题

提出了采样控制机制的新观点,介绍控制器参数确定的新方法,分析了采样控制的质量,指出了在工程实施应考虑的若干问题。     

边界重叠图象的一种快速拼接算法

针对边界部分有重叠的图象,提出了一种基于网络的快速对准算法,并通过平滑因子对图象实现了无缝拼接。     

PC机与多单片机组成串行通信的新尝试

以实际应用的小型集散变频调速系统为例 ,介绍一种PC机与多AT89C2 0 51单片机之间串行通信的接口电路 ,并提出一种新的通信方法 ,即采用QBASIC语言提供通信语句来编写多机通信程序。该方法硬件紧凑 ,软件编程简单可靠。