Polytechnic University of Milan

About: Polytechnic University of Milan is a education organization based out in Milan, Italy. It is known for research contribution in the topics: Finite element method & Population. The organization has 18231 authors who have published 58416 publications receiving 1229711 citations. The organization is also known as: PoliMi & L-NESS.

Optimization of muscle-force sequencing in human locomotion

Abstract: Human locomotion has been studied thoroughly, but sequences of muscle forces providing for coordinated gait are not well understood. We have approached this problem indirectly by computing such sequences under different optimality criteria involving minimization of muscular forces. Experimental kinematic and ground reaction measurements along with EMG data from the same subjects obtained during level walking enables us to select J=∑( F i F max ) 2 as the most feasible criterion. The results are discussed in terms of the economy and neurological control of locomotion.

Ultrafast Dynamics of Exciton Fission in Polycrystalline Pentacene

Abstract: We use ultrafast transient absorption spectroscopy with sub-20 fs time resolution and broad spectral coverage to directly probe the process of exciton fission in polycrystalline thin films of pentacene. We observe that the overwhelming majority of initially photogenerated singlet excitons evolve into triplet excitons on an ∼80 fs time scale independent of the excitation wavelength. This implies that exciton fission occurs at a rate comparable to phonon-mediated exciton localization processes and may proceed directly from the initial, delocalized, state. The singlet population is identified due to the brief presence of stimulated emission, which is emitted at wavelengths which vary with the photon energy of the excitation pulse, a violation of Kasha’s Rule that confirms that the lowest-lying singlet state is extremely short-lived. This direct demonstration that triplet generation is both rapid and efficient establishes multiple exciton generation by exciton fission as an attractive route to increased effic...

Using model checking to generate tests from requirements specifications

Abstract: Recently, many formal methods, such as the SCR (Software Cost Reduction) requirements method, have been proposed for improving the quality of software specifications. Although improved specifications are valuable, the ultimate objective of software development is to produce software that satisfies its requirements. To evaluate the correctness of a software implementation, one can apply black-box testing to determine whether the implementation, given a sequence of system inputs, produces the correct system outputs. This paper describes a specification-based method for constructing a suite of test sequences, where a test sequence is a sequence of inputs and outputs for testing a software implementation. The test sequences are derived from a tabular SCR requirements specification containing diverse data types, i.e., integer, boolean, and enumerated types. From the functions defined in the SCR specification, the method forms a collection of predicates called branches, which “cover” all possible software behaviors described by the specification. Based on these predicates, the method then derives a suite of test sequences by using a model checker's ability to construct counterexamples. The paper presents the results of applying our method to four specifications, including a sizable component of a contractor specification of a real system.