贮氢材料在兵器中的潜在应用

论述了用高技术贮氢材料的某些功能来改造现有的兵器，以及在研制新型兵器中，引入高技术新材料。为某些兵器所面临的技术难题，指出了有效的解决途径。     

包装纸箱/纸盒三维结构模型研究

计算机辅助三维包装结构设计是包装结构设计的发展必由之路。文章从包装纸盒纸箱的拓扑信息和几何信息两方面进行考虑，以面、边、点为基础研究了纸盒纸箱三维结构模型。并利用此模型实现了纸盒纸箱的基于线柜和面计算机三维表示。     

Dynamic Behavior of Steel Deck Tension-Tied Arch Bridges to Seismic Excitation

The dynamic responses of steel deck, tension-tied, arch bridges subjected to earthquake excitations were investigated. The 620 ft (189 m) Birmingham Bridge, located in Pittsburgh, was selected as an analytical model for the study. The bridge has a single deck tension-tied arch span and is supported by two bridge piers, which in turn are supported by the pile foundations. Due to the complex configuration of the deck system, two analytical models were considered to represent the bridge deck system. Using the normal mode method, seismic responses were calculated for two bridge models and the results were compared with each other. Three orthogonal records of the El Centro 1940 earthquake were used as input for the seismic response analysis. The modal contributions were also checked in order to obtain a reasonable representation of the response and to minimize computational cost. Displacements and stresses at the panel points of the bridge are calculated and presented in graphical form.     

On the two-dimensionality of potential problems in thin conducting films

The problem whether a potential distribution in a thin conducting film can be treated as a two-dimensional one is investigated. It is shown that for a lightly doped semiconductor the results obtained from a two-dimensional analysis may be doubtful.     

Module size: A standard or heuristic?

Current and proposed national software development specifications include module size limits in the form of an upper bound per module and an average for a group of modules. This paper claims that commonly specified limits such as 200 executable source statements have little practical value for programmers, and that the limits have not been validated. Module size guidelines based on corresponding complexity are derived for identifying extremly long modules, and are recommended for use by software quality engineers in monitoring development methodologies and by test engineers during preacceptance testing. Finally, research to derive a lower bound guideline for module size is recommended.     

An experiment with affirm and HDM

Comparing the usefulness of methodologies for software development can be especially difficult when the services offered are based on different philosophies. Two systems, Affirm and HDM, were compared for their application to operation system security analysis. The assessment technique was to specify and analyze for security flaws on both systems a miniature example of a security kernel. The specification languages are at the opposite poles of the range from algebraic axioms to transition specifications. The types of security properties that could be verified with the tools available were access policy invariants and information flows. One theorem prover was highly interactive and the other nearly automatic. We found that the example could be specified satisfactorily and recognizably on both systems with a comparable amount of effort. The security analyses, on the other hand, led to very different verification tasks and different results. The two results were complementary rather than contradictory, and some additional experimentation, guided by theoretical suspicions, showed the exact relationship between them.     

A UNIFIED APPROACH TO THE STUDY OF SUMS, PRODUCTS, TIME-AGGREGATION AND OTHER FUNCTIONS OF ARMA PROCESSES

Abstract. Conditions under which sums, products and time-aggregation of ARMA processes follow ARMA models are derived from a single theorem. This characterizes these processes in terms of difference equations satisfied by their autocovariance function. From this we obtain necessary and sufficient conditions for a function of a Gaussian ARMA process and the product of two possibly dependent Gaussian ARMA processes to be ARMA. We show that the sum and product of two ARMA processes related by a Box and Jenkins transfer function model belong to the ARMA family.     

Correct: A simulated text editor

This paper describes a project to write a simulator for the native mode text editor of one computer, which could be run on a different computer. This was done to give a user of both computers a common editing language. The method of design and construction is presented together with brief details of the syntax and semantics of the editing language.