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

7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2009

作者： Hou, Hui Wu, Jinzhao Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041 China School of Computer and Information Technology Beijing Jiaotong University Beijing 100044 China

ISBN: (纸本)9780769538235

The knowledge and data in the Semantic Web are large-scale, dispersive, multi-authored and therefore usually inconsistent. It is reasonable to develop practical reasoning techniques for inconsistent *** propose a new type of paraconsistent description logics based on quasi-classical logic (QCL), called quasi-classical description logics (QCDLs). Furthermore, we present a semantic tableau calculus for QCDLs and define a sound, complete and decidable consequence relation based on the calculus. These enable the paraconsistent reasoning in the Semantic Web. We also give a comparison with other key paraconsistent description logics and show that QCDLs possess more expressive and stronger semantics and other advantages. © 2009 IEEE.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Real time process algebra with urgency executing policy

Real time process algebra with urgency executing policy

引用

作者： Chen, Wenbo Zheng, Guang Li, Lian Wu, Jinzhao School of Information Science and Engineering Lanzhou University Lanzhou 730000 China School of Computer and Information Technology Beijing Jiaotong University Beijing 100044 China Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610054 China

Real time systems have a natural executing policy of urgency. However, real time process algebras of nowadays cannot specify this basic executing policy which limits their expressiveness. There is only one default policy called "maximal progress" in process algebras which is not enough to specify the behaviors of real time systems. Based on this, we propose a real time process algebra with urgency executing policy which can specify the behaviors of real time systems. © 2009 Academy Publisher.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Quasi-classical Semantics and Tableau Calculus of Description Logics for Paraconsistent Reasoning in the Semantic Web

Quasi-classical Semantics and Tableau Calculus of Descriptio...

引用

IEEE International Conference on Computational Science and Engineering, CSE

作者： Hui Hou Jinzhao Wu Chengdu Institute of Computer Applications Chinese Academy and Sciences Chengdu China School of Computer and Information Technology Beijing Jiaotong University Beijing China

The knowledge and data in the semantic Web are large-scale, dispersive, multi-authored and therefore usually inconsistent. It is reasonable to develop practical reasoning techniques for inconsistent ontologies. We propose a new type of paraconsistent description logics based on quasi-classical logic (QCL), called quasi-classical description logics (QCDLs). Furthermore, we present a semantic tableau calculus for QCDLs and define a sound, complete and decidable consequence relation based on the calculus. These enable the paraconsistent reasoning in the semantic Web. We also give a comparison with other key paraconsistent description logics and show that QCDLs possess more expressive and stronger semantics and other advantages.

关键词： Calculus Logic Semantic Web Quantum cascade lasers Dispersion Artificial intelligence Data engineering Knowledge engineering computer applications Information technology

来源：评论

学校读者我要写书评

暂无评论

A stochastic method for controlling the scaling parameters of Cauchy mutation in fast evolutionary programming

A stochastic method for controlling the scaling parameters o...

引用

Congress on Evolutionary Computation

作者： Yunji Chen Ke Tang Tianshi Chen Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China Nature Inspired Computation and Applications Laboratory Department of Computer Science and Technology University of Science and Technology of China Hefei Anhui China

The fast evolutionary programming (FEP) introduced the Cauchy distribution into its mutation operator, thus the performances of EP were promoted significantly on a number of benchmark problems. However, the scaling parameter of the Cauchy mutation is invariable, which has become an obstacle for FEP to reach better performance. This paper proposes and analyzes a new stochastic method for controlling the variable scaling parameters of Cauchy mutation. This stochastic method collects information from a group of individuals randomly selected from the population. Empirical evidence validates our method to be very helpful in promoting the performance of FEP.

关键词： Stochastic processes Genetic mutations Genetic programming Laboratories Random variables Gaussian distribution Control systems Stochastic systems computer architecture computer applications

来源：评论

学校读者我要写书评

暂无评论

An improved fractal construction on 3D DEM terrain profile

An improved fractal construction on 3D DEM terrain profile

引用

IEEE International Symposium on Geoscience and Remote Sensing (IGARSS)

作者： Wenbin He Zheng Niu Lijiao Liang Computer Institute Dongguan University of Technology Dongguan Guangdong China State Key Laboratory Remote Sensing Science Institute of Remote Sensing Applications Chinese Academy and Sciences Beijing China City College Dongguan University of Technology Dongguan Guangdong China

It is vital to reconstruct a three-dimensional terrain by a few sparse points in the digital elevation model (DEM). However, the reconstructed surfaces from elementary functions(e.g. lines and cubics) appear too smooth to represent a terrain with self-affinity property. The conventional fractal reconstruction methods are time-consuming and require too many parameters to set. In this paper we propose a probability-based method to speed up the fractal interpolation execution. In addition, the topography curvature is used to determine contraction factor indirectly in the study. The experimental results indicate that the proposed scheme is excellent in computational efficiency and features preserving.

关键词： Fractals Interpolation Surface topography Surface reconstruction Surface fitting Remote sensing Axles Laboratories Application software Cities and towns

来源：评论

学校读者我要写书评

暂无评论

Theory framework for event structure slicing

Theory framework for event structure slicing

引用

IEEE Symposium on computers and Communications (ISCC)

作者： Xinyan Gao Jinzhao Wu Rui Qiao Jianfeng Chen Institute of Computer Applications Chinese Academy and Sciences Cheng China School of Optoelectronic Information University of Electronic Science and Technology Chengdu China School of Computer and Information Technology Beijing Jiaotong University Beijing China

ISBN: (纸本)9781424427024

Non-classical computation slicing is an abstraction mechanism for pruning state space and it plays an important role in tackling state explosion problem in predicate detection. This paper shows that the slicing technique based on prime event structures can improve the expressiveness of that abstract method and extend its application scope greatly. We introduce the slicing idea into the area of event structure and develop a complete theory framework with related techniques for event structure slicing. This slicing technique can serve as a useful supplement and high level extension to the existent computation slicing which can not handle the situations with conflicts or execution choices.

关键词： Computational modeling Sufficient conditions Lattices Runtime Computational efficiency Image edge detection Boolean functions

来源：评论

学校读者我要写书评

暂无评论

Operational semantics of probabilistic Kleene algebra with tests

Operational semantics of probabilistic Kleene algebra with t...

引用

IEEE Symposium on computers and Communications (ISCC)

作者： Rui Qiao Yuan Wang Xinyan Gao Jinzhao Wu Chengdu Institute of Computer Applications Chinese Academy and Sciences Cheng China School of Optoelectronic Information University of Electronic Science and Technology Chengdu China School of Computer and Information Technology Beijing Jiaotong University Beijing China

ISBN: (纸本)9781424427024

Kleene algebra with tests (KAT) is a prominent specification language used for formalizing the behavior of non-deterministic structured programs generally called regular programs. Regular programs with probabilistic information have richer and more powerful expressiveness than normal regular programs. However, KAT is incapable of specifying such recently widely used programs. We construct a complete theory of probabilistic Kleene algebra with tests (PKAT) for reasoning about regular programs with probability. We offer a model termed probabilistic configuration transition systems, whose states are configurations composed of a pair of a PKAT expression and a data-state. To determine the transition relation in the model, we define an operational semantics for PKAT, and establish a probabilistic bisimulation equivalence relation in PKAT. The soundness of the equations of PKAT is validated with respect to the bisimulation, to find equivalences without calculating the actual bisimulation relation.

关键词： Probabilistic logic Algebra Finite element methods Probability distribution Mathematical model Silicon Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Water color component analysis in saltwater intrusion reach - A case study in Shawan-Humen Watercourse, Pearl River Estuary

Water color component analysis in saltwater intrusion reach ...

引用

Remote Sensing of the Environment: 16th National Symposium on Remote Sensing of China

作者： Fang, Li-Gang Chen, Shui-Sen Li, Dan Zhang, Lixin Li, Dong Department of computer engineering Suzhou Vocational University Suzhou 215104 China Public Lab of Environment Science and Technology Guangdong Province Guangzhou Institute of Geography Guangzhou 510070 China State Key Laboratory of Remote Sensing Science Chinese Academy of Sciences Beijing 100875 China Beijing Normal University Institute of Remote Sensing Applications Chinese Academy of Sciences Beijing 100875 China Water Supply Corporation of Panyu District Guangzhou 511400 China College of Informatics South Agriculture University Guangzhou 510640 China

The saline water color component characteristic (chlorophyll-a and chromophoric dissolved organic matter (CDOM)) and their spatial change tendency in the Pearl River Estuary from the In-situ data in December of 2006 was studied. Based on the experimental results, the mixing behavior of CDOM in the Shawan-Humen Watercourse was analyzed. The mixing behavior was controlled by topography, hydrological and biological factors, and the relationships among absorption characteristics of CDOM (at 400 nm, ag400). Contained is a discussion of chlorophyll-a concentration and salinity. The chlorophyll-a concentration decreases with increasing CDOM absorption under a salinity of 10, while the chlorophyll-a concentration decreases with increasing salinity. The salinity is becomes less aggressive towards the Lingding Bay in the saltwater intrusion reach of Shawan-Humen, and a low chlorophyll-a concentration area occurs in the Shiziyang riverway where the salinity is greater than 20. The highest chlorophyll-a concentration of surface water was observed in the Dadaoshawei site of the Shawan tributary reach- where the saltwater and freshwater interface. The slope distribution of the CDOM spectral absorption curve in the Shawan-Humen watercourse was increased towards the Lingding Bay direction. The spectral slope S value of CDOM varied from 0.0107 to 0.0121 nm-1 with an average value of 0.0116 nm-1. This was an indication that the terrestrial river input was the main resource of CDOM in the Shawan-Humen watercourse. The high correlation (R2=0.9458) of surface water and bottom water (-7.5m) salinity showed that salinity can be monitored by remote sensing. The ag400 in the saltwater intrusion reach showed conservative behavior, indicating strong characteristics of the CDOM it reflected. There was a correlative relationship between ag400, chlorophyll-a concentration and the salinity, showing that a water color analysis technique can be used to study the distribution and behavior of salinit

关键词： Remote sensing

来源：评论

学校读者我要写书评

暂无评论

Laser focusing and energetic-ion generation by a conical target with openings on both ends

Laser focusing and energetic-ion generation by a conical tar...

引用

International Conference on Ultrahigh Intensity Lasers Development,Science and Emerging applications(第三届超强激光科学和应用国际会议)

作者： Lihua Cao Wei Yu M.Y.Yu Han Xu Institute for Fusion Theory and Simulation Zhejiang University Hangzhou 310027 China Institute for Fusion Theory and Simulation Zhejiang University Hangzhou 310027 China Institute for Theoretical Physics I Ruhr University Bochum D-44780 Germany School of Computer Science National University of Defense Technology Changsha 410073 China Institute of Applied Physics and Computational Mathematics Beijing 100088 China Shanghai Institute of Optics and Fine Mechanics Chinese Academy of Sciences Shanghai 201800 China

来源：评论

学校读者我要写书评

暂无评论

Nonlinear laser focusing using a conical guide and generation of energetic ions

引用

Physical Review E 2008年第3期78卷 036405-036405页

作者： Lihua Cao Wei Yu M. Y. Yu Han Xu X. T. He Yuqiu Gu Zhanjun Liu Jinghong Li Chunyang Zheng Institute of Applied Physics and Computational Mathematics P.O. Box 8009 Beijing 100088 China Shanghai Institute of Optics and Fine Mechanics Chinese Academy of Sciences Shanghai 201800 China Institute for Fusion Theory and Simulation Department of Physics Zhejiang University Hangzhou 310027 China Institut für Theoretische Physik I Ruhr-Universität Bochum D-44780 Bochum Germany National University of Defense Technology Institute of Computer Science Changsha 410073 China Center for Applied Physics and Technology Peking University Beijing 100871 China Laser Fusion Research Center China Academy of Engineering Physics Mianyang 621900 China

Using conventional methods, a laser pulse can be focused down to around 6–8μm, but further reduction of the spot size has proven to be difficult. Here it is shown by particle-in-cell simulation that with a hollow cone an intense laser pulse can be reduced to a tiny, highly localized, spot of around 1μm radius, accompanied by much enhanced light intensity. The pulse shaping and focusing effect is due to a nonlinear laser-plasma interaction on the inner surface of the cone. When a thin foil is attached to the tip of the cone, the cone-focused light pulse compresses and accelerates the ions in its path and can punch through the thin target, creating highly localized energetic ion bunches of high density.

关键词： HIGH-INTENSITY LASER SUBPICOSECOND LASERS ULTRAINTENSE LASER PROTON GENERATION DENSITY PLASMA ACCELERATION IRRADIATION IGNITION TARGETS DRIVEN focusing action High intensity lasers Ignition TAIL IONS thin foil acceleration spot size Irradiation Pulsed lasers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：