Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “type theory”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 217 records · Page 12

SimCheck: An Expressive Type System for Simulink

MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical systems. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We extend the type system of Simulink with annotations and dimensions/units associated with ports and links. These types can capture invariants on signals as well as relations between signals. We define a type-checker that checks the wellformedness of Simulink blocks with respect to these type annotations. The type checker generates proof obligations that are solved by SRI's Yices solver for satisfiability modulo theories (SMT). This translation can be used to detect type errors, demonstrate counterexamples, generate test cases, or prove the absence of type errors. Our work is an initial step toward the symbolic analysis of MATLAB Simulink models.

Roy, Pritam↗

On the 2018 Outburst of the Accreting Millisecond X-Ray Pulsar Swift J1756.9-2508 As Seen with NICER

We report on the coherent timing analysis of the 182 Hz accreting millisecond X-ray pulsar SwiftJ1756.92508during its 2018 outburst as observed with the Neutron Star Interior Composition Explorer (NICER). Combiningour NICER observations with Rossi X-ray Timing Explorer observations of the 2007 and 2009 outbursts, we alsostudied the long-term spin and orbital evolution of this source. We find that the binary system is well describedby a constant orbital period model, with an upper limit on the orbital period derivative of Pb < 7.4 ´ 10-13 ss1.Additionally, we improve upon the source coordinates through astrometric analysis of the pulse arrival times,finding R.A.=17h56m57 18±0 08 and decl.=25°0627 8±3 5, while simultaneously measuring thelong-term spin frequency derivative as n = -7.3 ´ 10-16 Hzs1. We briefly discuss the implications of thesemeasurements in the context of the wider population of accreting millisecond pulsars. We reported on the coherent timing analysis of the 2018 outburst of Swift J1756 as observed with NICER. Consistent with analyses of the previous outbursts (Krimm et al. 2007b; Patruno et al. 2010), we find that the X-ray pulsations have energy dependent amplitudes; the fractional amplitude of the fundamental increases with energy, whereas the fractional amplitude of the harmonic shows a slight decline with energy. This energy dependent behavior is not unusual in AMXPs (Patruno & Watts 2012) and can be interpreted in terms of the thermal emission from the stellar hotspot and reprocessing in the accretion column (e.g., Gierliński et al. 2002; Ibragimov & Poutanen 2009). The pulse arrival times of the 2018 outburst are well described by a timing model consisting of a circular orbit with a constant spin frequency. The pulse phases with respect to this model do not show spurious residuals with time or orbital phase, and no evidence is found that the pulse arrival times exhibit an additional delay associated with passing through the gravitational well of the companion star (Shapiro delay). We note, however, that the expected Shapiro delay is given as (Shapiro et al. 1971) Equation (5) where Φ is the orbital phase, G is the gravitational constant, c is the speed of light, and i is the inclination. Even for the maximum allowed companion mass, ${M}_{C}=0.030\,{M}_{\odot }$ (Krimm et al. 2007b, but see Section 4.2 for more details) and an inclination of 90°, the largest delay we can expect is only 4 μs. As this time-delay is smaller than the uncertainty on our phase residuals by nearly two orders of magnitude (see Figure 1), we are not sensitive to Shapiro delays in Swift J1756. Comparing our measurements for the 2018 outburst with those of the 2007 and 2009 outbursts as observed with RXTE, we analyzed the long-term evolution of this source. We found that the binary system is consistent with having a constant orbital period and that the pulsar shows a spin frequency derivative of $\dot{\nu }=-7.3\times {10}^{-16}\,\mathrm{Hz}\,{{\rm{s}}}^{-1}$. 4.1. Spin-down Evolution The long-term spin frequency derivative measured in Swift J1756 is of the same order as the spin frequency derivatives measured in other AMXPs (Hartman et al. 2008; Patruno 2010; Riggio et al. 2011). This frequency change is most likely driven by the neutron star's loss of rotational energy. If so, then the spin-down luminosity is given as Equation (6) where I represents the neutron star moment of inertia. The long-term spin-down of a neutron star is usually assumed to be dominated by the braking torque associated with a spinning magnetic field. Assuming this mechanism is responsible for the observed spin-down in Swift J1756, we can compute the magnetic dipole moment as (Spitkovsky 2006) Equation (7) where α is the misalignment angle between the rotational and magnetic poles. Considering α = 0°–90°, we then find a magnetic field strength of $B\simeq (4\mbox{--}6)\times {10}^{8}$ G at the stellar magnetic poles. This magnetic field strength estimate is in line with those obtained for other accreting millisecond pulsars (see Mukherjee et al. 2015 and references therein). 4.2. Orbit Evolution The observed long-term binary evolution of Swift J1756 is consistent with this source having a constant orbital period and a lower limit on the evolutionary timescale of Equation (8) Binary evolution theory predicts that systems of this type evolve due to angular momentum loss through gravitational radiation (Kraft et al. 1962; Rappaport et al. 1982; Verbunt 1993). For conservative mass transfer, the binary period derivative is given by di Salvo et al. (2008), Equation (9) where MNS is the neutron star mass, $q={M}_{C}/{M}_{\mathrm{NS}}$ is the binary mass ratio, and −1/3 < n < 1 is the mass–radius index of the companion star. Depending on the source inclination, Krimm et al. (2007b) derived a companion mass of ${M}_{C}\,=0.007\mbox{--}0.022\,{M}_{\odot }$ for a neutron star mass of 1.4 ${M}_{\odot }$. For a neutron star mass of 2.2 ${M}_{\odot }$, the allowed range increased to ${M}_{C}=0.009\mbox{--}0.030\,{M}_{\odot }$. In both cases, they assumed an upper limit on the inclination of i < 85°, motivated by the fact that Swift J1756 does not show eclipses in its light curve. Accounting for the extreme cases of stellar masses and n, the binary may either be contracting or expanding. In either case, however, the rate of change is limited to $| {\dot{P}}_{b}| \lesssim 7\times {10}^{-14}$ s s−1, which is well below the upper limit obtained in this work. Although the binary evolution timescale we obtain for Swift J1756 is consistent with theory, it is worth noting that this is not generally true for low-mass X-ray binaries (see Patruno et al. 2017, for a comprehensive discussion). The AMXP SAX J1808.4–3658, in particular, has been found to evolve on a much shorter timescale, with a first derivative on the orbital period of $3.5\times {10}^{-12}$ s s−1 (Hartman et al. 2008; Patruno et al. 2012; Sanna et al. 2017a). Two models have been proposed to explain this discrepancy: highly nonconservative mass transfer due to irradiation of the companion star by the pulsar (di Salvo et al. 2008; Burderi et al. 2009), and spin–orbit coupling in the companion star (Hartman et al. 2008, 2009). While the latter depends on the companion star, and may vary from source to source, the former should operate in all AMXPs (see also Patruno 2017; Sanna et al. 2017c), including Swift J1756. The spin-down luminosity impinging on the companion star can be estimated as Equation (10) where ${\dot{E}}_{\mathrm{abl}}$ is the ablation luminosity, RL2 is the Roche lobe radius of the companion (Eggleton 1983), and a the binary separation. The irradiation fraction is $f={\dot{E}}_{\mathrm{abl}}/{\dot{E}}_{\mathrm{sd}}$, which, accounting for the range of allowed neutron star and companion masses, evaluates to f = 0.15%–0.35%. The associated mass loss for the companion is given by Equation (11) such that, assuming an efficiency of η = 100%, ${\dot{M}}_{C}\,\sim -3\times {10}^{-10}\,{M}_{\odot }$ yr−1. The effect of this mass loss on the orbital period follows through the relation (Frank et al. 2002) Equation (12) giving a period derivative due to mass loss of ${\dot{P}}_{b,\mathrm{ML}}\,=5\times {10}^{-12}$ s s−1. This value is well above our limit on the period derivative. Hence, in order for this mechanism to be consistent with our observations of Swift J1756, the efficiency at which the companion star converts the incident luminosity into mass loss must be η < 15%. This value is very different from the 40% required in SAX J1808.4–3658 (Patruno et al. 2016) and is instead in line with the <5% efficiency determined for IGR J00291+5934 (Patruno 2017). This work was supported by NASA through the NICER mission and the Astrophysics Explorers Program, and made use of data and software provided by the High Energy Astrophysics Science Archive Research Center (HEASARC). P.B. was supported by an NPP fellowship at NASA Goddard Space Flight Center. D.A. acknowledges support from the Royal Society.

Bult, Peter↗

An assessment of preliminary aerodynamic analysis methods for supersonic speeds including high angle-of-attack flow

The problems associated with predicting the aerodynamic loads for moderate supersonic Mach number, high angle-of-attack flows and for high supersonic Mach number flows are addressed. For these large disturbance-type flows, commonly used prediction methods based on linearized theory or on the tangent-wedge method are shown to be generally inadequate. For the preliminary analysis of aerodynamic shapes subjected to these type flows, two methods have recently been developed by combining features of the linearized theory and tangent-wedge method. These two new methods are discussed, and through extensive comparisons with experimental data, are shown to offer an improved prediction capability.

Pittman, J. L.↗

Inflation in Einstein-Cartan theory with energy-momentum tensor with spin

Generalized, or power-law, inflation is shown to necessarily exist for a simple, anisotropic (Bianchi Type I) cosmology in the Einstein-Cartan gravitational theory with the Ray-Smalley (RS) improved energy-momentum tensor with spin. Formal solution of the EC field equations with the fluid equations of motion explicitly shows inflation caused by the RS spin angular kinetic energy density.

Fennelly, A. J.↗

Gaussian variational equations for osculating elements of an arbitrary separable reference orbit.

Lagrange-type equations are often used in planetary theory and sometimes in satellite theory. The equations express the variation of osculating Keplerian elements in terms of derivatives of a disturbing function or a perturbing potential. When the perturbing force is derivable from a potential, it is possible to convert the Lagrange-type equations to another form. This form, usually, attributed to Gauss, contains the perturbing forces instead of the derivatives of the potential. The case of an arbitrary separable reference orbit is discussed together with a lemma, a Keplerian check, and questions of the applicability of the equations to the spheroidal method.

Vinti, J. P.↗

Planning and Monitoring Multi-Job Type Swarm Search and Service Missions

To transition from control theory to real applications, it is important to study missions such as Swarm Search and Service (SSS) where vehicles are not only required to search an area, but also service all jobs that they find. In SSS missions, each type of job requires a group of vehicles to break off from the swarm for a given amount of time to service it. The required number of vehicles and the service rate are unique to each job type. Once a job has been completed, the vehicles are able to return to the swarm for use elsewhere. If not, enough vehicles are present in the swarm at the time that the job is identified, that job is dropped without being serviced. In SSS missions that occur in open environments, the arrival rate of jobs varies dynamically as vehicles move in and out of the swarm to service jobs. Human operators are tasked with effectively planning and managing these complex missions. This paper presents a user study that seeks to test the efficacy and ease-of-use of a prediction model known as the Hybrid Model as an aid in planning and monitoring tasks. Results show that the novel computational model aid allows operators to more effectively choose the necessary swarm size to handle expected mission workload, as well as, maintain sufficient situation awareness to evaluate the performance of the swarm during missions.

swarm search and service↗

Inevitable inflation in Einstein-Cartan theory with improved energy-momentum tensor with spin

Generalized, or power-law, inflation is shown to necessarily exist for a simple, anisotropic, (Bianchi Type-1) cosmology in the Einstein-Cartan gravitational theory with the Ray-Smalley improved energy momentum tensor with spin. Formal solution of the EC field equations with the fluid equations of motion explicitly shows inflation caused by the RS spin angular kinetic energy density. Shear is not effective in preventing inflation in the ECRS model. The relation between fluid vorticity, torsion, reference axis rotation, and shear ellipsoid precession shows through clearly.

Fennelly, A. J.↗

Circuit model for characterizing the nearly linear behavior of avalanche diodes in amplifier circuits

A nonlinear circuit model for avalanche diodes is proposed. The model was derived by assuming that the bias dependence of the elements in a known small-signal equivalent-circuit model for existing diodes arises in a manner consistent with the theory of an idealized Read-type device. The model contains a nonlinear R-L branch, a controlled source, and a linear depletion capacitance. The model is used in the nearly linear sense to predict intermodulation distortion and gain compression in avalanche diode amplifiers. Computed results for amplifiers with existing diodes are shown to be in good agreement with experiment.

Penfield, P., Jr.↗

A circumferential crack in a cylindrical shell under tension.

A closed cylindrical shell under uniform internal pressure has a slit around a portion of its circumference. Linear shallow shell theory predicts inverse square-root-type singularities in certain of the stresses at the crack tips. This paper reports the computed strength of these singularities for different values of a dimensionless parameter based on crack length, shell radius and shell thickness.

Duncan-Fama, M. E.↗

A report on the gravitational redshift test for non-metric theories of gravitation

The frequencies of two atomic hydrogen masers and of three superconducting cavity stabilized oscillators were compared as the ensemble of oscillators was moved in the Sun's gravitational field by the rotation and orbital motion of the Earth. Metric gravitation theories predict that the gravitational redshifts of the two types of oscillators are identical, and that there should be no relative frequency shift between the oscillators; nonmetric theories, in contrast, predict a frequency shift between masers and SCSOs that is proportional to the change in solar gravitational potential experienced by the oscillators. The results are consistent with metric theories of gravitation at a level of 2%.

Source record↗

Aerodynamic preliminary analysis system 2. Part 2: User's manuals

An aerodynamic analysis system based on potential theory at subsonic/supersonic speeds and impact type finite element solutions at hypersonic conditions is described. Three dimensional configurations having multiple nonplanar surfaces of arbitrary planform and bodies of noncircular contour may be analyzed. Static, rotary, and control longitudinal and lateral directional chracteristics may be generated. The analysis has been implemented on a time sharing system in conjunction with an input tablet digitizer and an interactive graphics input/output display and editing terminal to maximize its responsiveness to the preliminary analysis problem. Typical simulation indicates that program provides an efficient analysis for systematically performing various aerodynamic configuration tradeoff and evaluation studies.

Divan, P.↗

Application of a full potential method for computation of three-dimensional supersonic flows

A nonlinear aerodynamic analysis technique based on the full potential equation in conservative form has been modified to permit treatment of supersonic flows with embedded subsonic regions (typically near the fuselage-canopy juncture and the wing leading edge). Solution procedures for the equations do not require any specific form of geometry or physical grid system. This results in the capability to analyze easily very complex geometries provided the posed problem lies within the isentropic restrictions of the full potential theory. Characteristic signal propagation theory is used to monitor the type dependent flow and a conservative switching scheme is employed to transition from the supersonic marching algorithm to a subsonic relaxation procedure and vice versa. An implicit approximate factorization scheme is used to solve the finite-difference equations. These modifications now permit analysis of fully three-dimensional flowfields including the interference effects due to lifting surface wakes. Improved grid generation capability allows analysis of complete complex aircraft geometries (fuselage, wing, tail, wing wake, and tail wake). Results are presented showing very good correlations with experimental surface pressure data and aerodynamic force data at both design and off-design operating points. Configurations examined include several waverider concepts, an arrow wing-body with wake, an advanced tactical fighter concept, and a fighter forebody-canard configuration.

Jones, K. M.↗

Microstrip antennas for dual-frequency operation

Single element microstrip antenna for dual-frequency operation have been investigated. By placing shorting pins at appropriate locations in the patch, the ratio of two-band frequencies can be varied from 3 to 1.8. In many applications a smaller ratio is desired, and this can be achieved by introducing slots in the patch. In so doing, the ratio can be reduced to less than 1.3. For this type of antenna, a hybrid multiport theory is developed and theoretical results are found to be in excellent agreement with the measured.

Wang, B. F.↗

Ion energy storage for post-flare loops

Low-energy non-thermal protons may have long lifetimes in coronal loops with low density and high temperature. If energy were stored in such protons in the initial phases of a solar flare, it could be released slowly during the later phases. Within the present observational limits for post-flare loops, this mechanism should be considered in addition to a field-line reconnection theory of the Kopp and Pneuman type. The thin-target gamma ray emission from the trapped protons is below present limits, but more sensitive observations can test the hypothesis.

Hudson, H. S.↗

Experimental study of three-dimensional separated flow surrounding a hemisphere-cylinder at incidence

Detailed experimental surface pressure coefficient measurements, obtained for a hemisphere-cylinder-flare model in a low supersonic flow (freestream M = 1.2) at various angles of attack (0 deg to 27.5 deg), have been analyzed. The pressure values for each angle of attack were smoothed and checked against their respective oil-flow photographs. The smoothed results were then used to validate a theory which relates the number and type of singular points observed in the oil-flow patterns with local surface-pressure extrema.

Meade, Andrew J., Jr.↗

Noninteractive macroscopic reliability model for ceramic matrix composites with orthotropic material symmetry

A macroscopic noninteractive reliability model for ceramic matrix composites is presented. The model is multiaxial and applicable to composites that can be characterized as orthotropic. Tensorial invariant theory is used to create an integrity basis with invariants that correspond to physical mechanisms related to fracture. This integrity basis is then used to construct a failure function per unit volume (or area) of material. It is assumed that the overall strength of the composite is governed by weakest link theory. This leads to a Weibull type model similar in nature to the principle of independent action (PIA) model for isotropic monolithic ceramics. An experimental program to obtain model parameters is briefly discussed. In addition, qualitative features of the model are illustrated by presenting reliability surfaces for various model parameters.

Duffy, Stephen F.↗

Static and free-vibrational response of semi-circular graphite-epoxy frames with thin-walled open sections

Experiments were conducted to measure the three-dimensional static and free vibrational response of two graphite-epoxy, thin-walled, open section frames. The frames are semi-circular with a radius of three feet, and one specimen has an I cross section and the other has a channel cross section. The flexibility influence coefficients were measured in static tests for loads applied at midspan with the ends of the specimens clamped. Natural frequencies and modes were determined from vibrational tests for free and clamped end conditions. The experimental data is used to evaluate a new finite element which was developed specifically for the analysis of curved, thin-walled structures. The formulation of the element is based on a Vlasov-type, thin-walled, curved beam theory. The predictions from the finite element program generally correlated well with the experimental data for the symmetric I-specimen. Discrepancies in some of the data were found to be due to flexibility in the clamped end conditions. With respect to the data for the channel specimen, the correlation was less satisfactory. The finite element analysis predicted the out-of-plane response of the channel specimen reasonably well, but large discrepancies occurred between the predicted in-plane response and the experimental data. The analysis predicted a much more compliant in-plane response than was observed in the experiments.

Collins, J. Scott↗