多本体环境下基于规划技术的自动服务组合

当单个服务无法满足用户需求时,自动服务组合利用服务描述中的语义信息,自动组合多个服务,从而形成组合服务以满足用户需求。在多本体环境下,自动服务组合面临着语义异构的问题。针对此问题,提出基于本体社区的服务组合框架。该框架通过本体转换将跨本体服务组合问题转换为本体内问题,从而解决本体异构问题,并在此基础上给出一个采用传统规划技术的服务组合算法。

崇庆寺本体环境营造和保护研究

本文主要通过对崇庆寺自然环境、历史环境以及中国传统风水学、宗教文化、造像艺术、审美取向等人文环境的分析研究,揭示崇庆寺整体环境之本体所在,并以此为基础,努力探索彩塑艺术的传承与崇庆寺本体环境的保护。

法权范式下环境法益的双层构造及保护路径

环境法的法权范式表现为环境权利与环境权力的二元互动。环境法权的二元一体架构促成了环境法益的双层构造,即阻挡层的秩序法益和背后层的本体法益,且双层法益之间系手段与目的的关系。环境法权的具体内容促成了环境法益的内容构造。其中,可持续的自然资源利用权、清洁的环境权、健康的生态权分别促成了资源永续法益、环境良好法益和生态安全法益。基于此,国家依靠环境权力创设了以自然资源管理制度、污染防治制度和生态保护制度为核心的环境秩序法益。保护环境法益应首先通过环境立法、环境行政执法和环境司法保护阻挡层的秩序法益。作为权利客体的背后层本体法益不仅需要通过秩序法益的保护而实现,还需要立足环境人权的法定化,建立以多元合作共治为基础的“事前预防—事中控制—事后修复”的全过程法益保护机制。

网络信息生态环境中的信息本体环境优化研究

文章从信息数量、内容、质量、形式、分布5个方面分析了网络信息生态环境中信息本体环境的构成;阐述了网络信息生态环境中信息本体环境优化的5项准则,即网络信息数量适宜、网络信息内容丰富、网络信息质量良好、网络信息形式规范、网络信息分布合理;提出了控制网络信息超限、防止网络信息缺失、降低网络信息污染、减少网络信息异构、避免网络信息分布失衡等网络信息生态环境中信息本体环境优化策略。

基于环境本体的Web服务投影描述方法

服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题。以环境本体为基础,提出了一种投影描述方法,给出了该方法描述所需信息及描述产生的结果,陈述了描述的步骤。该方法可以根据具体领域的需要来生成服务的描述,不仅可以更确切有效地描述服务的效果,而且还可以刻画服务作用环境的特征。

基于本体的战场复杂电磁环境研究

针对战场电磁环境的复杂性特点,以本体论为基础,提出了战场电磁环境本体的逻辑结构和建立方法。分析了本体描述语言,重点阐述了Web本体语言(OWL),提出了基于OWL语言的战场电磁环境本体描述方法,对复杂电磁环境的描述与仿真是有效的。

基于文物本体与环境监测的佛光寺东大殿预防性保护研究

2017年夏季,因暴雨山西五台山佛光寺东大殿出现屋面渗漏情况,笔者团队随后开展针对佛光寺东大殿的文物本体和环境监测,监测内容主要分为以下3个方面:①环境气象监测,在佛光寺安设小型气象站获得了近年佛光寺的6要素气象数据与东大殿内的微环境温湿度数据;②东大殿结构位移监测,以多次三维激光扫描测绘数据对比与实时构件位移数据分析了东大殿结构稳定性,并发现了古建筑“微位移”现象;③东大殿屋面渗漏监测,对比东大殿屋面苫背湿度与环境气象数据,监测降雨时东大殿屋面是否发生渗漏,并通过预警系统向当地保护管理人员提供预警信息。基于以上监测数据,笔者团队与佛光寺文物保护管理工作人员共同针对性地制订了科学而精准的保护措施,对东大殿实施预防性保护。

本体框架的研究

本体作为领域共享的形式化概念模型,是解决领域内语义异构,实现服务自动化以及服务互操作的有效手段,其中本体互操作是多本体环境下实现跨本体服务发现的基础,针对现有本体互操作方法依赖于标示语言和逻辑系统,缺乏统一的逻辑基础的问题,从范畴论的角度出发,利用范畴论的相关概念提出了一个与语言和逻辑无关的本体集成框架,使得系统可以在不考虑语言的基础上研究本体集成和互操作。

基于范畴论的本体框架的研究

本体作为领域共享的形式化概念模型,是实现服务自动化以及服务互操作的有效手段,其中本体互操作是多本体环境下实现跨本体服务发现的基础。针对现有本体互操作方法依赖于标示语言和逻辑系统的问题,提出了一种基于范畴论的本体集成与互操作框架,使得系统可以在不考虑语言的基础上研究本体集成和互操作。

基于环境变迁的构件组合模型

Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构件描述框架；然后针对网构软件的特征，提出了基于环境变迁的构件组合算法，最后用具体的案例展示了算法的可行性．

不确定海洋环境下AUV环境感知方法研究

针对AUV在高度不确定海洋环境中执行任务的过程中需要实时准确地感知出当前环境、系统状态和任务执行中不确定事件对任务成功的影响,并为AUV任务重规划提供触发条件的问题,提出了一个具有不确定事件检测、不确定事件识别和不确定环境本体模型的环境感知框架,实现了基于本体推理和模糊逻辑结合的不确定事件检测方法和基于贝叶斯网络的不确定事件识别方法,并利用不确定事件检测和不确定事件识别结果更新具有概率扩展的不确定环境本体模型,提高本体在不确定知识的表示和推理方面的能力.结合AUV在不确定海洋环境中执行导航任务的应用背景,对AUV环境感知进行仿真实验并分析了实验结果,验证了不确定海洋环境下AUV环境感知方法的有效性.

大力营造良好文化环境 加快建设现代环境文明——近年来国内文化环境研究的新进展

近年来,国内关于文化环境的研究取得了新的进展,主要对文化环境的概念内涵、结构形态、基本特征、功能作用以及文化环境建设的基本任务和实现途径等进行了全面探讨。文章对此加以简要述评,并对今后文化环境研究的拓展与深化提出了三点建议,即立足于环境思维和环境本体意识,着重于"怎样建"的现实问题,致力于多种研究方法的综合运用。

环境法视野下的环境伦理

在环境问题频发的社会大背景下,以环境法的视角研究环境伦理以及环境伦理与环境法的关系,并将环境伦理运用到环境保护的法律实践中就显得尤为重要。在界定环境伦理基本内涵的基础上,对环境伦理与环境法之间相互影响、相互转化的重要关系进行分析,并以此对环境伦理本体进行反思与重构,以期为环境保护提供法律与伦理道德的双重支撑。

环境哲学的视域空间与研究范围

生态学并不构成环境哲学的理论基础和认知源泉,环境哲学的真正源头智慧是哲学和环境学。环境哲学构成哲学和环境学的共同实践形态;哲学和环境学却分别为环境哲学提供理解的方式和认知的方式。以理解的方式来审查环境,形成环境本体论,包括环境本原论、环境生成论和环境本质论:环境本原论探讨,必然要发现宇宙创化之野性狂暴创造力与理性约束秩序力的对立统一张力;环境生成论拷问,必然要指向对环境自组织机能的把握;环境本质论考察,必然要揭示环境之内在的生生本性和外在的自在方式。以认知的方式来审查环境,则形成环境认知论,它关注环境存在演变的自生规律及运动机制,包括环境认知的依据、前提、条件和环境认知的范式、途径以及环境知识生成论。反过来看,环境科学是对环境的正面研究,意在于多元探求环境之自生规律及自在运动机制,由此形成宇宙环境科学和地球环境科学;环境哲学却是对环境的反面研究,意在于探讨环境变异规律及逆向运动机制,由此形成环境哲学之本体论研究和认知论研究,必然要为其实践论研究所统合,或曰,将哲学的理解方式和环境学的认知方式统合起来的是实践的方式,这就是环境伦理学。它着重解决三个基本问题:一是确立环境道德的基础,构建环境原理,包括环境自生境原理和环境逆生化原理,前者由宇宙的自创生和它创生原理、自然的生变原理和生命的生生原理所构成,后者即环境逆向编程的层累原理、突变原理和环境滑向自毁灭的边际效应原理;二是明确环境道德的边界,确立环境、生命、人共在互存和共生互生;三是实现传统伦理对环境伦理的融会和环境伦理对传统伦理的贯通,构建以"生、利、爱"原理和权责对等原理为导向的环境—伦理规范体系。

论环境民事公益诉讼的救济客体

救济客体是环境民事公益诉讼制度的本源性问题,关乎是否适用民诉程序及环境民事公益诉讼的制度目的和制度设计。但是救济客体并不明确,阻碍程序适用和制度发展。传统的利益划分界限模糊,应当另辟蹊径。环境民事公益诉讼指向环境侵权行为,但个人人身和财产权益、众多私益之和以及国家和集体的自然资源所有权均不属于救济客体,环境本体利益才是救济客体。从环境污染案件中各种利益之间的关系出发,以水污染为例区分环境本体利益。另外,环境本体利益由人类共创共享,具有无主性和独立性的特性。虽然受主体问题制约,现阶段环境本体利益仍然属于民事利益,然而部分利益可以发展为民事权利。环境本体利益有成长为民事权利的必要性和可能性,途径包括宪法权利转化为私法权利和环境本体利益的上升飞跃。通过理论、立法和司法的共同努力,积极推动环境本体利益成为法定民事权利,予以更为完善的法律保护。

基于物联网技术的徐达墓石刻保护监测系统

石刻文物常年暴露在外,环境因素是造成文物损害的一个关键因素。物联网技术的应用为文化遗产保护提供了新的方法。物联网技术可以实现对文化遗产的实时监测和数据传输,从而及时发现文化遗产的损坏和破坏行为,并采取相应的措施进行保护和修复。文章在分析明功臣墓徐达墓石刻保护现状的基础上,基于南京市文化遗产保护研究所石刻保护监测项目的实施,介绍了采用物联网技术对明中山王徐达墓内神道进行保护的监测系统架构及实施效果,以期今后在文物保护中更为深度地应用物联网技术提供参考。

基于服务分组的语义Web服务发现研究

提出一种多本体环境下的服务组织和发现方法。服务注册时,根据服务本体合理组织服务,即计算服务描述与本体概念组间的相似度,对注册服务进行分组。服务发现时,不需要将服务请求与所有注册的服务顺序地、一个一个地进行匹配判断。它首先根据服务请求的服务领域,缩小服务查找空间,然后根据服务请求概念集与本体概念组之间的相似度,进一步减小服务查找空间,进而提高了服务的发现效率。同时设定服务请求概念集与本体概念组之间的相似度阀值ξ的大小,来保证服务的查全率;而服务查找空间确定后,按照服务功能参数匹配筛选满足服务请求功能需求的服务,最后参考服务质量进行选择服务,提高服务查准率。

支持服务组合的需求模型及其可满足性判定

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语言的,很难用于服务的自动组合。提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务。引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法。最后选择旅行安排作为具体案例,展示了该模型的有效性。

面向文化遗址保护的物联网技术研究与应用

大部分文化遗址因其所处环境的特殊性,导致现有常规的信息化技术手段无法有效实施,而传统的文化遗址保护技术也无法实现文化遗产保护与利用的最大化。物联网作为一项新兴的前沿热门信息技术,已经广泛应用于众多领域,具有能够与文化遗址保护工作紧密结合的发展潜力。本工作首先分析了文化遗址保护的现状与面临的问题,并对物联网技术与文化遗址保护的关系进行了深入阐述。针对文物保护领域的特殊需求,着重描述了文物本体与环境信息采集、监测数据的远距离传输,监测数据的实时分析处理三方面相关的物联网技术,并对涉及关键技术应用解决方案进行了分析说明。最后简要介绍了已经部署运行的典型文化遗址保护利用系统———基于物联网技术的敦煌莫高窟保护与利用系统,系统经过连续几年的运行积累了大量的监测数据,为敦煌莫高窟文物的保护做出了重要的贡献。随着物联网技术的进一步发展,在文物保护方面的应用将更加深入和广泛,这将进一步提升文物保护工作的效率。

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个"整体抽象过程→声明式过程→命令式过程"多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.