Symmetry detection of auxetic behaviour in 2D frameworks

A symmetry-extended Maxwell treatment of the net mobility of periodic bar-and-joint frameworks is used to derive a sufficient condition for auxetic behaviour of a 2D material. The type of auxetic behaviour that can be detected by symmetry has Poisson's ratio -1, with equal expansion/contraction in all directions, and is here termed equiauxetic. A framework may have a symmetry-detectable equiauxetic mechanism if it belongs to a plane group that includes rotational axes of order n = 6, 4, or 3. If the reducible representation for the net mobility contains mechanisms that preserve full rotational symmetry (A modes), these are equiauxetic. In addition, for n = 6, mechanisms that halve rotational symmetry (B modes) are also equiauxetic. © EPLA, 2013.

Symmetry-extended counting rules for periodic frameworks.

A symmetry-adapted version of the Maxwell rule appropriate to periodic bar-and-joint frameworks is obtained, and is further extended to body-and-joint systems. The treatment deals with bodies and forces that are replicated in every unit cell, and uses the point group isomorphic to the factor group of the space group of the framework. Explicit expressions are found for the numbers and symmetries of detectable mechanisms and states of self-stress in terms of the numbers and symmetries of framework components. This approach allows detection and characterization of mechanisms and states of self-stress in microscopic and macroscopic materials and meta-materials. Illustrative examples are described. The notion of local isostaticity of periodic frameworks is extended to include point-group symmetry.

Developing ISO 14649-based conversational programming system for multi-channel complex machine tools

A multi-channel complex machine tool (MCCM) is a versatile machining system equipped with more than two spindles and turrets for both turning and milling operations. Despite the potential of such a tool, the value of the hardware is largely dependent on how the machine tools are effectively programmed for machining. In this paper we consider a shop-floor programming system based on ISO 14649 (called e-CAM), the international standard for the interface between computer-aided manufacture (CAM) and computer numerical control (CNC). To be deployed in practical industrial usage a great deal of research has to be carried out. In this paper we present: 1) Design consideration for an e-CAM system, 2) The architecture design of e-CAM, 3) Major algorithms to fulfill the modules defined in the architecture, and 4) Implementation details.

Packing LUT clusters with network flow programming

This paper describes a two-step packing algorithm for LUT clusters of which the LUT input multipliers are depopulated. In the first step, a greedy algorithm is used to search for BLE locations and cluster inputs. If the greedy algorithm fails, the second step with network flow programming algorithm is employed. Numerical results illustrate that our two-step packing algorithm obtains better packing density than one-step greedy packing algorithm.

Design and Verification of the Programming Circuit in an Application-Specific FPGA

In this paper we present a methodology and its implementation for the design and verification of programming circuit used in a family of application-specific FPGAs that share a common architecture. Each member of the family is different either in the types of functional blocks contained or in the number of blocks of each type. The parametrized design methodology is presented here to achieve this goal. Even though our focus is on the programming circuitry that provides the interface between the FPGA core circuit and the external programming hardware, the parametrized design method can be generalized to the design of entire chip for all members in the FPGA family. The method presented here covers the generation of the design RTL files and the support files for synthesis, place-and-route layout and simulations. The proposed method is proven to work smoothly within the complete chip design methodology. We will describe the implementation of this method to the design of the programming circuit in details including the design flow from the behavioral-level design to the final layout as well as the verification. Different package options and different programming modes are included in the description of the design. The circuit design implementation is based on SMIC 0.13-micron CMOS technology.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

extending the boundary of spreadsheet programming: lessons learned from chinese governmental projects

ICSE

Constructing porous frameworks from one-dimensional cobalt-oxygen clusters and pyridinedicarboxylate ligands adopting two rare coordination modes

A porous material with cobalt-oxygen cluster framework has been synthesized hydrothermally, which possesses large and rigid channels and manifests strong antiferromagnetic interactions, and the pyridinedicarboxylate ligand exhibits two types of rare coordination modes.

Entangled metal-organic frameworks modulated by N-donor ligands of different conformations

Based on the aromatic dicarboxylic acid and N-donor ligands with different conformations, four Zn(II) metal-organic frameworks, namely [Zn(mfda)(L-1)](1), [Zn-2(mfda)(2)(L-2)]center dot DMF center dot H2O (2), [Zn-2(mfda)(2)(L-3)(H2O)]center dot DMF (3) and [Zn-2(mfda)(2)(L-4)] (4) have been synthesized (mfda = 9,9-dimethylfluorene-2,7-dicarboxylate anion, L-1 = 1,10-phenanthroline, L-2 = 4,4 '-bipyridine, L-3 = 2,5-bis(4-pyridyl)-1,3,4-ocadiazole and L-4 = 1,4-bis(imidazol-1-ylmethyl)benzene). Single-crystal X-ray diffraction has revealed that all compounds exhibit entangled structures. Compound 1 is composed of 1D zigzag chains that are entangled through the pi-pi stacking interactions to generate a three-fold interpenetrating diamond-like networks.