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

International Conference on Control,Mechatronics and Automation technology(ICCMAT 2014)

作者： C.Chen Y.L.Wang Z.P.Hui J.N.Wang Civil Aviation University of China Tianjin Key Laboratory of Operation Programming and Safety Technology of Air Traffic Management

Considering the important role AMDB takes in the future air traffic management system, an AMDB data modeling method has been proposed, which is followed by a display technique. In this paper, first,the UML and XML schema model of AMDB data are constructed on which the aerodrome mapping database is based. Secon, the electronic airport map is drawn by the Auto CAD according to the AIP, NAIP, and airport design chart, which is then be rendered by 3ds MAX and checked by GLClayer. Finally, Qt is used to link the aerodrome mapping database and electronic airport map that aims to visualize the aerodrome mapping *** program presented in this paper can be used as a prototype system of commercial AMDB product.

关键词： AMDB data modeling visualization

来源：评论

学校读者我要写书评

暂无评论

在开放世界中实现逃逸分析

引用

软件学报 2008年第3期19卷 522-532页

作者：史晓华吴甘沙金茂忠 LUEH Guei-Yuan 刘超王雷北京航空航天大学软件工程研究所北京100083 Programming System Laboratory Microprocessor Technology LabsIntelSanta ClaraCAUSA

逃逸分析（escape analysis）是一种可以有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法．此前绝大多数逃逸分析的实现都基于一个所谓“封闭世界（closed world）”的前提：所有可能被执行的方法在做逃逸分析... 详细信息

逃逸分析（escape analysis）是一种可以有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法．此前绝大多数逃逸分析的实现都基于一个所谓“封闭世界（closed world）”的前提：所有可能被执行的方法在做逃逸分析前都已经得知，并且，程序的实际运行不会改变它们之间的调用关系．但当真实的Java程序运行时，这样的假设并不成立．Java程序拥有的许多特性，例如动态类加载、调用本地函数以及反射程序调用等等，都将打破所谓“封闭世界”的约定．这样的真实运行环境被称为“开放世界”．在开放世界中，实现逃逸分析将面临许多重要的问题，例如，能否正确、全面地捕捉动态载入的类和方法，并分析它们与原有程序的关系；逃逸分析算法的复杂性是否能够得以控制，以保证即时编译器的重新分析时间不会过长，等等．提出一个新的逃选分析架构，它可以有效地处理上述开放世界所面临的问题．该分析架构将增量分析Java程序，动态捕获新载入和调用的类及方法，同时，在复杂性和精度之间进行权衡，正确、有效地降低程序的运行负载．该分析架构已经在Intel的开放式Java虚拟机系统ORP中实现，经过实际测试，可以有效地消除一些主要基准测试程序，如SPECjbb2000和SPEcjvm98的db中70％-94％的同步操作，大幅度地提高15％-31％的程序的运行速度．

关键词：逃逸分析即时编译器 Java虚拟机

来源：评论

学校读者我要写书评

暂无评论

Reducing noise in gossip-based reliable broadcast

Reducing noise in gossip-based reliable broadcast

引用

Reliable Distributed Systems

作者： P. Kouznetsov R. Guerraoui S.B. Handurukande A.-M. Kermarrec Distributed Programming Laboratory Swiss Federal Institute of Technology Lausanne Switzerland Microsoft Research Limited Cambridge USA

We present in this paper a general garbage collection scheme that reduces the "noise" in gossip-based broadcast algorithms. In short, our garbage collection scheme uses a simple heuristic to trade "useless" messages with "useful" ones. Used with a given gossip-based broadcast algorithm, a given size of buffers, and a given number of disseminated messages (e.g., per gossip round), our garbage collection scheme provides higher overall reliability than more conventional schemes. We illustrate our approach through two algorithms: bimodal multicast (pbcast) and lightweight probabilistic broadcast (lpbcast). Our scheme is based on the intuitive idea of discarding messages according to their "age". The "age" of a message represents the number of times the message has been retransmitted.

关键词： Noise reduction Broadcasting Multicast algorithms Scalability Laboratories Broadcast technology Local area networks Degradation Redundancy Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

Technological parameters of thin-film pulsed laser scribing for perovskite photovoltaics

引用

Clean Energy 2024年第3期8卷 127-135页

作者： Rustam Ishteev Pavel Gostishchev Mariia Tiukhova Anton Sorokin Arthur Ishteev Vladimir Kondratenko Laboratory of Precision Machining of Materials Department of NanoelectronicsInstitute for Advanced Technologies and Industrial ProgrammingRTU MIREAMoscowRussia Research and Practical Clinical Center for Diagnostics and Telemedicine Technologies of the Moscow Health Care Department MoscowRussia Laboratory of Advanced Solar Energy(LASE) National University of Science and Technology MISIS4 Leninsky St.MoscowRussia Semenov Federal Research Center of Chemical Physics Russian Academy of Sciences(RAS)4 Kosygina str.MoscowRussia

Over the past decade,the power conversion efficiency of halide perovskite solar cells has shown a rapid increase to 26.1%.The significant efficiency growth and the relative simplification of the technology for obtaining thin-film solar cells due to liquid printing methods determine the high potential for the low-cost perovskite solar cells ***,efficient use of cell geometry is comparable to the size of standard crystalline-Si wafers(156:156 mm and more).Therefore,modular geometry similar to amorphous-Si solar cell approaches is used to scale perovskite solar *** electrical connection of thin-film cells requires precise processing of the conductive layers that form the device p-i-n *** subject of research is the development of a full pulsed laser scribing cycle for inverted perovskite solar *** this work,we propose a study of a laser-patterning technology In_(2)O_(3):SnO_(2)(ITO)conductive layer and a photoactive perovskite layer Cs0,2(CH(NH_(2))_(2))_(0,8)PbI_(3).Process regimes of transparent conducting electrodes based on ITO and halide perovskite layer Cs_(0,2)(CH(NH_(2))_(2))_(0,8)PbI_(3)laser patterning were *** optimal parameters for the multipass mode processing of ITO and perovskite layer were *** cell was electrically isolated at a scribe line width of 30μm.

关键词： patterning perovskite solar cell perovskite solar cell photovoltaics scribing

来源：评论

学校读者我要写书评

暂无评论

Maternal treatment with dexamethasone during lactation delays male puberty and disrupts reproductive functions via hypothalamic-pituitary-gonadal axis alterations

引用

Pathophysiology 2016年第1期23卷 43-49页

作者： Jeje, S.O. Akindele, O.O Balogun, M.E. Raji, Y. Laboratory for Reproductive Physiology and Developmental Programming Department of Physiology University of Ibadan Ibadan Nigeria Department of Human Physiology Cross River University of Technology Okuku Campus Cross River State Nigeria Department of Physiology Faculty of Medicine College of Health Sciences Ebonyi State University Abakaliki Nigeria

The effects of maternal treatment with dexamethasone during lactation on pubertal timing, serum hormonal profile and sperm indices in the male offspring were assessed. Twenty lactating dams were divided into 4 groups (n = 5). Group 1 was administered subcutaneously 0.02 ml/100 g/day normal saline at lactation days 1-21. Groups 2-4 were administered subcutaneously 100 μg/kg/day dexamethasone (Dex) at lactation days 1-7, 1-14, and 1-21 respectively. Results showed that there was significant reduction in serum testosterone in the DexLD 1-7 (p < 0.05), DexLD 1-14 (p < 0.01) and DexLD 1-21 (p < 0.001) relative to control. In addition there was a significant reduction in serum FSH and LH in the DexLD 1-7 (p < 0.01), DexLD 1-14 (p < 0.001) and DexLD 1-21 (p < 0.001) when compared with the control. Treatment with dexamethasone during lactation significantly increased the days of preputial separation in the DexLD 1-7 (p < 0.05), DexLD 1-14 (p < 0.05) and DexLD 1-21 (p < 0.001) relative to control. Maternal treatment with dexamethasone throughout lactation period also significantly reduced sperm counts (p < 0.001), motility (p < 0.01) and increased percentage abnormal sperm (p < 0.001) in the offspring when compared with the control. In conclusion, maternal treatment with dexamethasone during lactation may induce delayed puberty and disrupt reproductive functions by altering activities at hypothalamic-pituitary-gonadal axis in the male offspring. © 2015 Elsevier Ireland Ltd.

关键词： Hypothalamic-pituitary-gonadal axis Puberty Reproduction Sperm indices

来源：评论

学校读者我要写书评

暂无评论

Research on the multidimensional educational review strategy Based on MOOCs Integrated by the multidimensional learning theory

Research on the multidimensional educational review strategy...

引用

2015 World Congress on Engineering and Computer Science, WCECS 2015

作者： Ming, Li Ju, Zhang Jingzhong, Zhang Lian, Chen High Performance Computing Application R and D Center Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Automated Reasoning and Cognition Key Laboratory of Chongqing Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China

ISBN: (纸本)9789881925367

Through a detailed analysis of the theoretical basis for MOOCs in terms of educational learning theories, this paper attempts at finding the corresponding relationship between the theories and MOOCs, which not only theoretically explains the reasons why MOOCs exceed all the previous education models, but also empirically proves it with voluminous facts and data. The author conducts this research in the hope of enlightening the online education platform of other types. Besides, this paper provides the model framework and strategy to multidimensional educational review based on MOOCs. The model and strategy are applicable not only to MOOCs, the large-scale online education, but also to various online education platforms.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

On the inability of Markov models to capture criticality in human mobility

arXiv

引用

arXiv 2018年

作者： Kulkarni, Vaibhav Mahalunkar, Abhijit Garbinato, Benoit Kelleher, John D. Distributed Object Programming Laboratory UNIL-HEC Lausanne Switzerland Applied Intelligence Research Center Dublin Institute of Technology

We examine the non-Markovian nature of human mobility by exposing the inability of Markov models to capture criticality in human mobility. In particular, the assumed Markovian nature of mobility was used to establish a theoretical upper bound on the predictability of human mobility (expressed as a minimum error probability limit), based on temporally correlated entropy. Since its inception, this bound has been widely used and empirically validated using Markov chains. We show that recurrent-neural architectures can achieve significantly higher predictability, surpassing this widely used upper bound. In order to explain this anomaly, we shed light on several underlying assumptions in previous research works that has resulted in this bias. By evaluating the mobility predictability on real-world datasets, we show that human mobility exhibits scale-invariant long-range correlations, bearing similarity to a power-law decay. This is in contrast to the initial assumption that human mobility follows an exponential decay. This assumption of exponential decay coupled with Lempel-Ziv compression in computing Fano's inequality has led to an inaccurate estimation of the predictability upper bound. We show that this approach inflates the entropy, consequently lowering the upper bound on human mobility predictability. We finally highlight that this approach tends to overlook long-range correlations in human mobility. This explains why recurrent-neural architectures that are designed to handle long-range structural correlations surpass the previously computed upper bound on mobility predictability. Copyright © 2018, The Authors. All rights reserved.

关键词： Criticality (nuclear fission)

来源：评论

学校读者我要写书评

暂无评论

Abstracting remote object interaction in a peer-2-peer environment 02

Abstracting remote object interaction in a peer-2-peer envir...

引用

Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference

作者： Eugster, Patrick Thomas Baehni, Seábastien Distributed Comp. Syst. Res. Grp. Chalmers University of Technology Göteborg S-412 96 Sweden Distributed Programming Laboratory Swiss Fed. Inst. Technol. Lausanne CH-1015 Lausanne Switzerland

ISBN: (纸本)9781581135992

Leveraged by the success of applications aiming at the "free" sharing of data in the Internet, the paradigm of peer-to-peer (P2P) computing has been devoted substantial consideration recently. This paper presents an abstraction for remote object interaction in a P2P environment, called borrow/lend (BL). We present the principles underlying our BL abstraction, and its implementation in Java. We contrast our abstraction with established abstractions for distributed programming such as the remote method invocation or the tuple space, illustrating how the BL abstraction, obviously influenced by such predating abstractions, unifies flavors of these, but also how it captures the constraints specific to P2P environments.

关键词： Internet

来源：评论

学校读者我要写书评

暂无评论

Termination of programs over the union of intervals

Termination of programs over the union of intervals

引用

International Conference on Advanced Computer Theory and Engineering, ICACTE

作者： Lin Mu Yi Li Taige Jin Jiawei Luo Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer ApplicationCAS Chengdu China Laboratory of CRTC University of Electronic Science and Technology Chengdu China

For a generic loop: while (constraints) {updates} it is well known that the termination problem is undecidable in general, even for a simple class of polynomial programs. If the constraints or the updating function in the above loop is not linear, the loop is called nonlinear. In this paper, we investigate how to solve the termination of the above loop by deciding whether a fixed point exists, when the constraints are the union of intervals and the updating functions are polynomials. Furthermore, when all fixed points are on the boundaries of the union of intervals, we also establish a corresponding necessary and sufficient condition of nontermination.

关键词： Orbits

来源：评论

学校读者我要写书评

暂无评论

A PIPELINED BROADCAST FOR MULTIDIMENSIONAL MESHES

引用

Parallel Processing Letters 1995年第2期5卷 281-292页

作者： JERRELL WATTS ROBERT VAN DE GEIJN Scalable Concurrent Programming Laboratory California Institute of Technology Pasadena California 91125 USA Department of Computer Sciences University of Texas at Austin Austin Texas 78712 USA

We address the problem of performing a pipelined broadcast on a mesh architecture. Meshes require a different approach than other topologies, and their very nature puts a tighter bound on the performance that one can hope to achieve. By using the appropriate techniques, however, one can obtain excellent performance for sufficiently long messages. The resulting algorithm will work on meshes of any dimension with any number of nodes. Our model assumes that the mesh is a torus and/or that it has bidirectional links and uses wormhole routing. Performance data from the Cray T3D are included.

关键词： Broadcast pipelining communication mesh torus

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：