ON A CONJECTURE OF HARMONIOUS GRAPH

Let the coronas C_n⊙K_1 be the polygons with one additional end-point for eachvertex.Thom Grace conjectured that C_n⊙K_1 are harmonious for n even.In this paper,aproof of his conjecture is given.     

A FURTHER GENERALIZATION OF JUNG''''S THEOREM

Let G be a graph of order n. We define the distance between two vertices u andv in G, denoted by d(u, v), as the minimum value of the lengths of all u-v paths. We writeσ_k(G)=min{∑_i=1~k d(v_i)|{v_1, v_2,…, v_k} is an independent set in G} and NC2(G)=min {|N(u)∪N(v)| | d(u, v)=2}. We denote by ω(G) the number of components of agraph G. A graph G is called 1-tough if ω(G\S)≤|S| for every subset S of V(G) withω(G\S)>l. By c(G) we denote the length of the longest cycle in G; in particular, G iscalled a Hamiltonian graph if c(G)=n. H.A. Jung proved that every 1-tough graphwith order n≥11 and σ2≥n-4 is Hamiltonian. We generalize it further as follows: ifG is a 1-tough graph and σ3(G)≥n, then c(G)≥min {n,2NC2(G)+4}. Thus, theconjecture of D. Bauer, G. Fan and H.J. Veldman in [2] is completely solved.     

基于直接信号流图的数字控制系统计算机辅助分析

根据数字控制系统的直接信号流图,设计了改进的Johnson算法,并用MATLAB语言编制了适用任意输入信号的数字控制系统的计算机辅助分析软件。该软件模型输入简单,不仅能得到系统的输出响应,而且还能得到系统输出模型,为数字控制系统的计算机辅助设计和仿真提供了有用的工具。     

用未定标相机构造三维模型

我们提出了一种新的基于图象的造型方法。与传统的需要精确定标的体积建模方法不同,这种方法只需要弱定标。这种方法有三步,首先是灭点进行摄像机定标,然后用空间雕刻算法得到三维模型,最后用视点相关的合成方法改善结果。     

动态光线跟踪算法与实现

提出动态光线跟踪的动态可视区域重跟踪算法理论规则及实现算法,有效解决了传统光线跟踪算法由于计算量大而难以应用于动态模型的难题,是将光线跟踪技术真正有效应用于计算机实时动画领域的新算法。本算法包括运动物体及其反射、折射可视区域和运动背景在离散时间序列的重跟踪算法,以及两种针对动态可视区域重跟踪的消隐算法。     

用VRML实现校园虚拟游览

VRML是WWW上的虚拟现实建模语言。文章介绍了采用VRML设计实现校园虚拟游览模型的技术和方法,游览者可以通过Internet使用浏览器进行交互式的校园虚拟游览。     

任务/资源图模型的任务调度与资源访问仿真分析(Ⅱ)-"爱国者"拦截作战目标过程实例分析

任务/资源图仿真建模方法由于包含丰富的时间属性而非常有利于分析复杂离散实时系统，通过一个仿真实例来分析任务/资源图模型的任务调度和资源访问。首先利用任务资源图模型对“爱国者”防空导弹拦截作战目标过程进行了仿真建模，然后利用RM任务调度方法和PCP资源访问控制协议对该系统进行了可调度性分析，包括单节点调度、多节点调度和端对端调度分析。复杂系统任务执行过程中会出现各种抢占、挂起、资源冲突情况，尤其是对于最坏情况下的任务调度和资源使用情况，通过仿真分析验证了对这些复杂情况的时间序列属性。可调度性分析和仿真分析结果表明任务/资源图模型是一种强有力的复杂离散实时系统分析仿真方法。     

基于符号定向图(SDG)深层知识模型的定性仿真

定性仿真是系统仿真技术中的重要研究和应用方向，同时也是人工智能技术的一个重要方面。近年来，随着现代计算机技术的日新月异，使得基于符号定向图(SDG)深层知识模型的定性仿真研究和应用取得了显著进展。SDG模型能够表达复杂的因果关系，具有包容大规模潜在信息的能力，因此特别适合于过程系统危险评价(PHA)、危险识别与故障诊断。SDG模型结构简单，易于建立和修改。然而高质量的SDG模型必须采用经验数据和定量动态仿真检验和校正。采用SDG模型进行定性仿真的关键技术是高效双向推理“引擎”，由计算机软件自动完成。目前，在计算机辅助过程系统危险评价方面，SDG是最有效的方法；在过程系统故障诊断方面，其完备性较好，但诊断分辨率尚待提高。今后的研究应解决：定性仿真和定量仿真相结合；SDG自动建模；通用推理软件平台；大系统高分辨率故障诊断等问题。     

A 2－FACTORIZATION ORTHOGONAL TO A STAR IN A GRAPH

Ａ２－ＦＡＣＴＯＲＩＺＡＴＩＯＮＯＲＴＨＯＧＯＮＡＬＴＯＡＳＴＡＲＩＮＡＧＲＡＰＨ￥ＬＩＵＧｕｉｓｈｅｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｊｉｎａｎ２５０１００，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ｌｅ...