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

第七届网格与协同计算国际会议(Seventh International Conference on Grid and Cooperative Computing GCC 2008)

作者： Yong Wang Li Wang Guiping Dai College of Computer Science & Technology Beijing University of Technology P.R.China School of Electronics Information & Control Engineering Beijing University of Technology P.R.China

ISBN: (纸本)9781424432806;9780769534497

Web services solve the problem of inter-organization business integration and are under a distributed, dynamic, autonomic and heterogeneous environment. The correctness and verification of web service orchestration is important. Formalization is a valid method. This paper gives the model of web service orchestration based on concurrent transaction logic. An introduction of web service orchestration and concurrent transaction logic is given. Then the translation rules from WS-BPEL to concurrent transaction logic are given. The verification problem of web service orchestration based on concurrent transaction logic is discussed. Finally, an actual web service orchestration example based on concurrent transaction logic is illustrated.

关键词： Web Service Orchestration Concurrent Transaction Logic Formalization

来源：评论

学校读者我要写书评

暂无评论

Accuracy enhancement of a surgical robot system using a Bi-planar fluoroscopy

Accuracy enhancement of a surgical robot system using a Bi-p...

引用

39th International Symposium on Robotics, ISR 2008

作者： Chung, Jae Heon Kim, Sungmin Yi, Byung-Ju Kim, Whee Kuk Kim, Young Soo Oh, Seong Hoon School of Electrical Engineering and Computer Science Hanyang University 1271 Sa-3 dong Sangnok-gu Ansan Gyeong-gi 426-791 Korea Republic of Department of Biomedical Engineering Hanyang University 17 Haengdang-dong Seongdong-gu Seoul 133-791 Korea Republic of Department of Control and Instrument Engineering Korea University Chochiwon Yeongi-gun Chungnam 339-700 Korea Republic of College of Medicine Hanyang University 17 Haengdang-dong Seongdong-gu Seoul 133-791 Korea Republic of

In the field of industrial robotics, there are many different accuracy enhancement methods to reduce the pose error of robot systems. Medical robot systems also require highly accurate positioning during operation. Therefore, medical robot systems employ a variety of methods to increase accuracy. Generally, a calibration method is used in order to enhance accuracy in the robot. Optical system as a measurement device has the advantage of high resolution, large workspace, and contactless measurement. In this paper, we conduct kinematic calibration of a surgical robot. Also, a macromicro robot system for enhancing the accuracy of the surgical robot system is proposed. Finally, the assessment of the accuracy enhancement for the surgical robot is conducted by a bi-planar fluoroscopy system. Phantom experiments employing the developed imageguided robotic surgery system are performed to show the enhancement of position accuracy.

关键词： Robotic surgery

来源：评论

学校读者我要写书评

暂无评论

A Stability Determining Algorithm on Fuzzy Rules Based on the Theory of Phase Track

A Stability Determining Algorithm on Fuzzy Rules Based on th...

引用

International Symposium on Intelligent Information Technology Application, IITA

作者： Zhigang Li Zhenlei Wang Zhongkui Sun Yu Lv College of Computer and Automatic Control Hebei Polytechnic University Tangshan Hebei China College of Light Industry Hebei Polytechnic University Tangshan Hebei China Department of Architectural Design Xindi Energy Engineering Limited Langfang Hebei China

Phase plane analyzing approach is an intuitive graphical way for the analysis of fuzzy control system, and it can invert the movement of a first and second order system into the track of position and velocity in the phase plane, which is very important to further improve the whole system. However, it can't go without expertise and it is vague in the phase track drawing for stability determination. In the paper, an algorithm based on phase plain analyzing approach will be put forward to achieve the determination of fuzzy control stability automatically.

关键词： Fuzzy control Fuzzy systems Stability analysis Automatic control Algorithm design and analysis control systems Tracking Educational institutions Fuzzy sets Information analysis

来源：评论

学校读者我要写书评

暂无评论

Analysis and formulation of printing process to develop knowledge-based scheduling software

Analysis and formulation of printing process to develop know...

引用

3rd International Conference on Innovative Computing Information and control, ICICIC'08

作者： Matsumoto, Shimpei Ueno, Nobuyuki Okuhara, Koji Ishii, Hiroaki Department of Computer and Control Engineering Oita National College of Technology 1666 Oaza- Maki Oita 870-0152 Japan Department of Management and Information Systems Prefectural University of Hiroshima 1-1-71 Ujina-higashi Minami-ku Hiroshima 734-8558 Japan Graduate School of Information Science and Technology Osaka University 2-1 Yamadaoka Suita Osaka 565-0871 Japan

ISBN: (纸本)9780769531618

We have addressed the improvement of production efficiency and the review of business process for an automotive parts supplier, and the goal of this study is the development of production management software. This paper describes the business result analysis in printing process and a formulation of the tacit procedure by observing worker's empirical rule to develop the knowledge-based scheduling software. The whole of business processes are clarified by our previous researches, and the scheduling problem of printing process has been mainly discussed. Previously the printing process has been improved only by theoretical aspect, however it cannot flexibly respond to the change of production conditions such as the dispersion of order, the interrupt of urgent task, and the inventory quantity of parts in spite of the actual field can handle these. Therefore this paper regards that the technical know-how of tacit knowledge in the actual printing field is absolutely necessary factor in response to the change of production conditions, and a formulation designed to the minimization of setup operation are expressed. © 2008 IEEE.

关键词： Production efficiency

来源：评论

学校读者我要写书评

暂无评论

Dynamic watermarking scheme based on the Shamir threshold and branch structure

引用

Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (engineering and Technology Edition) 2008年第SUPPL. 2期38卷 221-225页

作者： Yin, Ke Wang, Zhi-Quan Zhu, Jian-Qi Dong, Gang School of Automation Nanjing University of Science and Technology Nanjing 210094 China Electric Power Simulation and Control Engineering Center Nanjing Institute of Technology Nanjing 211167 China Key Laboratory of Symbol Computation and Knowledge Engineer College of Computer Science and Technology Jilin University Changchun 130012 China

A novel dynamic software watermark scheme based on the Shamir threshold and branch structure is presented. First, we split the watermark into a set of shares using the Shamir threshold scheme. Second, these values are encrypted with the DES block cipher that forms the watermark shares to be embedded into different methods of program according to the dynamic behavior of the branch structure. Our scheme can withstand most semantics-preserving attacks and can retrieve the original watermark based on partial information. Simulation tests show that our scheme is very robust, stealthy and has a high price performance rate compared with other methods.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

The application of Computational Fluid Dynamics to tissue bleeding simulation for medical endoscopic image

The application of Computational Fluid Dynamics to tissue bl...

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Zhi-Yong Yuan Qian Yin Shi-Kun Feng Ruo-Fei Wang Deng-Yi Zhang Mian-Yun Chen School of Computer Science Wuhan University of China Wuhan China College of Information Science and Technology Beijing Normal University Beijing China Department of Control Science & Engineering Huazhong University of Science and Technology Wuhan China

Technologies based on computational fluid dynamics (CFD) have been developed to many new fields, such as generating scenes in computer games, computer animation and Hollywood movies. In this paper, the application of CFD to the computer simulation of tissue bleeding, which is one important part of developing a surgical training system based on virtual reality technology, is investigated. One real-time bleeding simulation model based on CFD is proposed aiming at realistic simulation of tissue bleeding. Navier-Stokes equations are applied to model blood flow as an incompressible fluid. A faster solution to the Navier-Stokes equations is employed to solve the density field and velocity field in order to develop a real-time system. In light of this solution, a tissue bleeding model with OpenGL has been implemented. The results show that this method applied to the bleeding simulation is elucidating and practical.

关键词： Mathematical model Equations Computational modeling Solid modeling Computational fluid dynamics Fluids Blood

来源：评论

学校读者我要写书评

暂无评论

controllability of Switched Systems with Continuous-Time and Discrete-Time Subsystems

Controllability of Switched Systems with Continuous-Time and...

引用

7th World Congress on Intelligent control and Automation (WCICA 2008), vol.11

作者： Yunru Zhu Jiang Xing Zhihong Guan School of Machinery and Electronic Engineering Xi''an University of Electronic Science and Technology Xi'an Shaanxi China College of Computer Science & technology Hubei Normal University Huangshi Hubei China Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China

This paper investigates controllability for switched systems with continuous-time and discrete-time subsystems. It is proved there is a basic switching sequence such that the controllable set of this basic switching sequence is equal to that of the system. Based on this fact, a sufficient and necessary geometric criterion is established.

关键词： Continuous-time system Discrete-time system Switched system controllability

来源：评论

学校读者我要写书评

暂无评论

COMPARATIVE STUDY OF DIMENSION REDUCTION AND RECOGNITION ALGORITHMS OF DCT AND 2DPCA

COMPARATIVE STUDY OF DIMENSION REDUCTION AND RECOGNITION ALG...

引用

2008 International Conference on Machine Learning and Cybernetics(2008机器学习与控制论国际会议)

作者： BIN JIANG GUO-SHENG YANG HUAN-LONG ZHANG Institute of Advanced Control and Intelligent Information Processing Henan University Kaifeng 4750 Information Engineering College Central University for Nationalities Beijing 100081 China Department of Computer Luoyang Institute of Science and Technology Luoyang 471023 China

Based on the application of DCT ( discrete cosine transform) in the image compression, the feasibility of DCT to be used in image feature dimension reduction is analyzed, and the basic principle of the image feature dimension reduction based on DCT is given in this paper. And then, taking the face recognition and the facial expression recognition as the research background, the theoretical analysis that DCT algorithm has the higher recognition than 2DPCA (two-dimensional principal component analysis) in the face recognition and the facial expression recognition is given under the condition that DCT and 2DPCA algorithms have the approximate dimension reduction effect. At last, the comparative simulation experiment is performed on DCT and 2DPCA algorithms respectively by use of the AT&T face database and JAFFE facial expression database.

关键词： DCT Image Compression Feature Dimension Reduction Facial Recognition Facial Ezpression Recognition

来源：评论

学校读者我要写书评

暂无评论

On a rough set with fuzzy weights in well-balanced menu planning system

On a rough set with fuzzy weights in well-balanced menu plan...

引用

3rd International Conference on Innovative Computing Information and control, ICICIC'08

作者： Kashima, Tomoko Han, Hugang Matsumoto, Shimpei Ishii, Hiroaki Department of Information and Physical Sciences Graduate School of Information Science and Technology Osaka University 2-1 Yamadaoka Suita Osaka 565-0871 Japan Department of Management and Information Systems Prefectural University of Hiroshima 1-1-71 Ujina-higashi Minami-ku Hiroshima 734-8558 Japan Department of Computer and Control Engineering Oita National College of Technology 1666 Oaza-Maki Oita 870-0152 Japan

ISBN: (纸本)9780769531618

We have developed a well-balanced menu planning system to supply dishes to someone's taste. The system implements fuzzy mathematical programming logic and rough set theory. The fuzzy mathematical programming is mainly used to select menu among database, and the rough set theory provides user's selection rule for menu. This paper particularly focuses the method of rough set theory with fuzzy weight. So far we have used an information system with fuzzy weights adopted to only each tuple data. This paper discusses the method that is evaluated each attribute including both of condition and decision using a fuzzy number, in order to cover all uncertainties and noises in a menu database. On rough set procedure, some invisible elements are visualized i.e., it takes notice of the visualization of nutritional information which hid behind a user's favorite. Each user's characteristic is grasped and well-balanced menus are presented for each user after filling constraints such as the affinity of cooking. © 2008 IEEE.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

Analysis and Formulation of Printing Process to Develop Knowledge-Based Scheduling Software

Analysis and Formulation of Printing Process to Develop Know...

引用

International Conference on Innovative Computing, Information and control (ICICIC)

作者： Shimpei Matsumoto Koji Okuhara Nobuyuki Ueno Hiroaki Ishii Department of Computer and Control Engineering Oita National College of Technology Oita Japan Department of Management and Information System Prefectural University of Hiroshima Hiroshima Japan Graduate School of Information Science and Technology Osaka University Suita Osaka Japan

关键词： Printing Production Job shop scheduling Business Lot sizing Manufacturing Color

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：