基于角色访问控制的授权约束描述

提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.     

Web服务语言BPEL到接口自动机的转换

在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.     

系统结构及其核心成员的定量描述研究

为了对系统结构及其核心成员进行规范研究,采用数学方法对系统结构进行了新的描述,认为任何系统都是可以用多图来表示的社会网络,系统的功能是系统中各元素按照关系集及其相应网络(图)集所规定的行为方式相互作用的结果,系统的功能可以内化到元素间的关系结构中,充分反映了系统的整体性、集合性、层次性、相关性、目的性和环境适应性,可将系统作为网络进行研究.在此基础上定义了系统核心要素和系统核.这种描述方法用核心性的概念替代了核度概念,将重要的或具有支配性的节点定义为核心元素,将网络中核心元素的集合定义为核.     

模糊描述逻辑f-DLR-Lite∩的合取查询回答

分析了描述逻辑合取查询回答的研究现状及存在的不足,在描述逻辑DL-Lite和模糊集理论的基础上,提出了一种可表示和处理n元关系,并允许在包含公理左侧出现概念合取的新的模糊描述逻辑f-DLR-Lite∩,并给出其语法和语义及知识库的形式.提出了一种兼容查询阈值和用户指定权重的模糊查询语言,给出了利用这种语言在f-DLR-Lite∩知识库上进行合取查询的具体步骤和算法,并进行了算法时间复杂度分析,讨论了该合取查询过程的一阶逻辑可归约性.f-DLR-Lite∩弥补了经典描述逻辑在知识表示和推理上的不足,扩展后的查询语言对用户查询意图的表达更加精确合理.     

山东省“油气地质与勘探”优秀创新团队

<正>"油气地质与勘探"创新团队于2008年2月入选首批山东省优秀创新团队,并被山东省人民政府授予集体一等功。该创新团队依托于中国石油大学"矿产普查与勘探"国家重点学科,"地球物理探测与信息技术"国家重点(培育)学科及油藏地质山东省重点实验室、盆地分析与油气储层地质山东省高校重点实验室、中国石油天然气集团公司地球物理勘探(研究室)。团队主要研究方向为油气储层地质与预测、油气藏形成于分布、油气资源探测方法与技术、油气藏描述、非常规油气资源勘探等。     

低空遥感影像全自动快速匹配方法研究

无人机低空数字摄影测量影像处理中,全自动快速匹配影像对实时性要求高的应用来说极为重要.针对无人机影像像幅数多、数据量大等特点,采用Harris算法进行角点检测和简化的sIFr描述子,根据梯度累加值与描述子Freeman形状链码作为二度约束,进行像对间角点相似性度量,然后,通过RANSAC算法剔除误匹配点和粗差,从而实现影像精准快速匹配.实验验证了该方法的稳健性和高效性.     

一种新的力—位混控机器人工作任务描述方法

影响力－位置混合控制和机器人人工业应用的主要障碍之一,在于其工作任务的描述复杂,对使用人员的要求比较高,本文提出了一种新的工作任务描述方法,该方法建立在机器人的微运动描述之上,使描述工作由获得控制参数变成分析微运动组成,大大降低了任务描述难度,可使操作者较方便地描述机器人的工作任务。     

二热源热机的统一描述

应用有限时间热力学理论,对一类二热源热机作了统一的描述,导出以理想气体为工质的二热源热机的输出功率与效率间的优化关系,并讨论了回热损失和回热时间对输出功率和效率的影响．所得结果具有普遍意义,可为斯特林热机、埃里克森热机等一类二热源机的优化设计和最佳工作参数的选择提供些新理论指导