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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

46 篇 会议
26 篇 期刊文献
6 篇 学位论文
2 册 图书

馆藏范围

80 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

65 篇 工学
- 45 篇 计算机科学与技术...
- 30 篇 软件工程
- 16 篇 电气工程
- 8 篇 信息与通信工程
- 6 篇 控制科学与工程
- 4 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 2 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 建筑学
- 1 篇 纺织科学与工程
- 1 篇 航空宇航科学与技...
- 1 篇 核科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 网络空间安全
9 篇 理学
- 5 篇 数学
- 2 篇 化学
- 1 篇 天文学
- 1 篇 地球物理学
6 篇 教育学
- 5 篇 教育学
- 1 篇 心理学(可授教育学...
6 篇 管理学
- 5 篇 管理科学与工程(可...
- 2 篇 工商管理
2 篇 文学
- 1 篇 中国语言文学
- 1 篇 新闻传播学
2 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
1 篇 经济学
- 1 篇 理论经济学
1 篇 法学
- 1 篇 社会学
1 篇 艺术学

主题

80 篇 java language
5 篇 java
5 篇 jml language
4 篇 sv-benchmarks
4 篇 program analysis
4 篇 software enginee...
4 篇 competition
4 篇 verification tas...
4 篇 jazyk java
4 篇 c language
4 篇 software verific...
4 篇 formal verificat...
4 篇 benchmark
3 篇 benchexec
3 篇 simulation
3 篇 runtime assertio...
3 篇 compile-time ana...
3 篇 text
3 篇 alloy analyzer
3 篇 alloy modeling l...

机构

4 篇 brno university ...
4 篇 ludwig maximilia...
3 篇 mit comp sci lab...
2 篇 iowa state univ ...
1 篇 kobe univ nada k...
1 篇 univ holguin dep...
1 篇 univ tokyo bunky...
1 篇 univ cordoba dep...
1 篇 wright state uni...
1 篇 inje univ sch in...
1 篇 univ cent martha...
1 篇 niigata seiryo u...
1 篇 univ zaragoza de...
1 篇 univ texas dept ...
1 篇 quanzhou univers...
1 篇 pontificia univ ...
1 篇 univ london sch ...
1 篇 natl chiao tung ...
1 篇 expt middle sch ...
1 篇 anatel natl agcy...

作者

4 篇 beyer dirk
3 篇 cheon y
3 篇 leavens gt
3 篇 marinov d
3 篇 ruby c
2 篇 cok dr
2 篇 clifton c
2 篇 darko marinov
2 篇 jackson d
2 篇 khurshid s
1 篇 o'callahan r
1 篇 karras d. a.
1 篇 eduardo pérez
1 篇 yu huiming
1 篇 oscar reyes
1 篇 etsuya shibayama
1 篇 zhan zhenzhong
1 篇 villanueva r. l.
1 篇 masahide nakamur...
1 篇 li zhao

语言

72 篇 英文
5 篇 中文
3 篇 其他

检索条件"主题词=Java Language"

共 80 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

An adaptation of the Collections framework, reflection and object cloning from J2SE to J2ME 08

An adaptation of the Collections framework, reflection and o...

引用

23rd Annual ACM Symposium on Applied Computing

作者： Nogueira, Tales P. Neto, Luis C. L. Rocha, Lincoln S. Andrade, Rossana M. C. Univ Fed Ceara Grp Comp Networks Software Engn & Syst GREat BR-60455760 Fortaleza Ceara Brazil

ISBN: (纸本)9781595937537

The jargon used by Sun Microsystems related to the java technology "write once, run anywhere" does not match the reality when it comes to devices with distinct memory and processing capability as can be evidenced by software engineers in migration projects between J2SE and J2ME platforms. This work proposes a solution on how to port conventional desktop-tailored codes to less capable mobile devices, achieving the same results, with comparative examples that use the Collections framework classes, and the object cloning and reflection resources. Moreover, this paper shows a case study where the proposed process is applied.

关键词： Mobile programming code migration java language

来源：评论

学校读者我要写书评

暂无评论

Epidaure:: A java distributed tool for building DAI applications

<i>Epidaure</i>:: A <i>Java</i> distributed tool for buildin...

引用

5th International Euro-Par Conference

作者： Fezzani, D Desbiens, J INRS Telecommun Verdun PQ H3E 1H6 Canada

ISBN: (纸本)3540664432

This paper presents the main aspects of the combination of a java implementation of the actor model, called Epidaure, and the java expert system shell JESS, This association of Epidaure with JESS provides a distributed computational environment within which each JESS is an active independent computational entity with the ability to communicate freely with other JESS. The paper will go into more detail on the communication mechanism in the Epidaure system and will give a short description on how the association of Epidaura with JESS is used to write DAI applications. The paper will also review some advantages and potential applications and will conclude with new perspectives.

关键词： actor model communication languages distributed artificial intelligence (DAI) java language cooperating expert systems

来源：评论

学校读者我要写书评

暂无评论

Cutting java Expressions into Lines for Detecting their Evaluation at Runtime 2019

Cutting Java Expressions into Lines for Detecting their Eval...

引用

2nd International Conference on Geoinformatics and Data Analysis (ICGDA) / 2nd International Conference on Software and Services Engineering (ICSSE)

作者： Kume, Izuru Shibayama, Etsuya Nakamura, Masahide Nitta, Naoya NAIST Takayama Cho 8915-5 Nara Japan Univ Tokyo Bunkyo Ku 2-11-16 Yayoi Tokyo Japan Kobe Univ Nada Ku 1-1 Rokkodai Cho Kobe Hyogo Japan Konan Univ Higashi Nada Okamoto 8-9-1 Kobe Hyogo Japan

ISBN: (纸本)9781450362450

Practical java Debuggers can evaluate expressions at specified break points. Such evaluations may cause extra side effects and make an execution at debugging different from the original one. As a result, java developers often have to edit the original source code in order to safely examine runtime values of expressions. In order to cope with this problem, we aim at developing a new feature for a debugger to detect evaluations of an expression by a java virtual machine. This debugging feature doesn't introduce any extra side effects, and will enable java programmers to examine runtime values of an expression by simply specifying it. The implementation of the above feature requires a debugger to make correspondence between bytecode instructions executed by a java Virtual Machine and expressions in java source texts. As the first step toward our goal, we have developed a source code translation method to make this correspondence using LineNumberTable attributes in class files generated by a standard java compiler. There are still several cases that this method fails to automatically determine appropriate correspondence between bytecode instructions and expressions, but its solution has been left as future work. In this paper, we introduce a formalization to this method as a basis of our rigid analysis of failure cases. We evaluate our analysis method by conducting an experimental task to find failure patterns whose template is defined by our formalization.

关键词： Software Engineering java language Debugger Compiler Source Code Transformation

来源：评论

学校读者我要写书评

暂无评论

java Programming 24-Hour Trainer 1

引用

2011年

作者： Fain Yakov

ISBN: (数字)9781118058176

ISBN: (纸本)9780470889640

A unique book-and-video package presented by java guru Yakov Fain As one of the most popular software languages for building Web applications, java is often the first programming language developers learn. The latest version includes numerous updates that both novice and experienced developers need to know. With this invaluable book-and-video package, java authority Yakov Fain fully covers java?s new features as well as its language extensions, classes and class methods, and the Swing Application Framework. For each lesson that he discusses in the book, there is an accompanying instructional video to reinforce your learning *** include:Introducing java Eclipse IDE Object-Oriented Programming Class MethodsBack to java Basics Packages, Interfaces, and Encapsulation Programming with Abstract Classes and InterfacesIntroducing the Graphic User InterfaceEvent Handling in UIIntroduction to java Applets Developing a Tic-Tac-Toe Applet Developing a Ping-Pong Game Error Handling Introduction to Collections Introduction to Generics Working with Streams java Serialization Network ProgrammingProcessing E-Mails with java Introduction to Multi-Threading Digging Deeper into Concurrent Execution Working with Databases Using JDBC Swing with JTable Annotations and Reflection Remote Method Invocation java EE 6 Overview Programming with Servlets javaServer Pages Developing Web Applications with JSF Introducing JMS and MOM Introducing JNDIIntroduction to Enterprise javaBeansIntroduction to the java Persistence APIWorking with RESTful Web ServicesIntroduction to Spring MVC Framework Introduction to Hibernate Framework Bringing javaFX to the Mix java Technical Interviews Note: As part of the print version of this title, video lessons are included on DVD. For e-book versions, video lessons can be accessed at *** using a link provided in the interior of the e-book.?

关键词： java introduction to java java introduction java beginner guide beginner guide to java java programming language learning java learning java programming java???s new features java updates updates to java java video java dvd java lessons java examples java exercises java instructions yakov fain java web services java developer java programs java development java programming yakov fain java web applications java for beginners java training java programming for beginners java programming language learn java programming java programming training java web programming java programming tutorial java tutorial for beginners learn java java tutorial java training classes java web development java programming books java training course web application development java sample programs java code sun java java class java language java download java programmer java application learn java online java application development j2ee training java for dummies java update java basics java help java video training java online course java code examples sun java certification java video tutorials java program download example java programs java applet learn java script tutorial java download java script using java java programming programming with java

来源：评论

学校读者我要写书评

暂无评论

Off-Line Performance Calculating Software of the Secondary Loop Thermal System in AP1000 Nuclear Power Plant 1

引用

4th International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP)

作者： Wu, Zhi-Gang Chen, Wen State Nucl Elect Power Planning Design & Res Inst Beijing 100095 Peoples R China

ISBN: (数字)9789811518768

ISBN: (纸本)9789811518768;9789811518751

The thermal system of secondary loop in nuclear unit is a concentrated expression of thermal performance of the plant. Calculating and Analysis the thermal system of secondary loop is an important project in the design and operation of nuclear power plant. In this paper, the thermal system of secondary loop in the typical AP1000 unit is studied. For the problem in heat balance method when the parameters in thermal system change, it needs to be detailed quantitative calculation on the whole thermal system, it is tedious and not conducive to the daily use of the operator, the paper base on the Eclipse and java and accomplish the Off-line performance calculating software of the Thermal System of AP1000 Secondary Loop. The software can not only reduce the burden of manual calculation, and intuitively build accurate thermal performance file of units under different conditions and it is the basis of the on-line performance monitoring and fault diagnosis.

关键词： The secondary loop thermal system Thermal calculation java language Nuclear power plant

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Remote Control System between Android Platform

Design and Implementation of Remote Control System between A...

引用

International Conference on Information System and Artificial Intelligence (ISAI)

作者： Wang, Kui-sheng Hou, Yan Xu, Ying-zhuo Xian Shiyou Univ Coll Comp Sci Xian Peoples R China

ISBN: (纸本)9781509015856

Focused on the issue that the mobile terminal can not remote control each other, a remote control system between Android platforms was proposed. The system is a typical C/S mode, follow the specification of Android application, to achieve the remote control between two Android system developed by java language. Firstly, it analyzes the key technologies of the system, like the architecture of Android system, RFB protocol and java Socket system;Secondly, it builds the structure model of the system, system framework, system module hierarchy and system processes;then, it analyzes in detail the function of the system layers, each module function and system processes;Finally, it realizes the remote control between Android platform through the testing on a mobile device.

关键词： Android system remote control java language Remote Frame Buffer (RFB) protocol System flow

来源：评论

学校读者我要写书评

暂无评论

How the design of JML accommodates both runtime assertion checking and formal verification

How the design of JML accommodates both runtime assertion ch...

引用

1st International Symposium on Formal Methods for Components and Objects

作者： Leavens, GT Cheon, Y Clifton, C Ruby, C Cok, DR Iowa State Univ Sci & Technol Dept Comp Sci Ames IA 50011 USA Eastman Kodak Co Res & Dev Labs Rochester NY 14650 USA

ISBN: (纸本)3540203036

Specifications that are used in detailed design and in the documentation of existing code are primarily written and read by programmers. However, most formal specification languages either make heavy use of symbolic mathematical operators, which discourages use by programmers, or limit assertions to expressions of the underlying programming language, which makes it difficult to write complete specifications. Moreover, using assertions that are expressions in the underlying programming language can cause problems both in runtime assertion checking and in formal verification, because such expressions can potentially contain side effects. The java Modeling language, JML, avoids these problems. It uses a side-effect free subset of java's expressions to which are added a few mathematical operators (such as the quantifiers \forall and \exists). JML also hides mathematical abstractions, such as sets and sequences, within a library of java classes. The goal is to allow JML to serve as a common notation for both formal verification and runtime assertion checking;this gives users the benefit of several tools without the cost of changing notations.

关键词： Formal methods java language JML language Program verification Programming by contract Runtime assertion checking Specification languages

来源：评论

学校读者我要写书评

暂无评论

Evaluating new efficient dca schemes through a generic simulation system for large scale GSM cellular telecommunications

Evaluating new efficient dca schemes through a generic simul...

引用

15th IASTED International Conference on Applied Simulation and Modelling

作者： Papazoglou, P. M. Karras, D. A. Papademetriou, R. C. Inst Educ Technol Lamia Greece Chalkis Inst Technol Dept Automat Hellenic Open Univ Athens 16342 Greece Univ Portsmouth ECE Dept Portsmouth Hants England

ISBN: (纸本)0889865590

The increasing number of cellular users and the demand for broadband mobile communications (3rd and 4th generation) drives to the research of new methodologies for the design and evaluation of cellular networks and services. Simulation environments more than ever offer the opportunity to develop and study with low cost new structures and methods, including channel assignment schemes, for the implementation of new services. This paper thoroughly reviews centralized and distributed DCA schemes for GSM cellular systems in terms of simulation characteristics and needs and proposes a comprehensive simulation system incorporating their principles, entities and concepts involved. Moreover it proposes new efficient balanced DCA schemes minimizing cell congestion, leading to superior performance over rival assignment techniques. The proposed system is implemented in java, in order to create a high performance generic simulation environment with the future capability of internet-working. The system is designed with the goal to be efficient in simulating large scale generic GSM cellular telecommunication systems in contrast to the majority of literature works where ad-hoc small cellular systems are presented. Moreover, another goal of the proposed system is to serve as a test bed for the evaluation and development of DCA schemes (especially for web based educational purposes) involved in such large scale cellular systems towards their planning as effective cellular mobile radio networks.

关键词： GSM cellular networks simulation model centralized and distributed DCA channel allocation schemes java language

来源：评论

学校读者我要写书评

暂无评论

Software Verification: 10th Comparative Evaluation (SV-COMP 2021) 27th

Software Verification: 10th Comparative Evaluation (SV-COMP ...

引用

27th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)

作者： Beyer, Dirk Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783030720124;9783030720131

SV-COMP 2021 is the 10th edition of the Competition on Software Verification (SV-COMP), which is an annual comparative evaluation of fully automatic software verifiers for C and java programs. The competition provides a snapshot of the current state of the art in the area, and has a strong focus on reproducibility of its results. The competition was based on 15 201 verification tasks for C programs and 473 verification tasks for java programs. Each verification task consisted of a program and a property (reachability, memory safety, overflows, termination). SV-COMP 2021 had 30 participating verification systems from 27 teams from 11 countries.

关键词： Formal Verification Program Analysis Competition Software Verification Verification Tasks Benchmark C language java language SV-Benchmarks

来源：评论

学校读者我要写书评

暂无评论

A Teaching Path for java Object Oriented Programming

A Teaching Path for Java Object Oriented Programming

引用

International Forum on Information Technology and Applications (IFITA 2009)

作者： Su Jian Weng Wenyong Wang Zebing Zhejiang Univ City Coll Lab Digital City & Elect Serv Hangzhou 310015 Zhejiang Peoples R China

ISBN: (纸本)9780769536002

A teaching path for java programming is discussed in this paper. This path is specially designed for students who have already learned C language and begin to learn java object oriented programming. Along this path, the concepts and principles of object oriented programming will be taught to students step by step. The students can learn the specifications of the java language as well as the underlying ideas of object oriented programming. The students will gradually break through the obstacles between the procedure oriented programming and the object oriented programming.

关键词： object oriented programming java language teaching path

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共8页 << < 1 2 3 4 5 6 7 8 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：