Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks. 相似文献
Robots that use vision for localization need to handle environments that are subject to seasonal and structural change, and operate under changing lighting and weather conditions. We present a framework for lifelong localization and mapping designed to provide robust and metrically accurate online localization in these kinds of changing environments. Our system iterates between offline map building, map summary, and online localization. The offline mapping fuses data from multiple visually varied datasets, thus dealing with changing environments by incorporating new information. Before passing these data to the online localization system, the map is summarized, selecting only the landmarks that are deemed useful for localization. This Summary Map enables online localization that is accurate and robust to the variation of visual information in natural environments while still being computationally efficient. We present a number of summary policies for selecting useful features for localization from the multisession map, and we explore the tradeoff between localization performance and computational complexity. The system is evaluated on 77 recordings, with a total length of 30 kilometers, collected outdoors over 16 months. These datasets cover all seasons, various times of day, and changing weather such as sunshine, rain, fog, and snow. We show that it is possible to build consistent maps that span data collected over an entire year, and cover day‐to‐night transitions. Simple statistics computed on landmark observations are enough to produce a Summary Map that enables robust and accurate localization over a wide range of seasonal, lighting, and weather conditions. 相似文献
Free Material Optimization (FMO) is a powerful approach for conceptual optimal design of composite structures. The design variable in FMO is the entire elastic material tensor which is allowed to vary almost freely over the design domain. The imposed requirements on the tensor are that it is symmetric and positive semidefinite. Most of today’s studies on FMO focus on models for two- and three-dimensional structures. The objective of this article is to extend existing FMO models and methods to laminated plate and shell structures, which are used in many engineering applications. In FMO, the resulting optimization problem is generally a non convex semidefinite program with many matrix inequalities which requires special-purpose optimization methods. The FMO problems are efficiently solved by a primal-dual interior point method developed and implemented by the authors. The quality of the proposed FMO models and the method are supported by several large-scale numerical experiments. 相似文献
Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches for the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and sometimes, there is a gap between the properties exhibited by the generated input models and those considered by the transformations. Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-, and postconditions) from which we generated partial oracle functions used for transformation testing. Here, we extend the usage of our specification language for the automated generation of input test models by SAT solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the transformation requirements. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions. A set of experiments is presented, aimed at measuring the efficacy of our technique. 相似文献
In light of the growing relevance of customer-oriented business strategies IT investments in the field of Customer Relationship Management have increased considerably. However, firms often could not realize sufficient returns on these IT investments. One major reason for this failure seems to be the lack of appropriate approaches to determine the economic impact of such investments ex ante. Therefore, we develop an economic model to determine the optimal level of Customer Relationship Management IT investments. Using this approach, firms can evaluate, to what extent investments in Customer Relationship Management IT are reasonable. One major result is that in most cases the “all or nothing strategy” pursued by many firms does not lead to the optimal level of investments. To illustrate the practical utility and applicability of the approach, we provide a real world example of a German financial services provider. 相似文献
IT systems pervade our society more and more, and we become heavily dependent on them. At the same time, these systems are increasingly targeted in cyberattacks, making us vulnerable. Enterprise and cybersecurity responsibles face the problem of defining techniques that raise the level of security. They need to decide which mechanism provides the most efficient defense with limited resources. Basically, the risks need to be assessed to determine the best cost-to-benefit ratio. One way to achieve this is through threat modeling; however, threat modeling is not commonly used in the enterprise IT risk domain. Furthermore, the existing threat modeling methods have shortcomings. This paper introduces a metamodel-based approach named Yet Another Cybersecurity Risk Assessment Framework (Yacraf). Yacraf aims to enable comprehensive risk assessment for organizations with more decision support. The paper includes a risk calculation formalization and also an example showing how an organization can use and benefit from Yacraf.
Autonomous Robots - This paper presents a novel system for autonomous, vision-based drone racing combining learned data abstraction, nonlinear filtering, and time-optimal trajectory planning. The... 相似文献
Ultralow expansion (ULE) glasses are of special interest for temperature stabilized systems for example in precision metrology. Nowadays, ULE materials are mainly used in macroscopic and less in micromechanical systems. Reasons for this are a lack of technologies for parallel fabricating high-quality released microstructures with a high accuracy. As a result, there is a high demand in transferring these materials into miniaturized application examples, realistic system modeling, and the investigation of microscopic material properties. Herein, a technological base for fabricating released micromechanical structures and systems with a structure height above 100 μm in ULE 7972 glass is established. Herein, the main fabrication parameters that are important for the system design and contribute thus to the introduction of titanium silicate as material for glass-based micromechanical systems are discussed. To study the mechanical properties in combination with respective simulation models, microcantilevers are used as basic mechanical elements to evaluate technological parameters and other impact factors. The implemented models allow to predict the micromechanical system properties with a deviation of only ±5% and can thus effectively support the micromechanical system design in an early stage of development. 相似文献
By increasing the density of interfaces in NiAl–CrMo in situ composites, the mechanical properties can be significantly improved compared to conventionally cast material. The refined microstructure is achieved by manufacturing through electron beam powder bed fusion (PBF-EB). By varying the process parameters, an equiaxed or columnar cell morphology can be obtained, exhibiting a plate-like or an interconnected network of the (Cr,Mo) reinforcement phase which is embedded in a NiAl matrix. The microstructure of the different cell morphologies is investigated in detail using scanning electron microscope, transmission electron microscopy, and atom probe tomography. For both morphologies, the mechanical properties at elevated temperatures are analyzed by compression and creep experiments parallel and perpendicular to the building direction. In comparison to cast NiAl and NiAl–(Cr, Mo), the yield strength of the PBF-EB fabricated specimens is significantly improved at temperatures up to 1,027 °C. While the columnar morphology exhibits the best improved mechanical properties at high temperatures, the equiaxial morphology shows nearly ideal isotropic mechanical behavior, which is a substantial advantage over directionally solidified material. 相似文献