检索结果-内蒙古大学图书馆

Closed-form effective elastic constants of frame-like periodic cellular solids by a symbolic object-oriented finite element program

引用

INTERNATIONAL JOURNAL OF MECHANICS AND MATERIALS IN DESIGN 2017年第3期13卷 363-383页

作者： Sam, Pisith Nanakorn, Pruettha Theerakittayakorn, Kasem Suttakul, Pana Thammasat Univ Sirindhorn Int Inst Technol Sch Civil Engn & Technol Pathum Thani Thailand

In this study, the effective elastic constants of several 2D and 3D frame-like periodic cellular solids with different unit-cell topologies are analytically derived using the homogenization method based on equivalent strain energy. The analytical expressions of strain energy of a unit cell under different strain modes are determined using a generic symbolic object-oriented finite element (FE) program written in MATLAB. The obtained analytical expressions of the strain energy are then used to symbolically compute the effective elastic constants that include Young's moduli, Poisson's ratios, and shear moduli. The obtained analytical effective elastic constants are numerically verified using results from an ordinary numerical FE program. The obtained closed-form effective elastic constants are also compared with some existing solutions from the literature. This study demonstrates that symbolic computation platforms can be properly used to provide efficient methodologies for finding useful analytical solutions of mechanical problems. Without the symbolic object-oriented FE program in this study, elaborate and tedious analytical analysis has to be manually performed for each different unit cell. The symbolic object-oriented FE program provides analytical analysis of unit cells that is accurate and fast. The object-oriented programming technique allows the symbolic FE program in this study to be efficiently implemented.

关键词： Periodic cellular solid Effective elastic property Closed form Symbolic programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Generic Soft-Error Detection and Correction for Concurrent Data Structures

引用

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2017年第1期14卷 22-36页

作者： Borchert, Christoph Schirmeier, Horst Spinczyk, Olaf Tech Univ Dortmund Dept Comp Sci D-44227 Dortmund Germany

Recent studies indicate that transient memory errors (soft errors) have become a relevant source of system failures. This paper presents a generic software-based fault-tolerance mechanism that transparently recovers from memory errors in object-oriented program data structures. The main benefits are the flexibility to choose from an extensible toolbox of easily pluggable error detection and correction schemes, such as Hamming and CRC codes. This is achieved by a combination of aspect-oriented and generative programming techniques. Furthermore, we present a wait-free synchronization algorithm for error detection in data structures that are used concurrently by multiple threads of control. We give a formal correctness proof and show the excellent scalability of our approach in a multiprocessor environment. In a case study, we present our experiences with selectively hardening the eCos operating system and its benchmark suite. We explore the trade-off between resiliency and performance by choosing only the most vulnerable data structures for error recovery. Thereby, the total number of system failures, manifesting as silent data corruptions and crashes, is reduced by 69.14 percent at a negligible runtime overhead of 0.36 percent.

关键词： Fault tolerance concurrency aspect-oriented programming object-oriented programming operating systems

来源：评论

学校读者我要写书评

暂无评论

On the Design of a User Interface for an RFID-Based Vehicle Tracking System

引用

INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS 2017年第1期24卷 56-61页

作者： Nafar, Fatemeh Shamsi, Hossein KN Toosi Univ Technol Fac Elect Engn Tehran Iran

In this paper, an active RFID system compatible with IEEE802.15.4 at 2.4 GHz ISM band is designed and implemented for real-time vehicle tracking applications. A windows-based user interface software is developed by using layered architecture design and object-oriented programming which provides the ability of six wireless operations. This RFID system can identify 8 mobile vehicles in the range of 80 m from the reader within 31 ms at the output power of 4.5 dBm. Each active tag is attached to a vehicle and powered by the vehicle 12 V battery consuming 0.8 A mu A in the sleep mode and 20.8 mA in the active mode.

关键词： Active RFID object-oriented programming Layered architecture User interface CC2530F256

来源：评论

学校读者我要写书评

暂无评论

elementr: An R package for reducing elemental data from LA-ICPMS analysis of biological calcified structures

引用

METHODS IN ECOLOGY AND EVOLUTION 2017年第12期8卷 1659-1667页

作者： Sirot, Charlotte Ferraton, Franck Panfili, Jacques Childs, Amber-Robyn Guilhaumon, Francois Darnaude, Audrey M. Univ Montpellier MARBEC UMR 9190 IRDCNRSIFREMER Montpellier France Rhodes Univ Dept Ichthyol & Fishery Sci Grahamstown South Africa

1. Elemental analysis of biological calcified structures (e.g. fish otoliths, mollusc shelves, coral skeletons or fish and shark bones) provides invaluable information regarding ecological processes for many aquatic species. Despite this importance, the reduction of the raw data obtained through Laser-ablation Inductively Coupled Plasma Mass Spectrometry (LA-ICPMS) (i.e. the conversion of the machine raw signal into elemental concentrations) remains a challenge as the tools developed so far for carrying out this task have important limitations for aquatic ecologists. 2. Here, we introduce the elementr R-package which provides a handy, reliable and transparent way to reduce elemental data acquired from spot or transect LA-ICPMS analysis of biological calcified structures. This free and open-source software, implemented based on state-of-the-art literature, handles data from both standards and samples, allowing fast and simultaneous calculations of concentration for any chemical element, correction for potential machine drift, and realignment and averaging for sample replicates when needed. 3. The major attributes of elementr are: (i) its user-friendly graphical interface which provides widgets to set all the reduction settings (i.e. no programming skills are required to run it), (ii) its reactivity whereby the software continuously observes any setting change made by the user, re-calculates and displays all updated results, allowing therefore users to visually check the validity of their settings and to tune them if needed and (iii) an object oriented underlying that facilitates subsequent handling of LA-ICPMS data in R. 4. Despite the elementr design being most suited to the needs of aquatic ecologists, its use could be broadened to other research fields (i.e. geology, material engineering) due to its flexibility. Moreover, the open-source approach used for programming this software allows its expansion in order to refine calculation procedures or to add new functio

关键词： graphical user interface laser ablation microchemistry object-oriented programming spot and transect reduction

来源：评论

学校读者我要写书评

暂无评论

Unifying Typing and Subtyping

引用

PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2017年第OOPSLA期1卷 1–26页

作者： Yang, Yanpeng Oliveira, Bruno C. D. S. Univ Hong Kong Hong Kong Peoples R China

In recent years dependent types have become a hot topic in programming language research. A key reason why dependent types are interesting is that they allow unifying types and terms, which enables both additional expressiveness and economy of concepts. Unfortunately there has been much less work on dependently typed calculi for object-oriented programming. This is partly because it is widely acknowledged that the combination between dependent types and subtyping is particularly challenging. This paper presents lambda I-<= , which is a dependently typed generalization of System F-<=. The resulting calculus follows the style of Pure Type Systems, and contains a single unified syntactic sort that accounts for expressions, types and kinds. To address the challenges posed by the combination of dependent types and subtyping, lambda I-<= employs a novel technique that unifies typing and subtyping. In lambda I-<= there is only a judgment that is akin to a typed version of subtyping. Both the typing relation, as well as type well-formedness are just special cases of the subtyping relation. The resulting calculus has a rich metatheory and enjoys of several standard and desirable properties, such as subject reduction, transitivity of subtyping, narrowing as well as standard substitution lemmas. All the metatheory of lambda I-<= is mechanically proved in the Coq theorem prover. Furthermore, (and as far as we are aware) lambda I-<= is the first dependently typed calculus that completely subsumes System F-<=, while preserving various desirable properties.

关键词： dependent types subtyping object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

CML-WSN: A Configurable Multi-layer Wireless Sensor Network Simulator

CML-WSN: A Configurable Multi-layer Wireless Sensor Network ...

引用

International 360 Degree Summit on Applications for Future Internet (AFI360)

作者： Del-Valle-Soto, Carolina Lezama, Fernando Rodriguez, Jafet Mex-Perera, Carlos Munoz de Cote, Enrique Univ Panamer Fac Ingn Campus Guadalajara Zapopan 45010 Jalisco Mexico Inst Nacl Astrofis Opt & Electr Puebla 72840 Mexico Telemat Telemetria & Radiofrecuencia Guadalajara 44190 Jalisco Mexico

ISBN: (纸本)9783319496221;9783319496214

Wireless Sensor Networks (WSNs) have large applications in environments where access to human cannot be constant or where reliable and timely information is required to support decisions. WSNs must show high reliability, robustness, availability of information, monitoring capabilities, self-organization, among other aspects. Also, engineering requirements, such as low-cost implementation, operation, and maintenance are necessary. In this context, a simulator is a powerful tool for analyzing and improving network technologies used as a first step to investigate protocol design and performance test on large-scale systems without the need of real implementation. In this paper, we present a Configurable Multi-Layer WSN (CML-WSN) simulator. The CML-WSN simulator incorporates a configurable energy model to support any sensor specification as a one of its main features. The CML-WSN simulator is useful because it allows exploring prototypes with much less cost and time compared to the requirements needed in real networks implementations.

关键词： Wireless Sensor Networks Network simulator C plus object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

object-oriented Modeling with Ontologies Around: A Survey of Existing Approaches

引用

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2018年第11-12期28卷 1775-1794页

作者： Baset, Selena Stoffel, Kilian Univ Neuchatel Informat Management Inst AL Breguet 2 CH-2000 Neuchatel Switzerland

Despite the many integration tools proposed for mapping between OWL ontologies and the object-oriented paradigm, developers are still reluctant to incorporate ontologies into their code repositories. In this paper we survey existing approaches for OWL-to-OOP mapping trying to identify reasons for this shy adoption of ontologies among conventional software developers. We present a classification of the surveyed approaches and tools based on their technical characteristics and their resulting artifacts. We discuss further potential reasons beyond what have been addressed in the literature before finally providing our own reflection and outlook.

关键词： Knowledge representation object-oriented programming software modeling ontologies OWL language transformation

来源：评论

学校读者我要写书评

暂无评论

Method Combinators 2018

Method Combinators

引用

Proceedings of the 11th European Lisp Symposium on European Lisp Symposium

作者： Didier Verna EPITA Research and Development Laboratory

ISBN: (纸本)9782955747421

In traditional object-oriented languages, the dynamic dispatch algorithm is hardwired: for every polymorphic call, only the most specific method is used. Clos, the Common Lisp object System, goes beyond the traditional approach by providing an abstraction known as method combinations: when several methods are applicable, it is possible to select several of them, decide in which order they will be called, and how to combine their results, essentially making the dynamic dispatch algorithm user-programmable. Although a powerful abstraction, method combinations are under-specified in the Common Lisp standard, and the Mop, the Meta-object Protocol underlying many implementations of Clos, worsens the situation by either contradicting it or providing unclear protocols. As a consequence, too much freedom is granted to conforming implementations. The exact or intended behavior of method combinations is unclear and not necessarily coherent with the rest of Clos. In this paper, we provide a detailed analysis of the problems posed by method combinations, the consequences of their lack of proper specification in one particular implementation, and a Mop-based extension called method combinators, aiming at correcting these problems and possibly offer new functionality.

关键词： object-oriented programming Multi-Methods Generic Functions Orthogonality Common Lisp object System Meta-object Protocol Polymorphism Dynamic Dispatch Method Combination

来源：评论

学校读者我要写书评

暂无评论

Studying the Prevalence of Exception Handling Anti-Patterns 25

Studying the Prevalence of Exception Handling Anti-Patterns

引用

25th IEEE/ACM International Conference on Program Comprehension (ICPC)

作者： de Padua, Guilherme Bicalho Shang, Weiyi Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada

ISBN: (纸本)9781538605356

Modern programming languages, such as Java and C#, typically provide features that handle exceptions. These features separate error-handling code from regular source code and are proven to enhance the practice of software reliability, comprehension, and maintenance. Having acknowledged the advantages of exception handling features, the misuse of them can still cause catastrophic software failures, such as application crash. Prior studies suggested anti-patterns of exception handling;while little knowledge was shared about the prevalence of these anti-patterns. In this paper, we investigate the prevalence of exception-handling anti-patterns. We collected a thorough list of exception anti-patterns from 16 open-source Java and C# libraries and applications using an automated exception flow analysis tool. We found that although exception handling anti-patterns widely exist in all of our subjects, only a few anti-patterns (e.g. Unhandled Exceptions, Catch Generic, Unreachable Handler, Over-catch, and Destructive Wrapping) can be commonly identified. On the other hand, we find that the prevalence of anti-patterns illustrates differences between C# and Java. Our results call for further in-depth analyses on the exception handling practices across different languages.

关键词： empirical software engineering exception flow analysis exception handling comprehension object-oriented programming static analysis

来源：评论

学校读者我要写书评

暂无评论

EASEE: An open architecture approach for modeling battlespace signal and sensor phenomenology 22

EASEE: An open architecture approach for modeling battlespac...

引用

22nd Conference on Open Architecture/Open Business Model Net-Centric Systems and Defense Transformation

作者： Waldrop, Lauren E. Wilson, D. Keith Ekegren, Michael T. Borden, Christian T. US Army Engineer Res & Dev Ctr CRREL 72 Lyme Rd Hanover NH 03755 USA AER Inc 131 Hartwell Ave 4 Lexington MA 02421 USA

ISBN: (数字)9781510609129

ISBN: (纸本)9781510609112;9781510609129

Open architecture in the context of defense applications encourages collaboration across government agencies and academia. This paper describes a success story in the implementation of an open architecture framework that fosters transparency and modularity in the context of Environmental Awareness for Sensor and Emitter Employment (EASEE), a complex physics-based software package for modeling the effects of terrain and atmospheric conditions on signal propagation and sensor performance. Among the highlighted features in this paper are: (1) a code refactorization to separate sensitive parts of EASEE, thus allowing collaborators the opportunity to view and interact with non-sensitive parts of the EASEE framework with the end goal of supporting collaborative innovation, (2) a data exchange and validation effort to enable the dynamic addition of signatures within EASEE thus supporting a modular notion that components can be easily added or removed to the software without requiring recompilation by developers, and (3) a flexible and extensible XML interface, which aids in decoupling graphical user interfaces from EASEE's calculation engine, and thus encourages adaptability to many different defense applications. In addition to the outlined points above, this paper also addresses EASEE's ability to interface with both proprietary systems such as ArcGIS. A specific use case regarding the implementation of an ArcGIS toolbar that leverages EASEE's XML interface and enables users to set up an EASEE-compliant configuration for probability of detection or optimal sensor placement calculations in various modalities is discussed as well.

关键词： open architecture object-oriented programming battlefield signal modeling mission planning decision-support tools

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：