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

Simulation of filtration problems on hybrid computer systems

Mathematical Models and Computer Simulations 2013年第3期5卷 208-212页

作者： Morozov, D.N. Trapeznikova, M.A. Chetverushkin, B.N. Churbanova, N.G. Moscow Institute of Physics and Technology Moscow Russian Federation Keldysh Institute of Applied Mathematics Russian Academy of Sciences Moscow Russian Federation

The paper is devoted to the use of super-high performance hybrid computer systems for problems of mathematical physics. A program system for simulation of multi-phase filtration processes is described, allowing activation of the entire potential of multicore supercomputers with graphics accelerators. In the case of test computations of the problems of infiltration, it is shown that the logical simplicity of the suggested computation algorithms and implementation program significantly speed up computations. © 2013, Pleiades Publishing, Ltd.

关键词： flow in a porous medium graphics accelerators of computations modular programming multicore architecture two-phase fluid

来源：评论

学校读者我要写书评

暂无评论

programming Languages for Wireless Sensor Networks: A Comparative Study 2

Programming Languages for Wireless Sensor Networks: A Compar...

引用

2nd International Conference on Computing for Sustainable Global Development (INDIACom)

作者： Chandra, Tej Bahadur Dwivedi, Anuj Kumar MATS Univ Sch Informat Technol Raipur CG India Govt Vijay Bhusan Singh Deo Girls Degree Coll Jashpur Nagar CG India

ISBN: (纸本)9789380544168

Wireless Sensor Networks (WSNs) are highly coexisting, dynamic and application specific, as well as having resource constrained in nature, thus programming the sensor nodes is difficult when compared to traditional computer systems. It is most difficult task to build reliable and practical programming solutions or systems for distributed and resource-constrained wireless sensor devices. The objective of this research contribution is to present a comparative study in terms of programming approaches, its potentials and pitfalls.

关键词： Macro programming Micro programming modular programming programming Languages Wireless Sensor Network

来源：评论

学校读者我要写书评

暂无评论

Distributed physical based simulations for large VR applications

Distributed physical based simulations for large VR applicat...

引用

IEEE Virtual Reality 2006 Conference

作者： Allard, Jeremie Raffin, Bruno INPG INRIA UJF CNRSID IMAG Grenoble France

ISBN: (纸本)1424402239

We present a novel software framework for developing highly animated virtual reality applications. Using a modular application design, our goal is to alleviate software engineering issues while yielding efficient execution on parallel machines. We target worlds involving numerous animated objects managed by physical based simulations. Mixing rigid objects, fluids, mass-spring or other deformable objects leads to complex interactions between them. Today no unified simulation algorithm with a reasonable complexity is available to manage all these types of objects. We propose a framework for coupling and distributing existing algorithms. We reuse and extend the data-flow model where an application is built from modules exchanging data through connections. The model relies on two main classes of modules, animators and interactors. Animators are responsible for updating objects' states from forces applied to them. These forces are computed in parallel by interactors using the objects' states they receive from animators. The network interconnecting modules can be progressively optimized. From a simple fully connected network enforcing a synchronous semantics, it can evolve towards an active network able to implement a bounding volume based dynamic routing or an asynchronous data re-sampling. As a result, we present an application managing interactions between rigid objects, mass-spring objects and a fluid. It is executed in real-time on a 54 processors cluster driving 5 cameras and 16 projectors for user interactions.

关键词： virtual reality animations interactions physical based simulation coupling distributed and parallel graphics applications modular programming graphics clusters

来源：评论

学校读者我要写书评

暂无评论

An Object Oriented Approach to Model Reusability 30

An Object Oriented Approach to Model Reusability

引用

30th IEEE International Symposium on Computer-Based Medical Systems (IEEE CBMS)

作者： Manuel, Laura Tirado-Ramos, Alfredo Castanon Puga, Manuel Univ Texas Hlth Sci Ctr San Antonio Clin Informat Res Div DEB San Antonio TX 78229 USA Univ Autonoma Baja California Fac Ciencias Quim & Ingn Tijuana Baja California Mexico

ISBN: (纸本)9781538617106

Sexual contact networks for disease transmission have been used extensively with HIV and provide valuable insight into the way the disease spreads through a population. These computationally intensive models often suffer from lack of reusability which makes them expensive to create, use, and escalate. We take an innovated approach to build an HIV transmission model designed for expansion and reusability, and add novel functionality for model realism.

关键词： HIV sexual contact network agent-based model epidemiology object-oriented programming modular programming

来源：评论

学校读者我要写书评

暂无评论

Software engineering: tools of the profession.

Software engineering: tools of the profession.

引用

作者： Williams, Arrena Sue Naval Postgraduate School

学位级别：硕士

Software engineering is presented as a new branch of the engineering disciplines. The tools and techniques of the profession are examined in an attempt to resolve definitional ambiguities and describe the concepts or attitudes generally associated with three specific programming methodologies. Language properties supportive of the methodologies are investigated. The professional tools and language characteristics are evaluated in terms of their effect on DOD software.

关键词： software engineering modular programming structured programming top-down programming decision tables chief and programmer teams military software tactical software

来源：评论

学校读者我要写书评

暂无评论

Intel :: Isis II :: 121617-001 Utilities Users Guide for 8080 Based Development Systems Sep81

引用

2016年

[Auto Generated] PAGE RESTARTO ................................... 3-11 STACKSIZE .................................. 3-12 ORDER ...................................... 3-12 CODE ........................................ 3-12 DATA ........................................ 3-13 MEMORY .................................... 3-13 STACK ....................................... 3-13

关键词： base address based development error error messages external references file guide input file intel link locate locate command memory modular programming module modules object module program public symbols relative addresses segment segments start address

来源：评论

学校读者我要写书评

暂无评论

PCMSolver: An open-source library for solvation modeling

引用

INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY 2019年第1期119卷

作者： Di Remigio, Roberto Steindal, Arnfinn Hykkerud Mozgawa, Krzysztof Weijo, Ville Cao, Hui Frediani, Luca Arctic Univ Norway Univ Tromso Dept Chem Hylleraas Ctr Quantum Mol Sci N-9037 Tromso Norway Nanjing Univ Informat Sci & Technol Jiangsu Key Lab Atmospher Environm Monitoring & P Collaborat Ctr Atmospher Environm & Equipment Tec Sch Environm Sci & Engn Nanjing Jiangsu Peoples R China Virginia Tech Dept Chem Blacksburg VA 24061 USA

PCMSolver is an open-source library for continuum electrostatic solvation. It can be combined with any quantum chemistry code and requires a minimal interface with the host program, greatly reducing programming effort. As input, PCMSolver needs only the molecular geometry to generate the cavity and the expectation value of the molecular electrostatic potential on the cavity surface. It then returns the solvent polarization back to the host program. The design is powerful and versatile: minimal loss of performance is expected, and a standard single point self-consistent field implementation requires no more than 2 days of work. We provide a brief theoretical overview, followed by two tutorials: one aimed at quantum chemistry program developers wanting to interface their code with PCMSolver, the other aimed at contributors to the library. We finally illustrate past and ongoing work, showing the library's features, combined with several quantum chemistry programs.

关键词： continuum solvation modular programming open-source

来源：评论

学校读者我要写书评

暂无评论

J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2014年第0期300卷 71-87页

作者： Pouliasis, Konstantinos Primiero, Giuseppe CUNY Grad Ctr Dept Comp Sci New York NY USA Middlesex Univ Dept Comp Sci London England

In this paper we offer a system J-Calc that can be regarded as a typed lambda-calculus for the {->, perpendicular to} fragment of Intuitionistic Justification Logic. We offer different interpretations of J-Calc, in particular, as a two phase proof system in which we proof check the validity of deductions of a theory T based on deductions from a stronger theory T' and computationally as a type system for separate compilations. We establish some first metatheoretic results.

关键词： Typed lambda-calculus Justification Logic modular programming

来源：评论

学校读者我要写书评

暂无评论

Language Structures and Management Method in a Distributed Real-Time Environment

引用

IFAC Proceedings Volumes 1981年第1期14卷 103-113页

作者： M. Tsukamoto Electrotechnical Laboratory Tsukuba Ibaraki 305 Japan

Recent advances in hardware technology have made it economically feasible to construct micro computer controlled subsystems and to connect them to distributed real-time control systems. However it is difficult to integrate and develop the potential of subsystems without understanding or changing the existing systems. In this paper, we will introduce a new language concept and a management method to overcome the difficulties. Firstly, a concurrent programming concept, the guarding process (GP), is introduced. In the concept a program consists only of modules, each of which defines objects and servers. Using the concept, programs are described in a structured manner allowing the modules to detect incorrect sequences of interactions. Secondly, a management method that guarantees timing and response to modules, the deadline monitor (DM), is introduced. Servers may be specified with requirements of timing and response. DM fills these requirements and monitors servers' behavior. Finally, in order to deal with the exceptions raised by GP and DM, the exception handler is introduced. In the testing phase, GP reports to the handler why the algorithm is wrong nd how to use the module. The concepts are presented in a programming language and augmented by the implementation of a distributed robot system.

关键词： Distributed computing system distributed computer control concurrent programming distributed programming modular programming path expression error detection exception handling critical real-time deadline mechanism performance monitor robot

来源：评论

学校读者我要写书评

暂无评论

A COMPUTER-CONTROLLED DATA ACQUISITION-SYSTEM FOR COMBUSTION CALORIMETRIC EXPERIMENTS

引用

JOURNAL OF RESEARCH OF THE NATIONAL BUREAU OF STANDARDS 1988年第2期93卷 145-160页

作者： BUCKLEY, TJ RUKKERS, JM TWENTE UNIV TECHNOL DEPT INFORMAT ENSCHEDE NETHERLANDS

At NBS a data acquisition system for a flow calorimeter which accommodates large samples has been developed. The system is based on an instrument controller, scanners, and voltmeters, all available commercially. Detectors for temperature, gas flow rate, pressure, and gas chemical composition provide data on key operating parameters of the calorimeter. A real-time, multi-tasking, general-purpose, data acquisition program is described. Computer science concepts important to the design of the program are explained. The software is driven by tables of data loaded at the start of the experiment. Thus, program execution is changed by providing different tables of information for the data channels desired, data display, and data storage. Tasks for data acquisition, instrument control, data storage, calculations, data display, and run-time-parameter entry are activated or deactivated during the experiment by the operator. Sample results are presented to illustrate the use of the data acquisition system. The software developed for this system is well suited for the changing experiments commonly encountered in the research laboratory.

关键词： combustion computer application data acquisition flow calorimetry modular programming multiprogramming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：