基于栈式降噪自动编码器的气体识别

为克服手工设计特征的繁杂过程以及特征不通用性,提高气体识别准确率,提出一种基于深度学习的气体定性识别方法,自动提取自适应的气体数据特征。实验基于UCI机器学习气体数据集,分别对比基于2层深度神经网络结构-栈式降噪自动编码器以及浅层机器学习算法的气体定性识别效果。实验结果表明,基于深度学习算法自动提取特征的过程更简单、通用,提高了气体识别的准确率,改善了传统方法的复杂流程。

一种基于实例状态的工作流系统监控方法

工作流监控是处理工作流运行期各种例外、保证工作流实例正确高效执行的有效方法·基于状态的工作流监控方法不仅可以实时处理实例执行过程中出现的各种例外、消除实例运行的阻塞,并能对任务执行进行必要的干预·但这类监控也经常造成工作流模型及实例的不一致,如不加以调整,会导致后续任务无法执行·在对ADEPT模型及过程实例进行形式化定义基础上,给出用于验证过程模型正确性和过程实例一致性的判定规则;提出一个基于状态的实时监控方法,该方法由一组状态转换原语和过程实例转换算法组成·采用该监控方法并结合上述判定规则,在完成各种监控任务的同时,保证了模型的正确性和过程实例的一致性·最后讨论了原语操作的完备性和一致性·

面向产品生命周期的工作流管理功能建模

提出了一个将生命周期管理和工作流管理相结合的工作流管理功能模型。在该模型中,可以为每个生命周期状态建立相应的工作流,使受生命周期管理的对象(文档及零部件等)在不同状态下受不同工作流程的管理,形成对象关联于生命周期对象、工作流关联于生命周期状态的新型工作流管理模式,将原来结构复杂的工作流分解为简单的对象生命周期的阶段工作流。根据访问控制的最小权限原则,将访问控制策略与生命周期状态相结合,得到一种基于对象单个状态的特殊访问控制的定义方法,是对基于对象全部状态的通用访问控制的一种补充。另外,为了提高任务分派的灵活性,给出了“模型—角色”、“工作流-生命周期-角色”两种角色解析方法。

基于J2EE的PDM系统产品生命周期

PDM是CIMS领域的一项重要技术,PDM系统的生命周期管理体现的是产品从概念形成、初步设计到制造维护直至报废的过程。文章介绍了PDM的产生背景和产品生命周期管理(PLM)的理念,描述了本文PDM的层次结构,给出了PLM体系结构、创建时与运行时模型和生命周期执行服务以及PLM的实现实例。

基于OWL的工作流异常处理建模方法

针对工作流异常和本体的特点,提出了任务属性的概念和基于网络本体语言(Webontology language,OWL)本体推理及属性驱动的异常识别方法。任务属性扩展了工作流活动模型(Workflow activity model,WAMO)模型的事务属性,并附加在流程任务之外,利用OWL本体语言对其进行描述,通过任务属性建立起任务异常与处理模式之间的映射关系。在任务发生异常后,OWL本体推理机通过已定义的映射关系使任务异常检索到异常本体中根据属性描述的异常处理模式,进而对任务异常做出相应的处理。由于OWL的定义是增量式的,并且具有通用资源标识符,因此不仅可以使异常处理机制通过语义而非关键字来识别任务异常的处理模式,而且还能在分布式环境下对异常知识库进行扩展式开发,减少知识库开发的工作量。

基于角色的工作流授权约束规格说明

在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态。为此,提出了一个工作流授权约束模型。该模型在工作流应用语境中定义了角色层次函数、任务偏序关系和互斥任务,在此基础上给出了一个基于角色的工作流授权约束语言,它可以准确描述工作流系统的职责分离要求,表达静态、动态授权约束和授权的历史信息,同时,所得到的约束规则集规模相对较小,保证了一致性验证在时间和空间上的可行性。

基于任务和角色访问控制模型分析与研究

近年来RBAC(Role-B ased Access Contro1)及TBAC(Task-B ased Access Contro1)模型得到广泛的研究。在比较了一些现有访问控制模型的各自特点和适用范围,针对现有模型的不足,为了提高信息系统的安全性、通用型和实用性,通过结合RBAC及TBAC模型各自的优点,提出了一个新型的访问控制模型TRBAC(Task-Role B ased Access Contro1),描述了TRBAC模型结构和特点,阐述了模型对最小权限原则、职权分离原则、数据抽象原则及角色层次关系的支持,并指出将来工作的主要目标。

抽象网格工作流中数据集划分方法的研究

通过分析AGWL中已有的数据集划分方法,发现在涉及到数据子集相关性时,现有的研究方法仅是通过一种定性的复制数据块间部分子数据集的方法进行处理的,并没有基于数据子集相关性给出合适的划分方法。针对这一状况,提出了一种使用矩阵对数据集进行划分的方法。首先用矩阵的下标表示子数据集,矩阵值表征相对应的子数据集的相关性,然后通过对矩阵值与一个设定的阈值的比较,对矩阵进行归并处理,最终实现了一种基于数据子集相关性和灵活性的数据集划分方法。

PDM系统的生命周期管理

PDM是CIMS领域的一项重要技术 ,PDM系统的生命周期管理体现的是产品从概念形成、初步设计到制造维护直至报废的过程。首先简介PDM的产生背景和产品生命周期管理 (PLM )的理念 ,并描述了PDM的层次结构 ;给出了PLM体系结构、创建时与运行时模型和生命周期执行服务 ;

工作流挖掘中的隐含问题研究

分析工作流挖掘中存在的隐含库所和隐含迁移等问题。针对a算法处理隐含问题时存在的不足，提出a＋＊算法。该算法对隐含任务另做标记，利用任务间的相互依赖关系得出过程模型。通过仿真工具CPN Tools生成文件，利用ProM和a＋＊算法挖掘日志，仿真结果证明了该算法的有效性。

一种基于PDM的工作流管理服务框架的研究

工作流管理系统用来支持组织内部或组织之间的业务建模及业务过程的协作运行．在工作流过程定义及工作流实倒 运行时,针对系统中的数据流处理,提出一个支撑工作流管理系统运行的服务框架,框架中的服务相对独立,同时又互相协作． 描述了应用背景和服务的意义并对设计原理进行形式化描述,采用接口表示服务间的协作关系,并给出一个可扩展的实现模 式,用该框架设计实现了一个嵌入式工作流管理系统KE/PDM-Workflow．

膀胱副神经节瘤影像学表现

目的观察膀胱副神经节瘤(PUB)影像学表现。方法回顾性分析经手术病理证实的9例单发PUB患者资料,其中8例接受腹部超声、6例接受盆腔CT、6例接受盆腔MR检查,观察其影像学表现。结果9个PUB病灶均呈类圆形或椭圆形,宽基底,边界清楚,形态规则,直径14~41 mm,平均(27.3±9.1)mm;位于膀胱左侧壁2个、左前壁1个、右侧壁2个、右前壁4个。二维超声显示8个(8/8,100%)病灶均呈低回声,其中6个(6/8,75.00%)可见“膀胱黏膜线”征;CDFI显示6个(6/8,75.00%)病灶血流信号丰富,1个(1/8,12.50%)可见点、条状血流信号,1个(1/8,12.50%)无血流信号。CT显示6个(6/6,100%)病灶均呈软组织密度,其中1个(1/6,16.67%)见瘤内囊变、坏死;2个(2/6,33.33%)见“膀胱黏膜线”征。MRI显示6个病灶(6/6,100%)均位于膀胱黏膜下,“膀胱黏膜线”征均清晰可见,4个(4/6,66,67%)呈T1WI稍高信号、1个(1/6,16.67%)呈稍低信号、1个(1/6,16.67%)呈等信号,脂肪抑制T2WI 5个(5/6,83.33%)呈稍高信号、1个(1/6,16.67%)呈等信号,弥散加权成像5个(5/6,83.33%)呈高信号、1个(1/6,16.67%)呈稍高信号。增强CT及MRI病灶均见明显强化(6/6,100%)。结论PUB影像学表现具有一定特征性,有助于诊断。

移动Agent系统通信效率的分析与优化

通信效率是影响移动Agent系统运行效率的重要因素之一 ,如何提高通信效率仍是一个有待解决的问题 提出移动Agent系统通信效率优化模型LCEOM LCEOM具有以下优点 :①全面考虑了影响通信效率的主要因素 ;②能够描述移动Agent的通信任务 ;③能够定量地分析通信开销 ;④能够规划出通信开销最小的通信方案 ;⑤采用压缩和缓冲存储技术进一步提高远程通信的效率 实验表明 ,在一定条件下 ,LCEOM模型优于现有方法 。

隐匿功能性嗜铬细胞瘤的CT及MRI诊断

目的:探讨CT及MRI对隐匿功能性嗜铬细胞瘤的诊断价值。方法:回顾性分析有完整资料及手术病理结果的隐匿功能性嗜铬细胞瘤4例,均无典型的高儿茶酚胺血症,4例均行CT检查,3例行MRI检查。结果:瘤体呈类圆形,瘤体直径≥5 cm者3例,最小者为4.7 cm,边界清楚,CT平扫密度不均匀,瘤体内见低密度坏死囊变区。瘤体T1WI呈低信号,T2WI以高信号为主,内见囊袋状更高信号,或夹杂低信号;同反相位信号无减低;DWI呈高信号;动态增强扫描示实性部分快速、明显强化,边缘强化显著。结论:隐匿功能性嗜铬细胞瘤瘤体直径通常≥5 cm;其CT与MRI表现具有一定特征性。

一种能发现重复任务的过程挖掘算法

针对α-算法无法检测出重复任务的不足,对其进行了扩展,提出了一种机器学习和α-算法相结合的α*-算法。先建立任务的前驱/后继表,通过其中的信息学习出判定重复任务的启发式规则来标识日志中的所有重复任务,然后采用α-算法从标识后的日志中提取出工作流网,并对其进行调整得到包含重复任务的工作流网模型。实验结果说明了α*-算法的有效性。

使用控制授权模型的逻辑定义研究

通过引入授权和可变属性,使用控制授权模型具有了新的特性。针对这种新特性,以集合论为主要工具,对使用控制(UCON)模型结构进行了简单的介绍,并给出了逻辑模型定义;重点对使用控制授权模型进行了系统的逻辑分析,对该模型的八种不同结构分别做出了逻辑定义,并列举了相应的实例。

自由变量语义tableau中δ-规则的一种改进方法

自动推理一直是人工智能领域研究的重要内容 近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注 对于自由变量语义tableau中的量词规则 ,由于γ 规则替换的任意性 ,可导致在同一tableau证明中γ 规则被多次使用 ,使得tableau推理结构树中出现多个自由变量 针对tableau中多次出现自由变量 ,使tableau封闭延迟的问题 ,在δ+ 规则的基础上 ,提出对δ+ 规则改进的δ+ + 规则 ,并进行了正确性证明 将δ+ + 规则应用到TableauTAP系统中 ,结果表明 ,δ+ + 规则使tableau封闭提前 。

基于J2EE的交互式工作流管理系统

针对目前工作流系统在描述能力、跨平台能力和交互性上的不足,该文提出了一个基于J2EE技术的交互式工作流管理系统,系统使用分层描述的方法将复杂的业务过程分解为多个简单的业务过程,通过事件驱动机制来实现分解后的过程间的交互,可以完成与原来复杂过程相同的业务逻辑。实际应用表明,该系统在提高描述能力、降低建模复杂性、增强模型间交互能力及跨平台能力方面都有较明显优点。

基于tableau的自动推理技术综述

tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向。

使用控制授权模型的安全性研究

在基于策略的模型中,研究了使用控制授权模型的安全特性,首先分析了在一般使用控制授权模型中安全问题的不确定性;然后在限定属性值范围和无生成策略的条件下,说明了安全问题的确定性;最后通过释放生成策略的限制,在非连通的属性生成图和包含生成父属性的属性更新图中,证明了安全问题的确定性。