Results 81 to 90 of about 526,453 (338)

Formalisation of the sofware component ontology specification

Lietuvos Matematikos Rinkinys, 2005
This paper is devoted to the development and specification problems of software component ontology. The formalisation of the proposed component ontology is presented, too. The choice of ontology interpretation  is motivated.
Lina Bagušytė, Audronė Lupeikienė
doaj   +1 more source

Beyond Order: Perspectives on Leveraging Machine Learning for Disordered Materials

Advanced Engineering Materials, EarlyView.
This article explores how machine learning (ML) revolutionizes the study and design of disordered materials by uncovering hidden patterns, predicting properties, and optimizing multiscale structures. It highlights key advancements, including generative models, graph neural networks, and hybrid ML‐physics methods, addressing challenges like data ...
Hamidreza Yazdani Sarvestani, Surabhi Nadigotti, Erfan Fatehi, Derek Aranguren van Egmond, Behnam Ashrafi   +4 more
wiley   +1 more source

Enhancing Corrosion Resistance and Mechanical Strength of 3D‐Printed Iron Polylactic Acid for Marine Applications via Laser Surface Texturing

Advanced Engineering Materials, EarlyView.
Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat, Mojtaba Karamimoghadam, Mohammadreza Lalegani Dezaki, Ali Zolfagharian, Giuseppe Casalino, Antonio Mateo, Mahdi Bodaghi   +6 more
wiley   +1 more source

An Examination of Aerosol Jet‐Printed Surface Roughness and its Impact on the Performance of High‐Frequency Electronics

Advanced Engineering Materials, EarlyView.
This study explores aerosol jet‐printed (AJP) surface roughness, its effects on the performance of microwave electronics, and its process contributors. First, an electromagnetic model is vetted for AJP's unique roughness signature. Simulations are built which show process‐induced roughness is as significant as conductor resistivity in driving microwave
Christopher Areias, Alkim Akyurtlu
wiley   +1 more source

Analysis of Formal Methods for Specification of E-Commerce Applications [PDF]

Mehran University Research Journal of Engineering and Technology, 2016
E-commerce based application characteristics portray elevated dynamics while incorporating decentralized nature. Extreme emphasis influencing structural design plus implementation, positions such applications highly appreciated.
Sadiq Ali Khan, Huma Jamshed
doaj  

Specifying Reusable Components

, 2010
Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of ...
B. Meyer, B. Meyer, C.A.R. Hoare, G.T. Leavens, J.-R. Abrial, J.A. Gougen, J.V. Guttag, K. Zee, M. Barnett   +8 more
core   +3 more sources

3D‐Printed Architected Material for the Generation of Foam‐Based Protective Equipment

Advanced Engineering Materials, EarlyView.
This study investigates 3D‐printed architected structures as alternatives to traditional foams in protective gear. It focuses on customizing impact strength and damping through design and manufacturing integration. Testing shows these structures outperform conventional foams, offering enhanced customizability, lower weight, and tunable performance ...
Ali Zolfagharian, Gerard Bel Català, Daniel Saakes, Bernard Rolfe, Ian Gibson, Mehrshad Mehrpouya   +5 more
wiley   +1 more source

Formal Specification in “Z” Language by Software Z/EVES

Advances in Electrical and Electronic Engineering, 2006
The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification ...
Josef Svec, Jiri Zahradnik
doaj  

Systems, methods and apparatus for implementation of formal specifications derived from informal requirements [PDF]

, 2010
Systems, methods and apparatus are provided through which in some embodiments an informal specification is translated without human intervention into a formal specification.
Erickson, John D., Gracinin, Denis, Hinchey, Michael G., Rash, James L., Rouff, Christopher A.   +4 more
core   +1 more source

Multimaterial Approach to Improve the Mechanical Properties of a Novel Modified Auxetic Reentrant Honeycomb Structure

Advanced Engineering Materials, EarlyView.
A multimaterial approach is introduced to improve upon auxetic structures by combining two different polymers into the same reentrant honeycomb structure via additive manufacturing. The deformation behavior as well as the resulting Poisson's ratio are thereby improved significantly.
Alexander Engel, Oraib Al‐Ketan, Anne Jung   +2 more
wiley   +1 more source