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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

762 篇 会议
239 篇 期刊文献
3 册 图书

馆藏范围

1,004 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

642 篇 工学
- 506 篇 计算机科学与技术...
- 363 篇 软件工程
- 112 篇 信息与通信工程
- 66 篇 电子科学与技术（可...
- 63 篇 控制科学与工程
- 45 篇 生物工程
- 43 篇 机械工程
- 32 篇 电气工程
- 23 篇 仪器科学与技术
- 21 篇 动力工程及工程热...
- 15 篇 材料科学与工程（可...
- 15 篇 化学工程与技术
- 14 篇 网络空间安全
- 13 篇 土木工程
- 11 篇 力学（可授工学、理...
- 11 篇 农业工程
- 11 篇 环境科学与工程（可...
- 10 篇 建筑学
- 10 篇 交通运输工程
246 篇 理学
- 161 篇 数学
- 48 篇 生物学
- 36 篇 系统科学
- 35 篇 统计学（可授理学、...
- 34 篇 物理学
- 17 篇 化学
158 篇 管理学
- 106 篇 管理科学与工程(可...
- 55 篇 图书情报与档案管...
- 29 篇 工商管理
18 篇 法学
- 15 篇 社会学
12 篇 农学
11 篇 经济学
- 11 篇 应用经济学
8 篇 教育学
4 篇 医学
3 篇 文学
3 篇 军事学
2 篇 艺术学

主题

42 篇 distributed proc...
41 篇 laboratories
37 篇 computational mo...
29 篇 kernel
28 篇 concurrent compu...
28 篇 algorithm design...
27 篇 benchmark testin...
25 篇 fault tolerance
25 篇 computer archite...
25 篇 graphics process...
24 篇 hardware
22 篇 feature extracti...
22 篇 cloud computing
21 篇 servers
21 篇 protocols
20 篇 parallel process...
20 篇 throughput
20 篇 semantics
19 篇 distributed comp...
18 篇 bandwidth

机构

169 篇 national laborat...
134 篇 science and tech...
93 篇 college of compu...
88 篇 national laborat...
81 篇 national laborat...
38 篇 national laborat...
35 篇 school of comput...
29 篇 national key lab...
22 篇 science and tech...
22 篇 national key lab...
18 篇 national laborat...
16 篇 national laborat...
14 篇 national laborat...
13 篇 national key lab...
13 篇 school of comput...
12 篇 national laborat...
12 篇 national key lab...
10 篇 national laborat...
10 篇 national key lab...
10 篇 national univers...

作者

40 篇 wang huaimin
37 篇 wang ji
37 篇 yong dou
35 篇 liu jie
35 篇 ji wang
31 篇 jie liu
29 篇 huaimin wang
28 篇 dou yong
27 篇 dongsheng li
27 篇 xiaodong wang
26 篇 peng yuxing
26 篇 yin gang
25 篇 yuxing peng
24 篇 li dongsheng
24 篇 yijie wang
23 篇 wang yijie
21 篇 xicheng lu
21 篇 xingming zhou
20 篇 gang yin
20 篇 zhigang luo

语言

935 篇 英文
62 篇 中文
7 篇 其他

检索条件"机构=National Laboratory for Parallel&Distributed Processing"

共 1004 条记录，以下是991-1000 订阅

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

详细简洁

排序：

On path-wise automatic generation of test data for both white-box and black-box testing

On path-wise automatic generation of test data for both whit...

引用

Asia-Pacific Conference on Software Engineering

作者： Jin-Hui Shan Ji Wang Zhi-Chang Qi National Laboratory for Parallel and Distributed Processing Hunan China

ISBN: (纸本)0769514081

Automatic generation of test data for a given path in a program is an elementary problem in software testing, the difficulty of which lies in how to solve the nonlinear constraint. Gupta et al. (1998) proposed a method, which is referred to as the iterative relaxation method, to address the above problem by linearizing the predicate functions. This paper improves the iterative relaxation method by omitting the constructions of predicate slice and input dependency set, and proves the equivalence of systems of constraints generated by both methods. Since it is not necessary for our method to analyze the dependencies between statements on the path in the course of deriving a system of constraints, our method still works when some statements are only object or executable codes rather than source codes on the path. Therefore, our method can also be used for generating test data for black-box testing and regression testing. We have developed a prototype of a path-wise test data generator whose fundamental algorithm is presented in this paper. The initial experiments with this prototype have shown that our method is practical.

关键词： Automatic testing Iterative methods Input variables Relaxation methods Equations Laboratories Software testing distributed processing Constraint theory Software prototyping

来源：评论

学校读者我要写书评

暂无评论

Model checking UML statecharts

Model checking UML statecharts

引用

Asia-Pacific Conference on Software Engineering

作者： Wei Dong Ji Wang Xuan Qi Zhi-Chang Qi National Laboratory for Parallel and Distributed Processing Changsha Hunan China

ISBN: (纸本)0769514081

Unified Modeling Language (UML) has been widely used in software development. Verifying if an UML model meets the required properties has become a key issue. Model checking is an important technology of automatic formal verification to ensure the correctness of design specifications. An approach of model checking UML statecharts is given in this paper At first, the brief syntax and semantics of UML statecharts are described. Then, the way of how UML statecharts is structurally expressed by extended hierarchical automaton and the labeled transition system are defined. The correctness of operational semantics of UML statecharts can be ensured through finding the maximal non-conflict transition set. For the system with infinite runs, the operational semantics can be mapped to a Buchi automaton and linear temporal logic properties of the system can be verified based on the automata theory of model checking. The paper also presents the method of verifying complex system consist of multiple objects modeled by statecharts and collaboration diagram.

关键词： Unified modeling language Automata Power system modeling Concurrent computing Laboratories distributed processing Programming Formal verification Logic Collaboration

来源：评论

学校读者我要写书评

暂无评论

Scaling Internet services by LinuxDirector 4

Scaling Internet services by LinuxDirector

引用

4th International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000

作者： Zhang, Wensong Jin, Shiyao Wu, Quanyuan National Laboratory for Parallel and Distributed Processing ChangshaHunan410073 China

ISBN: (纸本)0769505902

LinuxDirector is a software tool that directs network connections to multiple servers that share their workload, which can be used to build highly scalable and highly available services. LinuxDirector extends the TCP/IP stack of the Linux kernel to support three IP load balancing techniques, which can make parallel services of different kinds of server clusters to appear as a service on a single IP address. Four scheduling algorithms have been implemented to assign connections to different servers, and a simple distributed lock manager is provided for applications on different servers to access shared data consistently. Scalability is achieved by transparently adding or removing a node in the cluster and high availability is provided by detecting node or daemon failures and reconfiguring the system appropriately. This paper describes the design and implementation of LinuxDirector and presents several of its features including scalability, high availability, connection affinity and icmp handling. © 2000 IEEE.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

The design of QoS management framework based on CORBA A/V STREAM architecture 4

The design of QoS management framework based on CORBA A/V ST...

引用

4th International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000

作者： Chen, Xiaomei Lu, Xichen Wang, Huaimin National Laboratory of Parallel and Distributed Processing National University of Defense Technology China

ISBN: (纸本)0769505902

As distributed multimedia applications become more widely diffused, flexibility for QoS management is increasingly essential. We put forward a QoS management framework called QoSMF. In order to solve the heterogeneous problems and get more flexible and reusable characteristics, we implement the QoSMF model into the CORBA A/V STREAM architecture. With the QoSMF, we can easily change the QoS strategies and arithmetic without wholly reprogramming and redesigning for different types of applications. © 2000 IEEE.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

A prototype of Web-based distributed simulation environment 4

A prototype of Web-based distributed simulation environment

引用

4th International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000

作者： Dang, Gang Wang, Xiaoqing Zhang, Wensong Jin, Shiyao National Laboratory of Parallel and Distributed Processing National University of Defense Technology China

ISBN: (纸本)0769505902

Nowadays, many simulation environments not only can not reuse existing simulation models and tools, but also depend on operating systems and hardware platforms, and even more they lack the capability to execute over the Internet and the Web. The paper addresses these disadvantages by putting forward a prototype of a distributed simulation environment based on the Web (DSEW). It introduces both the technology of software components and the technology of integration with Java and CORBA, which enables portability, scalability, reusability, interoperability and visualization of the simulation application, and can also shorten the development period and communicate efficiently. © 2000 IEEE.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

Enhanced streamline texture synthesis for vector field visualization 4

Enhanced streamline texture synthesis for vector field visua...

引用

4th International Conference/Exhibition on High Performance Computing in the Asia-Pacific Region, HPC-Asia 2000

作者： Zhang, Wen Li, Xiaomei National Laboratory of Parallel and Distributed Processing National University of Defense Technology Changsha China

ISBN: (纸本)0769505902

The Streamline Texture Synthesis (STS) method uses a different 1D texture to texture map each streamline and streamline textures are synthesized. The Enhanced STS (ESTS) adjusts the width of a streamline based on the critical point and maps several 1D textures to a streamline in order to accelerate computing. ESTS can also simulate animations and visualize 2D unsteady or 3D surface flows. The analyzed result proves that ESTS produces substantially better visual results and ESTS is fast enough to visualize vector field interactively. © 2000 IEEE.

关键词： Computer graphics

来源：评论

学校读者我要写书评

暂无评论

An agent framework based on distributed object

An agent framework based on distributed object

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： Jian Zhou Minghui Zhou Quanyuan Wu National Laboratory for Parallel and Distributed Processing Changsha Hunan China

In the process of developing distributed applications, system reliability, availability, openness, resource sharing and reusability, etc. are very complex and difficult to solve. Recent research into agent theory has demonstrated that agent-oriented technology may be effective in handling these problems. The paper first discusses the relationships of distributed systems from an agent viewpoint, then presents an agent framework based on distributed objects which could be used to construct enterprise distributed applications. To enhance the openness and resource sharing in distributed systems, an agent communication language-KQML is introduced and implemented in the framework.

关键词： distributed computing Resource management Multiagent systems Reliability Availability Intelligent agent Containers Laboratories distributed processing Displays

来源：评论

学校读者我要写书评

暂无评论

Scaling Internet services by LinuxDirector

Scaling Internet services by LinuxDirector

引用

International Conference on High Performance Computing in the Asia-Pacific Region

作者： Wensong Zhang Shiyao Jin Quanyuan Wu National Laboratory for Parallel and Distributed Processing Changsha Hunan China

ISBN: (纸本)0769505892

关键词： Web and internet services File servers Network servers Scalability Availability Software tools Web server TCPIP Linux Kernel

来源：评论

学校读者我要写书评

暂无评论

Enhanced streamline texture synthesis for vector field visualization

Enhanced streamline texture synthesis for vector field visua...

引用

International Conference on High Performance Computing in the Asia-Pacific Region

作者： Wen Zhang Xiaomei Li National Laboratory of Parallel and Distributed Processing National University of Defense Technology Changsha China

ISBN: (纸本)0769505892

关键词： Visualization Streaming media Pixel Sociotechnical systems Animation Convolution Image sampling Acceleration Computational modeling Filters

来源：评论

学校读者我要写书评

暂无评论

The visual query language for an object-oriented knowledge-based system

The visual query language for an object-oriented knowledge-b...

引用

1999 International Symposium on Database Applications in Non-Traditional Environments, DANTE 1999

作者： Xu, Ming Wang, Yong-Jun Wang, Yi-Jie Zhang, Kang Zhang, Yanchim National Laboratory for Parallel and Distributed Processing Changsha Hunan410073 China Dept.of Computing Mac Quart e University Sydney Australia University of Southern Queensland Depi of Mathematics and Computing Toowoomba Australia

ISBN: (纸本)0769504965

The user interface of the object-oriented knowledge-based system CAOBS/v1.2 is a visual query subsystem consisting of a flexible visual query language (VKQL), and a knowledge base browser/*** the visual language, the user can express query requirements by constructing query *** absorbs the key features of some existing visual query languages, and adds more advanced *** paper presents the design and implementation of VKQL and compares VKQL with other similar query languages. © 2000 IEEE.

关键词： Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共101页 << < 92 93 94 95 96 97 98 99 100 101 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：