运输问题悖论及其研究

提出了运输问题的奇特现象——运输问题的悖论,讨论了运输问题悖论出现的条件,最后指出了研究运输问题悖论的现实意义.     

A unified theory for coherent systems in reliability II. A unified viewpoint on multinary coherent systems through monotone coherence and relevance

Binary coherent system theory has played an important part in reliability. Its extension to (‘degradable’ or ‘multistate’ or) multinary systems has recently been considered in various papers, through various definitions. This paper studies the most general model for multinary systems, proposes a unified viewpoint on multinary coherent systems and gives unified arguments to apply and to investigate further the binary and multinary cases. In a more detailed way, the ‘helpful bridge’ lately proposed by Block and Savits¹ between the binary and multinary cases is completed and multinary systems then can be studied in terms of monotone binary coherent systems, introduced in a companion paper.² Through various results, multinary systems are examined in terms of structure functions and of life functions; fundamental relations for their analysis are obtained with their set characterizations; the main axis that can be retained among the numerous types of coherence is emphasized, in a unified way, through relevance; reliability models are examined through performance processes, life lengths and performance functions; and Birnbaum's factors of importance are thoroughly extended to the multinary case. Fundamental results proposed in previous studies are thus completed with a shorter unified approach.     

Locally connected spanning trees in strongly chordal graphs and proper circular-arc graphs

A locally connected spanning tree of a graph G is a spanning tree T of G such that the set of all neighbors of v in T induces a connected subgraph of G for every v∈V(G). The purpose of this paper is to give linear-time algorithms for finding locally connected spanning trees on strongly chordal graphs and proper circular-arc graphs, respectively.     

相空间路径积分中的Feynman规则和广义Ward恒等式

基于Green函数的相空间生成泛函,导出了广义正则Ward恒等式.指出无须作出相空间生成泛函中对正则动量的路径积分,即可求得树图近似下的Feynman规则.对场的拉氏量添加一个四维散度项后,场的传播子发生了改变.     

活动网络时间费用优化的截集算法

从活动网络中建立了流量网络，通过找出流量网络的最小载集及反截集，给出了活动网络时间费用优化算法，本文的算法比列举法更有效，比线性规划法更方便．     

电子设备用新一代冷却技术

本文提出的以吸收式致冷机替代传统的冷却系统，利用电子管的热耗作为吸收式制冷机的动力源来驱动制冷机，将热能转为冷量．该系统既保证电子管在允许工作温度范围内工作，又可获得冷量来调节室内温度和冷却电子设备中其它发热元、器件．试验表明：电子管与制冷机系统可在相匹配的条件下工作，热利用率可达40％．该系统是待发展的大功率电子管冷却系统。     

船舶兴波流场mj求解的边界元计算方法

船舶前进定常兴波对非定常水动力问题的影响，在物面边界条件中通过所谓的mj项体现出来。由于mj项含有定常兴波势的二阶导数，给实际计算带来困难。本文将边界元方法求解叠模流场mj项的技术进一步扩展到定常兴波流场mj项的计算。并以潜体为例给出计算结果。     

度和与图中具有给定阶数的点不交的路

设G是一个n阶图，n=∑^ki=1ni，其中,ni≥2(i=1,2,…，k）是整数。我们利用度和给出图G中存在n1,n2，…，nk阶点不交路的充分条件。     

计算机产生全息图对补偿器检测的技术研究

用一种计算全息板代替补偿器零检验光路中理想的大型非球面,实现对补偿器的定量检验.用于检测补偿器旋转对称的二元反射式全息板根据非球面方程设计,并确定其光程差,再由激光直写(精度可达0.6μm)来制作完成,合成相当于理想非球面反射波前.其检测精度小于λ/10.补偿器的参量由抛物面和三级球差理论确定.     

高温热管的冷冻起动极限

对高温热管的冷冻起动极限进行理论分析 ,给出冷冻起动极限的计算判据。通过对Ф2 5× 1 0 0 0mm的高温热管进行起动测试 ,发现当热管蒸发段长度设置较短时 ,该热管受到冷冻起动极限的制约 ,实验还对冷冻起动极限判据进行了验证