McKay箭图与覆盖空间

本文研究在自然扩张和嵌入下特殊线性群和一般线性群的有限子群的McKay 箭图间的关系. 我们证明在特定条件下, 一般线性群GL(m;C) 的有限子群G的McKay 箭图是其正规子群G∩SL(m;C)的McKay 箭图的正则覆盖, 而当把G 嵌入SL(m+1;C) 时, 新的McKay 箭图由在原来的McKay 箭图的每一顶点加上一个由其Nakayama 平移到其自身的箭向得到. 作为例子, 我们指出如何用这些方法得到一些有趣的McKay 箭图.     

网络计划技术中最优箭线式工程网络图的构成

本文把网络计划技术中的最优箭线式网络图做为图论中的一种有向图来讨论,给出了它的构成方法,并论证了用这种方法构成的箭线式网络图是最优(最简单)的,从而为网络计划技术的计算机程序化奠定了基础。     

工序能力指数的修正及其经济性分析

张光明．工序能力指数的修正及其经济性分析．数理统计与管理，１９９８，１７（２），４０～４２．本文首先提出了工序能力指数的一个修正公式。考虑工序能力指数同质量损失和工序控制成本的关系，对工序能力指数的经济性进行了分析，得出了一个最优的工序能力指数公式     

自动化车床最优刀具检测模型研究

针对自动化车床工序最优检测和刀具更换问题进行了探讨.将定期检测和将刀具更换作用于同一工序流程,在只考虑刀具故障条件下,通过概率论和更新过程理论建立了以单位时间内期望费用为目标函数的数学模型,以检测间隔和刀具更换间隔为策略,确定最优的策略使得目标函数达到最小,并求出了经长期运行单位时间内期望费用的明显表达式.最后还对结果进行了讨论.     

偏序集最小顶点割算法与最小费用赶工问题

在网络计划问题中,一项大的工程由许多工序合成。工序与工序之间存在着一定的前后关系,每个工序有着自己的正常加工时间和通过赶工所能达到的最短加工时间以及每赶工一天的赶工费用。设一项工程的正常工期为T天,通过对所有可能的工序赶工,整个工程能达到的最短工期为S天。本文的问题是,对于任意给定的t(S t相似文献   

Cp值的最优无偏估计及最优检验

本文利用统计推断原理,对于正态分布、指数分布及Gamma分布的情形,导出工序能力指致C_(?)值的最优无偏估计及最优检验,还讨论了两个质量指标情形的工序能力指数的估计。     

平移箭图Z△/(τ~p)的邻接矩阵

本文刻划了周期为p的稳定平移箭图Z△/(τp)的邻接矩阵,并给出了由星形箭图△所决定的平移箭图Z△/(τp)的邻接矩阵的具体形式.     

平移箭图ZΔ／（τ^p）的邻接矩阵

本文刻划了周期为P的稳定平移箭图ZΔ／（τ^p）的邻接矩阵，并给出了由星形箭图△所决定的平移箭图ZΔ／（τ^p）的邻接矩阵的具体形式．     

Hopf箭图与Hopf代数

本文研究了简单无向Hopf箭图的图论性质以及路代数与路余代数的关系.利用简单无向Hopf箭图与简单图的关系.证明了路代数是路余代数的对偶的直和部分.     

由箭图构造的对偶Hopf代数和量子群

在文献[3]和[6]中,Hopf箭图的路代数上的Hopf代数结构和覆盖箭图的路余代数上的Hopf代数结构分别被给出.该文通过一个箭图是Hopf箭图当且仅当它是箭图覆盖这一结论,来讨论同一箭图上给出的这两种Hopf代数结构之间的对偶关系(见定理3和定理4).作为应用,作者先得到关于定向圈的路代数的商上的Hopf代数结构的一些性质,然后证明了Sweedler的4维-Hopf代数小仅是拟三角的而且是余拟三角的.最后,作者刻画了Schurian覆盖箭图的路代数上的Hopf代数的分次自同构群.     

基于时差分析的时标网络图探究

鉴于已有时差概念并不能充分反映CPM网络紧前和紧后工序时差的内在联系，文中引入三个新时差（前共后单时差，前单后共时差，双共时差）概念。针对目前工程项目管理中通用的时标网络图一早时标网络图和迟时标网络图，在路长定理的基础上，给出其理论依据，并在时差分析的基础上，随机绘出时标网络图，三个新时差的引入将有助于今后时标网络图的绘制，使网络技术的应用更具灵活性和实用性。     

用最少的虚工序构建等效多阶段工序网络

运用网络计划可以直观地表示项目管理中的诸多疑难问题, 便于分析和求解. 但是它也存在明显的缺点, 如, (1) 工序网络的有向无回路性表明很多时候适合运用动态规划法, 但它在通常情况下的无阶段性使得该方法无法直接应用; (2) 任意构建的工序网络容易表现得错综复杂, 不利于研究; (3) 用最少的虚工序表示双代号网络是NP-难问题, 因此对一个工序系统可能构建出多个差别迥异的工序网络, 有碍于进度计划管理研究, 等等. 如果能将工序网络构建成等效的多阶段网络, 各工序分别表示在相应的阶段中, 无疑有助于上述问题的解决. 构建等效多阶段工序网络需要添加虚工序. 通过添加最少的虚工序将工序网络构建成等效多阶段网络, 从而有助于建立更合理的工序网络表示法.     

Diagram groups are totally orderable

In this paper, we introduce the concept of the independence graph of a directed 2-complex. We show that the class of diagram groups is closed under graph products over independence graphs of rooted 2-trees. This allows us to show that a diagram group containing all countable diagram groups is a semi-direct product of a partially commutative group and R. Thompson's group F. As a result, we prove that all diagram groups are totally orderable.     

Diagram automorphisms of quiver varieties

We show that the fixed-point subvariety of a Nakajima quiver variety under a diagram automorphism is a disconnected union of quiver varieties for the ‘split-quotient quiver’ introduced by Reiten and Riedtmann. As a special case, quiver varieties of type D arise as the connected components of fixed-point subvarieties of diagram involutions of quiver varieties of type A. In the case where the quiver varieties of type A correspond to small self-dual representations, we show that the diagram involutions coincide with classical involutions of two-row Slodowy varieties. It follows that certain quiver varieties of type D are isomorphic to Slodowy varieties for orthogonal or symplectic Lie algebras.     

基于网络图时间参数UTM算法的施工项目资源优化

资源优化是建设工程项目施工计划的一个重要内容.当施工计划某一时段资源用量大于资源限量时,就需调整工作计划重新满足资源限量条件,并使工期不变或延长最少.提出的施工进度计划网络图时间参数的UTM算法和"资源有限、工期最短"的资源优化算法,实现了利用计算机快速计算进行优化,并通过算例验证了算法的有效性.     

Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic

Venn diagram system has been extended by introducing names of individuals and their absence. Absence gives a kind of negation of singular propositions. We have offered here a non-classical interpretation of this negation. Soundness and completeness of the present diagram system have been established with respect to this interpretation.     

The Voronoi Diagram of Curved Objects

Voronoi diagrams of curved objects can show certain phenomena that are often considered artifacts: The Voronoi diagram is not connected; there are pairs of objects whose bisector is a closed curve or even a two-dimensional object; there are Voronoi edges between different parts of the same site (so-called self-Voronoi-edges); these self-Voronoi-edges may end at seemingly arbitrary points not on a site, and, in the case of a circular site, even degenerate to a single isolated point. We give a systematic study of these phenomena, characterizing their differential-geometric and topological properties. We show how a given set of curves can be refined such that the resulting curves define a “well-behaved” Voronoi diagram. We also give a randomized incremental algorithm to compute this diagram. The expected running time of this algorithm is O(n log n).     

Diagram groups and directed 2-complexes: Homotopy and homology

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so-called rigidity of the R. Thompson's group F and some other groups is similar to the flat torus theorem. We find several finitely presented diagram groups (even of type F_∞) each of which contains all countable diagram groups. We show how to compute minimal presentations and homology groups of a large class of diagram groups. We show that the Poincaré series of these groups are rational functions. We prove that all integer homology groups of all diagram groups are free Abelian.     

基于多目标影响图效果作战模型

针对目前基于效果作战评估中没有涉及多目标以及决策者的偏好的情况,将多目标影响图引入到基于效果作战模型.首先分析了基于效果作战中各主要要素之间关系,其次提出了基于效果作战模型构造过程,然后将其与多目标决策理论结合建立了多目标基于效果作战模型,用多目标影响图对其进行建模,并给出了求解方法,最后将基于多目标影响图效果作战模型应用于空战任务分配中.仿真结果表明该模型的有效性.     

一种扩展的影响图及其求解方法

针对影响图在实际应用中的参数建模困难问题,提出了一种扩展的影响图.引入credal集作为影响图的概率参数,以表达专家的不精确和不完整信度,集成多来源的定性和定量信息.引入credal集后,影响图的推理难度进一步加大.提出了将其转化为credal网络求解的思路,并给出了一种基于路径选择的求解算法.最后用一个实例验证了算法的有效性.