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

2nd International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering

作者： Masching, H. Fischer, M. Firl, M. Bletzinger, K. -U. Tech Univ Munich Chair Struct Anal D-80290 Munich Germany

ISBN: (纸本)9781905088423

This contribution presents an MPI-based parallel computational framework for simulation and gradient-based structural optimization of geometrically nonlinear and large-scale structural finite element models. The field of computational structural analysis is gaining more and more importance in product design. In order to obtain an impression about possible approaches of design improvement already in an early planning phase, an efficient optimization tool is desired that requires only few modelling effort. This demand can be satisfied by a combined analysis and optimization tool working on the same model. To this purpose the finite element based optimization method is an excellent approach, leading to the highest possible diversity within the optimization process.

关键词： structural optimization finite element based optimization parameter-free optimization parallel programming object-oriented programming finite element method C plus

来源：评论

学校读者我要写书评

暂无评论

An object-oriented symbolic approach to the automated derivation of finite element contributions

引用

ADVANCES IN ENGINEERING SOFTWARE 2016年 94卷 1-13页

作者： Saad, R. Eyheramendy, D. Zhang, L. Univ St Esprit de Kaslik Jounieh Lebanon Aix Marseille Univ Cent Marseille CNRS UPR 7051 LMA 4 Impasse Nikola TeslaCS 40006 F-13453 Marseille 13 France

In this paper, we present a symbolic approach to automating the elaboration of numerical tools for the simulation of physical processes using the finite element method. We aim at developing a generic environment to automate discretization schemes in the context of PDEs. The approach is implemented in a consistent object-oriented tool built in Java. We propose a symbolic environment to automatically build the symbolic forms of elemental contributions corresponding to a variational formulation. These contributions are automatically introduced into a classical simulation tool. The basic object-oriented framework covering the elaboration of the elemental contributions derived from the weak statement is briefly discussed. The approach can be naturally extended to any discretization model in space or time. This approach is illustrated by the example of hyperelasticity. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： Finite elements object-oriented programming Symbolic computations

来源：评论

学校读者我要写书评

暂无评论

Revani: Revising and Verifying Normative Specifications for Privacy

引用

IEEE INTELLIGENT SYSTEMS 2016年第5期31卷 8-15页

作者： Kafali, Ozgur Ajmeri, Nirav Singh, Munindar P. North Carolina State Univ Comp Sci Raleigh NC 27695 USA North Carolina State Univ Sci Secur Lablet Raleigh NC USA

Privacy remains a major challenge today, partly because it brings together social and technical considerations. Yet, current software engineering focuses only on the technical aspects. In contrast, the authors" approach, Revani, understands privacy from the standpoint of sociotechnical systems (STSs), with particular attention on the social elements of STSs. They specify STSs via a combination of technical mechanisms and social norms founded on accountability. Revani provides a way to formally represent mechanisms and norms and applies model checking to verify whether specified mechanisms and norms would satisfy stakeholder requirements. Additionally, Revani provides a set of design patterns and a revision tool to update an STS specification as necessary. The authors demonstrate the work of Revani on a healthcare emergency use case pertaining to patient privacy during disasters.

关键词： Privacy Intelligent agents Emergency services Medical services Access control Computational modeling Patient monitoring Multi-agent systems Social factors Sociotechnical systems INSPEC: Controlled Indexing software tools data privacy formal specification health care object-oriented methods object-oriented programming INSPEC: Non-Controlled Indexing Revani patient privacy health care emergency revision tool design pattern stakeholder requirement formal representation STS sociotechnical system software engineering normative specification verification normative specification revision Author Keywords intelligent systems privacy multiagent systems sociotechnical systems social norms requirements engineering model checking design patterns

来源：评论

学校读者我要写书评

暂无评论

Beauty and the Beast: on the readability of object-oriented example programs

引用

SOFTWARE QUALITY JOURNAL 2016年第2期24卷 231-246页

作者： Borstler, Jurgen Caspersen, Michael E. Nordstrom, Marie Blekinge Inst Technol Karlskrona Sweden Aarhus Univ Aarhus Denmark Umea Univ Umea Sweden

Some solutions to a programming problem are more elegant or more simple than others and thus more understandable for students. We review desirable properties of example programs from a cognitive and a measurement point of view. Certain cognitive aspects of example programs are captured by common software measures, but they are not sufficient to capture a key aspect of understandability: readability. We propose and discuss a simple readability measure for software, SRES, and apply it to object-oriented textbook examples. Our results show that readability measures correlate well with human perceptions of quality. Compared with other readability measures, SRES is less sensitive to commenting and whitespace. These results also have implications for software maintainability measures.

关键词： object-oriented programming Quality Measurement Software readability programming education

来源：评论

学校读者我要写书评

暂无评论

Exception-oriented programming: retrofitting code-reuse attacks to construct kernel malware

引用

IET INFORMATION SECURITY 2016年第6期10卷 418-424页

作者： Deng, Liang Zeng, Qingkai Nanjing Univ State Key Lab Novel Software Technol Nanjing 210023 Jiangsu Peoples R China Nanjing Univ Dept Comp Sci & Technol Nanjing 210023 Jiangsu Peoples R China

Commodity operating system kernels are vulnerable to a wide range of attacks due to the large code base and broad attack surface. Mitigation mechanisms such as code signing, W circle plus X, and code integrity protection have raised the bar for kernel security. In turn, attack mechanisms have also become increasingly advanced. They have evolved from simple injection of malicious code into more sophisticated code-reuse attacks [e.g. return-oriented programming (ROP)]. In this study, the authors describe exception-oriented programming (EOP), a novel code-reuse method to construct kernel malware. Unlike previous ROP that can only reuse a limited part of existing code (gadgets), EOP is able to reuse any instruction in existing code and chain the instructions in any order to generate malicious programmes. As a result, EOP can provide the attackers with more powerful capabilities and less complexity for building kernel malware.

关键词： object-oriented programming invasive software operating systems (computers) program compilers exceptio-oriented programming code-reuse approach kernel malware construction commodity operating system mitigation mechanism attack mechanism malicious code injection sophisticated code-reuse attack EOP malicious programme generation

来源：评论

学校读者我要写书评

暂无评论

An object-oriented Class Organization for Global-Local Generalized Finite Element Method

引用

LATIN AMERICAN JOURNAL OF SOLIDS AND STRUCTURES 2016年第13期13卷 2529-2551页

作者： Malekan, Mohammad Barros, Felicio B. Pitangueira, Roque L. S. Alves, Phillipe D. Univ Fed Minas Gerais Sch Engn Grad Program Struct Engn PROPEEs Belo Horizonte MG Brazil Univ Illinois Dept Civil & Environm Engn 205 North Mathews Ave Urbana IL USA

This paper shows and discusses a generic implementation of the global-local analysis toward generalized finite element method (GFEM(gl)). This implementation, performed into an academic computational platform, follows the object-oriented approach presented by the authors in a previous work for the standard version of GFEM in which the shape functions of finite elements are hierarchically enriched by analytical functions, according to the problem behavior. In global-local GFEM, however, the enrichment functions are constructed numerically from the solution of a local problem. This strategy allows the use of a coarse mesh even when the problem produces complex stress distributions. On the other hand, a local problem is defined where the stress field presents high gradients and it is discretized using a large number of elements. The results of the local problem are used to enrich the global problem which improves the approximate solution. The great advantage is allowing a well-refined description of the local problem, when necessary, avoiding an overburden for the computation of the global solution. Details of the implementation are presented and important aspects of using this strategy are highlighted in the numerical examples.

关键词： Generalized finite element method eXtended finite element method object-oriented programming Global-local Enrichment function

来源：评论

学校读者我要写书评

暂无评论

LibHalfSpace: A C plus plus object-oriented library to study deformation and stress in elastic half-spaces

引用

COMPUTERS & GEOSCIENCES 2016年 96卷 136-146页

作者： Ferrari, Claudio Bonafede, Maurizio Belardinelli, Maria Elina Univ Bologna Dept Phys & Astron Viale Berti Pichat 8 I-40127 Bologna Italy

The study of deformation processes in elastic half-spaces is widely employed for many purposes (e.g. didactic, scientific investigation of real processes, inversion of geodetic data, etc.). We present a coherent programming interface containing a set of tools designed to make easier and faster the study of processes in an elastic half-space. LibHalfSpace is presented in the form of an object-oriented library. A set of well known and frequently used source models (Mogi source, penny shaped horizontal crack, inflating spheroid, Okada rectangular dislocation, etc.) are implemented to describe the potential usage and the versatility of the library. The common interface given to library tools enables us to switch easily among the effects produced by different deformation sources that can be monitored at the free surface. Furthermore, the library also offers an interface which simplifies the creation of new source models exploiting the features of object-oriented programming (OOP). These source models can be built as distributions of rectangular boundary elements. In order to better explain how new models can be deployed some examples are included in the library. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： C plus object-oriented programming Elastic half-space Deformation source models Boundary element methods

来源：评论

学校读者我要写书评

暂无评论

SYPYDA: A software tool for fire management in Mediterranean pine forests of Greece

引用

COMPUTERS AND ELECTRONICS IN AGRICULTURE 2016年 121卷 195-199页

作者： Mitsopoulos, Ioannis Trapatsas, Panayotis Xanthopoulos, Gavriil Hellen Agr Org Demeter Inst Mediterranean Forest Ecosyst POB 14180 Athens 11528 Greece ComSys 225-227 Kifissias Ave Athens 14561 Greece

The main objective of this study is the design and the development of a fire management software tool for Mediterranean pine forests of Greece. The system operates as a standalone application and allows the end users to apply various fire environment (meteorology, topography, fuel) scenarios in order to estimate the characteristics of fuel complexes in Mediterranean pine stands, to predict the expected fire behavior, as well as to implement and evaluate fuel treatments for reducing the intensity and severity of fires in such ecosystems. The system simulates fire behavior (probability of crown fire initiation, type of fire, rate of spread and fireline intensity) in different types of understory vegetation and stand overstory structure under different weather conditions using current well-tested fire behavior prediction models. All user interaction with the software is done via a friendly and modern Graphical User Interface (GUI), designed in Windows Presentation Foundation/eXtensible Application Markup Language (WPF/XAML), a framework with User Interface (UI) elements coded in C#.NET. The proposed system is expected to assist forest researchers, forest service officials and land managers to evaluate fuel hazard and assess the potential for initiation and spread of wildfires in Aleppo and Calabrian pine forests in Greece. (C) 2015 Elsevier B.V. All rights reserved.

关键词： Fuel management Fire behavior object-oriented programming Aleppo pine Calabrian pine Greece

来源：评论

学校读者我要写书评

暂无评论

Exploiting Linearity in Sharing Analysis of object-oriented Programs

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2016年 322卷 3-18页

作者： Amato, Gianluca Meo, Maria Chiara Scozzari, Francesca Univ G dAnnunzio Dipartimento Econ Pescara Italy

We propose a new sharing analysis of object-oriented programs based on abstract interpretation. Two variables share when they are bound to data structures which overlap. We show that sharing analysis can greatly benefit from linearity analysis. We propose a combined domain including aliasing, linearity and sharing information. We use a graph-based representation of aliasing information which naturally encodes sharing and linearity information, and define all the necessary operators for the analysis of a Java-like language.

关键词： Sharing analysis linearity aliasing object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

The role of Procedural Guidance in Software Engineering Education 17

The role of Procedural Guidance in Software Engineering Educ...

引用

Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of programming

作者： Harrie Passier Open University of the Netherlands The Netherlands

ISBN: (纸本)9781450348362

Designing and programming require several types of knowledge. Beside conceptual knowledge, procedural knowledge is of importance. Procedural knowledge, however, is often missed in courses about software design and implementation. As a consequence, students can easily be stuck and do not know how to *** software engineering as a complex task, the didactic approach 4C/ID is applicable. This approach prescribes that besides mental models, cognitive strategies should be learned, consisting of overall steps and rules and procedures per step. As an example, a procedure for designing and programming a concurrent program is briefly described. This procedure will scaffffold studentfis learning of concurrency concepts and their application.

关键词： concurrency Education Java object-oriented programming program design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：