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

7th International Conference on Progress of Machining Technology

作者： Gao, T Zhang, WH Qiu, KP Wan, M Northwestern Polytech Univ Xian 710072 Shanxi Peoples R China

ISBN: (纸本)780183500X

Machined surface topography is very critical since it affects directly the surface quality, especially the surface roughness. Based on the trajectory equations of the cutting edge relative to the workpiece, a new method is developed for the prediction of the machined surface topography. This method has the advantage of simplicity and it is a mesh-independent direct computing method over the traditional interpolation scheme. The topography value of any point on the machined surface can be calculated directly and the spindle runout can be taken into account. The validity of the method is demonstrated by several simulation examples of end and ball-end milling processes.

关键词： milling surface topography simulation algorithm

来源：评论

学校读者我要写书评

暂无评论

An agent-based model of consumer demand

引用

BULLETIN OF ECONOMIC RESEARCH 2024年第4期76卷 935-950页

作者： Tsiatsios, Georgios Alkis Kollias, Iraklis Leventides, John Melas, Evangelos Natl & Kapodistrian Univ Athens Dept Econ Athens Greece

This paper studies an agent-based model of consumer demand. Agents are heterogeneous with respect to their preferences and incomes. There are two basic ingredients in the model. The first ingredient is a metric that captures the degree of heterogeneity between agents. The second ingredient is a serial computer algorithm that is used in order to compute a terminal consumption bundle at which income is exhausted and overall utility is maximized. Agents are clustered into heterogeneous groups based on their preferences and incomes. We extract information about the evolution of consumer expenditure under different price regimes and the buildup of optimal demand for varying levels of income and preference parameter values. These features cannot be obtained in the classical framework of static utility maximization. Our agent-based data-driven methodology can be applied to any relevant data set and so provide a reliable model for forecasting demand given some agent characteristics.

关键词： agent-based modeling heterogeneity simulation algorithm

来源：评论

学校读者我要写书评

暂无评论

Computing Reachable simulations on Transition Systems 18th

Computing Reachable Simulations on Transition Systems

引用

18th International Conference on Reachability Problems (RP)

作者： Ganty, Pierre Manini, Nicolas Ranzato, Francesco IMDEA Software Inst Pozuelo De Alarcon Spain Univ Politecn Madrid Madrid Spain Univ Padua Padua Italy

ISBN: (纸本)9783031726200;9783031726217

We study the problem of computing the reachable principals of the simulation preorder and the reachable blocks of simulation equivalence. Following a theoretical investigation of this problem, which highlights a sharp contrast with the already settled case of bisimulation, we design algorithms to solve this problem by leveraging the idea of interleaving reachability and simulation computation while possibly avoiding the computation of all the reachable states or the whole simulation preorder. In particular, we put forward a symbolic algorithm processing state partitions and, in turn, relations between their blocks, which is suited for processing infinite-state systems.

关键词： simulation Reachability Reachable simulation Problem simulation algorithm Symbolic Data Structure

来源：评论

学校读者我要写书评

暂无评论

An algorithm for Simulating Human Selective Attention 15th

An Algorithm for Simulating Human Selective Attention

引用

15th International Conference on Software Engineering and Formal Methods (SEFM)

作者： Broccia, Giovanna Milazzo, Paolo Olveczky, Peter Csaba Univ Pisa Dept Comp Sci Pisa Italy Univ Oslo Dept Informat Oslo Norway

ISBN: (纸本)9783319747811;9783319747804

The brain mechanism of selective attention plays a key role in determining the success of a human's interaction with a device. If the user has to perform concurrent tasks by interacting simultaneously with more than one device, her/his attention is directed at one of the devices at a time. Attention can therefore be seen as a shared resource, and the attentional mechanisms play the role of a task scheduler. In this paper we propose an algorithm for simulating the human selective attention. simulations can then be used to study situations in which a user has to interact simultaneously with multiple devices. This kind of study is particularly important in safety-critical contexts in which failures in the main task, such as driving a car or setting an infusion pump, may have serious consequences.

关键词： simulation algorithm Human-computer interaction Selective attention Cognitive load

来源：评论

学校读者我要写书评

暂无评论

DEVELOPMENT OF SPACEBORNE RADAR SIMULATOR BY NICT AND JAXA USING JMA CLOUD-RESOLVING MODEL 30

DEVELOPMENT OF SPACEBORNE RADAR SIMULATOR BY NICT AND JAXA U...

引用

30th IEEE International Geoscience and Remote Sensing Symposium (IGARSS) on Remote Sensing - Global Vision for Local Action

作者： Kubota, Takuji Eito, Hisaki Aonashi, Kazumasa Hashimoto, Akihiro Iguchi, Toshio Hanado, Hiroshi Shimizu, Shuji Yoshida, Naofumi Oki, Riko Japan Aerosp Explorat Agcy Earth Observat Res Ctr Tsukuba Ibaraki Japan Japan Meteorol Agcy Numer Predict Div Tokyo Japan Japan Meteorol Agcy Meteorol Res Inst Tsukuba Ibaraki Japan Natl Inst Informat & Commun Technol Applied Electromagnet Res Ctr Koganei Tokyo Japan Natl Inst Informat & Commun Technol Okinawa Subtrop Environm Remote Sensing Ctr Okinawa Japan Japan Aerosp Explorat Agcy Earth Observat Res Ctr Chofu Tokyo Japan

ISBN: (纸本)9781424495665

This study demonstrated preliminary results in diagnosis of the numerical model with reference to the TRMM/PR, examples of the GPM/DPR synthetic data, and application of the synthetic data to the algorithm development in the nonuniform beamfilling correction method. These were performed using a satellite radar simulation algorithm by the National Institute of Information and Communications Technology (NICT) and the Japan Aerospace Exploration Agency (JAXA) named as the Integrated Satellite Observation Simulator for Radar (ISOSIM-Radar) and a cloud-resolving model by the Japan Meteorological Agency (JMA-NHM).

关键词： Global Precipitation Measurement dual-frequency precipitation radar cloud-resolving model simulation algorithm nonuniform beamfilling

来源：评论

学校读者我要写书评

暂无评论

A Monte Carlo study of high-energy photon transport in matter: application for multiple scattering investigation in Compton spectroscopy

A Monte Carlo study of high-energy photon transport in matte...

引用

2nd Workshop on FEL Photon Diagnostics, Instrumentation and Beamlines Design (PhotonDiag)

作者： Brancewicz, Marek Itou, Masayoshi Sakurai, Yoshiharu Japan Synchrotron Radiat Res Inst JASRI Sayo Hyogo 6795198 Japan

The first results of multiple scattering simulations of polarized high-energy X-rays for Compton experiments using a new Monte Carlo program, MUSCAT, are presented. The program is developed to follow the restrictions of real experimental geometries. The new simulation algorithm uses not only well known photon splitting and interaction forcing methods but it is also upgraded with the new propagation separation method and highly vectorized. In this paper, a detailed description of the new simulation algorithm is given. The code is verified by comparison with the previous experimental and simulation results by the ESRF group and new restricted geometry experiments carried out at SPring-8.

关键词： photon transport multiple scattering Monte Carlo Compton spectroscopy simulation algorithm

来源：评论

学校读者我要写书评

暂无评论

SPATIAL MODELING IN CELL BIOLOGY AT MULTIPLE LEVELS

SPATIAL MODELING IN CELL BIOLOGY AT MULTIPLE LEVELS

引用

2010 Winter simulation Conference

作者： Bittig, Arne T. Uhrmacher, Adelinde M. Univ Rostock D-18059 Rostock Germany

ISBN: (纸本)9781424498642

Most modeling and simulation approaches applied in cell biology assume a homogeneous distribution of particles in space, although experimental studies reveal the importance of space to understand the dynamics of cells. There are already numerous spatial approaches focusing on the simulation of cells. Recently, they have been complemented by a set of spatial modeling languages whose operational semantics are tied partly to existing simulation algorithms. These modeling languages allow an explicit description of spatial phenomena, and facilitate analysis of the temporal spatial dynamics of cells by a clear separation between model, semantics, and simulator. With the supported level of abstraction, each of those offers a different perception of the spatial phenomena under study. In this paper, we give an overview of existing modeling formalisms and discuss some ways of combining approaches to tackle the problem the computational costs induced by spatial dynamics.

关键词： biology computing cell biology cell dynamics cell simulation cellular biophysics computer graphics operational semantics physiological models simulation algorithm spatial dynamics spatial modeling

来源：评论

学校读者我要写书评

暂无评论

BAISHAKHI: Odia Keyboard evaluation using Keystroke Level Model

BAISHAKHI: Odia Keyboard evaluation using Keystroke Level Mo...

引用

International Conference on I-SMAC (IoT in Social, Mobile, Analytics and Cloud) (I-SMAC)

作者： Jena, Gouranga Charan Rautaray, Siddharth Swarup KIIT Univ Sch Com puter Engn Bhubaneswar Odisha India

ISBN: (纸本)9781509032433

Odia is the primarily spoken language of Odisha and the sixth classical language of India. There are more than 33 million people of Odisha speak Odia in their day to day life. However, standard input methods for typing Odia are not very widespread among Odia users This paper proposes a simulation algorithm based on Keystroke-Level Model, for predicting one aspect of user performance of our previously proposed Odia keyboard "Baishakhi". The time it takes an user to perform a given task on a given computer system is simulated by this algorithm. The design and development of BAISHAKHI Odia keyboards that can be used to type Unicode enabled Odia texts in a standard text editor using any QWERTY keyboard. We have evaluated the performance of our proposed layout with the existing Odia keyboard layouts using this simulation algorithm. Our primary evaluation shows a significant improvement in reducing time irrespective of keystrokes.

关键词： simulation algorithm KLM Keyboard Layout Design Evaluation Odia Language

来源：评论

学校读者我要写书评

暂无评论

Design of electronic circuits using a divide-and-conquer approach

引用

7th International Conference on Evolvable Systems

作者： He, Guoliang Li, Yuanxiang Yu, Li Zhang, Wei Tu, Hang Wuhan Univ State Key Lab Software Engn Wuhan 430072 Peoples R China

ISBN: (纸本)9783540746256

Automatic design of electronic logic circuits has become a new research focus with the cooperation of FPGA technology and intelligent algorithms in recent twenty years. However, as the size of logic circuits became larger and more complex, it has become difficult for the automatic design method to obtain valid and optimized circuits. Based on a divide-and-conquer approach, a two-layer encoding scheme was devised for design of electronic logic circuits. In the process of evolvement, each layer was evolved parallel and they contacted each other at the same time. Moreover, in order to simulate and evaluate evolved electronic logic circuits, a two-step simulation algorithm was proposed to reduce pp computation complexity of simulating circuits and to improve the simulation efficiency. At last, a random number generator was automatically designed with this encoding scheme and the proposed simulation algorithm, and the result showed this method was efficient.

关键词： evolvable hardware divide-and-conquer approach simulation algorithm

来源：评论

学校读者我要写书评

暂无评论

Dynamic Characteristics Analysis of an Oil Turbine

Dynamic Characteristics Analysis of an Oil Turbine

引用

International Conference on Modern Hydraulic Engineering (CMHE)

作者： Yan, Biao Lai, Xide Long, Jianghong Huang, Xiao Hao, Fei Hydrochina Chengdu Engn Corp Deans Off Huanhua North Rd 1 Chengdu 610072 Sichuan Peoples R China Xihua Univ Sch Energy & Environm Chengdu 610039 Sichuan Peoples R China Korea Adv Inst Sci & Technol Dept Comp Sci Daejeon 305701 South Korea

This work is to study the dynamic characteristics of an oil turbine (OT) in the lubricating system of large-scale steam turbines. The configuration and the functions of OT are introduced. The mathematical models are accordingly explored. In addition, the experiment results are predicted and compared with the theoretical prediction. Finally, the dynamic characteristics in the start-up procedure are simulated and analyzed. The agreement between the numerical results and the experiment observations is in general satisfactory. It shows that the numerical simulation approach is reliable, and could be applied into the dynamic characteristics research and optimization of other complicated fluid systems as hydropower station. (C) 2012 Published by Elsevier Ltd. Selection and/or peer-review under responsibility of Society for Resources, Environment and Engineering

关键词： Lubricating network system Dynamic characteristics Mathematical model simulation algorithm simulation control Oil turbine

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：