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

Numerical method for real root isolation of semi-algebraic system and its applications

Journal of Computational and Theoretical Nanoscience 2016年第1期13卷 803-811页

作者： Ji, Zhenyi Wu, Wenyuan Feng, Yong Li, Yi Qin, Xiao Lin Sichuan Agricultural University Chengdu611830 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China

In this paper, based on the homotopy continuation method and the interval Newton method, an efficient algorithm is introduced to isolate the real roots of semi-algebraic system. Tests on some random examples and a variety of problems including transcendental functions arising in many applications show that the new algorithm reduces the cost substantially compared with the traditional symbolic approaches. © 2016 American Scientific Publishers All rights reserved.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

Block group preserving correction methods for differential algebraic equations with multiple constraints

引用

Journal of Computational and Theoretical Nanoscience 2016年第7期13卷 4042-4049页

作者： Lu, Jianguang Qin, Xiaolin Feng, Yong Tang, Juan Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China University of Chinese Academy of Science Beijing100049 China

In this paper, we combine the Euler scheme with the block group preserving methods to obtain the high accuracy block group preserving techniques. High index differential algebraic equations (DAEs) may have hidden algebraic constraints. To solve the high-index DAEs or DAEs with multiple constraints, we propose block group preserving correction scheme (BGPCS) via exponential mapping and block modified group preserving correction scheme (BMGPCS) by considering multiple constraints. We block the nonlinear dynamical system with m constraints into m subsystems. Each subsystem uses group preserving correction scheme (GPCS) and modified group preserving correction scheme (MGPCS). Moreover, we give two necessary conditions of the block methods. The schemes provide single-step explicit time integrators for systems of DAEs. Some numerical examples are examined, showing that the BMGPCS works very well and the merits of the computational efficiency and accuracy of the method can be confirmed. © 2016 American Scientific Publishers All rights reserved.

关键词： Nonlinear dynamical systems

来源：评论

学校读者我要写书评

暂无评论

Non-wellfounded trees in homotopy type theory 13

Non-wellfounded trees in homotopy type theory

引用

13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015

作者： Ahrens, Benedikt Capriotti, Paolo Spadotti, Régis Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Toulouse France Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom

ISBN: (纸本)9783939897873

We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable. Indeed, in this work, we construct coinductive types in a subsystem of Homotopy Type Theory;this subsystem is given by Intensional Martin- Löf type theory with natural numbers and Voevodsky's Univalence Axiom. Our results are mechanized in the computer proof assistant Agda. © Benedikt Ahrens, Paolo Capriotti, and Régis Spadotti;.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

Research on the multidimensional educational review strategy Based on MOOCs Integrated by the multidimensional learning theory

Research on the multidimensional educational review strategy...

引用

2015 World Congress on Engineering and computer Science, WCECS 2015

作者： Ming, Li Ju, Zhang Jingzhong, Zhang Lian, Chen High Performance Computing Application R and D Center Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Automated Reasoning and Cognition Key Laboratory of Chongqing Chongqing Institute of Green and Intelligent Technology Chinese Academy of Sciences Chongqing China Laboratory for Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu China

ISBN: (纸本)9789881925367

Through a detailed analysis of the theoretical basis for MOOCs in terms of educational learning theories, this paper attempts at finding the corresponding relationship between the theories and MOOCs, which not only theoretically explains the reasons why MOOCs exceed all the previous education models, but also empirically proves it with voluminous facts and data. The author conducts this research in the hope of enlightening the online education platform of other types. Besides, this paper provides the model framework and strategy to multidimensional educational review based on MOOCs. The model and strategy are applicable not only to MOOCs, the large-scale online education, but also to various online education platforms.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

Cyber-Physical-Social System Self-Organization: Ontology-Based Multi-level Approach and Case Study

Cyber-Physical-Social System Self-Organization: Ontology-Bas...

引用

International Conference on Self-Adaptive and Self-Organizing Systems (SASO)

作者： Alexander Smirnov Alexey Kashevnik Nikolay Shilov Information technology and programming department ITMO University St.Petersburg Russia Laboratory of Computer Aided Integrated Systems SPIIRAS St.Petersburg Russia

This paper presents a multi-level approach for self-organization of in cyber-physical system resources. Cyber-physical system consists of physical part and cyber part. For implementation of joint actions by devices in physical part, they have to interact in cyber part. It is proposed to use the smart space technology for exchange information between these devices in cyber part of cyber-physical system. Smart Space -- is a computational environment consisting of multiple heterogeneous services (electronic and computational devices, Internet pages, data based, etc.) which has intelligent behavior, can proactively provide information taking into account current situation. Smart spaces allow unifying different levels of services, implement self-organization of services in each level, and providing politics from upper to lower level. Self-organization on every level is implemented based on ontology-based context management techniques and ontology matching method that provides semantic interoperability between interacted robots. Discussed in the paper case study solve the task of self-organization three types of robots based on politics from operation planning services and context situation in smart space. For the scenario implementation the Smart-M3 information sharing platform is used. It provides easy-to-use interfaces for information sharing through the RDF ontologies and publish / subscribe mechanism for connected services.

关键词： Ontologies Robots Semantics Information management Organizations Interoperability Pipelines

来源：评论

学校读者我要写书评

暂无评论

Emerging technologies for improving embryo selection: a systematic review

引用

Advanced Health Care Technologies 2015年 1卷 55-64页

作者： Sengul, Yasemin Bener, Ayse Uyar, Asli 1 Computer Programming Program Advanced Vocational Studies Dogus University Acibadem Kadikoy Istanbul Turkey 2 Data Science Laboratory Department of Mechanical and Industrial Engineering Ryerson University Toronto ON Canada 3 Department of Computer Engineering Okan University Tuzla Istanbul Turkey

Background: Embryo selection procedure is one of the critical success factors in in vitro fertilization treatment. Various embryo selection technologies have emerged within the past decade. These technologies are either used in combination with morphology or introduced to replace the conventional morphological evaluation. This review aims at investigating the effect of these novel embryo selection technologies on in vitro fertilization success rates. Methods: A systematic review of the literature was performed among full-text English articles in the PubMed database. Study selection was based on the predefined inclusion and exclusion criteria. Clinical effectiveness of the selected studies was measured in terms of implantation, pregnancy, live birth, and multiple pregnancy rates. Results: Five studies were identified that fitted the inclusion criteria. In these studies, researchers used aneuploidy screening, metabolomic profiling, and time-lapse imaging analysis as the new technologies. Among these studies, the one that conducted a randomized controlled trial of a commercial time-lapse imaging system demonstrated significant improvement in implantation rate. Conclusion: Studies using emerging technologies for embryo assessment provide promising results in retrospective analysis. On the other hand, randomized controlled trial studies that test the efficacy of novel embryo selection techniques in clinical practice failed to demonstrate a consistent improvement in the resulting success rates. This review provides a snapshot of the most recent literature on embryo assessment and embryo selection studies. Our findings show that there is a lack of comparative measurements and analyses that are able to assess benefits of the novel technologies in the field of embryo selection.

关键词： embryo selection in vitro fertilization IVF

来源：评论

学校读者我要写书评

暂无评论

Including gap junctions into distributed neuronal network simulations 1

引用

2nd International Workshop on Brain-Inspired Computing, BrainComp 2015

作者： Hahne, Jan Helias, Moritz Kunkel, Susanne Igarashi, Jun Kitayama, Itaru Wylie, Brian Bolten, Matthias Frommer, Andreas Diesmann, Markus School of Mathematics and Natural Sciences University of Wuppertal Wuppertal Germany and JARA BRAIN Institute I Jülich Research Centre Jülich Germany RIKEN Advanced Institute for Computational Science Programming Environment Research Team Kobe Japan Department of Computational Science and Technology School of Computer Science and Communication KTH Royal Institute of Technology Stockholm Sweden Simulation Laboratory Neuroscience Bernstein Facility for Simulation and Database Technology Institute for Advanced Simulation Jülich Aachen Research Alliance Jülich Research Centre Jülich Germany Okinawa Institute of Science and Technology Neural Computation Unit Okinawa Japan Laboratory for Neural Circuit Theory RIKEN Brain Science Institute Wako Japan HPC Usability Research Team RIKEN Advanced Institute for Computational Science Kobe Japan Jülich Supercomputing Centre Jülich Research Centre Jülich Germany Institut für Mathematik Universität Kassel Kassel Germany Department of Psychiatry Psychotherapy and Psychosomatics Medical Faculty RWTH Aachen University Aachen Germany Department of Physics Faculty 1 RWTH Aachen University Aachen Germany

ISBN: (数字)9783319508627

ISBN: (纸本)9783319508610

Contemporary simulation technology for neuronal networks enables the simulation of brain-scale networks using neuron models with a single or a few compartments. However, distributed simulations at full cell density are still lacking the electrical coupling between cells via so called gap junctions. This is due to the absence of efficient algorithms to simulate gap junctions on large parallel computers. The difficulty is that gap junctions require an instantaneous interaction between the coupled neurons, whereas the efficiency of simulation codes for spiking neurons relies on delayed communication. In a recent paper [15] we describe a technology to overcome this obstacle. Here, we give an overview of the challenges to include gap junctions into a distributed simulation scheme for neuronal networks and present an implementation of the new technology available in the NEural Simulation Tool (NEST 2.10.0). Subsequently we introduce the usage of gap junctions in model scripts as well as benchmarks assessing the performance and overhead of the technology on the supercomputers JUQUEEN and K computer. © Springer International Publishing AG 2016.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

Automatic task based analysis and parallelization in the context of equation based languages 14

Automatic task based analysis and parallelization in the con...

引用

6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2014

作者： Gebremedhin, Mahder Fritzson, Peter PELAB-Programming Environments Laboratory Dept. of Computer and Information Science Linköping University LinköpingSE-581 83 Sweden

ISBN: (纸本)9781450332477

This paper presents an automatic parallelization approach for handling complex task systems with heavy dependencies, including methods of analyzing dependencies, representing them in a convenient way, and processing the resulting task graph representation. We present a library-based task system representation, clustering, profiling, and scheduling approach to simplify the otherwise tedious process of parallelizing complex task systems. We have implemented a flexible and robust task system handling library to manipulate and parallelize these complex task systems on shared memory multi-core and multi-processor systems. The implementation has been developed as part of the OpenModelica simulation environment. We demonstrate methods of extracting and utilizing parallelism in the context of mathematical modeling languages. Copyright is held by the owner/author(s).

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Approach of texture signature determination — Application to forest cover classification of high resolution satellite image

Approach of texture signature determination — Application t...

引用

International Conference of Soft Computing and Pattern Recognition (SOCPAR)

作者： Wala Zaaboub Zouhour Ben Dhiaf Faculty of Science of Tunis FST Laboratory of computer science programming algorithmic and heuristic Tunis Tunisia

This paper presents an approach of textural signature identification for the classification of high resolution satellite image of forest. We are looking for the most appropriate combination of features from texture measures. This combination which forms our signature should allow the discrimination between different types of textures present in the image that will be classified. We improve our signature by a step of weighting features. The weight of each feature reflects its degree of confidence. We finish with an experimental step which is an application of our combined weighted signature for the purposes of classification of high resolution satellite image of forest.

关键词： Feature extraction Satellites Fractals Satellite broadcasting Error analysis Histograms Synchronous digital hierarchy

来源：评论

学校读者我要写书评

暂无评论

Bisimulations and logical characterizations on continuous-time markov decision processes

引用

15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014

作者： Song, Lei Zhang, Lijun Godskesen, Jens Chr. Max-Planck-Institut für Informatik Saarland University Saarbrücken Germany State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Programming Logic and Semantics Group IT University of Copenhagen Denmark

ISBN: (纸本)9783642540127

In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than the CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and weak bisimulations are both sound and complete with respect to the equivalences induced by CSL and the sub-logic of CSL without next operator respectively. We then consider a standard extension of CSL, and show that it and its sub-logic without X can be fully characterized by strong and weak bisimulations respectively over arbitrary CTMDPs. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：