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

A hybrid algorithm for compiling equality constraints and its implementation

A hybrid algorithm for compiling equality constraints and it...

WOID'99, Workshop on Optimization and Implementation of Declarative programs (in Connetion with ICLP'99, International Conference on Logic)

作者： Zhou, Neng-Fa Kaneko, Sosuke Department of Computer and Information Science Brooklyn College City University of New York New York NY 11210-2889 United States Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka 820-8502 Japan

In this paper, we extend the language we proposed in [11] to make it possible to program are-consistency algorithms. We also propose a hybrid algorithm that integrates the interval-consistency (IC) and arc-consistency (AC) algorithms. For a constraint, the algorithm checks IC when it is non-binary and checks AC when the constraint turns into binary. The algorithm is well-balanced. Its reduction cost is close to the IC checking algorithm, while its reduction power is close to the AC checking algorithm for most problems. The experimental results show that the hybrid algorithm may be a little slower than the IC checking algorithm for programs that do not require strong reduction power, but may be an order of magnitude faster than IC for other programs. © 2000 Published by Elsevier Science B.V.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

Thread partitioning method for hardware compiler Bach

Thread partitioning method for hardware compiler Bach

引用

Asia and South Pacific Design Automation Conference

作者： M. Takahashi N. Ishiura A. Yamada T. Kambei Department of Information Systems Engineering Graduate School of Engineering Osaka University Suita Osaka Japan Design Technology Development Center IC group Sharp Corporation Tenri Nara Japan

This paper presents a method for thread partitioning for a hardware compiler Bach. Bach synthesizes RT level circuits from a system description written in Bach-C language, where a system is modeled as communicating processes running in parallel. The system description is decomposed into threads, i.e., strings of sequential processes, and then converted into synthesizable behavioral VHDL models. The proposed method attempts to find a partitioning of a given system description into threads that maximize resource sharing among processes in the threads. Experiments on two real designs show that the circuit sizes were reduced by 3.7% and 14.7%. We also show the detailed statistics and analysis of the size of the resulting gate level circuits.

关键词： Yarn Hardware Circuit synthesis Resource management Synthesizers Integer linear programming Information systems systems engineering and theory Statistical analysis Consumer products

来源：评论

学校读者我要写书评

暂无评论

A Remote program Execution Mechanism with Network Transparency on Multi-Platform Environment

A Remote Program Execution Mechanism with Network Transparen...

引用

2000 International Seminar on Teletraffic and Network

作者： Kazuhiko Kinoshita Masaaki Takase Nariyoshi Yamai Koso Murakami Department of Information Systems Engineering Graduate School of Engineering Osaka University 2-1 Yamadaoka Suita Osaka 565-0871 Japan IP Network Systems Laboratory Network Systems Labs. Fujitsu Labs.LTD.4-1-1 Shimo-Odanaka Nakaraha Kawasaki Kanagawa 211-8588 Japan Computer Center Okayama University 3-1-1 Tsushimanaka Okayama Okayama 700-8530 Japan Department of Information Systems Engineering Graduate School of Engineering Osaka University 2-1 Yamadaoka Suita Osaka 565-0871 Japan

In this paper,we present a remote programexecution mechanism with networktransparency which works even on a multi-platform *** network transparencyfacilities,our system supports file sharing,environment preservation and terminal ***,all messages between theirmachines are encrypted for secure ***,we have implemented a prototype systemfor UNIX and *** to thetest runs,we have confirmed the prototypesystem has network transparency actually and itsresponse time is small enough.

关键词： A Remote program Execution Mechanism with Network Transparency on Multi-Platform Environment

来源：评论

学校读者我要写书评

暂无评论

Business process reengineering in a British company: a case study

引用

Logistics Information management 2000年第5期13卷 271-285页

作者： A. Gunasekaran Walter W.C. Chung K. Kan A. Gunasekaran is Associate Professor in the Department of Management University of Massachusetts North Dartmouth Massachusetts USA. Walter W.C. Chung is Associate Professor in the Department of Manufacturing Engineering The Hong Kong Polytechnic University Hong Kong. K. Kan is a graduate from the Department of Manufacturing and Engineering Systems Brunel Univesrity Uxbridge UK.

A case study conducted in a British company (Company A) on reengineering business processes is presented. It gives an example on how a case study ought to be written in order to go beyond the standard for writing an industrial report to one that is acceptable by academic peers. A good case study ought to contain information that readers can use in replicating the experiences gained and lessons learnt in future endeavours under similar settings. When a collection of good case studies is available to a practitioner or researcher he could formulate his plan for the future and avoid “re‐inventing the wheel”. This is most important to research in operations management because it lends a hand in the building up of a theory in POM to make an impact in its natural settings.

关键词： BPR Logistics Case studies

来源：评论

学校读者我要写书评

暂无评论

Network management with Intelligent Trader

Network management with Intelligent Trader

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： S. Matsumoto M. Amamiya Research and Development Department Fujitsu Nishi-Nihon Communication Systems Limited China Graduate School of Information Science and Electrical Engineering Kyushu University Japan

The authors describe the concept of Intelligent Trader and the network management architecture based on it. First, we describe problems in the modern network system, from the viewpoint of network management. Next, we describe the similarity and difference between network management and application integration. Then we discuss the merits and problems of the application integration technique when applying it to network management. Finally, we propose the intelligent trader system which incorporates the application integration technique into the network management.

关键词： Intelligent networks Telecommunication network management Environmental management Quality of service Technology management Costs Virtual private networks Communication system control Telecommunication control Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Custom report generator

Custom report generator

引用

Annual Northeast Bioengineering Conference

作者： A.A. AlAqeel N. Noyes J. Enderle Dept. of Electr. & Syst. Eng. Connecticut Univ. Storrs CT USA Clinical Engineering Department UCONN Health Center Farmington CT USA Department of Electrical & Systems Engineering Biomedical Engineering Program University of Connecticut Storrs CT USA

The tremendous advances in medical informatics are providing new software products for developing more powerful and user-friendly tools. At the same time, the clinical engineering role is shifting towards implementing quality systems approaches in managing medical technology. As a result there is a need for continuous upgrade or redesign of database management systems. Datastream MP2 is a computerized maintenance management system software application that controls maintenance operations and stores service data. The Clinical engineering department at the University of Connecticut Health Center runs this software as their database. The thrust of this project is to develop a software tool that facilitates the retrieval of useful information from a computerized maintenance management database and provides custom reports that are not otherwise available.

关键词： Software tools Clinical diagnosis Power system management Biomedical informatics Quality management Technology management engineering management Database systems Power engineering computing Software maintenance

来源：评论

学校读者我要写书评

暂无评论

Biophysical and spectral characteristics of cool- and warm-season grasslands under three land management practices in Eastern Kansas

引用

Natural Resources Research 2000年第4期9卷 321-331页

作者： Guo, Xulin Price, Kevin P. Stiles, James M. Kansas Applied Remote Sensing Program (KARS) Department of Geography University of Kansas Lawrence KS 66045 2335 Irving Hill Road United States Radar Systems and Remote Sensing Laboratory (RSL) Department of Electrical Engineering and Computer Science University of Kansas Lawrence KS 66045 2335 Irving Hill Road United States Lawrence KS 66045 2335 Irving Hill Road United States

Grasslands are the largest of the Earth's four major vegetation types and are among the most agriculturally productive lands. Grassland management practices alter biophysical factors, such as plant species composition, soil structure and chemistry, and primary productivity. Large-scale changes in land management practices can have significant impacts on available natural resources, therefore impacting a regional socioeconomics. For these reasons, an improved understanding of the geographic distribution of changing land management practices and how these changes affect grassland biophysical characteristics of an area is critical to improve land use planning and practices. This study investigated the spectral characteristics, as measured using satellite remotely sensed data, of three land management practices [grazing, haying, and management under Conservation Reserve program (CRP)] on areas dominated by cool- and warm-season grasslands. The satellite imagery was acquired in May, July, and September in 1997 over Douglas County, Kansas. Biomass, vegetation cover, and species richness data were collected around the satellite overflight periods. Our results indicate that the biophysical characteristics and spectral reflectances are significantly different among the three management practices over cool- and warm-season grasslands. Interestingly, sites grazed by livestock had the highest species richness and the highest forb cover, although the total cover is almost the same as the other practices, and they have the highest near-infrared reflectance throughout the growing season. © 2000 International Association for Mathematical Geology.

关键词： Landsat Tallgrass prairie Thematic Mapper (TM)

来源：评论

学校读者我要写书评

暂无评论

PERT scheduling with resources using qualitative simulation graphs

PERT scheduling with resources using qualitative simulation ...

引用

Simulation Winter Conference

作者： R.G. Ingalls D.J. Morrice School of Industrial Engineering and Management Oklahoma State University Stillwater OK USA Corporate Supply Chain Operations Compaq Computer Corporation Houston TX USA Department of Management Science and Information Systems Graduate School of Business University of Texas Austin Austin TX USA

The Qualitative Simulation Graph Methodology (QSGM) is a general purpose qualitative discrete event simulation (QDES) framework, well suited to address the PERT scheduling with resources problem. The coverage property of QSGM has two important implications for the PERT scheduling problem. First, it means that all possible schedules are represented. Second, it means that, as long as the delay time intervals are not violated, we can characterize all possible outcomes of a decision that needs to be made in the schedule. This gives rise to the possibility of robust point-in-time scheduling decisions without needing to rerun the simulation in order to get the results.

关键词： Job shop scheduling Computational modeling Processor scheduling Delay effects Discrete event simulation Yarn Computer simulation Supply chains Industrial engineering Quality management

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Algorithm for Compiling Equality Constraints and its Implementation

引用

Electronic Notes in Theoretical Computer Science 2000年第2期30卷 199-207页

作者： Neng-Fa Zhou Sosuke Kaneko Department of Computer and Information Science Brooklyn College The City University of New York New York NY 11210-2889 USA Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka 820-8502 Japan

In this paper, we extend the language we proposed in [11] to make it possible to program arc-consistency algorithms. We also propose a hybrid algorithm that integrates the interval-consistency (IC) and arc-consistency (AC) algorithms. For a constraint, the algorithm checks IC when it is non-binary and checks AC when the constraint turns into binary. The algorithm is well-balanced. Its reduction cost is close to the IC checking algorithm, while its reduction power is close to the AC checking algorithm for most problems. The experimental results show that the hybrid algorithm may be a little slower than the IC checking algorithm for programs that do not require strong reduction power, but may be an order of magnitude faster than IC for other programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Robust H ∞ Filtering for Linear Continuous-Time Uncertain systems With Multiple Delays: An LMI Approach

引用

IFAC Proceedings Volumes 2000年第14期33卷 249-254页

作者： Reinaldo M. Palhares Pedro L.D. Peres Carlos E. de Souza Pontifical Catholic University of Minas Gerais Graduate Program in Electrical Engineering Av. Dom José Gaspar 500 Prédio 4 30535-610 Belo Horizonte MG Brazil. School of Electrical and Computer Engineering University of Campinas CP 6101 13081-970 Campinas Sp Brazil Department of Systems and Control Laboratório Nacional de Computção Científica - LNCC Av. Getúlio Vargas 333 25651-070 Petrópolis RJ Brazil.

The problem of robust H ∞ filter design for uncertain continuous-time linear systems with multiple time-delayed states is addressed in this paper. The uncertainties are assumed to belong to convex bounded domains (polytope type uncertainty) and the time delays are supposed to be constant. Delay-independent as well as delay-dependent stability conditions assuring robust stability and a prescribed H ∞ disturbance attenuation for the filtering error system are established, in both cases, in terms of linear matrix inequalities, which can be efficiently solved by standard optimization procedures with global convergence assured. Two illustrative examples are analyzed.

关键词： Time-delay systems Delay-dependent stability Delay-independent stability Robust H ∞ filtering Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：