Coalgebra morphisms subsume open maps

We relate two abstract notions of bisimulation, induced by open maps and by coalgebra morphisms, respectively. We show that open maps correspond to coalgebra morphisms for a suitable chosen endofunctor in a category of many sorted sets. This demonstrates that the notion of open-maps bisimilarity is of essentially coalgebraic nature. A central role in our development is played by a category of presheaves, which we show as corresponding to the subcategory of consistent coalgebras with lax cohomomorphisms.     

Tg/Tm for unsubstituted polymers

Polymers under discussion can be represented by [CH₂)_nR]_p where R is CH₂, CF₂, O, S or CH = CH; and where n can vary from 0 to ∞. The copolymer, P(ethylene-alt-TFE) is also included. These polymers tend to be highly crystalline with resultant confusion about their Tg and hence their Tg/Tm values and a clarification scheme is proposed in which it is considered that each such polymer has a double glass transition, Tg(L)/f(χ_c), Tg(U) = F(χc); and a sub-glass T<Tg(L) at 0.75 Tg(L), where F(χc) signifies a function of fractional crystallinity, χ_c. T<Tg(L) and Tg(L) increase linearly with Tm. The ratio, Tg(L)/Tm, is therefore, not a constant but is close to 0.5. T<Tg(L)/Tg(L) is also not a constant but is close to 0.75. Tg(U) lies within a wedge whose top and bottom sides increase with Tm. The premelting, intracrystalline transition temperature, Tα_c, is also a linear function of Tm. It is suggested that the scheme outlined above should help to resolve uncertainties in assigning transition temperatures for unsubstituted polymers. The low Tg/Tm values for these polymers is discussed in terms of their small da/dc ratios and small crosssectional areas per chain.     

Group parity prediction scheme for concurrent testing of linear feedback shift registers

A group parity prediction scheme which can be used for concurrent testing of linear feedback shift register circuits is described.     

Ultimate strength analysis of structural components using the continuum damage mechanics approach

In this study, an analytical model is developed to include the effect of material fracture on the overall behavior of a structure. The continuum damage mechanics approach is used to describe the continuous deterioration of the material stiffness that leads to total failure. The damage evolution is assumed to be anisotropic and the effect of the triaxiality of stress on the fracture criterion is included in the analysis. The above modifications were applied to an existing finite element program which is capable of including both geometric and material nonlinearities in the analysis. The program was used to analyze a welded tubular connection (T-joint). This joint was chosen because fracture was shown experimentally to control its ultimate behavior. Solid finite elements were used to model the chord and the branch in the intersection region, wedge elements were used for the weld profile, and the rest of the geometry was modeled using shell elements. The joint was subjected to an increasing amount of displacement at the far end of the branch. The loading was continued until total failure. During this process, the evolution of the damage and its propagation were monitored. Divergence of the solution was obtained at a failure load of 42.4 kips compared to 44.0 kips obtained experimentally. In addition, the failure mode of the joint predicted by the analysis was identical to that observed experimentally.     

Gamma sensitivity of ionization chambers

Translated from Atomnaya Énergiya, Vol. 66, No. 6, pp. 421–423, June, 1989.     

Error of measurement of coolant temperature in VVÉR-440 reactor

Translated from Atomnaya Énergiya, Vol. 67, No. 5, pp. 358–359, November, 1989.     

Pulse surface wave generator of millimeter band wavelength

Theoretical and experimental studies of high-power, relativistic surface-wave microwave Cherenkov generators are briefly considered. Some simulation and experiment results included, the experimentation being made in mm-wave region.     

Integrating heterogeneous distributed COTS discrete-event simulation packages: an emerging standards-based approach

This paper reports on the progress made toward the emergence of standards to support the integration of heterogeneous discrete-event simulations (DESs) created in specialist support tools called commercial-off-the-shelf (COTS) discrete-event simulation packages (CSPs). The general standard for heterogeneous integration in this area has been developed from research in distributed simulation and is the IEEE 1516 standard The High Level Architecture (HLA). However, the specific needs of heterogeneous CSP integration require that the HLA is augmented by additional complementary standards. These are the suite of CSP interoperability (CSPI) standards being developed under the Simulation Interoperability Standards Organization (SISO-http://www.sisostds.org) by the CSPI Product Development Group (CSPI-PDG). The suite consists of several interoperability reference models (IRMs) that outline different integration needs of CSPI, interoperability frameworks (IFs) that define the HLA-based solution to each IRM, appropriate data exchange representations to specify the data exchanged in an IF, and benchmarks termed CSP emulators (CSPEs). This paper contributes to the development of the Type I IF that is intended to represent the HLA-based solution to the problem outlined by the Type I IRM (asynchronous entity passing) by developing the entity transfer specification (ETS) data exchange representation. The use of the ETS in an illustrative case study implemented using a prototype CSPE is shown. This case study also allows us to highlight the importance of event granularity and lookahead in the performance and development of the Type I IF, and to discuss possible methods to automate the capture of appropriate values of lookahead.     

A stacking mechanism for setting bills upright in an automated teller machine

 To deal with circulated bills in various conditions regarding size, shape, and rigidity, we have developed a new bill-stacking cassette that can accept and re-dispense various-sized bills. This cassette stacks the bills upright by using deforming guides and sheet rollers under our newly developed “phase control”. It was experimentally verified by stacking tests that the cassette can handle bills in various conditions; thus, we conclude that the new cassette is practical for stacking circulated bills and re-dispensing them securely. Received: 14 August 2001/Accepted: 11 December 2001