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

Differently implicational α-universal triple I restriction method of (1, 2, 2) type

Journal of Systems engineering and Electronics 2012年第4期23卷 560-573页

作者： Yiming Tang Fuji Ren Yanxiang Chen Information and Communication Engineering Postdoctoral Research Station Hefei University of TechnologyHefei 230009P.R.China State Key Laboratory of Virtual Reality Technology and Systems Beihang UniversityBeijing 100191P.R.China Anhui Province Key Laboratory of Affective Computing and Advanced Intelligent Machine Hefei University of TechnologyHefei 230009P.R.China Institute of Technology and Science The University of TokushimaMinami Josanjima770-8506Japan

From the viewpoints of both fuzzy system and fuzzy reasoning, a new fuzzy reasoning method which contains the α- triple I restriction method as its particular case is proposed. The previous α-triple I restriction principles are improved, and then the optimal restriction solutions of this new method are achieved, especially for seven familiar implications. As its special case, the corresponding results of α-triple I restriction method are obtained and improved. Lastly, it is found by examples that this new method is more reasonable than the α-triple I restriction method.

关键词： fuzzy reasoning fuzzy system triple I method triple Irestriction method compositional rule of inference method.

来源：评论

学校读者我要写书评

暂无评论

1p3/2 Proton-Hole state in Sn132 and the Shell Structure Along N=82

引用

Physical Review Letters 2014年第13期112卷 132501-132501页

作者： J. Taprogge A. Jungclaus H. Grawe S. Nishimura P. Doornenbal G. Lorusso G. S. Simpson P.-A. Söderström T. Sumikama Z. Y. Xu H. Baba F. Browne N. Fukuda R. Gernhäuser G. Gey N. Inabe T. Isobe H. S. Jung D. Kameda G. D. Kim Y.-K. Kim I. Kojouharov T. Kubo N. Kurz Y. K. Kwon Z. Li H. Sakurai H. Schaffner K. Steiger H. Suzuki H. Takeda Zs. Vajta H. Watanabe J. Wu A. Yagi K. Yoshinaga G. Benzoni S. Bönig K. Y. Chae L. Coraggio A. Covello J.-M. Daugas F. Drouet A. Gadea A. Gargano S. Ilieva F. G. Kondev T. Kröll G. J. Lane A. Montaner-Pizá K. Moschner D. Mücher F. Naqvi M. Niikura H. Nishibata A. Odahara R. Orlandi Z. Patel Zs. Podolyák A. Wendt Instituto de Estructura de la Materia CSIC E-28006 Madrid Spain Departamento de Física Teórica Universidad Autónoma de Madrid E-28049 Madrid Spain RIKEN Nishina Center RIKEN 2-1 Hirosawa Wako-shi Saitama 351-0198 Japan GSI Helmholtzzentrum für Schwerionenforschung GmbH 64291 Darmstadt Germany LPSC Université Joseph Fourier Grenoble 1 CNRS/IN2P3 Institut National Polytechnique de Grenoble F-38026 Grenoble Cedex France Department of Physics Tohoku University Aoba Sendai Miyagi 980-8578 Japan Department of Physics University of Tokyo Hongo 7-3-1 Bunkyo-ku 113-0033 Tokyo Japan School of Computing Engineering and Mathematics University of Brighton Brighton BN2 4JG United Kingdom Physik Department E12 Technische Universität München D-85748 Garching Germany Institut Laue-Langevin B.P. 156 F-38042 Grenoble Cedex 9 France Department of Physics Chung-Ang University Seoul 156-756 Republic of Korea Rare Isotope Science Project Institute for Basic Science Daejeon 305-811 Republic of Korea Department of Nuclear Engineering Hanyang University Seoul 133-791 Republic of Korea School of Physics and State key Laboratory of Nuclear Physics and Technology Peking University Beijing 100871 China MTA Atomki P.O. Box 51 Debrecen H-4001 Hungary Department of Physics Osaka University Machikaneyama-machi 1-1 Osaka 560-0043 Toyonaka Japan Department of Physics Faculty of Science and Technology Tokyo University of Science 2641 Yamazaki Noda Chiba Japan INFN Sezione di Milano via Celoria 16 I-20133 Milano Italy Institut für Kernphysik Technische Universität Darmstadt D-64289 Darmstadt Germany Department of Physics Sungkyunkwan University Suwon 440-746 Republic of Korea Istituto Nazionale di Fisica Nucleare Complesso Universitario di Monte S. Angelo I-80126 Napoli Italy Dipartimento di Fisica Università di Napoli Federico II Complesso Universitario di Monte S. Angelo I-80126 Napoli Italy CEA DAM DIF 91297 Arpajon cedex France Instituto de Fsica Corpuscular CSIC

A low-lying state in In82131, the one-proton hole nucleus with respect to double magic Sn132, was observed by its γ decay to the Iπ=1/2− β-emitting isomer. We identify the new state at an excitation energy of Ex=1353 keV, which was populated both in the β decay of Cd13183 and after β-delayed neutron emission from Cd13284, as the previously unknown πp3/2 single-hole state with respect to the Sn132 core. Exploiting this crucial new experimental information, shell-model calculations were performed to study the structure of experimentally inaccessible N=82 isotones below Sn132. The results evidence a surprising absence of proton subshell closures along the chain of N=82 isotones. The consequences of this finding for the evolution of the N=82 shell gap along the r-process path are discussed.

关键词： PROTONS PROTON decay EXCITATION energy (In situ microanalysis) NEUTRON emission PARTICLE decays

来源：评论

学校读者我要写书评

暂无评论

Tunnel transition mechanism support all types of NAT users

引用

Tongxin Xuebao/Journal on Communications 2012年第SUPPL.2期33卷 294-300页

作者： Lu, Nian-Feng Wang, Zhen-Xing Liu, Hui-Sheng State Key Laboratory of Mathematic Engineering and Advanced Computing PLA Information Engineering University Zhengzhou 450002 China

Through the analied of current tunneling mechanism, a more efficient and applicable tunneling mechanism called TrNAT based on TSP to face different scenarios was proposed. Optimization of the communications between NAT users was achieved with ideology of MIPv6. Then, Shim6 was utilized to realize route redundancy and also improved the route aggregation of 6 to 4 tunnel. Finally, TrNAT tunneling mechanism was implemented on Linux kernel and validated by experiments.

关键词： Computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Research on fractional order controller based on best rational approximation approach

引用

Journal of Convergence Information Technology 2012年第4期7卷 50-58页

作者： Zhao, Huimin Nie, Bing Li, Wen Deng, Wu Software Institute Dalian Jiaotong University Dalian 116028 China Key Laboratory of Numerical Simulation in the Sichuan Provincial College Neijiang Normal University Neijiang 641112 China Artificial Intelligence Key Laboratory of Sichuan Province Sichuan University of Science and Engineering Zigong 643000 China State Key Laboratory of Power Transmission Equipment and System Security and New Technology College of Electrical Engineering Chongqing University Chongqing 400044 China Key Laboratory of advanced Design and Intelligent Computing Dalian University Ministry of Education Dalian 116622 China

Introduce the basic concept of best rational approximation and constructing procedure of the best rational approximation function in Laplace domain. By an illustrative example the design method of FOC based on best rational approximation is discussed. The performance comparison of transfer functions between the FOC obtained by best rational approximation method and conventional PID shows that it is effective to apply the method in design of FOC, which can guarantee maximum absolute error of amplitude frequency characteristic of approximation function in a given error tolerance.

关键词： Rational functions

来源：评论

学校读者我要写书评

暂无评论

Model Checking of Adaptive Programs with Mode-extended Linear Temporal Logic

Model Checking of Adaptive Programs with Mode-extended Linea...

引用

IEEE Workshop on engineering of Autonomic and Autonomous Systems (EASE)

作者： Yongwang Zhao Dianfu Ma Jing Li Zhuqing Li State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, adaptive programs are generally difficult to specify, verify, and validate. Assurance of high dependability of these programs is a great challenge. Efficiently and precisely specifying requirements and flexible model checking for adaptation are the key issues for developing dependably adaptive software. This paper introduces a formal model for adaptive programs which have different behavioral modes. We consider that adaptive programs have two behavioral level, functional behavior and adaptation. state machine is used to describe functional behavior in different modes and mode automata is proposed for adaptations. Specifications of adaptive programs are classified into three categories, local, adaptation and global properties from their different scope of dynamic adaptation. To specify and verify specifications on our model, We propose the Mode-extended Linear Temporal Logic (mLTL) and its model checking approach. mLTL extends Linear Temporal Logic (LTL) by adding mode related element and enables describing properties on different modes. Our formal model and mLTL formulae are translated to SMV language and verified in NuSMV model checker.

关键词： Automata Adaptation models Receivers Software Semantics Encryption Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic

Towards Verifying Global Properties of Adaptive Software Bas...

引用

International Conference on advanced Information Networking and Applications (AINA)

作者： Yongwang Zhao Jing Li Dou Sun Dianfu Ma Institute of Advanced Computing Technology School of Computer Science and Engineering Beihang University Beijing China State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

Increasingly, software needs to dynamically adapt its structure and behavior at runtime in response to changing conditions in the supporting computing, network infrastructure, and in the surrounding physical environments. By high complexity, assurance of high dependability of these software is a great challenge. Effective modeling of behavior and flexibly specifying requirements are the key issues for developing trusted adaptive software. This paper introduces a formal model for the behavior of adaptive software and an extended linear temporal logic to specify global properties. We use state machines to describe programs in different behavioral modes of adaptive software and consider these machines as different versions of programs. Specifications are classified into three categories, local, adaptation and global properties from perspective of dynamic adaptation. To specify and verify global properties on our model, we propose the versioned LTL (vLTL) which extends Linear Temporal Logic by adding version related element and enables describing properties on different versions. We also discuss verifying approach of vLTL by transforming them into LTL formulae and illustrate a study case.

关键词： Automata Software Adaptation model Semantics Runtime Algebra Switches

来源：评论

学校读者我要写书评

暂无评论

Some recent progress on curvilinear imagers and eyeball cameras

Some recent progress on curvilinear imagers and eyeball came...

引用

Imaging Systems and Applications, ISA 2011

作者： Jung, Inhwa Xiao, Jianliang Malyarchuk, Viktor Lu, Chaofeng Li, Ming Liu, Zhuangjian Yoon, Jongseung Huang, Yonggang Rogers, John A. Department of Materials Science and Engineering Beckman Institute for Advanced Science and Technology Frederick Seitz Materials Research Laboratory University of Illinois at Urbana-Champaign Urbana IL 61801 United States Department of Civil Engineering Zhejiang University Hangzhou Zhejiang 310058 China Department of Civil and Environmental Engineering Northwestern University Evanston IL 60208 United States State Key Laboratory of Structural Analysis for Industrial Equipment Dalian University of Technology Dalian 116024 China Institute of High Performance Computing 1 Fusionopolis Way #16-16 Connexis 138632 Singapore Department of Mechanical Engineering Northwestern University Evanston IL 60208 United States

We present curvilinear imagers using photodetector arrays on elastomeric membranes, capable of reversible deformation into hemispherical shapes via hydraulics. Combining with tunable, fluidic plano-convex lenses yield... 详细信息

ISBN: (纸本)9781557529145

关键词： Arrays Detector arrays Image quality Photodetectors Thin films Zoom lenses

来源：评论

学校读者我要写书评

暂无评论

Multicast grooming algorithm in waveband switching optical networks

引用

Journal of Lightwave Technology 2010年第19期28卷 2856-2864页

作者： Guo, Lei Wang, Xingwei Cao, Jiannong Hou, Weigang Pang, Lan College of Information Science and Engineering Northeastern University Shenyang 110819 China Department of Computing Hong Kong Polytechnic University Hong Kong Hong Kong State Key Laboratory of Advanced Optical Communication Systems and Networks Peking University Beijing 100871 China

In optical Wavelength-Division-Multiplexing (WDM) networks, multicast becomes more and more popular to provide high-speed communication between one point and multiple points. At the same time, the ports of Optical Cross-Connect (OXC) are greatly enhanced with the increasing number of wavelengths in fibers, and then the waveband switching technique is proposed to save the ports and reduce the cost of OXC. However, current waveband grooming algorithms are all limited in unicast. To achieve the multicast communication and meanwhile save the ports of OXC, we need to solve the multicast grooming, routing and wavelength/waveband assignment problem which is the HP-hard. In this paper, we propose a heuristic algorithm named Integrated Multicast Waveband Grooming (IMWG) based on Multicast Layered Auxiliary Graph (MLAG) that includes a Virtual Topology Layer (VTL) and multiple Waveband-Plane Layers (WPLs) to support the single-hop, multi-hop and hybrid multicast waveband grooming. For each demand, IMWG first computes a single-hop or multi-hop grooming waveband-tree on VTL. If the grooming waveband-tree cannot be found on VTL, IMWG computes a new waveband-tree on WPL. If the new waveband-tree cannot be found on WPL, IMWG computes a hybrid grooming waveband-tree on MLAG. Simulation results show that, compared with other algorithms, IMWG is able to obtain better performances. © 2010 IEEE.

关键词： Multicasting

来源：评论

学校读者我要写书评

暂无评论

Mammalian target of rapamycin regulates murine and human cell differentiation through STAT3/p63/Jagged/Notch cascade

Mammalian target of rapamycin regulates murine and human cel...

引用

第一届国家癌症中心学术年会

作者： Jianhui Ma Yanling Jing Shu Zhang Rongrong Chen Lianmei Wang Erxi Wu Guifang Cai Izabela Malinowska-Kolodziej Qi Liao Yuqin Liu Yi Zhao Yan Meng Qiang Sun Kaifeng Xu Jianwu Dai Jiahuai Han Lizi Wu Robert Chunhua Zhao Huangxuan Shen Hongbing Zhang David J.Kwiatkowski Xinxin Chen Haiyong Peng Qian Sun Xiaojun Zha Fang Wang Ying Wang Center of Excellence in Tissue Engineering Institute of Basic Medical Sciences and School of Basic MedicineChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Division of Breast SurgeryDepartment of SurgeryPeking Union Medical College HospitalChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Division of Respiratory MedicineDepartment of MedicinePeking Union Medical College HospitalChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople''s Republic of China Key Laboratory of Molecular Developmental BiologyInstitute of Genetics and Developmental BiologyChinese Academy of SciencesBeijingPeople''s Republic of China Key Laboratory of the Ministry of Education for Cell Biology and Tumor Cell EngineeringSchool of Life SciencesXiamen UniversityXiamenFujianPeople ''s Republic of China Department of Molecular Genetics and MicrobiologyShands Cancer CenterUniversity of FloridaGainesvilleFloridaUSA Center of Excellence in Tissue EngineeringInstitute of Basic Medical Sciences and School of Basic MedicineChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China State Key Laboratory of OphthalmologyLaboratory of Ocular GeneticsZhongshan Ophthalmic CenterSun Yat-Sen UniversityGuangzhouPeople''s Republic of China Division of Breast Surgery Department of SurgeryPeking Union Medical College HospitalChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Department of Physiology and PathophysiologyNational Laboratory of Medical Molecular BiologyInstitute of Basic Medical Sciences and School of Basic MedicineChinese Academy of Medical Sciences and Peking Union Medical CollegeBeijingPeople ''s Republic of China Department of Physiology and Pathophysiology National Laboratory of Medical Molecular BiologyInstitute of Basic Medical Sciences and School of Basic MedicineCh

来源：评论

学校读者我要写书评

暂无评论

Elastic property of single double-stranded DNA molecules: Theoretical study and comparison with experiments

引用

Physical Review E 2000年第1期62卷 1045-1045页

作者： Haijun Zhou Yang Zhang Zhong-can Ou-Yang Institute of Theoretical Physics Academia Sinica P.O. Box 2735 Beijing 100080 China State Key Laboratory of Scientific and Engineering Computing Beijing 100080 China Institute for Advanced Study Tsinghua University Beijing 100084 China

This paper aims at a comprehensive understanding of the novel elastic property of double-stranded DNA (dsDNA) discovered very recently through single-molecule manipulation techniques. A general elastic model for double-stranded biopolymers is proposed, and a structural parameter called the folding angle φ is introduced to characterize their deformations. The mechanical property of long dsDNA molecules is then studied based on this model, where the base-stacking interactions between DNA adjacent nucleotide base pairs, the steric effects of base pairs, and the electrostatic interactions along DNA backbones are taken into account. Quantitative results are obtained by using a path integral method, and excellent agreement between theory and the observations reported by five major experimental groups are attained. The strong intensity of the base stacking interactions ensures the structural stability of DNA, while the short-ranged nature of such interactions makes externally stimulated large structural fluctuations possible. The entropic elasticity, highly extensibility, and supercoiling property of DNA are all closely related to this account. The present work also suggests the possibility that negative torque can induce structural transitions in highly extended DNA from the right-handed B form to left-handed configurations similar to the Z-form configuration. Some formulas concerned with the application of path integral methods to polymeric systems are listed in the Appendixes.

关键词： .base pairs double-stranded Elastic supercoiling backbones Deformations torque Ou-Yang base-stacking folding angle dsDNA molecules

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：