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

International Conference on Advances in Biomedical Engineering (ICABME)

作者： Georges EL HAJAL Roy ABI ZEID DAOU Yves DUCQ Josef Börcsök IMS laboratory Univ. Bordeaux Talence France Faculty of Public Health Lebanese German University Institute for Computer Architecture and System Programming University of Kassel 34121 Kassel Germany

Network security has been a major issue long time ago. Confidentiality, integrity and availability of data are the primary concerns of any network administrator. Recently, several attacks have resulted in huge losses of resources and of data availability. For example, in May 2017, medical entities in the United Kingdom have been paralyzed due to WannaCry ransomware world-wide cyber-attack. Thus, the main objective of this paper is to propose a more secured network architecture that will be designed for the case of the PACS - Picture Archiving and Communication System - that is used for storing and transmitting radiography images and reports through the hospital internal network. This paper presents an off-the-shelf solution based on the concept of one-way link data diode and open source softwares to assure safety and security in a cost effective manner. The novelty of this approach is in the design of a data diode that limits the physical connection to two network interfaces, and eliminates the need for a third network connection needed to provide a carrier signal for the transmitter. This system has shown some latency in data transfer but has increased the safety and the security of files transferred between the PACS network and the external network.

关键词： Picture archiving and communication systems Security Biomedical imaging Hospitals Malware computer architecture

来源：评论

学校读者我要写书评

暂无评论

Performance Characterization of SPEC CPU2006 Benchmarks on Intel and AMD Platform

Performance Characterization of SPEC CPU2006 Benchmarks on I...

引用

International Workshop on Education Technology and computer Science, ETCS

作者： Shengmei Li Buqi Cheng Xingyu Gao Lin Qiao Zhizhong Tang Department of Computer Science and Technology Tsinghua University Beijing China Programming Systems Laboratory Intel China Research Center Limited Beijing China Chinese Academy and Sciences Beijing China

For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Using the performance events collected by Performance Monitor Unit, we compare their performance differences and analyze the causes from the features of architectures and the optimization technologies. Our results and analysis help the programmers better understand the memory performance and branch prediction performance which are caused by architectures and guide them in the optimization. The analysis also help the processor architects better balance among the key architecture factors such as memory disambiguation and hardware prefetch when doing architecture design decision.

关键词： Microarchitecture Decoding Educational technology Paper technology programming profession Performance analysis computer science computer architecture Hardware Prefetching

来源：评论

学校读者我要写书评

暂无评论

A dynamic compilation framework for controlling microprocessor energy and performance

A dynamic compilation framework for controlling microprocess...

引用

IEEE/ACM International Symposium on Microarchitecture (MICRO)

作者： Qiang Wu V.J. Reddi Youfeng Wu Jin Lee D. Connors D. Brooks M. Martonosi D.W. Clark Depts. of Computer Science Electrical Engineering Princeton University USA Department of Electrical and Computer Engineering University of Colorado Boulder USA Programming Systems Laboratory Intel Corporation USA Division of Engineering and Applied Science Harvard University USA

Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardware, OS time-interrupts, or static-compiler techniques. However, substantially greater gains can be realized when control opportunities are also explored in a dynamic compilation environment. There are several advantages to deploying DVFS and managing energy/performance tradeoffs through the use of a dynamic compiler. Most importantly, dynamic compiler driven DVFS is fine-grained, code-aware, and adaptive to the current microarchitecture environment. This paper presents a design framework of the run-time DVFS optimizer in a general dynamic compilation system. A prototype of the DVFS optimizer is implemented and integrated into an industrial-strength dynamic compilation system. The obtained optimization system is deployed in a real hardware platform that directly measures CPU voltage and current for accurate power and energy readings. Experimental results, based on physical measurements for over 40 SPEC or Olden benchmarks, show that significant energy savings are achieved with little performance degradation. SPEC2K FP benchmarks benefit with energy savings of up to 70% (with 0.5% performance loss). In addition, SPEC2K INT show up to 44% energy savings (with 5% performance loss), SPEC95 FP save up to 64% (with 4.9% performance loss), and Olden save up to 61% (with 4.5% performance loss). On average, the technique leads to an energy delay product (EDP) improvement that is 3times-5times better than static voltage scaling, and is more than 2times (22% vs. 9%) better than the reported DVFS results of prior static compiler work. While the proposed technique is an effective method for microprocessor voltage and frequency control, the design framework and methodology described in this paper have broader potential to address other energy and power issues such as di/dt and thermal control

关键词： Dynamic compiler Microprocessors Performance loss Voltage control Hardware Energy measurement Dynamic voltage scaling Frequency Energy management Microarchitecture

来源：评论

学校读者我要写书评

暂无评论

The Effects of Algorithm Visualizations with Storylines on Retention: An Experimental Study

The Effects of Algorithm Visualizations with Storylines on R...

引用

IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

作者： C.D. Hundhausen R. Patterson J. Lee Brown S. Farley Visualization and End User Programming Laboratory College of Electrical Engineering and Computer Science Washington State University Pullman WA USA Department of Psychology Washington State University Pullman WA USA

Algorithm visualizations graphically illustrate how algorithms work. In prior ethnographic studies of a computer science course in which students were required to construct and present their own algorithm visualizations, we observed that visualizations based on storylines tended to stimulate increased audience interest and involvement. This observation, coupled with the empirical research that substantiates the value of stories as mnemonic devices, raises an interesting research question: Do visualizations with storylines actually help students remember the procedural behavior of an algorithm better than visualizations that do not involve storylines? To investigate this question, we conducted an experimental study that compared the memorability of algorithm descriptions involving differing degrees of spatial and verbal embellishment. The study failed to detect significant differences. We reflect on our lack of significant results, and suggest two alternative paths for future research into the value of story-based algorithm visualization

关键词： Visualization computer science Laboratories Testing programming profession Educational institutions Psychology Motion pictures Feedback Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Biochemical mathematical modeling with Modelica and the BioChem library 6

Biochemical mathematical modeling with Modelica and the BioC...

引用

6th International Conference APLIMAT 2007

作者： Fritzson, Peter Ulfhielm, Erik Belic, Ales Fransson, Martin Grèen, Henrik PELAB - Programming Environment Lab. Dept. of Computer and Information Science Linköpings Universitet LinköpingSE-581 83 Sweden Laboratory for Modeling Simulation and Control Faculty of Electrical Engineering University of Ljubljana LjubljanaSI-1000 Slovenia Clinical Pharmacology Dept. of Medicine and Care Linköpings Universitet LinköpingSE-581 85 Sweden

ISBN: (纸本)9788096956265

Considering the large amounts of data that is nowadays produced in the biochemistry (functional genomics) it is difficult to extract the information from the measurements. There is currently also a great interest in the development of novel analytical technologies for rapid screening of disease symptoms in pharmaceutical and clinical applications. Modeling and simulation can provide a useful help in understanding the relations of the measured substances and to minimize the need for measurements. The BioChem library presented here is the first free Modelica library available for mathematical modeling of biochemical processes. Three examples are shown to illustrate the library. First, a simple insulin model is presented. Then a simplified model of cholesterol together with simulations are shown. Next, a simple drug model together with parameter estimation in NONMEN are presented. The BioChem library allows for fast and end-user friendly modeling of biomedical systems. The graphical user interface provides graphics similar to that used in the description of metabolic pathways in biochemistry.

关键词： Cholesterol

来源：评论

学校读者我要写书评

暂无评论

IGIP: a framework towards open-ended visual programming

IGIP: a framework towards open-ended visual programming

引用

IEEE Symposium on Visual Languages

作者： F. Van Reeth E. Flerackers T. D'Hondt Lab. for Appl. Comput. Sci. Limburgs Univ. Centre Diepenbeck Belgium Laboratory for Applied Computer Science Limburg University Center Diepenbeek Belgium Programming Technology Laboratory Free University of Brussels Brussels Belgium

Within the visual programming paradigm there is a vast range of potential for creating program representations. To benefit by these possibilities, it could be worthwhile to make the program representation open-ended, i.e. modifiable to the specific needs of the user. The authors elucidate the tentative result of their research in this field around the iconic programming environment. An initially developed prototype framework is described, followed by a discussion on the current more open-ended system.< >

关键词： programming environments Laboratories Prototypes programming profession computer languages Tree graphs Debugging computer science Linear programming Concrete

来源：评论

学校读者我要写书评

暂无评论

Machine intelligibility and the duality principle

British Telecom technology journal

引用

British Telecom technology journal 1996年第4期14卷 15-23页

作者： Muggleton, S. Michie, D. Wolfson College Oxford United Kingdom University of Tokyo Turing Institute Glasgow United Kingdom Intelligent Systems Research Group BT Laboratories Inductive Logic Programming Oxford University Press Logic Programming ILP Oxford Univ. Computing Laboratory University of Edinburgh Royal Society of Edinburgh British Computer Society

Lack of machine intelligibility in human/computer interactions can be traced to present approaches in software design. From the duality principle, software involved in human/computer software interaction contains two distinct layers, a declarative knowledge-level layer and a lower-level functional or procedural-knowledge layer. The former supports simple deductive and inductive inferences and can be used to facilitate human-comprehensible communication between programs, while the latter is composed of normal procedurally encoded computer programs. The duality principle in software design is necessary in dealing with the demands of wide-scale computer usage in the information age and an urgent goal for computer science research.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Numerical method for real root isolation of semi-algebraic system and its applications

引用

Journal of Computational and Theoretical Nanoscience 2016年第1期13卷 803-811页

作者： Ji, Zhenyi Wu, Wenyuan Feng, Yong Li, Yi Qin, Xiao Lin Sichuan Agricultural University Chengdu611830 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China

In this paper, based on the homotopy continuation method and the interval Newton method, an efficient algorithm is introduced to isolate the real roots of semi-algebraic system. Tests on some random examples and a variety of problems including transcendental functions arising in many applications show that the new algorithm reduces the cost substantially compared with the traditional symbolic approaches. © 2016 American Scientific Publishers All rights reserved.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Block group preserving correction methods for differential algebraic equations with multiple constraints

引用

Journal of Computational and Theoretical Nanoscience 2016年第7期13卷 4042-4049页

作者： Lu, Jianguang Qin, Xiaolin Feng, Yong Tang, Juan Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China University of Chinese Academy of Science Beijing100049 China

In this paper, we combine the Euler scheme with the block group preserving methods to obtain the high accuracy block group preserving techniques. High index differential algebraic equations (DAEs) may have hidden algebraic constraints. To solve the high-index DAEs or DAEs with multiple constraints, we propose block group preserving correction scheme (BGPCS) via exponential mapping and block modified group preserving correction scheme (BMGPCS) by considering multiple constraints. We block the nonlinear dynamical system with m constraints into m subsystems. Each subsystem uses group preserving correction scheme (GPCS) and modified group preserving correction scheme (MGPCS). Moreover, we give two necessary conditions of the block methods. The schemes provide single-step explicit time integrators for systems of DAEs. Some numerical examples are examined, showing that the BMGPCS works very well and the merits of the computational efficiency and accuracy of the method can be confirmed. © 2016 American Scientific Publishers All rights reserved.

关键词： Nonlinear dynamical systems

来源：评论

学校读者我要写书评

暂无评论

Improving performance of all-to-all communication through loop scheduling in PGAS environments 13

Improving performance of all-to-all communication through lo...

引用

27th ACM International Conference on Supercomputing, ICS 2013

作者： Alvanos, Michail Tanase, Gabriel Farreras, Montse Tiotto, Ettore Amaral, José Nelson Martorell, Xavier Programming Models Barcelona Supercomputer Center Barcelona Spain IBM TJ Watson Research Center Yorktown Heights NY United States Dep. of Computer Architecture Universitat Politècnica de Catalunya Barcelona Spain Static Compilation Technology IBM Toronto Laboratory Toronto ON Canada Dep. of Computing Science University of Alberta Edmonton AB Canada IBM Canada CAS Research Markham ON Canada

No abstract available.

ISBN: (纸本)9781450321303

No abstract available.

关键词： unified parallel c partitioned global address space performance evaluation one-sided communication

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：