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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

37 篇 会议
9 篇 期刊文献

馆藏范围

46 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

23 篇 工学
- 11 篇 计算机科学与技术...
- 7 篇 软件工程
- 4 篇 机械工程
- 3 篇 控制科学与工程
- 2 篇 动力工程及工程热...
- 2 篇 电气工程
- 2 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 环境科学与工程（可...
- 1 篇 光学工程
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 信息与通信工程
- 1 篇 化学工程与技术
- 1 篇 航空宇航科学与技...
- 1 篇 网络空间安全
16 篇 理学
- 10 篇 数学
- 3 篇 物理学
- 2 篇 化学
- 2 篇 系统科学
- 1 篇 天文学
- 1 篇 生物学
- 1 篇 统计学（可授理学、...
4 篇 管理学
- 4 篇 管理科学与工程(可...
- 2 篇 工商管理
- 1 篇 图书情报与档案管...
1 篇 教育学
- 1 篇 教育学

主题

7 篇 mathematical mod...
3 篇 oscillators
3 篇 elasticity
3 篇 assembly
2 篇 registers
2 篇 programming
2 篇 task analysis
2 篇 magnetic fields
2 篇 electromagnetic ...
2 篇 grid computing
2 篇 partial differen...
2 篇 computer languag...
2 篇 solids
2 篇 fractals
2 篇 equations
2 篇 mathematical mod...
2 篇 propagation
1 篇 information exch...
1 篇 text categorizat...
1 篇 information syst...

机构

16 篇 department of co...
7 篇 department of ma...
6 篇 lviv polytechnic...
3 篇 computational ma...
2 篇 lviv polytechnic...
2 篇 lviv polytechnic...
2 篇 computational ma...
2 篇 computational ma...
2 篇 information syst...
2 篇 institute for sy...
1 篇 department of ap...
1 篇 department of in...
1 篇 applied mathemat...
1 篇 lviv polytechnic...
1 篇 department of co...
1 篇 department of co...
1 篇 department of co...
1 篇 school of mathem...
1 篇 osnabrück univer...
1 篇 institute of sys...

作者

7 篇 pukach petro
5 篇 petro pukach
4 篇 vovk myroslava
4 篇 nytrebych zinovi...
3 篇 volodymyr ilkiv
3 篇 a. chernov
3 篇 pelekh yaroslav
3 篇 zinovii nytrebyc...
3 篇 kunynets andrii
2 篇 ihor kohut
2 篇 ihor demkiv
2 篇 bilushchak yurii
2 篇 hlynskyi yarosla...
2 篇 yaroslav pelekh
2 篇 stolyarchuk roks...
2 篇 pukach yulia
2 篇 roksolyana stoly...
2 篇 andrii kunynets
2 篇 ilkiv volodymyr
2 篇 oksana malanchuk

语言

46 篇 英文

检索条件"机构=Computational Mathematics and Programming Department"

共 46 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Hyperagent Smart Factories Based on Fractal Petri Nets: Ensuring Elasticity and Sustainability

Hyperagent Smart Factories Based on Fractal Petri Nets: Ensu...

引用

International Conference on Control, Decision and Information Technologies (CoDIT)

作者： A.S. Semenov Computational Mathematics and Programming Department Moscow Aviation Institute (National Research University) MAI Moscow Russia

ISBN: (数字)9798350373974

ISBN: (纸本)9798350373981

There are several challenges associated with modeling smart factories, particularly in terms of the multi agent system. Hyperagent modeling, a technique involving fractal Petri nets, can significantly enhance the flexibility and sustainability of smart factories. By coordinating and managing multiple meta agents, hyperagents can optimize resource allocation, reduce waste, and improve efficiency. This approach can be applied to various scales of granularity, from individual machines to entire production lines. Smart factories are leveraging their sustainability through elastic computing-supported processes such as "folding" and "unfolding" of hyperagents modeled by fractal Petri nets. The paper is discussing the application of elastic computing and hyperagents in smart factories, specifically using a theoretical framework and a method of hyperagent release through folding of Petri nets.

关键词： Scalability Petri nets Production Elasticity Fractals Reliability Sustainable development Information technology Information exchange Smart manufacturing

来源：评论

学校读者我要写书评

暂无评论

Predicting Parameter Sweep Jobs: From Simulation to Grid Implementation

Predicting Parameter Sweep Jobs: From Simulation to Grid Imp...

引用

International Conference on Complex, Intelligent and Software Intensive Systems, CISIS

作者： Peter Hellinckx Sam Verboven Frans Arickx Jan Broeckhove Research Group Computational Modeling and Programming Department of Mathematics and Computer Sciences University of Antwerp Antwerp Belgium

ISBN: (纸本)9781424435692

Efficiently using the computational power made available through desktop grids based distributed systems is a complicated and many-sided problem, caused by the intermittent resource availability. In this paper a novel solution is presented for predicting the runtimes of parameter sweep jobs. These jobs are characterized by their lack of inter-dependence and suitability for runtime prediction by modeling. This makes them ideal candidates for deployment on volatile grid configurations using prediction based techniques. The parameter sweep prediction framework used to make the predictions is referred to as GIPSy (grid information prediction system). Previous research involving GIPSy has focused on results obtained during simulation were it is necessary to make some basic assumptions. By combining GIPSy with PGS (prediction based grid scheduling), an actual grid implementation, real results can be obtained. A detailed comparison between the expected results, based on simulation analysis, and the final results is given. Discrepancies are highlighted and possible causes are identified, solutions are proposed and implemented. By comparing the results for different model building configurations an optimal configuration is found that produces reliable result independent of the chosen job type. Results are presented for a quantum physics problem and two simulated workloads represented by sleep jobs.

关键词： Predictive models Availability Runtime Scheduling computational modeling Grid computing Distributed computing Workstations Testing computational intelligence

来源：评论

学校读者我要写书评

暂无评论

Fractal programming Elastic Networks

Fractal Programming Elastic Networks

引用

International Conference on Control, Decision and Information Technologies (CoDIT)

作者： A.S. Semenov Computational Mathematics and Programming Department Moscow Aviation Institute (National Research University) MAI Moscow Russia

The problem of automatic control of elastic computing granularity can be solved based on self-similar (fractal) network patterns. These patterns can control the level of granularity and ensure quick and efficient response to user demand, leading to optimal performance and minimized resource usage. For controlling and programming elastic computing granularity, the Fractal Abstract Machine (FAM) is proposed. It is also a theoretical framework for designing and modeling elastic computer systems, as well as for simulated elastic granularity, in order to solve optimization problems. Currently, FAM is investigating how to regulate an elastic network model while allocating containers and scheduling tasks in distribution networks. The correspondent example is considered. The idea of fractal computing, which controls elastic computing granularity, is explored.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Order Relation on Scalar Products in Real Linear Spaces

Order Relation on Scalar Products in Real Linear Spaces

引用

International Conference on CAD Systems in Microelectronics (CADSM)

作者： Volodymyr Ilkiv Zinovii Nytrebych Petro Pukach Ihor Kohut Bohdan Pakholok Department of Mathematics Lviv Polytechnic National University Lviv Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine

We consider the problem of comparison of scalar products in real linear spaces. Such problem arise during synthesis and optimal choosing of discrete and continuous measurement systems and combinatorial systems. Besides, they are also typical for general theory of partial differential equations, including local multipoint problems, whose solutions describe various oscillations and other natural processes. We specify necessary and sufficient conditions for such comparison, which are easy to check. We use special transformations of sums and series, which arise in respective scalar products, for finite- and infinite-dimensional cases.

关键词： Partial differential equations Mathematical model programming Sufficient conditions Boundary value problems Atmospheric measurements

来源：评论

学校读者我要写书评

暂无评论

Amplitude-frequency response quencher mechanical vibrations

Amplitude-frequency response quencher mechanical vibrations

引用

International Conference on CAD Systems in Microelectronics (CADSM)

作者： Ihnatyshyn Mykola Pelekh Yaroslav Mukachevo State University Mukachevo UKRAINE Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv UKRAINE

ISBN: (纸本)9781509050468

This paper provides an overview of the generalized problem of optimization of mechanical quencher, considered specific problem - investigated the frequency response of a cylindrical pendulum and quencher mechanical vibrations calculated the resonant frequency quencher and calculation of mechanical parameters quencher for a given resonant frequency. The analytical value used to optimize the mechanical parameters quencher mechanical vibrations.

关键词： Shock absorbers Oscillators Vibrations Resonant frequency Mathematical model Buildings Solids

来源：评论

学校读者我要写书评

暂无评论

Profile-based type reconstruction for decompilation

Profile-based type reconstruction for decompilation

引用

IEEE Workshop on Program Comprehension

作者： K. Troshina A. Chernov A. Fokin Institute of System Programming RAS Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia

Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. In most cases static decompilation is unable to completely reconstruct high-level data types due to loss of typing information during compilation. We present several profile-based techniques that help to recover high-level types. The techniques include pointer/integer determination by value profiling and composite type identification by heap profiling.

关键词： Reconstruction algorithms Registers Reverse engineering Cybernetics Assembly Equations Mathematical programming Application software Computer bugs Computer languages

来源：评论

学校读者我要写书评

暂无评论

The Model of Diffusion Processes in a Two-Phase Strip with Randomly Disposed Spherical Inclusions near the Mass Source on the Body Surface 3

The Model of Diffusion Processes in a Two-Phase Strip with R...

引用

3rd IEEE International Conference on System Analysis and Intelligent Computing, SAIC 2022

作者： Chernukha, Olha Chuchvara, Anastasia Bilushchak, Yurii Y. S. Pidstryhach Inst. of Appl. Prob. of Mechanics and Math. of the Natl. Acad. of Sci. of Ukraine Department of Numerical Methods of Mathematical Physics Lviv Ukraine Lviv Polytechnic National University Department of Computational Mathematics and Programming Lviv Ukraine

ISBN: (数字)9798350396744

ISBN: (纸本)9798350396744

In the work the mathematical model and method of system analysis for the qualitative and quantitative description of compound systems with random structure is proposed. The proposed scheme of investigation is applied for description of the diffusion process in two-phase strip with randomly disposed spherical inclusions concentrated near the body surface where the constant mass source acts. © 2022 IEEE.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

Automatic Type Reconstruction in Disassembled C Programs

Automatic Type Reconstruction in Disassembled C Programs

引用

Working Conference on Reverse Engineering

作者： K. Dolgova A. Chernov Institute for System Programming Russian Academy of Science Moscow Russia Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia

ISBN: (纸本)9780769534299;0769534295

This paper presents an algorithm for automatic type reconstruction from target assembly code compiled by a C compiler. The primitive language types are recovered by an iterative algorithm, which operates over the lattice of primitive types' properties. Layout of composite types is reconstructed by building set of accessible offsets for each composite type. The algorithm is the essential part of a tool for program decompilation being developed by the authors.

关键词： Registers Assembly Equations Finite element methods Construction industry Algorithm design and analysis High level languages

来源：评论

学校读者我要写书评

暂无评论

Reconstruction of Class Hierarchies for Decompilation of C++ Programs

Reconstruction of Class Hierarchies for Decompilation of C++...

引用

(CSMR) European Conference on Software Maintenance and Reengineering

作者： A. Fokin K. Troshina A. Chernov Computational Mathematics and Cybernetics Department Moscow State University Moscow Russia Institute for System Programming Russian Academy of Science Moscow Russia

This paper presents a method for automatic reconstruction of polymorphic class hierarchies from the assembly code obtained by compiling a C++ program. If the program is compiled with run-time type information (RTTI), class hierarchy is reconstructed via analysis of RTTI structures. In case RTTI structures are missing in the assembly, a technique based on the analysis of virtual function tables, constructors and destructors is used. A tool for automatic reconstruction of polymorphic class hierarchies that implements the described technique is presented. This tool is implemented as a plug in for IDA Pro Interactive Disassembler. Experimental study of the tool is provided.

关键词： Assembly Computer languages Open source software Electronic mail Optimization History

来源：评论

学校读者我要写书评

暂无评论

System Approach to Mathematical Description of Transport Processes with Chemical Reaction in Multiphase Multicomponent Body 2

System Approach to Mathematical Description of Transport Pro...

引用

2nd IEEE International Conference on System Analysis and Intelligent Computing, SAIC 2020

作者： Chernukha, Olha Bilushchak, Yurii Pakholok, Bohdan Ctr. of Math. Modelling of Y. S. Pidstryhach Inst. of Appl. Prob. of Mechanics and Math. of the Natl. Acad. of Sci. of Ukraine Department of Mathematical Modeling of Nonequilibrium Processes Lviv Ukraine Lviv Polytechnic National University Institute of Applied Mathematics and Fundamental Sciences Department of Computational Mathematics and Programming Lviv Ukraine

ISBN: (纸本)9781728190822

In the work the system approach to the description of complex and compound systems is proposed. It is based on the synthesis of the classical mathematical modeling approach of coupled processes of different physical nature in nonhomogeneous media for a well-structured part of the system and the non-classical statistical approach to modeling an unknown boundary condition based on experimental data. © 2020 IEEE.

关键词： Chemical reactions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共5页 << < 1 2 3 4 5 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：