An exact high order beam element

This work gives the exact stiffness coefficients for an high order isotropic beam element. The terms are found directly from the solutions of the differential equations that describe the deformations of the cross-section according to the high order theory, which include cubic variation of the axial displacements over the cross-section of the beam. The model has six degrees of freedom at the two ends, one transverse displacement and two rotations, and the end forces are a shear force and two end moments. Also given are the equivalent end forces and moments for several cases of loading along the member. The components of the end moments are investigated, and are found for exact results. Comparison is made with the Bernoulli-Euler and Timoshenko beam models.     

Random 3-SAT: The Plot Thickens

This paper presents an experimental investigation of the following questions: how does the average-case complexity of random 3-SAT, understood as a function of the order (number of variables) for fixed density (ratio of number of clauses to order) instances, depend on the density? Is there a phase transition in which the complexity shifts from polynomial to exponential in the order? Is the transition dependent or independent of the solver? Our experiment design uses three complete SAT solvers embodying different algorithms: GRASP, CPLEX, and CUDD. We observe new phase transitions for all three solvers, where the median running time shifts from polynomial in the order to exponential. The location of the phase transition appears to be solver-dependent. GRASP shifts from polynomial to exponential complexity near the density of 3.8, CPLEX shifts near density 3, while CUDD exhibits this transition between densities of 0.1 and 0.5. This experimental result underscores the dependence between the solver and the complexity phase transition, and challenges the widely held belief that random 3-SAT exhibits a phase transition in computational complexity very close to the crossover point.     

Reasoning about Knowledge: A Response by the Authors

Minds and Machines -     

The Breakdown of Migdal's Theorem and the Divergence of Electron Polarizations in HTSC

We assume that Fermi surface nesting is a common feature in all oxide high temperature superconductors (HTSC) of perovskite or layered-perovskite structure. We show that this feature results in the breakdown of the Migdal's theorem, and the singularity of some electronic polarizations. These singularities trigger various kinds of instabilities in these materials.     

The Dipole Correction Method for Extracting Excited State Potentials and Electronic Transition Dipoles from Fluorescence Data

We have developed a new inversion scheme for the accurate extraction of excited state potentials from fluorescence line positions and line strengths which does not make use of the Franck Condon Approximation (FCA). Our “dipole correction” method also enables the extraction of the coordinate dependence of the electronic transition dipoles. The accuracy of the potential energy surfaces (PES) thus extracted is much higher than that of the FCA- derived PES. The procedure, illustrated for the Na₂ A(¹Σ⁺_u) → X(¹Σ⁺_g) P-branch emission, results in global errors of 0.1 cm⁻¹, and average errors near the PES minimum of 0.03 cm⁻¹, with A → X electronic transition dipole function accuracies better than 1×10⁻³ Debye. We also show that it is possible to use emission data from a few select states: Global errors as small as 0.08 cm⁻¹ for the Na₂ B(¹Π_u) PES, using emissions data from only the s=0–5 low-lying levels or the s=20–23 states, are demonstrated.     

Combinatorial Optimization and Performance Analysis of a Multi-arm Cartesian Robotic Fruit Harvester—Extensions of Graph Coloring

A mobile melon robotic harvester consisting of multiple Cartesian manipulators, each with three degrees of freedom, is being developed. In order to design an optimal robot in terms of number of arms, manipulator capabilities, and robot speed, a method of allocating the fruits to be picked by each manipulator in a way that yields the maximum harvest has been developed. Such a method has already been devised for a multi-arm robot with 2DOF each. The maximum robotic harvesting problem was shown there to be an example of the maximum k-colorable subgraph problem (MKCSP) on an interval graph. However, for manipulators with 3DOF, the additional longitudinal motion results in variable intervals. To overcome this issue, we devise a new model based on the color-dependent interval graph (CDIG). This enables the harvest by multiple robotic arms to be modeled as a modified version of the MKCSP. Based on previous research, we develop a greedy algorithm that solves the problem in polynomial time, and prove its optimality using induction. As with the multi-arm 2DOF robot, when simulated numerous times on a field of randomly distributed fruits, the algorithm yields a nearly identical percentage of fruit harvested for given robot parameters. The results of the probabilistic analysis developed for the 2DOF robot was modified to yield a formula for the expected harvest ratio of the 3DOF robot. The significance of this method is that it enables selecting the most efficient actuators, number of manipulators, and robot forward velocity for maximal robotic fruit harvest.     

2011 CAV award announcement

The 2011 CAV (Computer-Aided Verification) Award was presented on July 17, 2011 at the 23rd annual CAV conference in Snowbird, Utah to Thomas Ball and Sriram Rajamani of Microsoft Research for their contributions to software model checking, specifically the development of the SLAM/SDV software model checker, which successfully demonstrated computer-aided verification techniques on real programs.     

Temporal property verification as a program analysis task

We describe a reduction from temporal property verification to a program analysis problem. First we present a proof system that, unlike the standard formulation, is more amenable to reasoning about infinite-state systems: disjunction is treated by partitioning, rather than enumerating, the state space and temporal operators are characterized with special sets of states called frontiers. We then describe a transformation that, with the use of procedures and nondeterminism, enables off-the-shelf program analysis tools to naturally perform the reasoning necessary for proving temporal properties (e.g. backtracking, eventuality checking, tree counterexamples for branching-time properties, abstraction refinement, etc.). Using examples drawn from the PostgreSQL database server, Apache web server, and Windows OS kernel, we demonstrate the practical viability of our work.     

Analysis of variance in capillary rheometry

The effect of deformation history (hysteresis) on transient capillary rheometric data was studied compared to conventional assumptions regarding steady state data. The factors studied were: the position instrumentation, the pressure instrumentation, entrance and exit effects, polymer melt compressibility, pressure dependence of the viscosity, and polymer melt viscous heating. Statistical analysis of variance was performed to statistically determine the sources of variance to specific degrees of confidence. The polymer melt compressibility, pressure dependence, and viscous heating were found to be statistically significant contributors of the observed variation at the 95% confidence level; the capillary length and instrumentation were not found to be significant. The results indicate that the transient behavior can vary the modeling of the apparent viscosity in a significant manner such that the model fidelity and model coefficients may vary substantially. Hence, polymer melt compressibility, pressure dependence, and viscous heating should be considered during rheological model fitting to increase model fidelity and predictive accuracy in end‐use. POLYM. ENG. SCI., 56:895–904, 2016. © 2016 Society of Plastics Engineers     

SUPERCRITICAL EXTRACTION OF ISRAELI MISHOR ROTEM OIL SHALE 1. BATCH EXTRACTION WITH TOLUENE

ABSTRACT

Recovery of organic material from Israeli Mishor Rotem oil shale with toluene under supercritical conditions was investigated. The rate of solubilization, change of structural aspects and molecular weights of solubilized products with time were investigated. Experiments to recover organic material from shale were performed in a stainless steel high pressure autoclave. Shale Sample was charged in a sintered glass crucible suspended from the cap of the autoclave; toluene was the solvent in all experiments. Solvent/shale ratio was 20; experimental temperature was 34O^°C. The gaseous products were analyzed by gas chromatography. Molecular weights of the organic material recovered was measured by gel permeation chromatography technique. FTIR spectra of the organic material recovered and fractions isolated by extractive and chromatographical methods were measured. The amount of kerogen remaining in the spent shale was determined by oxidative derivative thermal gravimetry. A steady state in the production of solubles was reached within 60 minutes at 340^°C with a yield of 60 percent. After this time no further amounts of organic material was recovered. The molecular weights of the recovered organic material decreased at extended times after the steady state was reached. It appeared that the structure of the organic material recovered remained unchanged until the steady state condition is reached whereupon some structural changes occurred. At extended times the organic material was converted into more aromatic and less hydroxyl containing structures of lower molecular weight. The organic material recovered upon reaching steady state was fractionated into 63 percent oils (pentane solubles) and 32 percent asphaltenes (toluene solubles). The oile contained aliphatics and monoaromatic structures and the asphaltenes contained polyaromatic polar structures. Gases which constituted 4 percent of the initial kerogen were produced during the heating period to 340^°C. The amount of carbon monoxide produced remained constant and amounts of hydrogen, carbon dioxide and methane decreased after supercritical conditions were attained.