Search results for "Programming Language"
showing 10 items of 624 documents
Validation of frictional studies by double-cup extrusion tests in cold-forming
1996
Abstract Studies on frictional conditions in cold-forming have shown that, for a given lubricant, friction factor values are strongly affected by the test method. In the present paper, different cold-forging processes of an aluminium alloy, are modelled by a FEM numerical code using the m values obtained by both the double cup extrusion and ring compression tests. It appears that the m values given by the ring tests can be effectively used in the simulation of upsetting processes, while the m values derived by the double cup extrusion tests are more appropriate for predictions in extrusion and closed-die forging operations.
An open-source GA framework for optimizing the seismic upgrading design of RC frames through BRBs
2022
Abstract Optimizing seismic upgrading interventions in reinforced concrete (RC) structures is a difficult task, due to the inner non-linearity of the analyses usually performed. Additionally, it is well known that the displacement demand to the structure depends from the mass and stiffness of the system, and consequently its definition cannot be made a-priori. This paper presents the application of a soft-computing method -i.e. Genetic Algorithm (GA)- for the shaping optimization of code-compliant seismic upgrading interventions on plane RC frames through Buckling-Restrained Braces (BRB). The metaheuristic procedure allows to minimize the cost while ensuring the required safety level, witho…
Optimality conditions for nondifferentiable convex semi-infinite programming
1983
This paper gives characterizations of optimal solutions to the nondifferentiable convex semi-infinite programming problem, which involve the notion of Lagrangian saddlepoint. With the aim of giving the necessary conditions for optimality, local and global constraint qualifications are established. These constraint qualifications are based on the property of Farkas-Minkowski, which plays an important role in relation to certain systems obtained by linearizing the feasible set. It is proved that Slater's qualification implies those qualifications.
Optimization under Uncertainty and Linear Semi-Infinite Programming: A Survey
2001
This paper deals with the relationship between semi-infinite linear programming and decision making under uncertainty in imprecise environments. Actually, we have reviewed several set-inclusive constrained models and some fuzzy programming problems in order to see if they can be solved by means of a linear semi-infinite program. Finally, we present some numerical examples obtained by using a primal semi-infinite programming method.
First-passage problem for nonlinear systems under Lévy white noise through path integral method
2016
In this paper, the first-passage problem for nonlinear systems driven by $$\alpha $$ -stable Levy white noises is considered. The path integral solution (PIS) is adopted for determining the reliability function and first-passage time probability density function of nonlinear oscillators. Specifically, based on the properties of $$\alpha $$ -stable random variables and processes, PIS is extended to deal with Levy white noises with any value of the stability index $$\alpha $$ . Application to linear and nonlinear systems considering different values of $$\alpha $$ is reported. Comparisons with pertinent Monte Carlo simulation data demonstrate the accuracy of the results.
Feasibility of finite and infinite paths in data dependent programs
2005
This paper considers the feasibility of finite and infinite paths in programs in two simple programming languages. The language LBASE allows to express the dependencies of real time systems on integer data, the language LTIM can model quantitative timing constraints in r.t.s. specifications. It is proven that the problem of whether a given LBASE or LTIM program has an infinite feasible path (i.e. whether it can exhibit an infinite behaviour) is decidable. The possibilities to characterise the sets of all feasible finite and infinite paths in LBASE and LTIM programs are also discussed. The infinite feasible path existence problem is proven decidable also for the language LTIBA which has both…
Novel pedagogical tool for simultaneous learning of plane geometry and R programming
2018
Programming a computer is an activity that can be very beneficial to undergraduate students in terms of improving their mental capabilities, collaborative attitudes and levels of engagement in learning. Despite the initial difficulties that typically arise when learning to program, there are several well-known strategies to overcome them, providing a very high benefit-cost ratio to most of the students. Moreover, the use of a programming language usually raises the interest of students to learn any specific concept, which has caused that many teachers around the world employ a programming language as a learning environment to treat almost every possible topic. Particularly, mathematics can …
GWideCodeML: A python package for testing evolutionary hypotheses at the genome-wide level
2020
One of the most widely used programs for detecting positive selection, at the molecular level, is the program codeml, which is implemented in the Phylogenetic Analysis by Maximum Likelihood (PAML) package. However, it has a limitation when it comes to genome-wide studies, as it runs on a gene-by-gene basis. Furthermore, the size of such studies will depend on the number of orthologous genes the genomes have income and these are often restricted to only account for instances where a one-to-one relationship is observed between the genomes. In this work, we present GWideCodeML, a Python package, which runs a genome-wide codeml with the option of parallelization. To maximize the number of analy…
Automated segmentation and description of the internal morphology of human permanent teeth by means of micro-CT
2020
High-resolution micro-computed tomography is a powerful tool to analyze and visualize the internal morphology of human permanent teeth. It is increasingly used for investigation of epidemiological questions to provide the dentist with the necessary information required for successful endodontic treatment. The aim of the present paper was to propose an image processing method to automate parts of the work needed to fully describe the internal morphology of human permanent teeth. One hundred and four human teeth were scanned on a high-resolution micro-CT scanner using an automatic specimen changer. Python code in a Jupyter notebook was used to verify and process the scans, prepare the dataset…
Are you a good employee or simply a good guy? Influence costs and contract design
2013
We develop a principal–agent model with a moral hazard problem in which the principal has access to a hard signal (the level of output) and a soft behavioral signal (the supervision signal) about the agent's level of effort. In our model, the agent can initiate influence activities and manipulate the behavioral signal. These activities are costly for the principal as they detract the agent from the productive task. We show that the agent's ability to manipulate the behavioral signal leads to low-powered incentives and increases the cost of implementing the efficient equilibrium as a result. Interestingly, the fact that manipulation activities entail productivity losses may lead to the desig…