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

Advanced software engineering and Its Applications, ASEA

作者： Petr Hnetynka Frantisek Plasil Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic

To allow comfortable and easy development, component systems have to provide a rather a big set of development supporting tools including at least a tool for composition and repository for storing and retrieving components. In this paper, we evaluate and present advantages of using MOF and meta-modeling during definition of component system and also during development of the supporting tools. Most of the presented arguments are based on a broad practical experience with designing the component systems SOFA and SOFA 2; the former designed in the classical ad hoc manual way, while the latter via meta-modeling.

关键词： Metamodeling Application software software engineering computer science Mathematics Physics Manuals Containers Large-scale systems Natural languages

来源：评论

学校读者我要写书评

暂无评论

GPU accelerated fast FEM deformation simulation

GPU accelerated fast FEM deformation simulation

引用

IEEE Asia-Pacific Conference on Circuits and Systems

作者： Youquan Liu Shaohui Jiao Wen Wu Suvranu De State Key Lab of Computer Science Institute of Software Chinese Academy and Sciences Beijing China Faculty of Science and Technology University of Macau Macao China Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong China Faculty of Information Technology Macau University of Science and Technology Macao China Department of Mechanical Aerospace and Nuclear Engineering Rensselaer Polytechnic Institute Troy NY USA

In this paper we present a general FEM (finite element method) solution that enables fast dynamic deformation simulation on the newly available GPU (graphics processing unit) hardware with compute unified device architecture (CUDA) from NVIDIA. CUDA-enabled GPUs harness the power of 128 processors which allow data parallel computations. Compared to the previous GPGPU, it is significantly more flexible with a C language interface. We not only implement FEM deformation computation algorithms with CUDA but also analyze the performance in detail. Our test results indicate that the GPU with CUDA enables about 4 times speedup for FEM deformation computation on an Intel(R) Core 2 Quad 2.0 GHz machine with GeForce 8800 GTX.

关键词： Acceleration Deformable models Computational modeling Finite element methods Graphics Hardware computer architecture Concurrent computing Performance analysis Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Distributed transaction semantic for Binary Vote Assignment Grid

Distributed transaction semantic for Binary Vote Assignment ...

引用

International Conference on Electrical engineering/Electronics, computer, Telecommunications and Information Technology, ECTI-CON

作者： A. Noraziah M. Mat Deris R. Norhayati M.Y.M. Saman Faculty of Computer System & Software Engineering Universiti Malaysia Pahang Kuantan Pahang Malaysia Faculty of Information & Technology Multimedia Universiti Tun Hussein Onn Malaysia Batu Pahat Malaysia Faculty chemical Engineering & Natural Resources Universiti Malaysia Pahang Kuantan Pahang Malaysia Faculty of Science & Technology University in Malaysia for Engineering Kuala Terengganu Terengganu Malaysia

This paper presents a new design to manage transaction and replication for distributed systems. First, we recall the binary vote assignment grid (BVAG) model that imposes neighbours binary vote assignment to its logical grid structure on replicated data copies. Based on this model, we extend our work to design the distributed transaction semantic in order to manage BVAG transaction both in normal and failure cases. We present an implementation of the system. The proposed distributed transaction semantic shows that the system preserves the data consistency and support advance fault-tolerant through synchronization approach.

关键词： Servers Distributed databases Peer to peer computing Availability Synchronization computers Linux

来源：评论

学校读者我要写书评

暂无评论

Checking Session-Oriented Interactions between Web Services

Checking Session-Oriented Interactions between Web Services

引用

Euromicro Conference on software engineering and Advanced Applications (SEAA)

作者： Pavel Parizek Jiri Adamek Faculty of Mathematics and Physics Department of Software Engineering Distributed Systems Research Group Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Czech Republic

Although Web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the Web services often work as front-ends to enterprise systems and are used in a session-oriented way by the clients. Contrary to the case of stateless services, for a stateful Web service there exist constraints to the order in which the operations of the service may be invoked. However, specification of such constraints is not a standard part of a Web service interface, and compliance with such constraints is not checked by the standard Web service development tools. Therefore, we propose in this paper to extend a web service interface by a constraint definition that is based on behavior protocols. Also, we implemented a tool that checks whether a given BPEL code complies with the constraints of all stateful web services it communicates with. The key idea behind the tool is to translate the BPEL code into Java and then to check the Java program using Java PathFinder with behavior protocol extension.

关键词： Web services Java software engineering Simple object access protocol Standards development XML Application software Mathematics Physics computer science

来源：评论

学校读者我要写书评

暂无评论

Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning

Pointwise Logic on Completely Distributive Lattices and Appr...

引用

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Yalin Zheng Guang Yang Jing Zheng Jinsheng Xing State Key Laboratory for Intelligent Technology and Systems Department of Automation Faculty of Information Science and Technology Tsinghua University Beijing China Research Center of Intelligent Information Technology Department of Computer Science and Technology Faculty of Software Dongguan University of Science and Technology Dongguan China Research Center of Dongguan Economy Department of Economy and Commerce Dongguan University of Science and Technology Dongguan China Faculty of Mathematics and Computer Science Shanxi Normal University Linfen China Research Center of System Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University Xi'an China

In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterization, therefore the pointwise conception is pervasive. We explore approximate reasoning in abstract logical framework Fl on completely distributive lattice L. We propose the structure of point- wise topological logic F TL , the structure of matching function sigma. and the structure of matching neighborhood group. We investigate approximate reasoning in pointwise topological logic F TL with matching function sigma, develop pointwise topological algorithm of simple approximate reasoning, introduce the essential characteristics of this scheme.

关键词： Lattices Fuzzy logic computer science Knowledge engineering Fuzzy systems Information technology Laboratories Intelligent systems Automation Information science

来源：评论

学校读者我要写书评

暂无评论

Steady state analysis of resin molded type voltage-current sensor for real-time observation of power factor in power distribution system

引用

IEEJ Transactions on Power and Energy 2008年第6期128卷 811-819页

作者： Furukawa, Tatsuya Ashikawa, Manabu Ohchi, Masashi Department of Electrical and Electronic Engineering Faculty of Science and Engineering Saga University 1 Honjo-machi Saga 840-8502 Japan Hitachi Software Engineering Co. Ltd. 4-12-7 Higashi-Shinagawa Shinagawa-ku Tokyo 140-0002 Japan Department of Electrical Electronics and Computer Engineering Faculty of Engineering Chiba Institute of Technology 2-17-1 Tsudanuma Narashino 275-0016 Japan

We have proposed the voltage-current sensor embedded in a ceramic insulator for the real-time observation of the power factor in three-phase power distribution systems and carried out the finite element analysis to investigate its characteristics and verify its feasibility. However, the ceramic sensor has problems in cost and a burning process in manufacturing to result in the deformation from the designed form. In the paper, we propose a resin molded type of voltage-current sensor with dual search coils for the current sensor part based on the finite element analysis and discuss its steady state electromagnetic behaviors theoretically and experimentally. © 2008 The Institute of Electrical Engineers of Japan.

关键词： Finite element method

来源：评论

学校读者我要写书评

暂无评论

Development and control of dolphin-like underwater vehicle

Development and control of dolphin-like underwater vehicle

引用

American Control Conference (ACC)

作者： Yonghui Hu Long Wang Junzhi Yu Jiyan Huo Yingmin Jia Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Peking University Beijing China Laboratory of Complex Systems and Intelligence Science Institute of Automation Chinese Academy of Sciences Beijing China Seventh Research Division Beihang University Beijing China

This paper is concerned with prototype development and motion control of a dolphin-like underwater robot. The propulsion and maneuvering of the robotic dolphin are realized with the flapping motion of the mechanical flippers and the combined heaving and pitching motions of the fluke. Mechanical design and control of the flipper apparatus and the flexible tail mechanism are presented. Through coordinated control of the propulsors, several swimming movements are designed. Preliminary experimental results verify the effectiveness of the proposed design scheme.

关键词： Underwater vehicles Dolphins Robot kinematics Propulsion Marine animals Motion control Tail Robot sensing systems Control systems Automotive engineering

来源：评论

学校读者我要写书评

暂无评论

Wireless intelligent incontinence management system using smart diapers

Wireless intelligent incontinence management system using sm...

引用

International Conference on Electrical engineering/Electronics, computer, Telecommunications and Information Technology, ECTI-CON

作者： L. M. Ang S. H. Ow K. P. Seng Z. H. Tee B. W. Lee M. K. Thong P. J. H. Poi S. Kunanayagam School of Electrical and Electronics Engineering University of Nottingham Selangor Darul Ehsan Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology University Malaya Kuala Lumpur Malaysia Faculty of Medicine University Malaya Kuala Lumpur Malaysia Department of Paediatrics University Malaya Medical Centre Kuala Lumpur Malaysia

This paper presents a wireless intelligent incontinence management system being developed for the University Malaya Medical Center (UMMC) that utilizes ldquosmartrdquo diapers to discreetly monitor and estimate wetness events, detect other relevant clinical conditions and alert staff by transmitting information via wireless technology to an intelligent central management system. We describe the hardware and software modules of the system and give results conducted on diaper experiments and the transmission range of the wireless technology.

关键词： Wireless sensor networks Monitoring software Wireless communication Artificial intelligence Hospitals Moisture

来源：评论

学校读者我要写书评

暂无评论

A generalized λ-fuzzy measure and its application in image enhancement

A generalized λ-fuzzy measure and its application in image ...

引用

International Conference on Wavelet Analysis and Pattern Recognition (ICWAPR)

作者： Lan-Zhen Yang Ming-Hu Ha Xian-Jie Wang Zi-Ru Zhang Machine Learning Center Faculty of Mathematics and Computer Science Hebei University Baoding China 519 team of North China Exploration Bureau Baoding Jiuhua Electronic Engineering Company Limited Baoding China Hebei Software Institute Baoding China

In this paper, a new concept of generalized lambda-fuzzy measure is introduced, and it is a non-negative, extended real-valued set function satisfying generalized sigma - lambda - rule, and is not necessarily monotone. The relationships between this new concept and lambda-fuzzy measure, a signed measure and so on, are discussed, and it is worth noting that any generalized lambda-fuzzy measure is a signed measure under some conditions. Moreover, an application of generalized lambda-fuzzy measure in image enhancement is given, and the corresponding experiment shows that different values of lambda have different influences on an image.

关键词： Image enhancement Wavelet analysis Pattern recognition Image processing Equations Gallium Algebra

来源：评论

学校读者我要写书评

暂无评论

Current Mode Converter for Dielectric Barrier Discharge Lamp

Current Mode Converter for Dielectric Barrier Discharge Lamp

引用

39th IEEE Power Electronics Specialists Conference (PESC 2008), vol.6

作者： Rafael Diez Hubert Piquet Sounil Bhosle Jean-Marc Blaquiere Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Université de Toulouse Toulouse France

This paper presents a novel concept of supplying a dielectric barrier discharge (DBD) lamp. An electrical model of the lamp is used in a circuit simulator to study the interactions between the converter and the load, which presents a capacitive nature. The current mode supply is chosen instead of the classical voltage mode, in order to respect the causality considerations concerning these interactions. The converter is designed as a unidirectional current source in series with an H-bridge that inverts the current direction in the lamp each half cycle. Two different structures are presented to compose the unidirectional current source: a Boost based converter and a Buck-Boost based converter. Both converters are analyzed using the state plane and implemented, obtaining measurements that comply with the current mode concept. The presented structures allow the control of the current duration and amplitude, thus, the operating point in the discharge. This concept is the basis for the studies of correlation between the gas current and the UV emission.

关键词： Converters Discharges Dielectrics Power supplies Electrodes Integrated circuit modeling Steady-state

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：