Design: the quintessential business transaction

The fundamental structures that underpin business activities must evolve and change in order to equip companies to thrive in a market whose characteristics are increasing competition and instability. The incremental advances in applied computing technology and business methodologies which focus on improving one aspect of company operations ignore the need for an underlying structure and model through which to engage any and all functions in a consistent and integrated fashion. Indeed, many exacerbate the problem through closed architectures, isolationist views of entity data storage and rigid methodologies imposed on the company that employs them. The Product Model proposed fulfils that role. It is a model of the processes and entities that a company uses to conduct its business, at all levels and across all departments. Two other concepts are exposed: product model data and the design history record. Product model data are the values of instances of product model entities and relations, created to represent a particular design, artefact or object. The design history record captures the data and functions used in a transaction and the order and context in which they are used. To exercise these concepts, a software suite was written, the Glasgow Utility for Integrated Design, Guide. It supports the definition of a proud model and its subsequent use in the creation of product model data. Each interaction with the system is recorded, thus capturing the design history record, which can subsequently be processes to various advantageous ends. The major such uses are for re-use of part information in other designs and the extraction of design best practice with which to augment the company's design methodology. It is a comprehensive record, since all business processes are supported by, and can be transacted through Guide. Guide has been used to validate the adequacy of the product model and has established many benefits through its use. Applications in many spheres are possible; engineering has been the primary focus for exemplars and case studies. The development was carried out under the scrutiny of constant validation and testing in live situations with several industrial partners. Guide is built on industry standard tools and uses relational database technology to store frame-based representations of entities, methods and relationships. The design of project plans is carried out on the same platform used to support the project itself; the design data are not dissociated from the project controlling mechanism. Resources, including staff, are engaged according to requirements and audit mechanisms allow for constant re-evaluation of the project development. Control and communication mechanisms support applications in an extended enterprise environment and the distribution of resources that this entails

In silico methods to evaluate Fracture Risk and Bone Mineral Density changes in patients undergoing Total Hip Replacement

La sostituzione totale d’anca è uno degli interventi chirurgici con le più alte percentuali di successo. Esistono due varianti di protesi d’anca che differiscono in base al metodo di ancoraggio all’osso: cementate (fissaggio tramite cemento osseo) e non cementate (fissaggio tramite forzamento). Ad oggi, i chirurghi non hanno indicazioni quantitative di supporto per la scelta fra le due tipologie di impianto, decidendo solo in base alla loro esperienza. Due delle problematiche che interessano le protesi non cementate sono la possibilità di frattura intra-operatoria durante l’inserimento forzato e il riassorbimento osseo nel periodo di tempo successivo all’intervento. A partire da rilevazioni densitometriche effettuate su immagini da TC di pazienti sottoposti a protesi d’anca non cementata, sono stati sviluppati due metodi: 1) per la valutazione del rischio di frattura intra-operatorio tramite analisi agli elementi finiti; 2) per la valutazione della variazione di densità minerale ossea (tridimensionalmente attorno alla protesi) dopo un anno dall’operazione. Un campione di 5 pazienti è stato selezionato per testare le procedure. Ciascuno dei pazienti è stato scansionato tramite TC in tre momenti differenti: una acquisita prima dell’operazione (pre-op), le altre due acquisite 24 ore (post 24h) e 1 anno dopo l’operazione (post 1y). I risultati ottenuti hanno confermato la fattibilità di entrambi i metodi, riuscendo inoltre a distinguere e a quantificare delle differenze fra i vari pazienti. La fattibilità di entrambe le metodologie suggerisce la loro possibilità di impiego in ambito clinico: 1) conoscere la stima del rischio di frattura intra-operatorio può servire come strumento di guida per il chirurgo nella scelta dell’impianto protesico ottimale; 2) conoscere la variazione di densità minerale ossea dopo un anno dall’operazione può essere utilizzato come strumento di monitoraggio post-operatorio del paziente

Airborne Advanced Reconfigurable Computer System (ARCS)

A digital computer subsystem fault-tolerant concept was defined, and the potential benefits and costs of such a subsystem were assessed when used as the central element of a new transport's flight control system. The derived advanced reconfigurable computer system (ARCS) is a triple-redundant computer subsystem that automatically reconfigures, under multiple fault conditions, from triplex to duplex to simplex operation, with redundancy recovery if the fault condition is transient. The study included criteria development covering factors at the aircraft's operation level that would influence the design of a fault-tolerant system for commercial airline use. A new reliability analysis tool was developed for evaluating redundant, fault-tolerant system availability and survivability; and a stringent digital system software design methodology was used to achieve design/implementation visibility

Proceedings of Monterey Workshop 2001 Engineering Automation for Sofware Intensive System Integration

The 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration was sponsored by the Office of Naval Research, Air Force Office of Scientific Research, Army Research Office and the Defense Advance Research Projects Agency. It is our pleasure to thank the workshop advisory and sponsors for their vision of a principled engineering solution for software and for their many-year tireless effort in supporting a series of workshops to bring everyone together.This workshop is the 8 in a series of International workshops. The workshop was held in Monterey Beach Hotel, Monterey, California during June 18-22, 2001. The general theme of the workshop has been to present and discuss research works that aims at increasing the practical impact of formal methods for software and systems engineering. The particular focus of this workshop was "Engineering Automation for Software Intensive System Integration". Previous workshops have been focused on issues including, "Real-time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", "Requirements Targeting Software" and "Modeling Software System Structures in a fastly moving scenario".Office of Naval ResearchAir Force Office of Scientific Research Army Research OfficeDefense Advanced Research Projects AgencyApproved for public release, distribution unlimite

Blockchain Software Verification and Optimization

In the last decade, blockchain technology has undergone a strong evolution. The maturity reached and the consolidation obtained have aroused the interest of companies and businesses, transforming it into a possible response to various industrial needs. However, the lack of standards and tools for the development and maintenance of blockchain software leaves open challenges and various possibilities for improvements. The goal of this thesis is to tackle some of the challenges proposed by blockchain technology, to design and implement analysis, processes, and architectures that may be applied in the real world. In particular, two topics are addressed: the verification of the blockchain software and the code optimization of smart contracts. As regards the verification, the thesis focuses on the original developments of tools and analyses able to detect statically, i.e. without code execution, issues related to non-determinism, untrusted cross-contracts invocation, and numerical overflow/underflow. Moreover, an approach based on on-chain verification is investigated, to proactively involve the blockchain in verifying the code before and after its deployment. For the optimization side, the thesis describes an optimization process for the code translation from Solidity language to Takamaka, also proposing an efficient algorithm to compute snapshots for fungible and non-fungible tokens. The results of this thesis are an important first step towards improving blockchain software development, empirically demonstrating the applicability of the proposed approaches and their involvement also in the industrial field

Are Russian commercial courts biased?Evidence from a natural bankruptcy experiment

We study the nature of judicial bias in bankruptcy proceedings following the enactment of bankruptcy law in Russia in 1998. We find that regional political characteristics affected judicial decisions about the numbers and types of bankruptcy procedures initiated after the law took effect. In particular, controlling for indicators of firms' insolvency and the quality of the regional judiciary, reorganization procedures were significantly more frequent in regions with politically popular governors and governors who had hostile relations with the federal government. Poor judicial quality was also associated with higher incidence of reorganizations. In addition, the quality of the regional judiciary affected performance of firms in reorganization procedure: in regions with poor judicial quality firms in reorganization significantly underperformed firms not in bankruptcy; while the opposite was true in regions with high-quality judges. The effect of judicial quality on restructuring is particularly strong in regions with politically popular governors because the judicial bias in governor's favor is the highest in poor-quality courts when governors are popular. This evidence is consistent with previously reported anecdotes that suggested that politically strong regional governors used bankruptcy proceedings to protect firms from paying federal taxes.bankruptcy ; transition ; capture

Evolution of behaviour trees for collective transport with robot swarms

Swarm robotics, inspired by natural swarms, studies how simple robots with only local sensing capabilities and no centralised control may cooperate to achieve a common goal in a robust, flexible and scalable way. A robotic system with such properties constitutes an interesting alternative to the platforms currently used in warehouses and distribution plants, where workers are at risk of injury and the space and budget available for complex infrastructure is limited. Swarm behaviours are emergent, which makes the task of designing the controllers of the individual robots particularly challenging. In this work, we propose a method for a swarm of industrial robots to collectively transport items that are too heavy for a single agent to carry. We use artificial evolution to evolve behaviour tree controllers for the swarm agents and we conceive a decentralised coordination strategy based on local messaging. The method is developed and tested in a simulated environment, using a combination of freely available open source libraries. The results show that a homogeneous swarm equipped with our solution is able to successfully find the items placed in the environment and transport them back to a nest region. We suggest further tuning of the evolutionary parameters and the introduction of noise in the simulator in order to improve the observed performance of the controllers in simulation and their expected performance the real worldObjectius de Desenvolupament Sostenible::9 - Indústria, Innovació i Infraestructur