Tight upper bound on the number of edges in a bipartite K3,3-free or K5-free graph with an application

We show that an n-vertex bipartite K_3,3-free graph with n?3 has at most 2n−4 edges and that an n-vertex bipartite K₅-free graph with n?5 has at most 3n−9 edges. These bounds are also tight. We then use the bound on the number of edges in a K_3,3-free graph to extend two known NC algorithms for planar graphs to K_3,3-free graphs.     

Reliability models for computer systems: An overview including dataflow graphs

The reliability of a system is the probability that the system will perform its intended mission under given conditions. This paper provides an overview of the approaches to reliability modelling and identifies their strengths and weaknesses. The models discussed include structure models, simple stochastic models and decomposable stochastic models. Ignoring time-dependence, structure models give reliability as a function of the topological structure of the system. Simple stochastic models make direct use of the properties of underlying stochastic processes, while decomposable models consider more complex systems and analyse them through subsystems. Petri nets and dataflow graphs facilitate the analysis of complex systems by providing a convenient framework for reliability analysis.     

Ensuring primary realization of pressure unit in the vacuum range without typically utilized static expansion system

After the break-up of Czechoslovakia in 1993 the primary metrological standards authority almost fully remained in Slovakia. So we had to build our primary vacuum metrology anew. But we could do it using uptodate techniques that are more effective and they enable us to fulfil our task more effectively and in a shorter time.The steady demand to widen the lower pressure range and a steady demand for maximal accuracy collide with the financial possibilities open to a small country. So it is impossible to follow the classical pattern for the vacuum standards: liquid columns, static expansion system and dynamic expansion system. But it is possible to utilize contemporary progress in construction of piston manometers. This enables us to discard liquid column and static expansion techniques in favour of piston technique [Tesar J, Prazak D. Vacuum 2002; 67: 311, Tesar J, Prazak D, Krajicek Z. In:Proceedings of international symposium on Pressure and Vacuum, 2003. p. 169, Tesar J, Repa P, Prazak D, Krajicek Z, Peksa L. Vacuum 2004; 76: 491.]. Such system fulfils all the needs of a little industrial country and is economically acceptable.     

Assessment of Highway Bridge Upgrading by Dynamic Testing and Finite-Element Model Updating

The Land Transport Authority of Singapore has a continuing program of highway bridge upgrading for refurbishing and strengthening bridges to allow for increasing vehicle traffic and increasing axle loads. One subject of this program has been a short-span bridge taking a busy main road across a coastal inlet near a major port facility. Experiment-based structural assessments of the bridge were conducted before and after upgrading works including strengthening. Each assessment exercise comprised three separate components: (1) a strain and acceleration monitoring exercise lasting approximately one month; (2) a full-scale dynamic test carried out in a single day without closing the bridge; and (3) a finite-element model updating exercise to identify structural parameters and mechanisms. This paper presents the dynamic testing and the modal analysis used to identify the vibration properties and the quantification of the effectiveness of the upgrading through the subsequent model updating. Before and after upgrade, similar sets of vibration modes were identified, resembling those of an orthotropic plate with relatively weak transverse bending stiffness. Conversion of bearings from nominal simple supports to nominal full fixity was shown via model updating to be the principal cause of natural frequency increases of up to 50%. The utility of the combined experimental and analytical process in direct identification of structural properties has been proven, and the procedure can be applied to other structures and their capacity assessments.     

Microscale and mesoscale discrete models for dynamic fracture of structures built of brittle material

In this work we present the discrete models for dynamic fracture of structures built of brittle materials. The models construction is based on Voronoi cell representation of the heterogeneous structure, with the beam lattice network used to model the cohesive and compressive forces between the neighboring cells. Each lattice component is a geometrically exact shear deformable beam which can describe large rigid body motion and the most salient fracture mechanisms. The latter can be represented through the corresponding form of the beam constitutive equations, which are derived either at microscale with random distribution of material properties or at a mesoscale with average deterministic values. The proposed models are also placed within the framework of dynamics, where special attention is paid to constructing the lattice network mass matrix as well as the corresponding time-stepping schemes. Numerical simulations of compression and bending tests is given to illustrate the models performance.     

高速供送螺杆动态性能评价体系的建构

随着设备高速化的日益发展，传统的螺杆设计方法及相应的供送特性评价体系已显落后。参照蜗型凸轮动力学性能的评价方法，建立了高速供送螺杆的动态性能评价体系，为高速化供送螺杆的设计提供了性能参照指标。     

Correlation between quasi-static and dynamic crack resistance curves

The correlation between the crack resistance measured from dynamic and quasi-static J-R tests has been investigated based on test data from instrumented Charpy impact tests and quasi-static single edge notched bend (SENB) J-R tests.The method originally proposed by Aurich et al. [Analyse und Weiterentwicklung Bruchmechanischer versagenskonzepte--Lokales Risswachstum, Ermittlung des Risswiderstandsverhaltens aus der Kerbslagarbeit. BAM Forschungsbericht 192, Berlin 1993, ISBN 3-89429-329-2], to develop a correlation coefficient between the net fracture resistance of Charpy V-notch (ISO) and quasi-static compact tension tests, was extended to establish correlations between so-called ductile-brittle transition fracture resistance curves obtained from instrumented Charpy V-notched (ISO) and fatigue precracked impact tests and quasi-static SENB J-R fracture resistance tests.The correlation between the dynamic and quasi-static crack resistance with regard to practical application to fracture assessments appears to be reasonably consistent, bearing in mind the inherent scatter in crack resistance data in general. The findings of the present research project from testing of ship grade NVE 36 and pressure vessel steel to ASTM A516 Gr. 70 as well as two weldments in the NVE 36 steel, are in excellent agreement with the results of the research conducted by Aurich et al. [Analyse und Weiterentwicklung Bruchmechanischer versagenskonzepte--Lokales Risswachstum, Ermittlung des Risswiderstandsverhaltens aus der Kerbslagarbeit. BAM Forschungsbericht 192, Berlin 1993, ISBN 3-89429-329-2] for structural and pressure vessel steels to the German DIN standard steels including St 52-3, StE 355 and StE 460.     

Parallelization of WHILE loops on pipelined architectures

Modulo scheduling theory can be applied successfully to overlap Fortran DO loops on pipelined computers issuing multiple operations per cycle both with and without special loop architectural support. This paper shows that a broader class of loops—REPEAT-UNTIL, WHILE, and loops with more than one exit, in which the trip count is not known beforehand—can also be overlapped efficiently on multiple-issue pipelined machines. The approach is described with respect to a specific machine model, but it can be extended to other models. Special features in the architecture, as well as compiler representations for accelerating these loop constructs, are discussed. Performance results are presented for a few select examples.An earlier version of this paper was presented at Supercomputing '90.     

Dreamweaver UltraDev环境下实现数据库的动态链接

简要论述了如何在Dreamweaver UltraDev环境下实现对已有的Access或Excel数据库的动态链接的操作。在Dreamweaver UltraDev环境下，实现对企业、事业单位原有Access或Excel数据库的动态链接，可以在很短的时间内开发出符合单位实际情况的信息管理系统，并且可以使这类已经创建好的数据信息，不加任何修改地与外部进行交流，实现资源共享。将此系统以主页的形式链入Internet，可以实现开放式管理体系。     

不含4圈的最大简单图边数的下界

证明了具有不小于6个顶点的不包含4圈的简单图的最大可能边数的下界是2n-5。