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

International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Service (TELSIKS)

作者： G.M. Dimirovski Yuanwei Jing Siying Zhang Institute of Automation & Systems Engg. Faculty of Electical Engineering SS Cyril and Methodius University Skopje Macedonia Department of Computer Engineering Faculty of Engineeing Dogus University Istanbul Turkey Institute of Control Theory School of Information Science & Engineering Northeastern University Shenyang Liaoning China

This paper addresses networking and traffic control problems in network systems along with the potential for introducing soft-computing applications at supervisory control level. The incentive Stackelberg strategy control concept was introduced to the networking model that comprises subsidiary systems of users and of network. A linear strategy is proposed for the elastic traffic problem, and results are demonstrated and illustrated via Kelly's (1997) example. The presented method is extended to the non-elastic traffic problem and results are also illustrated via a slightly modified Kelly example. Ways of employing combined analytical and soft-computing approaches and techniques in a hybrid framework have been investigated. A fuzzy-Petri-net supervisor is proposed to implement the strategic decision and control layer. Insofar obtained results are rather encouraging, and this research continues further towards possible implementation as well as some open theoretical issues.

关键词： Communication system traffic control Control systems Intelligent networks Game theory Telecommunication control Traffic control Routing Control system synthesis Supervisory control Pricing

来源：评论

学校读者我要写书评

暂无评论

OPEN: a flexible OO/CBD process for software-intensive systems development, a UML exposition 01

OPEN: a flexible OO/CBD process for software-intensive syste...

引用

Proceedings of the 23rd International Conference on software engineering

作者： Houman Younessi Brian Henderson-Sellers Rensselaer Initiative in Software Engineering (RISE) Associate Professor of Computer Science Rensselaer Polytechnic Institute Rensselaer at Hartford Centre for Object Technology Applications and Research Professor of Information Systems Faculty of Information Technology University of Technology Sydney

ISBN: (纸本)9780769510507

Object technology is an approach that is increasingly being adopted for the development of quality software and software-intensive systems. Recent experience has demonstrated that it provides a sophisticated environment to support high quality software engineering practice. However, the use of object technology should not be restricted to languages but should encompass analysis, design, V&V and many such aspects belonging to the methodological dimension of the development life-cycle. Furthermore, it should also cover other issues belonging to the technological and contextual aspects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Composition method of communication system specifications in asynchronous model and its support system

Composition method of communication system specifications in...

引用

IEEE International Conference on Networks

作者： N. Maneerat R. Varakulsiripunth D. Seki K. Yoshida K. Takahashi Y. Kato B.B. Bista N. Shiratori Computer Research and Service Center King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand Faculty of Engineering & Research Center for Communications and Information Technology Sendai National College of Technology Japan Faculty of Software and Information Science Iwate Prefectural University Japan Research Institute of Electrical Communication Tohoku University Japan

One of the most important methods in communication system design, especially in protocol design, is the composition method. We propose a method for simultaneously composing service specifications and protocol specifications based on the LOTOS language. In this method, an asynchronous communication model is adopted which is more realistic in actual communication networks. We use the concept of the weak bisimulation equivalence to represent the correctness of composition. A software support system based on the proposed composition method is also described.

关键词： Access protocols Asynchronous communication Design methodology Design engineering information technology Educational institutions Communication system software information science Communication networks software systems

来源：评论

学校读者我要写书评

暂无评论

Advances in Pattern Recognition: Joint IAPR International Workshops SSPR 2000 and SPR 2000 Alicante, Spain, August 30 - September 1, 2000 Proceedings

Advances in Pattern Recognition: Joint IAPR International Wo...

引用

International Association of Pattern Recognition, IAPR 2000 held jointly with 8th International Workshop on Structural and Syntactic Pattern Recognition, SSPR 2000 and 3rd International Workshop on Statistical Techniques in Pattern Recognition, SPR 2000

作者： Ferri, Francesc J. Iñesta, Josè M. Amin, Adnan Pudil, Pavel Spain University of Alicante Department of Computer Languages and Systems Alicante Spain University of New South Wales School of Computer Science and Engineering SydneyNSW Australia Academy of Sciences of the Czech Republic Institute of Information Theory and Automation Prague 8 Czech Republic

来源：评论

学校读者我要写书评

暂无评论

Test Generation and Design-for-Testability Based on Acyclic Structure with Hold Registers

引用

湖南大学学报（自然科学版） 2000年第S2期27卷 1-10页

作者： Tomoo Inoue Debesh Kumar Das Chiiho Sano Takahiro Mihara Hideo Fujiwara Faculty of Information Sciences Hiroshima City University Hiroshima 731-3194 Japan Computer Science and Engineering Department Jadavpur niversity Calcutta-700 032 India Graduate School of Information Science Nara Institute of Science and Technology Nara 630-0101 Japan Mitsubishi Electronic Control Software Corporation Kobe 652-0871Japan 不详

We present a method of test generation for acyclic sequential circuits with hold registers. A complete (100% fault efficiency) test sequence for an acyclic sequential circuit can be obtained by applying a combinational test generator to all the maximal time-expansion models (TEMs) of the circuit. We propose a class of acyclic sequential circuits for which the number of maximal TEMs is one, i.e, the maximum TEM exists. For a circuit in the class, test generation can be performed by using only the maximum TEM. The proposed class of sequential circuits with the maximum TEM properly includes several known classes of acyclic sequential circuits such as balanced structures and acyclic sequential circuits without hold registers for which test generation can be also performed by using a combinational test generator. Therefore, in general, the hardware overhead for partial scan based on the proposed structure is smaller than that based on balanced or acyclic sequential structure without hold registers.

关键词： acyclic sequential circuits combinational test generation hold registers maximum time-expansion model partial scan

来源：评论

学校读者我要写书评

暂无评论

Modeling Web application architecture with UML

Modeling Web application architecture with UML

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： Jingfeng Li Jian Chen Ping Chen Software Engineering Institute of Xidian University Xi'an China School of Computer and Information Science University of South Australia Australia

As the increasing popularity and complexity of Web applications and the emergence of new Web application architecture, the design, development and maintenance of large, complex Web applications is becoming complex and difficult. One way to manage the complexity is to abstract and model them. The authors propose a method of modeling Web application architecture with UML, in which the design of the Web application is described from different viewpoints and levels of abstraction by three models: business model, navigation model and implementation model. It is aimed at facilitating the design, implementation and maintenance of large, complex Web applications and the reuse of previously gathered design experience.

关键词： Service oriented architecture Unified modeling language Application software Business Navigation computer architecture Buildings Design methodology Logic software engineering

来源：评论

学校读者我要写书评

暂无评论

Test generation for acyclic sequential circuits with hold registers

Test generation for acyclic sequential circuits with hold re...

引用

IEEE International Conference on computer-Aided Design

作者： T. Inoue D. Kumar Das C. Sano T. Mihara H. Fujiwara Faculty of Information Sciences Hiroshima City University Hiroshima Japan Computer Science and Engineering Department Jadavpur University Calcutta India Nara Institute of Science and Technology Graduate School of Information Science Nara Japan Mitsubishi Electronic Control Software Corporation Kobe Japan

We present a method of test generation for acyclic sequential circuits with hold registers. A complete (100% fault efficiency) test sequence for an acyclic sequential circuit can be obtained by applying a combinational test generator to all the maximal time-expansion models (TEMs) of the circuit. We propose a class of acyclic sequential circuits for which the number of maximal TEMs is one, i.e., the maximum TEM exists. For a circuit in the class, test generation can be performed by using only the maximum TEM. The proposed class of sequential circuits with the maximum TEM properly includes several known classes of acyclic sequential circuits such as balanced structures and acyclic sequential circuits without hold registers for which test generation can also be performed by using a combinational test generator. Therefore, in general, the hardware overhead for partial scan based on the proposed structure is smaller than that based on balanced or acyclic sequential structure without hold registers.

关键词： Circuit testing Sequential analysis Sequential circuits Registers Performance evaluation Circuit faults Hardware Design for testability Kernel computer science

来源：评论

学校读者我要写书评

暂无评论

A multimodallogic for reasoning about complementarity

引用

Journal of Applied Non-Classical Logics 2000年第3-4期10卷 273-301页

作者： Dütintsch, Ivo Konikowska, Beata School of Information and Software Engineering University of Ulster at Jordanstown Newtownabbey BT 37 OQB United Kingdom Institute of Computer Science Polish Academy of Sciences 01-237 Warsaw Ordona 21 Poland

Two objects o1 , o2 of an information system are said to be complementary with respectto attribute a if a( o1) = -a( 02 ), where a( o) is the set of values of attribute a assigned too. They are said to be complementary with respect to a set of attributes A if they are complementary with respect to each attribute a E A. A multi-modallogicallanguage for reasoning about complementarity relations is presented, with modalities [A] and (A) parameterised by subsets of a given set ATTR of attributes. Two complete deduction system for the language are presented: a Rasiowa-Sikorski style system using signed formulae, and an equivalent sequent calculus system in Gentzen style complete for theories.

关键词： Complementarity information relation Rasiowa-Sikorski system

来源：评论

学校读者我要写书评

暂无评论

The design and implementation of modularized wrappers/monitors in a data warehouse 1st

引用

1st International Conference on Data Warehousing and Knowledge Discovery, DaWaK 1999

作者： Horng, Jorng-Tzong Lu, Jye Liu, Baw-Jhiune Yang, Ren-Dar Department of Computer Science and Information Engineering National Central University Jungli Taiwan Software Engineering Lab Institute for Information Industry Taipei Taiwan

ISBN: (纸本)3540664580

To simplify the task of constructing wrapper/monitor for the information sources in data warehouse systems, we provide a modularized design method to reuse the code. By substituting some parts of wrapper modules, we can reuse the wrapper on a different information source. For each information source, we also develop a toolkit to generate a corresponding monitor. By the method, we can reduce much effort to code the monitor component. We also develop a method to map the object-relational schema into relational one. The mapping method helps us make an uniform interface between a wrapper and an integrator. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Data warehouses

来源：评论

学校读者我要写书评

暂无评论

Testing of concurrent programs after specification changes

Testing of concurrent programs after specification changes

引用

International Conference on software Maintenance (ICSM)

作者： In Sang Chung Hyeon Soo Kim Hyun Seop Bae Yong Rae Kwon Dong Gil Lee School of Information and Computer Engineering Hansung University South Korea School of Computer and Software Engineering Kum-Oh National University of Technology South Korea Department of Computer Science Korea Advanced Institute of Science and Technology South Korea Electronics and Telecommunications Research Institute South Korea

This paper describes a specification-based regression testing technique that can be applied for revalidating concurrent programs after specification changes. This kind of regression testing technique requires sequencing constraints which specify the precedence relations among synchronization events. In our method, the sequencing constraints are extracted automatically from Message Sequence Charts (MSCs) that are considered to be partial and nondeterministic specifications. We show how to identify the sequencing constraints affected by the modifications of a specification rather than creating new sequencing constraints from scratch to reduce the cost of regression testing. We also describe how to determine whether the affected sequencing constraints are satisfied by the program being tested.

关键词： Concurrent computing Telecommunication computing Costs Electronic equipment testing Read only memory Automatic testing Gas insulated transmission lines software testing Sequential analysis Error correction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：