Abstract: As a unified modeling simulation language for complex multi-domain physical system, now Modelica is getting more and more attention, and its compiler and solver method emerges in endlessly. However, up to now little solver method consider the efficiency of repeatedly simulation after modifying variable parameters. Here, a method focuses on improving the efficiency of repeatedly simula...

This note addresses the following problem posed by S . M. Ulam. Find a concise expression for the number of classes of sets of n indistinguishable elements . Here, a class of sets is a set whose members are subsets of a given finite set of n elements, and referring to the elements as indistinguishable means that two classes are identical if some permutation on the elements transforms one class ...

We solve the general case of the bridge-crossing puzzle. 1 The Puzzle Four people begin on the same side of a bridge. You must help them across to the other side. It is night. There is one flashlight. A maximum of two people can cross at a time. Any party who crosses, either one or two people, must have the flashlight to see. The flashlight must be walked back and forth, it cannot be thrown, et...

In this paper, we present a sufficient condition for the universal rigidity of a generic bar framework G(p) in terms of the Gale matrix Z corresponding to G(p). We also establish a relationship between the stress matrix S and the Gale matrix Z for bar frameworks. This allows us to translate back and forth between S and Z in recently obtained results concerning universal rigidity, global rigidit...

Technology Hellas-FORTH 9.

The Planet-4D model introduced by Baroin 2011b is a richer model of pitch-class relationships than the standard cyclic model of the clock-face diagram: instead of the distribution of twelve points on a circle in a 2D plane, the Planet-4D model places the twelve pcs on a 4D hypersphere. Beyond the usual T/I group of symmetries, which is still featured in this new musical space, the additional di...