Search results for "Mathematica"

showing 10 items of 7971 documents

Shakedown analysis for a class of strengthening materials within the framework of gradient plasticity

2010

Abstract The classical shakedown theory is extended to a class of perfectly plastic materials with strengthening effects (Hall–Petch effects). To this aim, a strain gradient plasticity model previously advanced by Polizzotto (2010) is used, whereby a featuring strengthening law provides the strengthening stress, i.e. the increase of the yield strength produced by plastic deformation, as a degree-zero homogeneous second-order differential form in the accumulated plastic strain with associated higher order boundary conditions. The extended static (Melan) and kinematic (Koiter) shakedown theorems are proved together with the related lower bound and upper bound theorems. The shakedown limit loa…

business.industryMechanical EngineeringMathematical analysisContext (language use)Structural engineeringPlasticityStrain hardening exponentShakedownUniqueness theorem for Poisson's equationMechanics of MaterialsLimit loadGeneral Materials ScienceBoundary value problembusinessMathematicsGrain boundary strengtheningInternational Journal of Plasticity
researchProduct

Maximum Displacement Variability of Stochastic Structures Subject to Deterministic Earthquake Loading

1998

The variability of the maximum response displacement of random frame structures under deterministic earthquake loading are examined in this paper using stochastic finite element techniques. The elastic modulus and the mass density are assumed to be described by cross-correlated stochastic fields. Specifically, a variability response function formulation is used for this problem, which allows for calculation of spectral-distribution-free upper bounds of the maximum displacement variance. Further, under the assumption of prespecified correlation functions describing the spatial variation of the material properties, variability response functions are used to calculate the corresponding maximum…

business.industryMechanical EngineeringMathematical analysisVariance (accounting)Structural engineeringFunction (mathematics)Geotechnical Engineering and Engineering GeologyCondensed Matter PhysicsDisplacement (vector)Finite element methodlcsh:QC1-999Mechanics of MaterialsSpatial variabilityMaterial propertiesbusinessElastic modulusRandomnesslcsh:PhysicsCivil and Structural EngineeringMathematicsShock and Vibration
researchProduct

Shakedown of elastic—plastic solids with frictionless unilateral contact boundary conditions

1997

Abstract Elastic perfectly plastic solids (or structures) in frictionless unilateral contact with a rigid obstacle and subjected to quasi-statically variable loads within a given domain are considered. In the hypothesis that the structure undergoes small displacements and complies with a d -stability requisite herein introduced, a Melantype shakedown theorem is presented. This theorem is conceptually similar to the classical one; namely, it requires that the unilateral-contact elastic stress response to the loads and to some initial plastic strains be plastically admissible everywhere in the body and for all load conditions. A method for evaluating the shakedown load boundary is also discus…

business.industryMechanical EngineeringNumerical analysisRatchetUnilateral contactBoundary (topology)Structural engineeringMechanicsPlasticityCondensed Matter PhysicsDomain (mathematical analysis)ShakedownMechanics of MaterialsGeneral Materials ScienceBoundary value problembusinessCivil and Structural EngineeringMathematicsInternational Journal of Mechanical Sciences
researchProduct

A new ATLAS muon CSC readout system with system on chip technology on ATCA platform

2015

The ATLAS muon Cathode Strip Chamber (CSC) backend readout system has been upgraded during the LHC 2013-2015 shutdown to be able to handle the higher Level-1 trigger rate of 100 kHz and the higher occupancy at Run 2 luminosity. The readout design is based on the Reconfigurable Cluster Element (RCE) concept for high bandwidth generic DAQ implemented on the Advanced Telecommunication Computing Architecture (ATCA) platform. The RCE design is based on the new System on Chip XILINX ZYNQ series with a processor-centric architecture with ARM processor embedded in FPGA fabric and high speed I/O resources together with auxiliary memories to form a versatile DAQ building block that can host applicati…

business.product_categoryLarge Hadron Collider010308 nuclear & particles physicsbusiness.industryFirmwareComputer scienceElectronic detector readout concepts (gas liquid)Data acquisition conceptscomputer.software_genre01 natural sciencesARM architectureData acquisition0103 physical sciencesNetwork switchSystem on a chipModular electronics010306 general physicsbusinessField-programmable gate arrayInstrumentationHost (network)computerParticle Physics - ExperimentMathematical PhysicsComputer hardwareJournal of Instrumentation
researchProduct

Economic Robustness Analysis of Adaptive Chart Schemes for Monitoring the Total Nonconformities Number in Inspection Units

2015

In recent years, a variety of enhanced schemes for the c chart have been developed aimed at the effectiveness improving of the related statistical process control (SPC) procedures. However, the performance of such chart schemes can be very sensitive to values assumed for some operating and cost parameters, in particular to the considered process shift magnitude arising from out-of-control conditions. In such a circumstance, the effectiveness of such chart schemes can be subjected to substantial reductions when they are implemented in operative contexts given that, in practice, such value is unknown and it can be very difficult to accurately estimate. For this reason, in the present paper i…

c-chartEconomic optimizationEngineeringGeneral Computer Sciencebusiness.industrylabor resource costtaguchi’s loss functionnon-linear mathematical programming modelEnergy Engineering and Power TechnologyAerospace EngineeringFractional factorial designFailure rateStatistical process controlIndustrial and Manufacturing EngineeringReliability engineeringAdaptive chart for attributeNuclear Energy and EngineeringChartRobustness (computer science)Performance comparisonElectrical and Electronic Engineeringeconomic robustness analysiSafety Risk Reliability and QualitybusinessSettore ING-IND/16 - Tecnologie E Sistemi Di LavorazioneInternational Journal of Reliability, Quality and Safety Engineering
researchProduct

A Multi-Objective Design Approach for the c Chart Considering Taguchi Loss Function

2013

The present paper proposes a multi-objective design approach for the c chart, considering in the optimization process of the chart parameters both the statistical and the economic objectives. In particular, the minimization of the hourly total quality related costs is the considered objective to carry out the economic goal, whereas the statistical objective is reached by the minimization the out-of-control average run length of the chart. A mixed integer non-linear constrained mathematical model is formulated to solve the treated multi-objective optimization problem, whereas the Pareto optimal frontier is described by the e-constraint method. In order to show the employment of the proposed …

c-chartEngineeringMathematical optimizationOptimization problemOperations researchbusiness.industryManagement Science and Operations ResearchStatistical process controlChartTaguchi loss functionSensitivity (control systems)MinificationSafety Risk Reliability and QualitybusinessInteger (computer science)Quality and Reliability Engineering International
researchProduct

Comparing the Economic Effectiveness of Various Adaptive Schemes for the c Chart

2013

In an attempt to improve the effectiveness of statistical process control (SPC) procedures, a variety of adaptive schemes has been developed in the last decades. However, considering control charts for attributes, relatively few works about adaptive schemes have been proposed, and most of them were proposed only recently. The common characteristic of those schemes is that one or more chart parameters are allowed to adaptively vary during the SPC operations according to the sampling information history, typically the current point plotted on the chart. In this way, the adaptive schemes are smarter than the related static ones, but they are also more complicated in terms of implementation. Th…

c-chartMathematical optimizationAdaptive samplingChartComputer scienceFractional factorial designSampling (statistics)Control chartManagement Science and Operations ResearchSafety Risk Reliability and QualityStatistical process controlShewhart individuals control chartReliability engineeringQuality and Reliability Engineering International
researchProduct

An Effective Double Sampling Scheme for thecControl Chart

2013

In the present paper is developed a statistical process control inspection procedure based on a new simple-to-implement and effective double sampling scheme for the c control chart, aimed at the minimization of the number of inspected observation units and warranting fixed levels for the type I and II error risks. In particular, the formulations of the false alarm risk α, the power P of the chart, and the expected number of inspected observation units for the developed inspection procedure are given, whereas a macro of Microsoft Excel is adopted to solve the tackled problem. In order to illustrate the application of the developed approach and to investigate on the influence of several opera…

c-chartMathematical optimizationChartComputer scienceControl chartFalse alarmMinificationManagement Science and Operations ResearchMacroSafety Risk Reliability and QualityStatistical process controlShewhart individuals control chartReliability engineeringQuality and Reliability Engineering International
researchProduct

Economic Design Approach for an SPC Inspection Procedure Implementing The Adaptive C Chart

2013

The present paper proposes a design approach for a statistical process control (SPC) procedure implementing a c control chart for non-conformities, with the aim to minimize the hourly total quality-related costs. The latter take into account the costs arising from the non-conforming products while the process is in-control and out-of-control, for false alarms, for assignable cause locations and system repairs, for sampling and inspection activities and for the system downtime. The proposed economic optimization approach is constrained by the expected hourly false alarms frequency, as well as the available labor resource level. A mixed integer non-linear constrained mathematical model is dev…

c-chartMathematical optimizationDowntimeOptimization problemFrank–Wolfe algorithmOperations researchComputer scienceControl chartManagement Science and Operations ResearchSolverSafety Risk Reliability and QualityStatistical process controlInteger (computer science)Quality and Reliability Engineering International
researchProduct

On Language Adequacy

2015

Abstract The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most general one being: the compatibility of the language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory of syntax T of any categorial language L generated by the so-called classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and ex- tensio…

categorial grammartruthPrinciple of compositionalitySemantics (computer science)constituent of knowledgeMeaning (philosophy of language)Denotationreferringcompatibility of syntax and semanticsintensional semanticsAZ20-999interpretationMathematicsontological objectInterpretation (logic)Categorial grammarcommunicationmeaningcategorizationtoken-type distinctionalgebraic modelsLinguisticsSyntax (logic)PhilosophyTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESdenotationcompositionalityTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSextensional semanticsHistory of scholarship and learning. The humanitiesOn LanguageStudies in Logic, Grammar and Rhetoric
researchProduct