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

Development of intelligent control system for X-ray streak camera in diagnostic instrument manipulator

NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT 2015年 799卷 124-131页

作者： Pei, Chengquan Wu, Shengli Tian, Jinshou Liu, Zhen Fang, Yuman Gao, Guilong Liang, Lingliang Wen, Wenlong Xi An Jiao Tong Univ Minist Educ Key Lab Phys Elect & Devices Xian 710049 Peoples R China Chinese Acad Sci Xian Inst Opt & Precis Mech Xian 710119 Peoples R China Univ Chinese Acad Sci Beijing 100039 Peoples R China

An intelligent control system for an X ray streak camera in a diagnostic instrument manipulator (DIM) is proposed and implemented, which can control time delay, electric focusing, image gain adjustment, switch of sweep voltage, acquiring environment parameters etc. The system consists of 16 A/D converters and 16 D/A converters, a 32-channel general purpose input/output (GPIO) and two sensors. An isolated DC/DC converter with multi-outputs and a single mode filer were adopted to reduce the interference generated by the common ground among the A/D, D/A and I/O. The software was designed using graphical programming language and can remotely access the corresponding instrument from a website. The entire intelligent control system can acquire the desirable data at a speed of 30 Mb/s and store 11 for later analysis. The intelligent. system was implemented on a streak camera in a DIM and it shows a temporal resolution of 11.25 ps, spatial distortion of less than 10% and dynamic range of 279:1. The intelligent control system has been successfully used in a streak camera to verify the synchronization of multi-channel laser on the Confinement Fusion (C) 2015 Elsevier B.V. All rights reserved.

关键词： Intelligent control system Streak camera Diagnostic instrument manipulator Isolated power programming language

来源：评论

学校读者我要写书评

暂无评论

THE EARLY HISTORY OF REXX

引用

IEEE ANNALS OF THE HISTORY OF COMPUTING 1994年第4期16卷 15-24页

作者： COWLISHAW, M IBM UK Labs. Ltd. Winchester UK

REXX is a procedural language with many novel features. Its goal was to make programming easier in the belief that getting the design right for people to use is more important than providing for easy implementation. REXX development depended on the use of electronic mail. As a result, and perhaps uniquely for a programming language, there is an essentially complete historical record of the design process and discussions. This article describes the early history of REXX, illustrated by quotations from the electronic mail record and from other contemporary documents.

关键词： High Level languages Electronic Mail History programming REXX History Procedural language Electronic Mail programming language Historical Record Design Process Contemporary Documents History Computer languages Electronic Mail Postal Services Writing Operating Systems Process Design Human Factors Control Systems ANSI Standards

来源：评论

学校读者我要写书评

暂无评论

Specializing Java programs in a distributed environment

引用

JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 2002年第5期18卷 787-801页

作者： Park, JG Park, MS Korea Univ Dept Comp Sci & Engn Internet Comp Lab Sungbuk Gu Seoul 136701 South Korea

The platform neutrality of Java programs allows them to run on heterogeneous computers. In a distributed environment, however, Java programs often cause performance problems because they are not implemented for specific clients, so their implementation conflicts with their usage patterns at the client side. In this paper, we present a mechanism to address this problem by optimizing Java programs using a program specialization technique. Unlike traditional program specialization, our specialization method does not encode the result of specialization only into run-time code. Instead, it encodes the values of multi-valued static expressions into indexed data structure that is referenced by run-time code, and single-valued static expressions into run-time code. With this approach, we can address the code explosion problem of traditional program specialization. In a preliminary implementation, we achieved improvement in performance up to a factor of 3 with very low space requirements.

关键词： program specialization partial evaluation optimization Java distributed environment programming language automated software engineering

来源：评论

学校读者我要写书评

暂无评论

An Introduction to metric semantics: operational and denotational models for programming and specification languages

引用

THEORETICAL COMPUTER SCIENCE 2001年第1-2期258卷 1-98页

作者： van Breugel, F York Univ Dept Comp Sci Toronto ON M3J 1P3 Canada

Our focus is on the semantics of programming and specification languages. Over the years, different approaches to give semantics to these languages have been put forward. We restrict ourselves to the operational and the denotational approach, two main streams in the field of semantics. Two notions which play an important role in this paper are (non)determinism and (non)termination. Nondeterminism arises naturally in concurrent languages and it is a key concept in specification languages. Nontermination is usually caused by recursive constructs which are crucial in programming. The operational models are based on labelled transition systems. The definition of these systems is guided by the structure of the language. Metric spaces are an essential ingredient of our denotational models. We exploit the metric structure to model recursive constructs and to define operators on infinite entities. Furthermore, we also employ the metric structure to relate operational and denotational models for a given language. On the basis of four toy languages, we develop some general theory for defining operational and denotational semantic models and for relating them. This theory is applicable to a wide variety of languages. We start with a very simple deterministic and terminating imperative programming language. By adding the recursive while statement, we obtain a deterministic and nonterminating language. Next, we augment the language with the parallel composition resulting in a bounded nondeterministic and nonterminating language. Finally, we add some timed constructs. We obtain an unbounded nondeterministic and nonterminating specification language. (C) 2001 Elsevier Science B.V. All rights reserved.

关键词： metric semantics operational semantics denotational semantics programming language specification language nondeterminism nontermination labelled transition system metric space

来源：评论

学校读者我要写书评

暂无评论

Computer Representations of Bioinformatics Models

引用

CURRENT BIOINFORMATICS 2016年第5期11卷 551-560页

作者： Prejzendanc, Tomasz Wasik, Szymon Blazewicz, Jacek Poznan Univ Tech Inst Comp Sci Poznan Poland Poznan Univ Tech European Ctr Bioinformat & Genom Poznan Poland Polish Acad Sci Inst Bioorgan Chem Poznan Poland

Background: The choice of a bioinformatics tool that is used to design and analyse bioinformatics models is usually influenced by the choice of format used to store the models on the hard drive and vice versa and may seem irrelevant to researchers who design and analyse biological models using high-level computer software. However, the method for saving created models, which is usually opaque to users, can have an important impact on their work and have several important consequences. Objective: Review various computer representations of bioinformatics models based on the structure of the files used to store them. Results: We defined three classes of formats-formats with the internal structure hidden from the user, specialized programming languages, and controlled natural languages- and provide examples as well as list advantages and disadvantages of each class. Finally, we present recommendations on the groups of tools researchers should use. Conclusion: Indeed, the choice of the format used to store the bioinformatics models can have important consequences for the entire investigation. A correctly chosen format provides all functionalities required by the modeller and offers high flexibility in analysing the model, making collaboration with other researchers easier and helping to develop the model further in the future. In our opinion, both users and developers tend to underestimate slightly the specialized programming languages and controlled natural languages which should be studied more in-depth.

关键词： File format modelling programming language storage system biology translator

来源：评论

学校读者我要写书评

暂无评论

A language to bridge the gap between component-based design and implementation

引用

COMPUTER languageS SYSTEMS & STRUCTURES 2012年第1期38卷 29-43页

作者： Fabresse, Luc Bouraqadi, Noury Dony, Christophe Huchard, Marianne Univ Lille Nord France Ecole Mines Douai Lille France Univ Montpellier 2 LIRMM F-34095 Montpellier 5 France

Since years, multiple researches studied component-based software development. Nevertheless, most component-based software systems do not use components at implementation stage. We believe that one of the main causes is a lack of support for component-oriented programming (COP). Indeed, most of the proposed component models such as Unified Modeling language (UML), Corba Component Model (CCM), Enterprise Java Beans (EJB) are only available at design time. The fact that implementation relies on object-oriented languages which prevent developers from fully switching to COP. In this paper, we identify five important requirements (decoupling, adaptability, unplanned connections, encapsulation and uniformity) for COP based on an analysis of the state of the art and the limitations of existing work. We propose an extended version of the SCL component language that fulfills these requirements. A prototype of SCL and a concrete experiment validate this proposal. (C) 2011 Elsevier Ltd. All rights reserved.

关键词： Components programming language Unplanned connection Encapsulation Uniformity

来源：评论

学校读者我要写书评

暂无评论

Activity graphs: A language for flexible consultation systems

引用

ANNALS OF OPERATIONS RESEARCH 1996年第0期65卷 127-155页

作者： Holtzman, S Regan, PJ STRATEG DECIS GRP MENLO PKCA 94025 STANFORD UNIV DEPT ENGN ECON SYSTSTANFORDCA 94035

An intelligent decision system (IDS) uses artificial intelligence principles to deliver automated, interactive decision analysis (DA) consultations. Network methods adapted from operations research underlie two key IDS components: influence diagrams and activity graphs. Influence diagrams, which are familiar to DA researchers and practitioners, represent decision problems in event space. Activity graphs, which are introduced in this paper, represent processes in action space. While activity graphs can represent any process, we use them as a knowledge-engineering and programming language to represent the process knowledge of skilled decision analysts in the context of a specific class of decisions. This paper defines activity graphs as an extension of directed AND-OR graphs. An activity tree is a directed AND-OR tree consisting of nodes, which may contain activities (small computer programs) and connectors that establish logical relationships among nodes and define logical resolution agendas. An activity graph is a directed, multiply connected network of activity trees. Activity graphs may involve recursion. Development of the activity graph language is motivated by our desire to enable professional decision analysts - or other experts - with limited advanced programming experience to design and build consultation systems that combine the guidance offered by protocol systems with the flexibility and generality of transaction systems. This paper defines the activity graph language in detail. A simple example illustrates key concepts. The paper also discusses our experience using a computer system that implements activity graphs for developing commercial IDSs.

关键词： AND-OR graphs knowledge engineering programming language intelligent decision system decision analysis operations research artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Surface characterization of bio-fillers from typical mollusk shell using computational algorithms

引用

INTERNATIONAL JOURNAL OF ADHESION AND ADHESIVES 2018年 84卷 48-53页

作者： Yao, Zhitong Wu, Daidai Heng, Jerry Y. Y. Zhao, Hongting Wu, Weihong Tang, Junhong Hangzhou Dianzi Univ Coll Mat Sci & Environm Engn Hangzhou 310018 Zhejiang Peoples R China Chinese Acad Sci Guangzhou Inst Energy Convers Guangzhou 510640 Guangdong Peoples R China Tsinghua Univ Minist Educ China Key Lab Solid Waste Management & Environm Safety Beijing 100084 Peoples R China Imperial Coll London Dept Chem Engn South Kensington Campus London SW7 2AZ England

The generation of surface free energy parameters calculated from contact angle data is a burdensome and time-consuming process. To facilitate these calculations, computational algorithms using three different programming languages-MATLAB, C and Python-were developed and validated by surface properties determination of PO and CPO. The results indicated that the surface free energy parameters calculated using the three algorithms were consistent. The unknowns were obtained directly from within the C and Python programs, however, indirectly from within MATLAB function. In addition, the assembly statements of the C function were longer than those of the other two. The obtained results were also compared with those from an IGC analysis. It showed that the gamma(D)(S) values determined using the contact angle methods were consistent, although lower than those obtained by IGC analysis. Compared to gamma(D)(S) , the gamma(SP)(S) component contributed less to gamma(T)(S).The lower gamma(D)(S) and gamma(SP)(S) values for CPO which added up to a lower gamma(T)(S) value, could reduce filler particle/particle interactions, allowing a better dispersion in a polymer matrix.

关键词： Computational algorithm programming language Surface characterization Pearl oyster shell Bio-filler

来源：评论

学校读者我要写书评

暂无评论

Context-Aware Software Variability through Adaptable Interpreters

引用

IEEE SOFTWARE 2017年第6期34卷 83-88页

作者： Cazzola, Walter Shaqiri, Albert Univ Milan Dept Comp Sci Milan Italy Univ Milan Comp Sci Milan Italy

A proposed approach moves variability support from the programming language to the language implementation level. This enables contextual variability in any application independently of whether the underlying language... 详细信息

关键词： Object Oriented programming programming languages Ubiquitous Computing Contextual Variability Underlying language Context Oriented programming Prototype Implementation Context Aware Software Variability Variability Support programming language language Implementation Level Context Awareness Semantics Context Modeling Computer languages programming Software Development Context Oriented programming Dynamic language Evolution Contextual Variability Software Development Software Engineering Neverlang Contextual Variability Modeling

来源：评论

学校读者我要写书评

暂无评论

Improvement in Quality Control for Applications Used by Marine Engineers

引用

COMPUTER APPLICATIONS IN ENGINEERING EDUCATION 2012年第1期20卷 187-192页

作者： Orosa, Jose A. Oliveira, Armando C. Univ A Coruna Escuela Tecn Super N & M Dept Energia & PM La Coruna 15011 Spain Univ Porto New Energy Tec Unit Fac Engn P-4200465 Oporto Portugal

At present, engineering students must learn an adequate programming language that allows them to easily automate typical problems. This result is more important when we require an adequate graphical representation of the problem, as is usually done in engineering. This study presents an optimal programming language for quality control analysis. The results show that Visual Basic for Applications is the most adequate language that reduces the programming time;moreover, it is compatible with limited resources. (C) 2009 Wiley Periodicals, Inc. Comput Appl Eng Educ 20: 187-192, 2012;View this article online at ***/journal/cae;DOI 10.1002/cae.20384

关键词： maintenance control charts marine engineers programming language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：