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

International Symposium on Multimedia Software Engineering

作者： T. Tourwe L. Stoops S. Decneut Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium IMEC Leuven Belgium

XML has recently emerged as a standard for exchanging data between different software applications. We present an approach for automatic code generation to interpret information in an XML document. The approach is based on a user-defined mapping of the XML document's structure onto the application's API. This mapping is declarative in nature, and thus easy to specify, and is used by code generator that applies advanced code generation and manipulation techniques to generate the appropriate code. The approach relieves developers from the time-consuming and error-prone task of writing the interpreter themselves, and complements existing XML technologies such as XSLT.

关键词： XML Application software Software standards Writing Packaging Data mining Robustness Software engineering Navigation

来源：评论

学校读者我要写书评

暂无评论

Electron vortices in photoionization by a pair of elliptically polarized attosecond pulses

引用

Chinese Optics Letters 2017年第12期15卷 6-10页

作者：李猛张贵忠赵天琪丁欣姚键铨 College of Precision Instrument and Optoelectronics Engineering Tianjin University Civil Aviation Meteorological Institute Key Laboratory of Operation Programming & Safety Technology of Air Traffic Management Civil Aviation University of China

The photoionization by two elliptically polarized, time delayed attosecond pulses is investigated to display a momentum distribution having the helical vortex or ring structuresi The results are obtained by the strong field approximation method and analyzed by the pulse decomposition. The ellipticities and time delay of the two attosecond pulses are found to determine the rotational symmetry and the number of vortex arms. For observing these vortex patterns, the energy bandwidth and temnoral duration of the attosecond pulses are ideal.

关键词： Electron vortices in photoionization by a pair of elliptically polarized attosecond pulses

来源：评论

学校读者我要写书评

暂无评论

Optimizations and Deoptimizations for Escape Analysis in Open World

引用

Chinese Journal of Electronics 2023年第2期19卷 211-216页

作者： Xiaohua Shi Gansha Wu Jin Maozhong Guei-Yuan Lueh School of Computer Science Beihang University Beijing China Programming System Laboratory Microprocessor Technology Labs Intel Corporation Beijing China

This paper introduced the optimization and deoptimization technologies for Escape analysis in open world. These technologies are used in a novel Escape analysis framework that has been implemented in Open runtime platform, Intel's open-source Java virtual machine. We introduced the optimization technologies for synchronization removal and object stack allocation, as well as the runtime deoptimization and compensation work. The deoptimization and compensation technologies are crucial for a practical Escape analysis in open world. We evaluated the runtime efficiency of the deoptimization and compensation work on benchmarks like SPECjbb2000 and SPECjvm98.

关键词： Java Runtime Education Medical services Benchmark testing Virtual machining Synchronization

来源：评论

学校读者我要写书评

暂无评论

Experiences in modularizing business rules into aspects

Experiences in modularizing business rules into aspects

引用

International Conference on Software Maintenance (ICSM)

作者： Andy Kellens Kris De Schutter Theo D'Hondt Viviane Jonckers Hans Doggen Programming Technology Laboratory Vrije Universiteit Brussel System and Software Engineering Laboratory Vrije Universiteit Brussel Beerzel Belgium

This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale case study. The goal of this refactoring of the system was to provide a proof-of-concept implementation of how such an aspect-oriented solution can improve the modularity and the extensibility of the business rule implementation. This paper focusses on the approach taken in refactoring the system and the difficulties of integrating the aspect solution into the build process.

关键词： Business Engines Weaving Companies Tiles Runtime programming

来源：评论

学校读者我要写书评

暂无评论

Changes in EEG spectrograms, event-related potentials and event-related desynchronization induced by relative beta training in ADHD children

引用

Journal of Neurotherapy 2007年第2期11卷 3-11页

作者： Kropotov, Jury D. Grin-Yatsenko, Vera A. Ponomarev, Valery A. Chutko, Leonid S. Yakovenko, Elena A. Nikishena, Inna S. Institute of Psychology Norwegian University of Science and Technology (NTNU) Trondheim Norway Laboratory for Neurobiology of Action Programming Institute of the Human Brain of Russian Academy of Sciences Trondheim Norway Laboratory for Rehabilitation of Sensory Systems Human Brain of Russian Academy of Sciences Trondheim Norway Laboratory for Neurophysiology of Electromagnetic Therapy Institute of the Human Brain of Russian Academy of Sciences Trondheim Norway

Background. During the last three decades EEG-based biofeedback (neurofeedback) was used as an alternative treatment for reducing symptoms of ADHD. The goal of this study was to objectively assess the efficacy of biofeedback training by comparing spectrograms, ERPs and ERDs, measured before and after 20 sessions of neurotherapy in a group of ADHD children. Method. Electroencephalogram (EEG), Event related potentials (ERPs) and event related synchronisation/desynchronisation (ERD/ERS) were recorded and computed in auditory GO/NOGO task before and after 15-22 sessions of EEG biofeedback. Eighty-six ADHD children participated in the study. Each session consisted of 30 min of relative beta training. The patients were divided into two groups (good performers and poor performers) depending on their ability to elevate beta activity during sessions. Results. Amplitude of late positive components of evoked potentials in response to NOGOstimuli increased, and event-related synchronisation in alpha frequency band measured at central areas decreased after the whole set of sessions of neurofeedback training in the group of good performers but did not change for the poor performers group. Evoked potential differences between post- and pre-treatment conditions for good performers were distributed over frontal-central areas, reflecting activation of frontal cortical areas associated with beta training. Conclusion. Relative beta training with electrodes located above the frontal areas was associated with an increase of the late positive NOGO component. This activation likely indicates recovery of normal functioning of the executive system. © 2007 by The Haworth Press, Inc. All rights reserved.

关键词： Attention Deficit Hyperactivity Disorder Beta training EEG biofeedback (neurofeedback) Event-related potentials Event-related synchronisation Executive functions GO/NOGO paradigm

来源：评论

学校读者我要写书评

暂无评论

Dynamics of control

Dynamics of control

引用

1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering

作者： Sanders, J. W. Turilli, Matteo United Nations University International Institute for Software Technology P O Box 3058 Macao Programming Research Group Oxford University Computing Laboratory Wolf Son Building Oxford OX1 3QD Parks Rd

ISBN: (纸本)9780769528564

This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of Formal Methods can be used to derive the latter from the former In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.

关键词： Control system analysis

来源：评论

学校读者我要写书评

暂无评论

The FX-87 Interpreter

The FX-87 Interpreter

引用

International Conference on Computer Languages

作者： P. Jouvelot D.K. Gifford Programming Systems Research Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA

The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties: a type and an effect. Type and effect polymorphism permits the behavior of first-class procedures to be statically modeled. The integration of type and effect analysis has resulted in the first system that is able (by accurate modeling of the side-effects of procedure values and masking of unobservable effects in the heap) to detect a compile-time, parallelizable constructs in both functional and imperative programs.< >

关键词： programming profession Job shop scheduling Computer languages Parallel programming Parallel machines Program processors Functional programming Laboratories Computer science Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Evaluation of full-text retrieval system using collection of Serially Evolved Documents 17

Evaluation of full-text retrieval system using collection of...

引用

3rd International Conference on Industrial and Business Engineering, ICIBE 2017

作者： Cho, Hwan-Gue Kim, Yeoneo Tak, Hae-Sung Shin, Young-Ju Choi, Kwang-Nam Kim, Han-Ho Lim, Chulsu Dep. of Computer Sci. and Eng. PUSAN National Univ. Korea Republic of Programming Language Laboratory PUSAN National Univ. Korea Republic of Korea Institute of Science and Technology Information Korea Republic of

ISBN: (纸本)9781450353519

Finding a document that is similar to a specified query document within a large document database is one of important issues in the Big Data era, as most data available is in the form of unstructured texts. Our testing collection consists of two parts: In the first part texts were produced by human work by artificial plagiarism approach through the linear pipelined procedure. In the second part, texts are generated by software that inserts, deletes, and substitutes certain parts of the target documents to make a similar document from an input document. These document set is known as the Serially Evolved Documents (SED). We propose new methods: Order Preserving Precision (OPP) and Order Preserving Recall (OPR), to compute how the evolutionary order is kept among output documents obtained from the subject IR system. Using those testing texts we evaluated KONAN, a document retrieval system for Korean documents. © 2017 Association for Computing Machinery.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

HyPursuit: a hierarchical network search engine that exploits content-link hypertext clustering 96

HyPursuit: a hierarchical network search engine that exploit...

引用

Proceedings of the the seventh ACM conference on Hypertext

作者： Ron Weiss Bienvenido Vélez Mark A. Sheldon Programming Systems Research Group MIT Laboratory for Computer Science 545 Technology Square Cambridge MA

来源：评论

学校读者我要写书评

暂无评论

Network virtualization for military application: Review and initial development of conceptual design

Network virtualization for military application: Review and ...

引用

International Conference on Advanced Communication technology (ICACT)

作者： Jiradett Kerdsri Komwut Wipusitwarkun Computer and Programming Laboratory Defense Technology Institute Thailand School of Information Computer and Communication Technology (ICT) Sirindhorn International Institute of Technology Thailand

Networking technology, undoubtedly, plays a vital role in modern warfare especially in Network Centric Operations (NCOs) and Global Information Grid (GIG) concept. However, the current popular network infrastructure, mainly TCP/IP architecture, is in fact unsuitable with advanced military communication especially in tactical operation networks. The key characteristics of military communications are classified as delay/disruption/disconnection tolerant networks (DTNs) which are long and variable delays, high error rates and greatly heterogeneous. As a result a call for new type of network architecture emerges to support such peculiar characteristics of military communication network. This paper reviews the current approaches in network technology of military communication and proposes the conceptual design of Virtualization Network (VN) for military communication to address the limitation of current network infrastructure. The implementation of Military Network Virtualization Environment (MVNE) introduces the crucial two new key features of military tactical network: information classification and movable nodes. These features along with essential research challenges must be analyzed to realize a viable virtualization network for military communications.

关键词： Military communication Security Delay Protocols Routing IP networks Network topology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：