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

Proceedings of the Biannual World Automation Congress

作者： Danmei Huang Zhanlong Zhang Xihong Wu Ke Wang State Key Laboratory of Power Transmission Equipment & System Security and New Technology Chongqing University China National 863 plans projects The Natural Science Foundation of Chongqing China

Based on electromagnetism and electricity network theory a kind of brain impedance network mode is built in the paper. And in order to study the relation between impedance of bleeding or shortness of blood encephalic and skull potential, we establish emulation model and carry through a series of simulation calculation. In these result, it is indicated that skull has some inhibition for current, but has not entirely constrain current and also has conductance characteristic. In addition, the factors of the position of impedance being changed, impedance amplitude being enlarged or reduced, impedance being changed and area being enlarged and so on, all these can bring great influence to boundary potential.

关键词： Brain modeling Impedance Blood Bioelectric phenomena Hemorrhaging Electric potential Magnetic heads Skull Conductors Animals

来源：评论

学校读者我要写书评

暂无评论

An improved back-projection algorithm for electrical impedance tomography

An improved back-projection algorithm for electrical impedan...

引用

Proceedings of the Biannual World Automation Congress

作者： Qingyou Zhu CiYong Luo ZhanLong Zhong MinYou Chen State Key Laboratory of Power Transmission Equipment & System Security and New Technology Electrical Engineering of Chongqing University Chongqing China Department of Physicsand electronic information Engineering Yangtze Normal University Fuling China

The dynamic algorithm of back-projection has been widely used in electrical impedance tomography (EIT) systems due to its simplicity and feasibility. However, the impedance images produced by back-projection algorithm have some clear artefacts. A modified mean back-projection algorithm for reconstructing image in electrical impedance tomography by introducing the rough length of projection region is presented to reduce partial artefacts especially the asteroid trace. The realization and experiment verification of the algorithm have been conducted. Simulation experiments show that the artefacts in image reconstructed by mean back-projection algorithm are lower than that of back-projection algorithm, the modified mean back-projection algorithm is efficient and effective than back-projection algorithm.

关键词： Image reconstruction X-ray imaging Magnetic resonance imaging Computed tomography Ultrasonic imaging Back Impedance measurement Biomedical imaging Optical imaging Physics

来源：评论

学校读者我要写书评

暂无评论

Proxy blind signature scheme and a multi-proxy blind signature scheme based on XTR

引用

Journal of information and Computational science 2008年第1期5卷 305-312页

作者： Zhang, Jianhong Ji, Cheng Mao, Jian College of Sciences North China University of Technology Beijing 100041 China State Key Laboratory of Information Security Graduate School Chinese Academy of Sciences Beijing 100049 China Institute of Computer Science and Technology Peking University Beijing 100871 China

The definition of XTR system, which is based on the elements' trace compact denotation in the subgroup of the multiplicative group of the finite field, is a new public key system. We propose two signature schemes based on XTR system with short key length, the quick speed of choosing parameters, and the less amount of computation. And we also show our signature schemes are proven secure by using forking lemma in the random oracle model. The security of our schemes is equivalent to solve the discrete logarithm in XTR group.

关键词： Trace elements

来源：评论

学校读者我要写书评

暂无评论

Effective Predicate Abstraction for Program Verification

Effective Predicate Abstraction for Program Verification

引用

第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

作者： Li Li Ming Gu Xiaoyu Song Jianmin Wang Dept.Computer Science & Technology Tsinghua University Beijing China Key Laboratory for Informati Key Laboratory for Information System Security Ministry of Education China School of Software Tsin Dept.ECE Portland State University Oregon USA School of Software Tsinghua University Beijing China Dept.ECE Portland State University Oregon

The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach.

关键词： state-space methods Concrete Software engineering Computer science Educational technology Laboratories information systems Computer security information security Computer science education

来源：评论

学校读者我要写书评

暂无评论

Solving Sum and Product Riddle via BDD-Based Model Checking

Solving Sum and Product Riddle via BDD-Based Model Checking

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Xiangyu Luo Kaile Su Abdul Sattar Yan Chen Tsinghua National Laboratory for Information Science and Technology Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic and Technology Guilin China School of Electronics Engineering and Computer Science Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD Australia

We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.

关键词： Data structures Boolean functions IEEE news Intelligent agent Educational technology Automatic logic units Laboratories Computer science information science Computer security

来源：评论

学校读者我要写书评

暂无评论

Breaking Instance II of New TTM Cryptosystems

Breaking Instance II of New TTM Cryptosystems

引用

International Conference on Intelligent information Hiding and Multimedia Signal Processing (IIHMSP)

作者： Xuyun Nie Xin Jiang Lei Hu Jintai Ding Zhiguang Qin School of Computer Science and Engineering University of Electronic Science and Technology Chengdu China State Key Laboratory of Information Security Chinese Academy of Sciences Beijing China Department of Mathematical Sciences University of Cincinnati Cincinnati OH USA

TTM (tame transformation method) is a type of multivariate public key cryptosystem. In 2007, the inventor of TTM proposed two new instances of TTM to resist the existing attacks, in particular, the Nie et al attack. The two instances are claimed to achieve a security of 2109 against Nie et al attack. Through computation, we found that the instance II satisfied First Order Linearization Equations. After finding all linearization equations, we can perform a ciphertext-only attack to break it.

关键词： Equations Cryptography Public key Polynomials Public key cryptography Computers Resists

来源：评论

学校读者我要写书评

暂无评论

Modified min-sum decoding algorithm for LDPC codes based on classified correction

Modified min-sum decoding algorithm for LDPC codes based on ...

引用

International Conference on Communications and Networking in China (CHINACOM)

作者： Zhou Zhong Yunzhou Li Xiang Chen Hanying Hu Jing Wang State Key Laboratory on Microwave and Digital Communications National Laboratory for Information Science and Technology Department of Electronic Engineering Tsinghua University Beijing China National Digital Switching System Engineering and Technological Research and Development Center Zhengzhou China

In this paper, a modified min-sum decoding algorithm based on classified correction is proposed for low density parity check (LDPC) codes. Different from the single correction in the normalized belief propagation (BP)-based and offset BP-based algorithms [4], the proposed algorithm utilizes two corrections for both minimum and sub-minimum magnitudes of input messages in check nodes. These two correction factors can be obtained by analyzing the offset of updated messages in check nodes between the BP and the min-sum algorithms associated with check node degree. Simulation results show that the proposed algorithm can achieve performance very close to that of the BP algorithm. Furthermore, the FPGA implementation of this algorithm can reach a throughput of 200 Mbps at BER=10 -6 with lower complexity and fewer resources than the BP algorithm.

关键词： Parity check codes Iterative algorithms Approximation algorithms Iterative decoding AWGN Laboratories Microwave technology Belief propagation Algorithm design and analysis Field programmable gate arrays

来源：评论

学校读者我要写书评

暂无评论

Research on rough set theory and applications in China

引用

Lecture Notes in Computer science

作者： Wang, Guoyin Zhang, Qinghua Huang, Houkuan Ye, Dongyi Hu, Qinghua Hu, Xuegang Shi, Zhongzhi Li, Yongli Shang, Lin An, Liping Sai, Ying Chen, Shanben Liang, Jiye Qin, keyun Zeng, Huanglin Xie, Keming Miao, Duoqian Min, Fan Wu, Zhaocong Wu, Weizhi Dai, Jianhua Institute of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing 400065 China School of Information Science and Technology Southwest Jiaotong University Chengdu 610031 China School of Computer and Information Technology Beijing Jiaotong University Beijing 100044 China College of Math. and Computer Fuzhou University Fuzhou 350002 China Harbin Institute of Technology PO Box 458 Harbin 150006 China School of Computer and Information Hefei University of Technology Hefei 230009 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 China Lanzhou University No.222 Tianshui South Rd. Lanzhou 730000 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Management Science and Engineering Department Business School Nankai University Tianjin 300071 China Shandong University of Finance No.40 Shun-geng Road Jinan 250014 China Welding Engineering Institute Shanghai Jiaotong University Shanghai 200030 China School of Computer and Information Technology Shanxi University Taiyuan 030006 China Intelligent Control Development Center Southwest Jiaotong University Chengdu 610031 China Artificial Intelligence of Key Laboratory Sichuan University of Science and Engineering Zigong 643000 China Department of Automation College of Information Engineering Taiyuan University of Technology Taiyuan 030024 China 4800 CaoAn Highway Shanghai 201804 China School of Computer Science and Technology University of Electronic Science and Technology of China Chengdu 610054 China School of Remote Sensing Information Engineering Wuhan University Wuhan 430079 China Institute for Information and System Sciences Faculty of Science Xi'an Jiaotong University Xi'an 710049 China Information College Zhejiang Ocean University Zhejiang 316004 China Institute of Artificial Intelligence Zhejiang University Hangzhou 310027 China

ISBN: (纸本)3540850635

This article gives a capsule view of research on rough set theory and applications ongoing at universities and laboratories in China. Included in this capsule view of rough set research is a brief description of the following things: Chinese research groups on rough set with their URLs for web pages, names of principal researchers (supervisors), numbers of graduate students, and topics being investigated. Statistical summaries showing the growth in the research on rough set theory and application in China are included. In addition, an introduction summarizing the research interests of Chinese researchers is included in this article. The contribution of this article is a complete overview of the principal research directions in rough set theory and its applications in China. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

Error bounded algorithm for approximate B-spline surface skinning

引用

Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics 2008年第11期20卷 1477-1482页

作者： Wang, Wenke Zhang, Hui Wang, Bin School of Software Tsinghua University Beijing 100084 China Department of Computer Science and Technology Tsinghua University Beijing 100084 China Key Laboratory for Information System Security Beijing 100084 China Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China

B-spline surface skinning is a commonly used tool in surface modeling. Huge amounts of control points will be introduced in the skinned surface by traditional skinning approach. This paper proposes an efficient approximating skinning algorithm for constructing B-spline surface based on Piegl's approach. By a more precise estimation of maximum value of a B-spline basis function and utilizing of the local support property of B-spline basis function, the control points of a set of compatible B-spline curves are reduced, which makes the skinning algorithm more effective. Under the same error bound, experimental results showed that our algorithm can reduce more control points than Piegl's.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：