Synthesis of Autosymmetric Functions in a New Three-Level Form

Autosymmetric functions exhibit a special type of regularity that can speed-up the minimization process. Based on this autosymmetry, we propose a three level form of logic synthesis, called ORAX (EXOR-AND-OR), to be compared with the standard minimal SOP (Sum of Products) form. First we provide a fast ORAX minimization algorithm for autosymmetric functions. The ORAX network for a function f has a first level of at most 2(n−k) EXOR gates, followed by the AND-OR levels, where n is the number of input variables and k is the “autosymmetry degree” of f. In general a minimal ORAX form has smaller size than a standard minimal SOP form for the same function. We show how the gain in area of ORAX over SOP can be measured without explicitly generating the latter. If preferred, a SOP expression can be directly derived from the corresponding ORAX. A set of experimental results confirms that the ORAX form is generally more compact than the SOP form, and its synthesis is much faster than classical three-level logic minimization. Indeed ORAX and SOP minimization times are often comparable, and in some cases ORAX synthesis is even faster.     

A discrete-integral strength criterion for complicated stress states

The atomic structure behaviour at a crack tip in closely-packed layers of atoms is studied. The deformation of a three-atomic chain for the complicated stress state is analysed. This study includes the analyses of bifurcation and post-bifurcation behaviour as well as the sensitivity of the limit strength to fixing conditions. The numerically obtained values of theoretical strengths are compared with the available experimental results and the theoretical estimates. The discrete-integral strength criterion for complicated stress states is proposed. Contrary to the classical criteria, the proposed criterion allows a limiting transition of the crack length parameter and describes the strength of cracked and crack-free solids.     

两款网圈专利产品的特点和应用

为了提高网圈性能，替代进口，降低集聚纺成本，从网圈的功能着手总结了对传统网圈产品的认识。简明地介绍了两款专利网圈产品的特点及优点，指出NWQ66型网圈纬密大、经密小，寿命长；TWQ型网圈中间工作区经、纬密小，两边传动区经、纬密大，集聚效果好，耐磨，寿命长。并从理论方面为变密度网格圈的优化拓展了空间，为集聚纺关键部件的设计提供了一种手段。     

褐煤炉渣生产免蒸免烧砖试验研究

以内蒙古赤峰市第二毛纺厂排出的褐煤炉渣为主要原料，研制生产免蒸免烧砖，试验通过５０多组、成型了４５０ 多块试件，对该种砖的抗压性能、抗折性能及抗冻性能进行了测试，同时对所用原材料进行了物理和化学成份测试，重点研究了不同加压情况下、多组配合比时砖的抗压强度，同时研究了外加剂的作用及最佳掺量，通过正交试验最终研制出经济技术合理，生产抗压强度为１０ ＭＰａ 以上，与普通粘土砖物理力学性能相当的，具有明显的节能、利废效果的非烧结免蒸粉煤灰砖的配合比和生产工艺，为大批量生产提供技术保障。     

Closures on CPOs Form Complete Lattices

It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a complete lattice, and this basic fact plays an important rôle in many fields of the semantics area, notably in domain theory and abstract interpretation. We strengthen that result by showing that closure operators on any directed-complete partial order (CPO) still form a complete lattice. An example of application in abstract interpretation theory is given.     

三维类摆线轨迹自由曲面抛光的参数优化

工件表面质量受到抛光去除深度模型和抛光轨迹形式的影响,然而对抛光表面质量的研究主要集中这两者其中之一,因此寻找两者参数的最优组合有重要意义。选择非回转的自由曲面作为加工工件生成自由曲面的恒半径步距三维类摆线轨迹,再以传统表面粗糙度参数S_a和表面纹理纵横比S_(tr)为指标,通过设计合理的Taguchi正交试验以及设置去除深度模型参数和轨迹参数的试验水平,分析各参数对表面质量影响程度的大小,得出一组基于试验水平的最优抛光参数组合,并进行最优组合的试验验证。试验结果表明:在各抛光去除深度模型参数和摆线轨迹参数中,对表面质量影响程度大小依次为:倾角α、接触变形e、进给速度F、摆线半径r、摆线步距s;经最优参数组合抛光的自由曲面S_a值为0.19μm,S_(tr)值为0.50,结果均优于正交试验各组结果,寻找最优组合的方法快速有效。     

Robert Adams and the ‘Persistent Beauty’ of Colorado Landscapes

Robert Adams established his reputation in the burgeoning Front Range suburbs of Colorado, yet, during that same period, 1965–1975, he was photographing traditional communities in the eastern Great Plains and the Hispanic counties in the southernmost part of the state. This less studied set of images complements the other, more familiar body of work. In the white churches and adobe structures he saw history, values and relationships that were being lost in suburban developments. In both settings he photographed life that persisted in ruin.     

FLOWS WITH INERTIA IN A THREE-DIMENSIONAL RANDOM FIBER NETWORK

A fiber web is modeled as a three-dimensional random cylindrical fiber network. Nonlinear behavior of fluid flowing through the fiber network is numerically simulated by using the lattice Boltzmann (LB) method. A nonlinear relationship between the friction factor and the modified Reynolds number is clearly observed and analyzed by using the Fochheimer equation, which includes the quadratic term of velocity. We obtain a transition from linear to nonlinear region when the Reynolds numbers are sufficiently high, reflecting the inertial effect of the flows. The simulated permeability of such fiber network has relatively good agreement with the experimental results and finite element simulations.     

企业油库奖金分配系统的设计与实现

杨山成品油中转站奖金分配系统主要是完成管理人员对杨山站各班组月奖金的分配。即:全站职工名字、系数、班组、月考核分、总奖金额、职工月考勤的录入、修改和查找;奖金分配表的生成及打印;操作人员管理(权限的设置及口令的修改)等。本系统具体有五大功能:初始化设置是完成班组设置、人员录入、建立或打开操作表;数据录入是完成录入考核分、修改数据;操作员设置是完成添加操作员、修改口令;打印报表是生成奖金分配表;退出就是结束本系统。