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

SIMULATION OF SYSTOLIC ARRAYS ON THE CONNECTION MACHINE

SIMULATION 1993年第3期61卷 151-159页

作者： HEMKUMAR, ND CAVALLARO, JR [o_1]Department of Electrical and Computer Engineering Rice University Houston TX 77251-1892 [o_2]Department of Electrical and Computer Engineering Rice University Houston TX 77251-1892

The use of a programming model which extends naturally from the underlying hardware, greatly eases the design and implementation of simulators, especially for those systems that resemble the hardware in the paradigm of computation. Given the characteristics of systolic arrays, SIMD computers which employ the data parallel programming model provide an ideal environment. In this paper, we present a systolic array simulator, a simulation tool written for the Connection Machine (*)(model CM2), a SIMD machine with powerful interprocessor communication capabilities. Especially as recent advances have automated the design, there is a need for a verification environment to prototype systolic arrays. Primarily a simulation tool, the systolic array simulator also helps identify inefficiencies and motivated optimal design prior to implementation in either custom VLSI or DSP systems. Currently, we are updating the tool to allow the simulation of dynamic array reconfiguration algorithms under transient and permanent fault conditions. The simulator is also being ported to the CM5.

关键词： SYSTOLIC ARRAYS algorithm verification DESIGN OPTIMIZATION CONNECTION MACHINE

来源：评论

学校读者我要写书评

暂无评论

PARALLEL GENERATION OF PERMUTATIONS ON SYSTOLIC ARRAYS

引用

PARALLEL COMPUTING 1990年第1-3期15卷 267-276页

作者： LIN, CJ Department of Applied Mathematics National Chiao Tung University Hsinchu Taiwan Republic of China

We present a systolic algorithm to generate all the n! permutations of n given items. The computational model used is a linear systolic array consisting of n identical PEs. This algorithm requires n! time steps to solve this problem. Since any PE is identical and executes the same program, it is suitable for VLSI implementation. The correctness of the algorithm is proved. We also consider the ranking and unranking functions of permutations in this parallel algorithm

关键词： Parallel processing Systolic array Systolic algorithm Permutations algorithm verification

来源：评论

学校读者我要写书评

暂无评论

Quantitative dosimetric verification of an IMRT planning and delivery system

引用

RADIOTHERAPY AND ONCOLOGY 1998年第3期49卷 305-316页

作者： Low, DA Mutic, S Dempsey, JF Gerber, RL Bosch, WR Perez, CA Purdy, JA Edward Mallinckrodt Inst Radiol Div Radiat Oncol St Louis MO 63110 USA

Background and purpose: The accuracy of dose calculation and delivery of a commercial serial tomotherapy treatment planning and delivery system (Peacock, NOMOS Corporation) was experimentally determined. Materials and methods: External beam fluence distributions were optimized and delivered to test treatment plan target volumes, including three with cylindrical targets with diameters ranging from 2.0 to 6.2 cm and lengths of 0.9 through 4.8 cm, one using three cylindrical targets and two using C-shaped targets surrounding a critical structure, each with different dose distribution optimization criteria. Computer overlays of film-measured and calculated planar dose distributions were used to assess the dose calculation and delivery spatial accuracy. A 0.125 cm(3) ionization chamber was used to conduct absolute point dosimetry verification. Thermoluminescent dosimetry chips, a small-volume ionization chamber and radiochromic film were used as independent checks of the ion chamber measurements. Results: Spatial localization accuracy was found to be better than +/-2.0 mm in the transverse axes (with one exception of 3.0 mm) and +/-1.5 mm in the longitudinal axis. Dosimetric verification using single slice delivery versions of the plans showed that the relative dose distribution was accurate to +/-2% within and outside the target volumes (in high dose and low dose gradient regions) with a mean and standard deviation for all points of -0.05% and 1.1%, respectively. The absolute dose per monitor unit was found to vary by +/-3.5% of the mean value due to the lack of consideration for leakage radiation and the limited scattered radiation integration in the dose calculation algorithm. To deliver the prescribed dose, adjustment of the monitor units by the measured ratio would be required. Conclusions: The treatment planning and delivery system offered suitably accurate spatial registration and dose delivery of serial tomotherapy generated dose distributions. The quantitative d

关键词： intensity modulated radiation therapy photon dose calculation algorithm verification inverse planning

来源：评论

学校读者我要写书评

暂无评论

A SYSTOLIC GENERATION OF COMBINATIONS

引用

BIT 1989年第1期29卷 23-36页

作者： LIN, CJ TSAY, JC NATL CHIAO TUNG UNIV DEPT APPL MATHHSINCHUTAIWAN NATL CHIAO TUNG UNIV INST COMP ENGNHSINCHUTAIWAN

A parallel algorithm for generating all combinations ofm (m fixed) items out of anyn given items in lexicographic order is presented. The computational model is a linear systolic array consisting ofm identical processing elements. This algorithm requires {ie23-1} time-steps for the {ie23-2} combinations, that is, one output at each time-step. Since all processing elements perform the same program, it is suitable for VLSI implementation. Based on mathematical induction, such an algorithm is proved to be correct.

关键词： C.1 F.2 parallel algorithm systolic array combinations algorithm verification

来源：评论

学校读者我要写书评

暂无评论

A Distributed Phase Time Optimization Method of the coordinated control for active bus signal priority

A Distributed Phase Time Optimization Method of the coordina...

引用

3rd International Conference on Manufacturing Science and Engineering (ICMSE 2012)

作者： Fang, Sai Yin Li, Feng Southwest Forestry Univ Coll Mech & Traff Kunming 650224 Yunnan Peoples R China Transport Management Inst Minist Transpot Beijing 101601 Peoples R China

ISBN: (纸本)9783037853696

Active bus signal priority controlling method at a single intersection bases on single bus flow priority, applying for coordinated control in many intersections This paper comprehensively considered green wave of general traffic and bus traffic in every decision project, made the priority signal distributed phase time parameter, based on green wave band width of general traffic flow, general flow delay and bus flow delay, made a comprehensive benefit preferred model,made the best decision, verified the controlling algorithm.

关键词： bus signal priority coordinated control optimization model algorithm verification

来源：评论

学校读者我要写书评

暂无评论

CloudaSec: A Novel Public-key Based Framework to Handle Data Sharing Security in Clouds 11

CloudaSec: A Novel Public-key Based Framework to Handle Data...

引用

11th International Conference on Security and Cryptography (SECRYPT)

作者： Kaaniche, Nesrine Laurent, Maryline El Barbori, Mohammed Telecom SudParis Inst Mines Telecom Paris France

ISBN: (纸本)9789898565952

Recent years have witnessed the trend of leveraging cloud-based services for large scale content storage, processing, and distribution. Data security and privacy are among top concerns for the public cloud environments. Towards these security challenges, we propose and implement CloudaSec framework for securely sharing outsourced data via the public cloud. CloudaSec ensures the confidentiality of content in the public cloud environments with flexible access control policies for subscribers and efficient revocation mechanisms. CloudaSec proposes several cryptographic tools for data owners, based on a novel content hash keying system, by leveraging the Elliptic Curve Cryptography (ECC). The separation of subscription-based key management and confidentiality-oriented asymmetric encryption policies uniquely enables flexible and scalable deployment of the solution as well as strong security for outsourced data in cloud servers. Through experimental evaluation, we demonstrate the efficiency and scalability of CloudaSec, build upon OpenStack Swift testbed.

关键词： Cloud Storage Systems Data Security Access Control algorithm verification

来源：评论

学校读者我要写书评

暂无评论

Exploration and Image Display of Fertilizer Input Based on Grey Prediction algorithm and Decision Tree Classification 24

Exploration and Image Display of Fertilizer Input Based on G...

引用

4th International Conference on Artificial Intelligence, Automation and High Performance Computing, AIAHPC 2024

作者： Liu, Lidong Luo, Yongbin Zhang, Rong Chen, Zilin Feng, Jinghui Department of Computer Science Guangdong University of Science and Technology China

ISBN: (纸本)9798400710049

Prediction algorithms and classification algorithms, as important algorithms in the field of computer science, can automatically extract patterns and patterns from data to predict future events or classify unknown data, thereby improving decision-making efficiency and accuracy. This article uses the grey prediction algorithm to predict and analyze the nutrient input of agricultural fertilizers in Guangdong Province over the past 40 years, in order to determine the future use of organic fertilizers and chemical fertilizers in nitrogen, phosphorus, and potassium fertilization. To ensure the accuracy of the algorithm prediction, residual and relative error algorithm tests are conducted to determine the practicality of the algorithm. At the same time, using decision tree classification algorithm, analyze the correlation between organic fertilizer, chemical fertilizer, time, and simulate the decision classification process. The research results of this article can provide valuable references for decision-makers in the use of different fertilizers in the agricultural cultivation process. In order to facilitate rapid analysis of complex data for decision-makers, all results in this article are presented through computer-generated graphical illustrations. © 2024 Copyright held by the owner/author(s).

关键词： algorithm verification decision classification decision tree classification algorithm graphical display Grey prediction algorithm

来源：评论

学校读者我要写书评

暂无评论

algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

引用

Electronic Notes in Theoretical Computer Science 2004年 93卷 24-59页

作者： Bruno Buchberger Adrian Crăciun RISC - Research Institute for Symbolic Computation Johannes Kepler University Linz Austria

Recently, we proposed a systematic method for top-down synthesis and verification of lemmata and algorithms called “lazy thinking method” as a part of systematic mathematical theory exploration (mathematical knowledge management). The lazy thinking method is characterized: • by using a library of theorem and algorithm schemes • and by using the information contained in failing attempts to prove the schematic theorem or the correctness theorem for the algorithm scheme for inventing lemmata or requirements for subalgorithms , respectively. In this paper, we give a couple of examples for algorithm synthesis using the lazy thinking paradigm. These examples illustrate how the synthesized algorithm depends on the algorithm scheme used. Also, we give details about the implementation of the lazy thinking algorithm synthesis method in the frame of the Theorema system. In this implementation, the synthesis of the example algorithms can be carried out completely automatically, i.e. without any user interaction.

关键词： algorithm invention algorithm verification program synthesis algorithm correctness re-usable algorithms algorithm schemes learning from failure conjecture generation lazy thinking requirement engineering didactics of programming mathematical knowledge retrieval mathematical knowledge management sorting merging merge-sort Theorema

来源：评论

学校读者我要写书评

暂无评论

verification DATA FOR ELECTRON-BEAM DOSE algorithmS

引用

MEDICAL PHYSICS 1992年第3期19卷 623-636页

作者： SHIU, AS TUNG, S HOGSTROM, KR WONG, JW GERBER, RL HARMS, WB PURDY, JA HAKEN, RKT MCSHAN, DL FRAASS, BA WASHINGTON UNIV SCH MEDEDWARD MALLINCKRODT INST RADIOLDEPT RADIAT ONCOLST LOUISMO 63110 UNIV MICHIGAN MED CTRDEPT RADIAT ONCOLANN ARBORMI 48109

The Collaborative Working Group (CWG) of the National Cancer Institute (NCI) electron beam treatment planning contract has performed a set of 14 experiments that measured dose distributions for 28 unique beam-phantom configurations that simulated various patient anatomic structures and beam geometries. Multiple dose distributions were measured with film or diode detectors for each configuration, resulting in 78, 2-D planar dose distributions and one, 1-D depth-dose distribution. Measurements were made for 9- and 20-MeV electron beams, using primarily 6 X 6- and 15 X 15-cm applicators at several SSDs. Dose distributions were measured for shaped fields, irregular surfaces, and inhomogeneities (1-D, 2-D, and 3-D), which were designed to simulate many clinical electron treatments. The data were corrected for asymmetries, and normalized in an absolute manner. This set of measured data can be used for verification of electron beam dose algorithms and is available to others for that purpose.

关键词： ELECTRON BEAM DOSIMETRY IRREGULAR FIELDS INHOMOGENEITIES MEASURED DOSE DISTRIBUTIONS algorithm verification TREATMENT PLANNING

来源：评论

学校读者我要写书评

暂无评论

A Preliminary Application of SystemVue on Weather Radar Simulation

A Preliminary Application of SystemVue on Weather Radar Simu...

引用

2019 International Conference on Informatics, Control and Robotics 2019信息学、控制和机器人学国际会议(ICICR2019)

作者： Qian-yu-chen WANG Jian-xin HE Xu WANG College of atmospheric sounding Chengdu University of Information Technology

This paper first briefly introduces the simulation environment of SystemVue, and introduces the creation process of weather radar component using the PPP algorithm in weather radar signal processing as an example. Next, a test platform for PPP component was built on SystemVue, and the performance of the component was tested using simulated radar echo signals. The results show that the SystemVue platform can help to verify the weather radar signal processing algorithm, and that the software radar can be built through SystemVue to implement the simulation and new algorithm verification of different weather radar systems.

关键词： SystemVue Weather radar algorithm verification PPP

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：