86,364 Hits in 2.4 sec

Algorithms for Basic Compliance Problems

Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert van der Torre
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops  
The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations.  ...  Additionally, we define procedures and algorithms to efficiently deal with the identified compliance problem.  ...  In this paper, we propose two efficient algorithms to deal with the most basic compliance problem: verifying the compliance of well-structured processes against obligations in the simplest form.  ... 
doi:10.1109/icstw.2013.6 dblp:conf/icst/TosattoKGK0T13 fatcat:xlkvgkxq2bgpzmms6vkc6quni4

Neuro-evolutionary topology optimization of structures by utilizing local state features

Nikola Aulig, Markus Olhofer
2014 Proceedings of the 2014 conference on Genetic and evolutionary computation - GECCO '14  
A new network is learned for every iteration of the topology optimization. The proposed method is evaluated on the minimum compliance design problem, with two different sets of features.  ...  The proposed method substitutes the analytical gradient by an artificial neural network approximation model, whose parameters are learned by an evolutionary algorithm.  ...  Martina Hasenjäger from the Honda Research Institute Europe GmbH for providing her neural network Python implementation.  ... 
doi:10.1145/2576768.2598314 dblp:conf/gecco/AuligO14 fatcat:2n6bhxzm6jdg7agoxyvt4zmse4

An Approach for Compliance-Aware Service Selection with Genetic Algorithms [chapter]

Fatih Karatas, Dogan Kesdogan
2013 Lecture Notes in Computer Science  
To address this issue, we present an approach for compliance-aware service selection with genetic algorithms.  ...  Genetic algorithms are popular for service selection as they deliver good results in short time. However, current approaches do not consider compliance rules for single tasks in a process model.  ...  We particularly thank Marcel Heupel and the anonymous reviewers for informative and thorough reviews.  ... 
doi:10.1007/978-3-642-45005-1_35 fatcat:7v6nxlzfkzch5duiy2ibusgikq

An Efficient Business Process Compliance Checking Approach [chapter]

Jörg Becker, Philipp Bergener, Dominic Breuker, Patrick Delfmann, Mathias Eggert
2011 IFIP Advances in Information and Communication Technology  
In this paper we propose an automatic business process compliance checking approach that relies on a subgraph isomorphism algorithm and that is suitable for process models in general.  ...  As common subgraph isomorphism is a problem that can only be solved in exponential time, we use an algorithm that simplifies the problem through pre-processing.  ...  Another problem of the original algorithm is that it solves the induced subgraph problem.  ... 
doi:10.1007/978-3-642-24148-2_19 fatcat:mw3jeaiqzrc3pdb7svmmdws7me

Adaptive Learning on the Grids for Elliptic Hemivariational Inequalities [article]

Jianguo Huang, Chunmei Wang, Haoqin Wang
2021 arXiv   pre-print
The method is applied to solve two practical problems in contact mechanics, one of which is a frictional bilateral contact problem and the other of which is a frictionless normal compliance contact problem  ...  training strategies for updating network parameters.  ...  Table 1 : 1 The relative error of different algorithms for the bilateral contact problem. Algorithm 1: the basic algorithm in the literature. Algorithm 2: blockwise training.  ... 
arXiv:2104.04881v1 fatcat:wupt5o44j5bfzmbfx7y22sw4ci

Simultaneous Material and Topology Optimization Based on Topological Derivatives [chapter]

Jannis Greifenstein, Michael Stingl
2014 IFIP Advances in Information and Communication Technology  
We use an asymptotic expansion of the compliance cost functional in linear elasticity to find the optimal material inside elliptic inclusions.  ...  We extend the proposed method to material optimization on the whole domain and compare the global quality of the solutions for different inclusion sizes.  ...  available for the three-dimensional case.  ... 
doi:10.1007/978-3-662-45504-3_11 fatcat:3onz4nqvdjcnjn635wyfptsf6y

Solving topology optimization problems using cellular automata and mortar finite element method

Yu. O. Yashchuk, Ivan Franko National University of Lviv, K. Tajs-Zielinska, Cracow University of Technology
2020 Mathematical Modeling and Computing  
Currently topology optimization is widely used by engineers for different practical problems.  ...  We present a formulation of the algorithm and analyse its computational complexity by applying to a test problem.  ...  For the adaptive algorithm both FEM basic functions and mortar functions are taken into account.  ... 
doi:10.23939/mmc2020.02.239 fatcat:exde5vyvcfcfxim4qqyize656u

Research on Standard Compliance Test Algorithm Based on Electronic Medical Records of Traditional Chinese Medicine Outpatients

Li He, Zi Yi Zhou, Fu Sheng Niu, Yu Fan Yang, Qiang Xu, Chuan Biao Wen, Tao Sun, Yue Luo, Xiwei Huang
2020 Journal of Healthcare Engineering  
By the way of assessing the integrity and standardization of data, the standard compliance test algorithm scheme for electronic medical records of TCM outpatients introduced in this paper can solve the  ...  problems such as data unavailability caused by ununified codes and incomplete data in the data-sharing process and provides technical support for the construction of data standardization testing in electronic  ...  The Application of Standard Compliance Testing Platform for TCM Electronic Medical Records Based on the above algorithm, the setting up of standard compliance testing platform for TCM electronic medical  ... 
doi:10.1155/2020/8865264 pmid:33204405 pmcid:PMC7655252 fatcat:3pckwfdvfjg7rcgsa7dwozmciy

School Subject Informatics (Computer Science) in Russia

Evgeniy Khenner, Igor Semakin
2014 ACM Transactions on Computing Education  
and debugging programs; basic skills applied to problem formalization and documentation of programs; (5) creation of digital objects, their properties, algorithms for their analysis, data coding and decoding  ...  ; (2) acquiring knowledge of basic algorithms for processing numerical and textual information, and algorithms for searching and sorting; (3) a command of universal high-level languages (optional), basic  ...  The authors also thank their colleagues from the Perm State University for long-term cooperation in the field of school Informatics.  ... 
doi:10.1145/2602489 fatcat:dk7cdpkaireqnek3v5tfr4pmty

An SQP Algorithm for Structural Topology Optimization Based on Majorization–Minimization Method

Weilong Liao, Qiliang Zhang, Huanli Meng
2022 Applied Sciences  
To solve the above problems, this paper creatively proposes a method for calculating the approximate Hessian matrix for structural topology optimization with minimum compliance problems.  ...  When applying the sequential quadratic programming (SQP) algorithm to topology optimization, using the quasi-Newton methods or calculating the Hessian matrix directly will result in a considerable amount  ...  We proposed a novel way to calculate the Hessian matrix for structural topology optimization with minimum compliance problems.  ... 
doi:10.3390/app12136304 fatcat:oilazqkuwvg2fcpb6absmz2e2u

Legal Compliance Support with an Ontology-based Information System

Albert Meroño-Peñuela, Nuria Casellas, Sergi Torralba, Mario Reyes, Pompeu Casanovas
2010 International Conference Knowledge Engineering and Knowledge Management  
Nevertheless, compliance assessment is still a manual task performed by experts, but steps towards an automated compliance assessment, both in IT and legal, are in progress.  ...  Thus, companies have to consider legal and Information Technology (IT) compliance.  ...  There are existing or on-progress solutions for the IT compliance problem, such as UCF 6 or SCAP 7 .  ... 
dblp:conf/ekaw/Merono-PenuelaC10 fatcat:hedp7zhvnrfjzenjvwfno5hpeu

Compliance–stress constrained mass minimization for topology optimization on anisotropic meshes

Nicola Ferro, Stefano Micheletti, Simona Perotto
2020 SN Applied Sciences  
In this paper, we generalize the SIMPATY algorithm, which combines the SIMP method with anisotropic mesh adaptation to solve the minimum compliance problem with a mass constraint.  ...  In particular, the mass of the final layout is now minimized and both a maximum compliance and a maximum stress can be enforced as either mono-or multi-constraints.  ...  Moreover, Nicola Ferro thanks Fondazione Fratelli Confalonieri for the awarded Grant.  ... 
doi:10.1007/s42452-020-2947-1 fatcat:j2qu7cesyneodm6jcex54n5f4q

An efficient approach to reliability-based topology optimization for continua under material uncertainty

Mehdi Jalalpour, Mazdak Tootkaboni
2015 Structural And Multidisciplinary Optimization  
Two widely-studied topology optimization problems are exam ined and the changes in the optimized topology is dis cussed for various levels of target reliability and correlation strength.  ...  Accuracy of the proposed algorithm is verified using Monte Carlo simulation.  ...  Alireza Asadpoure for the fruitful discussions pertaining to topology optimiza tion work. The second author acknowledges the support of National Science Foundation through grant No. CMMI 1401575.  ... 
doi:10.1007/s00158-015-1360-7 fatcat:4ykjeekubfcrxdvi2ncia5f6ha

Method of Calculation Flexural Stiffness Over Natural Oscillations Frequencies

A. Nesterenko, G. Stolpovskiy, M. Nesterenko
2018 Archives of Civil Engineering  
The prerequisites for solving such a problem by the finite element method (FEM) are presented in the article.  ...  The method includes calculation algorithm realizing the finite element method.  ...  The algorithm for estimation of these parameters by the FEM is developed, in particular, the algorithm for calculating stiffness and moment of inertia at basic and higher frequencies.  ... 
doi:10.2478/ace-2018-0046 fatcat:thxzaprtkvborflyshqy2k3mvi

Simulated Annealing Application For Structural Optimization

Farhad Kolahan, M. Hossein Abolbashari, Samaeddin Mohitzadeh
2007 Zenodo  
In this paper a Simulated Annealing (SA) algorithm is used for structural optimization problem. This algorithm differs from other random search methods by accepting non-improving solutions.  ...  Computational results show that SA can efficiently and effectively solve such optimization problems within short search time.  ...  This algorithm, among few other heuristics, is suitable for complicated problems where global optimum is hidden among many local optima.  ... 
doi:10.5281/zenodo.1080761 fatcat:iippdthbf5d4fbej7g7i4zjxb4
« Previous Showing results 1 — 15 out of 86,364 results