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

Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference

作者： Daizhan Cheng Jiang B.Liu Institute of Systems Science Chinese Academy of Sciences State Key Lab of Software Engineering Wuhan University Dept.of Computer Science & Info.Sys. Bradley University

The stability of Boolean networks and the stabilization of Boolean control networks are *** semi-tensor product of matrices and the matrix expression of logic,the dynamics of a Boolean(control) network can be converted to a discrete time linear(bilinear) dynamics,called the algebraic form of the Boolean(control) *** provide a framework for this *** results consist of two parts:(i) Using logic coordinate transformation,the known sufficient condition based on incidence matrix has been *** is also used in stabilizer design.(ii)Based on algebraic form,necessary and sufficient conditions for stability of Boolean networks and stabilization of Boolean control networks respectively are obtained.

关键词： Boolean(control) system stability stabilization semi-tensor product of matrices

来源：评论

学校读者我要写书评

暂无评论

Port embedded Linux to XUP Virtex-II Pro development board

Port embedded Linux to XUP Virtex-II Pro development board

引用

IEEE International Symposium on Information (IT) in Medicine and Education, ITME

作者： Qingguo Zhou Qi Yao Chanjuan Li Bin Hu Distributed & Embedded System Lab (DSLab) Lanzhou University China Engineering Research Center of Open Source Software and Real-Time Systems Ministry of Education Lanzhou University China

As its free, rich code resource and supporting many kinds of CPU architecture, Linux is making steady progress in the embedded arena. The Virtex-II Pro serials development system, produced by Xilinx company, provides an advanced hardware platform that consists of a high performance Virtex serials platform FPGA surrounded by a comprehensive collection of peripheral components that can be used to create a complex system and meet different special embedded application areas. This paper mainly introduces porting embedded Linux to the XUP Virtex- II Pro development system, and using serials of development tool kits. It is a good guide to develop embedded system with FPGA development system and Linux.

关键词： Linux Embedded system Field programmable gate arrays Hardware Kernel Embedded computing Computer architecture Power system reliability Open source software Computer applications

来源：评论

学校读者我要写书评

暂无评论

A Case Study of Microkernel for Education

A Case Study of Microkernel for Education

引用

2009 IEEE International Symposium on IT in Medicine & Education(ITME2009)

作者： Nicholas McGuire Distributed & Embedded System Lab (DSLab) Lanzhou UniversityChina Engineering Research Center of Open Source Software and Real-Time Systems Ministry of EducationLanzhou UniversityChina

The paper will introduce a new operating system architecture microkernel for *** its safe,small,and flexible feature,micorkernel is becoming widely use in various *** it to education,will from different design architecture to make learner get deeper understanding of operating system *** is a real,second-generation microkernel whose source code is less than 15,000 lines,and it is freely available under the GNU General Public *** this paper,based on Fiasco,the microkernel operating system will be introduced especially in its kernel mechanism.

关键词： A Case Study of Microkernel for Education

来源：评论

学校读者我要写书评

暂无评论

is-rSNP: a novel technique for in silico regulatory SNP detection

引用

BMC Bioinformatics 2010年第10期11卷 1-1页

作者： Geoff Macintyre James Bailey Adam Kowalczyk Izhak Haviv Department of Computer Science and Software Engineering The University of Melbourne Victoria 3010 Australia NICTA Victoria Research Lab The University of Melbourne Victoria 3010 Australia Department of Biochemistry and Molecular Biology The University of Melbourne Victoria 3010 Australia Ian Potter Centre for Cancer Genomics and Predictive Medicine Peter MacCallum Cancer Centre East Melbourne Victoria Australia Bioinformatics and Systems Integration The Blood and DNA Profiling Facility Baker IDI heart and diabetes Institute 75 Commercial Rd Prahran 3004 Victoria Australia

来源：评论

学校读者我要写书评

暂无评论

Preface of the 2010 IAENG International Conference on Electrical engineering special session: Design, analysis and tools for integrated circuits and systems

Proceedings of the International MultiConference of Engineer...

引用

Proceedings of the International MultiConference of Engineers and Computer Scientists 2010, IMECS 2010 2010年 1333-1335页

作者： Man, Ka Lok Mercaldi, Michele Hahanov, Vladimir Prinetto, Paolo Poncino, Massimo MacIi, Alberto Choi, Joongho Li, Wei Schellekens, Michel Popovici, Emanuel Seon, Jong-Kug Rossi, Umberto Fummi, Franco Pravadelli, Graziano Lam, Yui Fai PavLov, Vladimir Patel, Ajay Huang, Jinfeng Vallee, Thierry Boubekeur, Menouer Sokolova, Ana Almerares, Sergio Donno, Monica Cho, Jun-Dong Zahirul Alam, A.H.M. Provan, Gregory Velev, Miroslav N. Uddin, M. Nasir Botchkarev, Alexei Bosnacki, Dragan Hickey, Dave O'Keeffe, Maria Krilavičius, Tomas Pastrnak, Milan Herbert, John Lu, Zhe-Ming Pan, Jeng-Shyang Chang, Chin-Chen Horng, Mong-Fong Chen, Liang Lim, Chee-Peng Tao, Ngo Quoc Deb, Suash Merniz, Salah Valero, Oscar Yi, Yang Woods, Damien Vedrine, Franck Monsuez, Bruno Yen, Kang Matsuura, Takenobu Edwards, R. Timothy Tveretina, Olga Fino, Maria Helena O'Riordan, Adrian Patrick labiak, Grzegorz Gaur, M.S. Chang, Jian Chung, Yeh-Ching Derezinska, Anna Cho, Kyoung-Rok Zhang, Yong Liutkevičius, R. Zeng, Yuanyuan Vasudevan, D.P. Bukowiec, Arkadiusz Kitsos, Paris Goudarzi, Maziar Dong, Jin Song Bhalla, Ateet Al-Khalili, Dhamin Navabi, Zainalabedin Zinchenko, Lyudmila Anjum, Muhammad Almas Narasimha, Deepak Laxmi Hughes, Danny Tadjouddine, Emmanuel M. Wang, Jun Kumar, A.P. Sathish Jaisankar, N. Mansoor, Atif Hollands, Steven Mohammadi, Siamak Klein, Felipe Westermann, Peter English, Tom Planas, Miquel Moreto Chung, Chelho Chakrabarti, Amlan Lei, Chi-Un Bamakhrama, Mohamed Naik, B. Rajendra Harte, Sean Yin, Alexander Giancardi, Luigi El-Din Mady, Alie Joseph, Arun Khandekar, Prasad D. Pandey, Hari Mohan Bharti, Vishal O'Mullane, Monica Chen, Chen Xi'an Jiaotong University China Liverpool University United Kingdom Kharkov National University of Radio Electronics Ukraine Politecnico di Torino Italy University of Seoul Korea Republic of Fudan University China Tyndall University College Cork Ireland System LSI Lab. LS Industrial Systems R and D Center Korea Republic of STMicroelectronics Italy University of Verona Italy Hong Kong University of Science and Technology Hong Kong Hong Kong International Software and Productivity Engineering Institute United States Intelligent Support Ltd. United Kingdom Philips and LiteOn Digital Solutions Netherlands Netherlands Georgia Southern University Statesboro GA United States University of Salzburg Austria Sung Kyun Kwan University Korea Republic of International Islamic University Malaysia Malaysia Aries Design Automation United States Lakehead University Canada IEEE Canada Board of Directors Canada Eindhoven University of Technology Netherlands Vytautas Magnus University Lithuania Siemens IT Solutions and Services Slovakia Sun Yat-Sen University China National Kaohsiung University of Applied Sciences Taiwan Feng Chia University Taiwan Shu-Te University Taiwan University of Northern British Columbia Canada University of South Australia Australia Vietnamese Academy of Science and Technology Viet Nam C. V. Raman College of Engineering India Mentouri University Constantine Algeria University of Balearic Islands Spain University of Seville Spain CEA France ENSTA France Florida International University United States Tokai University Japan MultiGiG Inc. United States Karlsruhe University Germany Universidade Nova de Lisboa Portugal University of Zielona Gora Poland Malaviya National Institute of Technology Jaipur India Texas Instruments Inc. United States National Tsing-Hua University Taiwan Warsaw University of Technology Poland Chungbuk National University Korea Republic of Shenzhen University China Vytautas Magnus University Kaunas Lithuania Hellenic Open Univ

来源：评论

学校读者我要写书评

暂无评论

A graph theoretic algorithm for removing redundant protein sequences

A graph theoretic algorithm for removing redundant protein s...

引用

3rd International Conference on Bioinformatics and Biomedical engineering, iCBBE 2009

作者： Pengfei, Liu Zhenbing, Zeng Ziliang, Qian KaiYan, Feng Yudong, Cai Software Engineering Institute of East China Normal University 3663 North Zhongshan Road Shanghai 200062 China CAS-MPG Partner Institute for Computational Biology Shanghai Institutes for Biological Sciences Chinese Academy of Sciences 320 Yueyang Road Shanghai 200031 China Bioinformatics Center Key Lab. of Systems Biology Shanghai Institutes for Biological Sciences 320 Yueyang Road Shanghai 200031 China Graduate School of the Chinese Academy of Sciences 19 Yuquan Road Beijing 100039 China Division of Imaging Science and Biomedical Engineering University of Manchester Stopford Building M13 9PT United Kingdom Institute of System Biology Shanghai University 99 ShangDa Road Shanghai 200244 China

ISBN: (纸本)9781424429028

Many biological sequence databases have redundant sequences which are not helpful to statistical analysis and require more computational time and resources to process. This lead us to design a new and fast program to generate a non-redundant sequence set. A graph theoretic algorithm was designed to process BLAST output and remove redundant proteins from a protein sequence database. We have developed a program named BlastCuller which can be used to generate a non-redundant protein database. BlastCuller is a flexible program with a parameter of sequence similarity cutoff, which can be a decimal from 0.0 to 1.0. This program can be downloaded from http://***/BlastCuller. html. ©2009 IEEE.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

DATICS-2010: Welcome message from workshop organizers: FutureTech 2010

2010 5th International Conference on Future Information Tech...

引用

2010 5th International Conference on Future Information Technology, FutureTech 2010 - Proceedings 2010年

作者： Man, Ka Lok Mercaldi, Michele Hahanov, Vladimir Prinetto, Paolo Poncino, Massimo MacIi, Alberto Choi, Joongho Li, Wei Schellekens, Michel Popovici, Emanuel Seon, Jong-Kug Rossi, Umberto Fummi, Franco Pravadelli, Graziano Lam, Yui Fai PavLov, Vladimir Patel, Ajay Huang, Jinfeng Vallee, Thierry Boubekeur, Menouer Sokolova, Ana Almerares, Sergio Donno, Monica Cho, Jun-Dong Alam, Ahm Zahirul Provan, Gregory Velev, Miroslav N. Nasir Uddin, M. Botchkarev, Alexei Bosnacki, Dragan Hickey, Dave O'Keeffe, Maria Krilavičius, Tomas Pastrnak, Milan Herbert, John Lu, Zhe-Ming Pan, Jeng-Shyang Chang, Chin-Chen Horng, Mong-Fong Chen, Liang Lim, Chee-Peng Tao, Ngo Quoc Deb, Suash Merniz, Salah Valero, Oscar Yi, Yang Woods, Damien Vedrine, Franck Monsuez, Bruno Yen, Kang Matsuura, Takenobu Timothy Edwards, R. Tveretina, Olga Fino, Maria Helena O'Riordan, Adrian Patrick labiak, Grzegorz Gaur, M.S. Chang, Jian Chung, Yeh-Ching Derezinska, Anna Cho, Kyoung-Rok Zhang, Yong Liutkevičius, R. Zeng, Yuanyuan Vasudevan, D.P. Bukowiec, Arkadiusz Kitsos, Paris Goudarzi, Maziar Dong, Jin Song Bhalla, Ateet Al-Khalili, Dhamin Navabi, Zainalabedin Zinchenko, Lyudmila Anjum, Muhammad Almas Narasimha, Deepak Laxmi Hughes, Danny Tadjouddine, Emmanuel M Wang, Jun Kumar, A.P. Sathish Jaisankar, N. Mansoor, Atif Hollands, Steven Mohammadi, Siamak Klein, Felipe Westermann, Peter English, Tom Planas, Miquel Moreto Chung, Chelho Chakrabarti, Amlan Lei, Chi-Un Bamakhrama, Mohamed Naik, B. Rajendra Harte, Sean Yin, Alexander Giancardi, Luigi Mady, Alie El-Din Joseph, Arun Khandekar, Prasad D. Pandey, Hari Mohan Xi'an Jiaotong-Liverpool University China Kharkov National University of Radio Electronics Italy Politecnico di Torino Italy University of Seoul China Fudan University Ireland University College Cork Ireland System LSI Lab. LS Industrial Systems R and D Center Korea Republic of STMicroelectronics Italy University of Verona Hong Kong Hong Kong University of Science and Technology Hong Kong Hong Kong International Software and Productivity Engineering Institute United States Intelligent Support Ltd. United Kingdom Philips and LiteOn Digital Solutions Netherlands Netherlands Georgia Southern University Statesboro GA Austria University of Salzburg Korea Republic of Sung Kyun Kwan University Malaysia International Islamic University Malaysia Malaysia Aries Design Automation United States Lakehead University Canada IEEE Canada Board of Directors Canada Eindhoven University of Technology Lithuania Vytautas Magnus University Greece Siemens IT Solutions and Services Slovakia Sun Yat-Sen University China National Kaohsiung University of Applied Sciences Taiwan Feng Chia University Taiwan Shu-Te University Canada University of Northern British Columbia Australia University of South Australia Viet Nam Vietnamese Academy of Science and Technology Viet Nam C. V. Raman College of Engineering India Mentouri University Constantine Spain University of Balearic Islands Spain University of Seville France CEA France ENSTA France Florida International University Japan Tokai University Japan MultiGiG Inc. United States Karlsruhe University Portugal Universidade Nova de Lisboa Poland University of Zielona Gora India Malaviya National Institute of Technology Jaipur India Texas Instruments Inc United States National Tsing-Hua University Poland Warsaw University of Technology Korea Republic of Chungbuk National University China Shenzhen University Lithuania Vytautas Magnus University Kaunas Greece Hellenic Open University Patras Singapore National University of Singapore Sing

来源：评论

学校读者我要写书评

暂无评论

Integrated knowledge-based modeling and its application for classification problems

引用

Journal of systems engineering and Electronics 2008年第6期19卷 1277-1282页

作者： Chen Tieming Gong Rongsheng Huang Samuel H Coll. of Software Engineering Zhejiang Univ. of Technology Hangzhou 310032 P. R. China State Key Lab of Software Development Environment Beijing Univ. of Aeronautics and Astronautics Beijing 100083 P. R. China Intelligent Systems Lab Univ. of Cincinnati Cincinnati OH 45221 USA

Knowledge discovery from data directly can hardly avoid the fact that it is biased towards the collected experimental data, whereas, expert systems are always baffled with the manual knowledge acquisition bottleneck. So it is believable that integrating the knowledge embedded in data and those possessed by experts can lead to a superior modeling approach. Aiming at the classification problems, a novel integrated knowledge-based modeling methodology, oriented by experts and driven by data, is proposed. It starts from experts identifying modeling parameters, and then the input space is partitioned followed by fuzzification. Afterwards, single rules are generated and then aggregated to form a rule base, on which a fuzzy inference mechanism is proposed. The experts are allowed to make necessary changes on the rule base to improve the model accuracy. A real-world application, welding fault diagnosis, is presented to demonstrate the effectiveness of the methodology.

关键词： knowledge discovery fuzzy rule discretization rule generation fuzzy inference

来源：评论

学校读者我要写书评

暂无评论

A distributed system for continuous integration with JINI 14

A distributed system for continuous integration with JINI

引用

14th International Conference on Distributed Multimedia systems, DMS 2008

作者： Cheng, Y.C. Ou, P.-H. Chen, C.-T. Hsu, T.-S. Software Systems Lab Department of Computer Science and Information Engineering National Taipei University of Technology Taiwan

ISBN: (纸本)1891706233

The present work extends a previously developed continuous integration system to support platform dependent builds and to reduce turnaround time by incorporating distributed computing capabilities. The two objectives are achieved by adopting the Replicated-Worker Pattern as the distributed architecture and using JINI distributed technology as the means of implementation. Experimental results in support of the claims are presented. © 2008 by Knowledge systems Institute Graduate School. All rights reserved.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

A best-first anytime algorithm for computing optimal coalition structures

A best-first anytime algorithm for computing optimal coaliti...

引用

7th International Joint Conference on Autonomous Agents and Multiagent systems, AAMAS 2008

作者： Sombattheera, Chattrakul Ghose, Aditya Decision Systems Lab. School of Computer Sience and Software Engineering University of Wollongong NSW 2500 Australia

ISBN: (纸本)9781605604701

This work presents a best-first anytime algorithm for computing optimal coalition structures. The approach is novel in that it generates coalition structures based on coalition values, while existing algorithms base their generation on the structure (members and configurations) of coalitions. With our algorithm, coalition structures are generated by repeatedly choosing the best coalition, as determined using a novel metric called agent's contribution to coalition structure that we define. We have compared the performance of our algorithm against that of Rahwan et al [5] using 20 data distributions. Our results show that our algorithm almost always converges on an optimal coalition structure faster (although it terminates later in some cases). Empirically, our algorithm almost always yields better than or as good as Rahwan et al's results at any point in time. Copyright © 2008, International Foundation for Autonomous Agents and Multiagent systems (***). All rights reserved.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：