三棱柱图的两种染色

通过分析三棱柱图的结构,利用穷举法和组合分析法讨论了三棱柱图的邻强边染色和邻点可区别全染色,通过构造具体染色得到了三棱柱图的邻强边色数和邻点可区别全色数.     

平顺移动模式下考虑加工时间与调整时间可分离的多目标流水车间批量调度

对平行顺序移动模式下考虑加工时间与调整时间可分离的多目标流水车间批量调度问题展开研究.构建以加工制造设备总停机次数、批量工件生产周期以及搬运批量工件的总次数为决策目标的基于分层序列法的多目标决策模型,利用该模型可确定批量工件的最优加工排序方案.建立平行顺序移动模式的加工与调整时间模型,该模型是求解生产周期的基础,也是为批量工件的最优调度方案制定生产作业计划的依据.提出并设计平行顺序移动模式下考虑加工时间与调整时间可分离的禁忌搜索算法对问题进行求解.研究结果表明:本研究可为平顺移动模式下考虑加工时间与调整时间可分离的批量生产流水车间选出批量工件的最优调度方案,同时可为批量工件的加工和加工制造设备的调整制定精确的生产作业计划.     

An Overview of Kernelization Algorithms for Graph Modification Problems

Kernelization algorithms for graph modification problems are important ingredients in parameterized computation theory. In this paper, we survey the kernelization algorithms for four types of graph modification problems, which include vertex deletion problems, edge editing problems, edge deletion problems, and edge completion problems. For each type of problem, we outline typical examples together with recent results, analyze the main techniques, and provide some suggestions for future research in this field.     

点群的复表示环之增广商群

设G是有限群,R(G)为G的复表示环,I(G)为其增广理想.对第一类点群(特殊正交群SO3(R)的有限子群)和任意的自然数n,给出了增广理想的n次幂In(G)作为自由交换群的基底,并确定了其增广商群In(G)/In+1(G)的结构.     

2-度量空间上具有隐式收缩条件的映射族的重合点和公共不动点

引进满足特定性质的二元、四元和六元函数类,建立2-度量空间上的四个映射的隐式收缩条件,讨论并证明四个映射的唯一重合的点和唯一公共不动点的存在定理;给出关于两个和三个映射的相应的结果和Banach不动点定理在2-度量空间上的表现形式,推广并改进了现有的一些结果。     

一种单晶光学晶体的晶面偏角及偏向测算方法

本文提出了一种运用三点法来求取单晶实际切割晶面相对于理想切割晶面方位角度的一种定向简便计算方法。单晶光学晶体晶面由于生长和切割误差等原因,往往造成实际切割晶面与理想切割晶面有偏角。为了获得这种偏角关系进行晶体的准确定向、切割加工,采用YX-2型X射线晶体定向仪与传统的数学计算方法相结合,运用三点法即可准确计算出实际切割晶面任意方位与理想切割晶面之间的偏角大小及具体偏向。晶体定向准确度高,操作方便,快速简捷,费用便宜,可准确地确定晶体的切割方向。     

轴承试验机多点温度监控系统设计

针对高转速轴承寿命试验机温度监控点较多且温度传感器类型不同的问题,设计了一种多点温度监控系统。该系统将传感器采集到的温度信号送入温控仪表,通过串口实现仪表与上位PC机的数据通讯,利用LabVIEW编程实现温度显示和控制、超温报警停机、数据存储和查询等功能。经试验证明:系统运行良好,温度数据传输速度较快,润滑油油温控制精确,有效地提高了轴承试验机的性能。     

怎样应对火灾?

<正>前不久,贵阳、杭州、广州等地先后发生公交车起火燃烧事件。公共场所的火灾经常会造成人员伤亡。火灾是如何发生,发展的?我们应如何防火、灭火和逃生?2010年11月15日,上海市一幢28层的公寓大楼发生特别重大火灾,造成58人死亡,71人受伤。2013年6月3日,长春市一家禽业公司发生特别重大火灾,造成     

两类k重Mycielski图的邻点强可区别E-全染色

应用反证法和构造染色函数法研究了图M~k(F_n)和M~k(W_n)的邻点强可区别E-全染色,并得出了其邻点强可区别E-全色数.     

基于多架构建模语言的系统工程建模方法

随着系统工程建模技术的进步,复杂装备生命周期所涉及的建模工具多样,模型数据异构为模型集成带来了重大技术挑战.因此,系统工程社区提出了语义建模规范并将其用于解决建模工具之间的模型数据集成难题,提升各工具建模语言的数据互用性.提出一个新的语义式系统工程建模语言KARMA,采用双语义机制支持复杂装备研发过程中的架构建模,并提出了该语言的技术发展路线.最后,通过工程验证案例,从定性及定量角度对语言进行技术验证,结果表明KARMA语言可支持多种复杂装备的体系及系统的架构设计.