具有（W~＊－W）CPCP的共轭空间X

本文引进了概念（ｗ￣＊一ｗ）ＣＰＣＰ，并证明了：若ｘ”具有（ｗ￣＊一ｗ）ＣＰＣＰ，则Ｘ￣＊的每个非空ｗ￣＊一紧凸子集Ｋ的弱￣＊一弱连续点集是Ｋ的弱￣＊一稠密子集。     

无向树图的k点连通最小扩充

解决了以最少边集扩充一个任意无向树图为k点连通图这一优化问题,提出了一个计算复杂度为D(|V|~4)的算法。为进一步研究可靠网络的计算机辅助设计打下基础。     

2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

Desargues定理的推广

本文将射影几何著名的Desargues透视三点形定理推广到四面体和三维射影空间的完全n(n≥4)点形(体)中。     

用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

多点柔性墩连续顶推技术在梁桥中的应用

结合工程施工实践,介绍了多点柔性墩连续顶推施工技术.     

轴外物点理想成像的条件

用费马原理证明了轴外物点理想成像的条件     

多值函数的枝点

我们已经知道,对于z~n、e~z、sinz中的每一个函数都存在有另外的、不同于我们原来所选好的单叶性区域.特别说来,对于函数ω=z~n,可以取任一个以原点为顶点、幅度为2π/n的角作为单叶性区域;对于函数e~z可以取任一个宽度为2π,而边平行于实轴的带形作为单叶性区域;对于函数sin z可以取任一个带形:(2k-1)/2相似文献   

任意循环的卡诺循环分解的综合讨论

综合讨论了任意循环的两种卡诺循环分解法 ,指出不能采用“串联”分解法来证明任意循环效率的极限 ,但可用这两种分解法来证明克劳修斯等式和不等式 ,同时指出了一些文献在涉及该问题时所存在的不妥之处。     

特种支架在煤巷交岔点中的使用

矿井在深部煤层开采过程中，煤巷交岔点使用特种支架，会取得较好的技术、经济效益。