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

Operating modes of chemical reactors of Polymerization

International Journal of Computer Science Issues 2012年第3期9卷 393-396页

作者： Berdieva, Meruyert Ospanova, Aiman Koshkinbayeva, Madina Zhukabayeva, Tamara Department of Computer Engineering and Software Programming South Kazakhstan State University Tauke Khan avenue 5 Shymkent 160012 Kazakhstan

In the work the issues of stable technological modes of operation of main devices of producing polysterol - reactors have been researched as well as modes of stable operation of a chemical reactor have been presented, which enables to create optimum mode parameters of polymerization process, to prevent emergency situations of chemical reactor operation in industrial conditions. © 2012 International Journal of Computer Science Issues.

关键词： Chemical reactors

来源：评论

学校读者我要写书评

暂无评论

Situational decomposition method

引用

International Journal of Computer Science Issues 2012年第2 2-3期9卷 487-490页

作者： Ven-Tsen, Khu Kokenovna, Zhukabayeva Tamara Department of Computer Engineering and Software Programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan

The method of optimum control of the complex multivariate objects, based on the account of situations during the moment of acceptance of operating decisions is offered. The method allows to reduce the initial problem of management complicated for the decision, to set of more simple consistently solved problems representing the modified initial problem. The method is realized in a control system of the variable structure combining principles of centralized and decentralized management. © 2012 International Journal of Computer Science Issues.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable model-based test program generator for microprocessors

Reconfigurable model-based test program generator for microp...

引用

International Workshop on Variability-intensive Systems Testing, Validation, and Verification

作者： Kamkin, Alexander Kornykhin, Eugene Vorobyev, Dmitry Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9780769543451

Automatic generation and simulation of test programs is known to be the main means for verifying microprocessors. The problem is that test program generators for new designs are often developed from scratch with little reuse of well-tried components. State-of-the-art tools, like Genesys-Pro and RAVEN, meet the challenge by using a model-based approach, where a microprocessor model is separated from a platform-independent generation core. However, there is still a problem. Developing a microprocessor model is rather difficult and usually requires deep knowledge of the inner-core structure and interfaces. In this paper, we describe a concept of a reconfigurable test program generator being customized with the help of architecture specifications and configuration files, which describe parameters of the microprocessor subsystems (pipeline, memory, and others). The suggested approach eases the model development and makes it possible to apply the model-based testing in the early design stages when the microprocessor architecture is frequently modified. © 2011 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Runtime verification of linux kernel modules based on call interception

Runtime verification of linux kernel modules based on call i...

引用

IEEE International Conference on software Testing, Verification and Validation

作者： Rubanov, Vladimir V. Shatokhin, Eugene A. Department of Software Engineering Institute for System Programming Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9780769543420

Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of particular kernel modules of interest without adverse influence on the rest of the kernel. Methods and tools for addressing this challenge are the main subject of this paper. The basic method for low-influence runtime analysis of interacting software modules is call interception. Shadow state techniques represent another method. In this paper, we discuss these methods including three different approaches to implement call interception. Conclusions are made about the most suitable ways for runtime analysis of kernel modules. Finally, we present KEDR framework, an extensible runtime analysis system for Linux kernel modules, which deploys these approaches to perform different types of analysis. The system can be used by the developers of kernel modules and, in particular, may be useful for building automated driver verification systems. © 2011 IEEE.

关键词： Linux

来源：评论

学校读者我要写书评

暂无评论

IT simply works: Simplicity and embedded systems design

IT simply works: Simplicity and embedded systems design

引用

35th Annual IEEE International Computer software and Applications Conference Workshops, COMPSACW 2011

作者： Margaria, Tiziana Floyd, Barry D. Steffen, Bernhard Department of Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA United States Department of Programming Systems TU Dortmund University Germany

ISBN: (纸本)9780769544595

The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These constraints are due to various reasons, including cost (in economies of scale little amounts can make a big difference) and constraints mandated by the host environment such as limitations on weight, size, bandwidth, or power consumption. In addition to structural issues, that already force designers to stretch and squeeze pushing the design to the limit, other problems may affect the design process itself, e.g. when developers must program for a system that is itself still under design: such concurrent development includes easily critical unknown unknowns. Design efforts under these conditions are difficult at best, and it is not clear how much of these constraints and pressures are really unavoidable. We believe that a perspective of designing for simplicity would frame the situation in a more favorable way, leading to systems that better use available resources, are more robust, and easier to maintain and use. In the course of the ITSy project 1, we interviewed IT experts and industry practitioners about their perspectives on simplicity principles within their research and practice, collecting insights and anecdotal evidence on some phenomena, as well as suggestions for possible principles. In this paper, we apply initial results from this empirical understanding of simplicity to the domain of resource constrained system design. We identify some recurring themes from the outcome of the interviews, and match these understandings for one specific embedded system case study. © 2011 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Linux Kernel Modules Based on Call Interception

Runtime Verification of Linux Kernel Modules Based on Call I...

引用

International Conference on software Testing, Verification, and Validation, ICST

作者： Vladimir V. Rubanov Eugene A. Shatokhin Department of Software Engineering Institute of System Programming of the Russian Academy of Sciences Moscow Russia

关键词： Kernel Driver circuits Instruments Linux Runtime Binary codes Resource management

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable Model-Based Test Program Generator for Microprocessors

Reconfigurable Model-Based Test Program Generator for Microp...

引用

IEEE International Conference on software Testing Verification and Validation Workshop, ICSTW

作者： Alexander Kamkin Eugene Kornykhin Dmitry Vorobyev Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia

关键词： Microprocessors Generators Automatic programming Microarchitecture Registers Pipelines Computer architecture

来源：评论

学校读者我要写书评

暂无评论

A Bio-inspired Fuzzy Agent Clustering Algorithm for Search Engines

引用

Procedia Computer Science 2011年 7卷 305-307页

作者： Radu D. Găceanu Department of Computer Science Babeş-Bolyai University Cluj-Napoca Romania Department of Programming Theory and Software Engineering Eötvös Loránd University Budapest Hungary

In general, web search engines respond to queries by returning a list of links to web pages that are considered relevant. However, these queries are often ambiguous or too general and the users end up browsing through a long list of items in order to find what they are actually looking for. And hence the idea to cluster web search results so that the output would be a list of labelled clusters. An algorithm based on the ASM (Ants Sleeping Model) is proposed. In the ASM model each data is represented by an agent, its environment being a two dimensional grid. The agents will group themselves into clusters by making simple moves according to some local environment information. At any step an agent can pro-actively decide to directly communicate with one of its fellows and choose to move accordingly, the moves being expressed by fuzzy IF-THEN rules. Thus the chance of getting trapped in a local optimum is minimized and hybridization with a classical clustering algorithm becomes needless.

关键词： Ants Sleeping Model Fuzzy logic Clustering

来源：评论

学校读者我要写书评

暂无评论

Boolean differential calculus

Boolean differential calculus

引用

作者： Steinbach, Bernd Posthoff, Christian Department of Computer Science Software Engineering and Programming Freiberg University of Mining and Technology Germany

ISBN: (纸本)9781608451821

Boolean Differential Calculus (BDC) extends Boolean *** Boolean algebra is focused on values of logic functions,BDC allows the evaluation of changes of the function values. Such changes can be investigated between certain pairs of function values as well as regarding whole subspaces. Due to the same basic data structures, BDC can be applied to any task described by logic functions and equations together with the Boolean *** used is BDC in analysis, synthesis, and testing of digital circuits. In this chapter, we introduce basic definitions of BDC together with some typical applications.

关键词： Differentiation (calculus)

来源：评论

学校读者我要写书评

暂无评论

Constraint-guided workflow composition based on the EDAM ontology

Constraint-guided workflow composition based on the EDAM ont...

引用

Workshop on Semantic Web Applications and Tools for Life Sciences 2010, SWAT4LS 2010

作者： Lamprecht, Anna-Lena Naujokat, Stefan Steffen, Bernhard Margaria, Tiziana Department of Programming Systems Technical University Dortmund Dortmund D-44227 Germany Department of Service and Software Engineering University Potsdam Potsdam D-14482 Germany

Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available services and their behavior in terms of input/output data descriptions. In this paper we discuss how the EMBRACE data and methods ontology (EDAM) can be used as background knowledge for the composition of bioinformatics workflows. We show by means of a small example domain that the EDAM knowledge facilitates finding possible workflows, but that additional knowledge is required to guide the search towards actually adequate solutions. We illustrate how the ability to flexibly formulate domain-specific and problem-specific constraints supports the workflow development process.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：