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

2016年

Mit :: Ai :: Aim :: Aim-967 by published by

关键词： abstract abstract event abstract events aim-967 artificial artificial intelligence behavior circuit code digital circuits enablement predicate event event representation multiple representation national conference predicate proceedings program code reasoning representation representation approach

来源：评论

学校读者我要写书评

暂无评论

Friden :: 1155 :: Friden 1155 Reference Manual Sep72

引用

2016年

[Auto Generated] Page 1 INTRODUCTION 1-1 Modes 1-2 Registers 1-3 program Memory 1-3 program codes 1-4 Error Messages 1-4 2 KEYBOARD OPERATIONS 2-1 Keyboard Mode Keys 2-1 Input/Output 2-1 Binary Operation Keys 2-11 Function Keys. 2-17 Memory Registers 2-31 3 programMING 3-1 Stored programs and programming Modes 3-1 Abbreviations for Instructions Discussed in Section 2 . 3-1 Sample program 3-5 Write Mode 3-6 List Mode 3-7 Run Mode 3-10 program code and Go To 3-12 Magnetic Card Reader 3-26 Fraction

关键词： change sign enter friden key keyboard keyboard operations manual memory register model print print sci print store printout prog code program program code program memory reference reference manual sep72 set dec store

来源：评论

学校读者我要写书评

暂无评论

Bstj 59: 9. Nov 1980: a Memory Implementation of a Fully programmable Digital Controller. (Kartalopoulos, S.V.)

引用

2016年

Bstj 59: 9. Nov 1980: a Memory Implementation of a Fully programmable Digital Controller. (Kartalopoulos, S.V.) by published by

关键词： (kartalopoulos, bell system circuit controller controller. controlling functions counter digital digital controller fully instruction instruction code instruction memory matrix matrix memory memory program program code program memory programmable programmable digital set system technical vectors

来源：评论

学校读者我要写书评

暂无评论

Mit :: Lcs :: Tr :: Mit-Lcs-Tr-137

引用

2016年

Mit :: Lcs :: Tr :: Mit-Lcs-Tr-137 by published by

关键词： complexity complexity classes corollary deterministic fully constructable input lemma linear space log mit-lcs-tr-137 program code proof running time space space bound theorem transition rules worktape worktape head worktape heads worktape squares

来源：评论

学校读者我要写书评

暂无评论

Technical Perspective Large-Scale Sound and Precise program Analysis

引用

COMMUNICATIONS OF THE ACM 2010年第8期53卷 114-114页

作者： Henglein, Fritz Univ Copenhagen DIKU Dept Comp Sci Algorithms & Programming Languages Grp Copenhagen Denmark

You are given a program. Will it crash? Is it subject to a spoofing, buffer overflow, or injection attack? Is this part of it dead code? Can I replace that code fragment with a more efficient one? Which exceptions can arise from calling this function in that context? Does this variable always contain the same value? All of these questions require program analysis: We want to know whether program code (the input to the analysis) has a specified property.

关键词： program code dead code Buffer overflows EXCEPTIONS Spoofing analysis programme Crash computer information security Overflow

来源：评论

学校读者我要写书评

暂无评论

Computer aided data acquisition tool for high-throughput phenotyping of plant populations

引用

PLANT METHODS 2009年第1期5卷 18-18页

作者： Vankadavath, Raju Naik Hussain, Appibhai Jakir Bodanapu, Reddaiah Kharshiing, Eros Basha, Pinjari Osman Gupta, Soni Sreelakshmi, Yellamaraju Sharma, Rameshwar Univ Hyderabad Sch Life Sci Hyderabad 500046 Andhra Pradesh India JK AgriGenet Hyderabad 500016 Andhra Pradesh India St Edmunds Coll Dept Bot Shillong 793003 Meghalaya India Yogi Vemana Univ Dept Genet & Genom Kadapa 516003 India

Background: The data generated during a course of a biological experiment/study can be sometimes be massive and its management becomes quite critical for the success of the investigation undertaken. The accumulation and analysis of such large datasets often becomes tedious for biologists and lab technicians. Most of the current phenotype data acquisition management systems do not cater to the specialized needs of large-scale data analysis. The successful application of genomic tools/strategies to introduce desired traits in plants requires extensive and precise phenotyping of plant populations or gene bank material, thus necessitating an efficient data acquisition system. Results: Here we describe newly developed software "PHENOME" for high-throughput phenotyping, which allows researchers to accumulate, categorize, and manage large volume of phenotypic data. In this study, a large number of individual tomato plants were phenotyped with the "PHENOME" application using a Personal Digital Assistant (PDA) with built-in barcode scanner in concert with customized database specific for handling large populations. Conclusion: The phenotyping of large population of plants both in the laboratory and in the field is very efficiently managed using PDA. The data is transferred to a specialized database(s) where it can be further analyzed and catalogued. The "PHENOME" aids collection and analysis of data obtained in large-scale mutagenesis, assessing quantitative trait loci (QTLs), raising mapping population, sampling of several individuals in one or more ecological niches etc.

关键词： Personal Digital Assistant Mobile Computing Touch Screen program code Reverse Genetic

来源：评论

学校读者我要写书评

暂无评论

Development and Application of Remote Laboratory for Embedded Systems Design

引用

INTERNATIONAL JOURNAL OF ONLINE ENGINEERING 2015年第3期11卷 27-31页

作者： Parkhomenko, Anzhelika Gladkova, Olga Ivanov, Eugene Sokolyanskii, Aleksandr Kurson, Sergey Zaporizhzhya Natl Tech Univ Software Tools Dept UA-69063 Zaporizhzhya Ukraine

This paper presents Embedded Systems' Hardware-Software codesign and is an overview of the approach based on using ready platforms. Comparable analysis of well-known platforms from different vendors is given. Application of remote laboratories of embedded system rapid prototyping is offered. Remote lab architecture, a set of experiments and Use-Case scenarios are described. The proposed approach improves the current state-of-the-art work in the area of embedded systems design to accelerate stages of hardware-software integration and testing.

关键词： Embedded systems' design Hardware and software platform Remote laboratory Web-interface Experiment set program code Control system of the mobile objects Support design decision

来源：评论

学校读者我要写书评

暂无评论

Predicting Execution Time of Computer programs Using Sparse Polynomial Regression 10

Predicting Execution Time of Computer Programs Using Sparse ...

引用

Annual Conference on Neural Information Processing Systems

作者： Ling Huang Byung-Gon Chun Jinzhu Jia Petros Maniatis Bin Yu Mayur Naik Intel Labs Berkeley UC Berkeley

ISBN: (纸本)9781617823800

Predicting the execution time of computer programs is an important but challenging problem in the community of computer systems. Existing methods require experts to perform detailed analysis of program code in order to construct predictors or select important features. We recently developed a new system to automatically extract a large number of features from program execution on sample inputs, on which prediction models can be constructed without expert knowledge. In this paper we study the construction of predictive models for this problem. We propose the SPORE (Sparse Polynomial REgression) methodology to build accurate prediction models of program performance using feature data collected from program execution on sample inputs. Our two SPORE algorithms are able to build relationships between responses (e.g., the execution time of a computer program) and features, and select a few from hundreds of the retrieved features to construct an explicitly sparse and non-linear model to predict the response variable. The compact and explicitly polynomial form of the estimated model could reveal important insights into the computer program (e.g., features and their non-linear combinations that dominate the execution time), enabling a better understanding of the program's behavior. Our evaluation on three widely used computer programs shows that SPORE methods can give accurate prediction with relative error less than 7% by using a moderate number of training data samples. In addition, we compare SPORE algorithms to state-of-the-art sparse regression algorithms, and show that SPORE methods, motivated by real applications, outperform the other methods in terms of both interpretability and prediction accuracy.

关键词： execution time computer programs computer software Prediction models program code POLYNOMIAL REGRESSION Polynomial program performance program EXECUTION

来源：评论

学校读者我要写书评

暂无评论

An alternative for PID control: Predictive Functional Control - a tutorial

An alternative for PID control: Predictive Functional Contro...

引用

American Control Conference

作者： R. Haber J.A. Rossiter K. Zabet Laboratory of Process Control Institute of Process Engineering and Plant Design Faculty of Process Engineering Energy and Mechanical Systems Cologne University of Applied Science D-50679 Koln Germany Dept. of Automatic Control and Systems Eng. University of Sheffield S1 3JD UK

ISBN: (纸本)9781467386838

PFC (Predictive Function Control) can be considered as a bridge between PI(D) and complex MPC. PI(D) control can have problems handling dead time and constraints. PFC handles these cases and is often better than using a Smith predictor. PFC is a simple realizable MPC which thus uses prediction and preview of key variables. PFC can be implemented via simple program code and thus has cheap license costs. The tutorial introduces the basic idea of PFC and algorithms for typical processes. Simulations illustrate its effectiveness and advantages over PI(D) and Smith predictors.

关键词： Process control Mathematical model Trajectory Tuning Robustness Prediction algorithms Predictive models Proportional Integral Derivative Control Prediction algorithms Process control Prediction models Pelvic Inflammatory Disease trajectory tuning Power factor correction Mathematical Model Smith predictors Proportional derivative control predictive functional control program code Robustness DEAD TIME

来源：评论

学校读者我要写书评

暂无评论

Automating Uncompressing and Static Analysis of Conficker Worm

Automating Uncompressing and Static Analysis of Conficker Wo...

引用

IEEE Malaysia International Conference on Communications

作者： Lee Ling Chuan Chan Lee Yee Mahamod Ismail Kasmiran Jumari Faculty of Engineering & Built Environment Universiti Kebangsaan Malaysia

ISBN: (纸本)9781424455317;9781424455324

The infamous computer worm, Conficker, which targeting the Microsoft Windows operating system, was literally over the media. This malicious worm used modern malware technique, where it hide its malicious portion of the program code with a runtime generation and execution of program code and transforming it back into executable code at run time. This obfuscation technique poses obstacles to security researcher who want to understand the malicious features of new or unknown malware especially for those who want to create program of detection and methods of recovery. Our approach is based on observation that sequences of packed or hidden code in two different version of Conficker worm. Self-identifying when its runtime execution is checked against its static code mode and an automating uncompressing code is executed to unpack the packer. Following the extraction of the malicious worm, we focus our analysis on the features of Conficker worm.

关键词： Computer security Debugging Reverse engineering Malware Packing and unpacking Spyware Computer Security Debugging program code Reverse engineering worm Vermes Microsoft Windows(software) Runtime Automation Executable code Packers Legal Executions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：