一个支持协同过程的动态模拟算法

工作流管理是复杂企业过程协同工作的关键技术。传统的工作流控制系统通常采用CS架构,只能为整体过程操作提供单一的工作流服务。基于EPMS系统设计一个模型驱动工作流模型解决企业过程协同问题,提出一个动态关键路径选取算法。从而实现系统的多业务协同调度。     

文档管理系统中的工作流技术

讨论工作流 ( Work Flow)技术中的工作流描述语言和工作流计算模型 ,提出了一个形式化的计算机公文流通管理系统 .基于工作流协同式公文流通管理系统将工作流的计算模型有效地应用于文档管理中 ,以此实现动态可修改的用于企业办公模型的文档管理系统     

基于ECO模型驱动的工作流实现技术

针对工作流系统的快速实现方法,运用ECO(enterprise core objects)技术,提出了一种基于ECO模型驱动的工作流实现技术.以某企业网上销售业务中一个小额订单自动审批流程的工作流实现为例,阐述了该技术的应用过程.结果表明,该技术具有一定的理论和实用价值.     

使用扩展区间时序逻辑为并发工作流建模

针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符“交错”和“限制性交错”．根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系,证明用新操作符连接的区间时序逻辑公式适于表示并发工作流．结合一个并发工作流实例,说明如何用扩展区间时序逻辑表示活动及由活动组建的并发工作流,从而得到并发工作流的区间时序逻辑模型．利用并发工作流的区间时序逻辑模型验证并发工作流的活性和安全性,可大大提高并发工作流设计的可靠性．     

基于行动逻辑的智能主体行为表征研究

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法.智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架.BDI主体结构在一些最为重要的多主体系统中得到了广泛应用.动态认知行动逻辑也可以对智能主体的行为进行表征.将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的.这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持.     

基于Petri网时间约束工作流的研究与应用

针对目前工作流管理系统中时间管理研究现状,以基于时间Petri网的工作流建模方法为基础,把时态逻辑引入到控制流中,给出其形式化定义.借助相关的理论,全面、系统地分析该模型的时态特性,提出基本模型等效变化规则,对复杂工作流的进行时间约束的等效变换,对存在时间冲突的活动进行动态调整;最后以一个实例对文中提出的方法进行了论证...     

基于角色的工作流平台访问控制安全模型

基于角色的访问控制模型作为一个组织内安全策略系统的实现方法,因其简易高效的授权方式和便捷的授权维护模型,被广泛应用于各类工作流管理系统。针对工作流环境的诸多不安全因素,提出了一个适应于工作流环境的基于角色控制的工作流安全访问的改进模型。该模型在传统RBAC模型中引入了任务案例(TC)、用户管理(UM)、任务(T)的3种关系元素,设计了动态授权机制,并在某公司电气销售系统应用中初步实现了该模型与工作流引擎组件的框架集成,提供了独立安全域内的安全授权服务。研究表明,该模型能较好地解决工作流管理系统中动态职责分离、动态职责绑定、案例间约束、互惠职责分离等系统不安全因素,可为工作流管理系统的安全运行提供技术支持。     

基于动态SQL的审核工作流

大多数业务系统的审核流程基本相近,但往往需要开发人员重复设计,并且现有工作流引擎的设计强调普适性,而对于审核流程处理的针对性不强。为此,设计了轻量级的审核工作流模型。该模型不仅可以动态定义审核流程,而且可以监控工作流实例的运行。同时在模型设计上,除了考虑到审核业务特性之外,还以逻辑复用性为原则,采用了动态SQL,增强审核流程的灵活性与可控性。并且通过嵌入在实际系统中的运行,从实践角度证明了该模型的有效性。     

一种采用动态描述逻辑表示的RBAC管理模型

针对现有RBAC的管理模型中管理范围划分不明晰、管理权限分配不明确等问题,提出一种分布式RBAC管理模型.采用基于角色的管理思想,通过合理设置管理角色,将管理范围的划分、用户授权和角色授权工作进行分离,使模型具有较好的实用性.应用动态描述逻辑对模型进行描述,详细描述了各种授权管理操作的判定条件与执行过程,并通过应用实例验证了模型的有效性和实用性.     

一个基于TBAC的审批业务工作流模型

TBAC EABWF是针对审批业务工作流在任务处理过程中的动态实时的安全管理要 求而提出的，与传统的审批业务工作流模型相比，该模型实现了访问控制授权流与审批业务工作流的同步，满足了审批业务工作流“面向任 务”的访问控制要求；引入时间概念，使访问控制的授权约束与时间有关，从而满足审批业务工作流中任务的时效性要求；引入基于脚本的 规则来规范控制逻辑，使模型具有动态调整性，支持审批业务工作流所具有的确定性和非确定性两种特性.     

一种基于视觉的表面质量检测方法

结合边缘检测技术和数学形态操作,提出了一种基于视觉的铝带表面检测方法。应用中值算法滤除缺陷图像噪声后,用边缘算子提取缺陷边缘,经形态学处理后得到完整缺陷目标,然后提取缺陷的形态特征,进行缺陷分类。实验结果表明:这种方法不仅能有效地识别缺陷,还能准确地判别缺陷类型和缺陷位置。     

基于SIDE模型的网络去个性化现象研究

去个性化效应的社会认同模型（Social identity model of deindividuation effects,SIDE）对去个性化现象的解释明显区别于传统去个性化理论的观点,并且SIDE模型从认知维度与策略维度这两个方面对去个性化现象作出了全新的解释。用SIDE模型来解释与分析网络中的去个性化现象,思考网络中产生去个性化现象的深层原因及其影响,并对网络中不合理的去个性化现象提出建议。     

Study on copper adsorption on olivine

The copper adsorption on olivine supplied by A/S Olivine production plant at Aheim in western Norway has been studied. The factors Which affect the uptake of copper have been evaluated. The results reveal that the equilibrium pH in aqueous solution has the greatest influence on the copper adsorption thanks to the competitive adsorption between proton and copper ions, and the adsorption of copper to olivine increases rapidly with the pH increasing from 4 to 6. The initial copper concentration and olivine dose also possess significant effect on copper adsorption. The adsorption efficieny of copper increases with the increase of olivine dose or the decrease of initial copper concentration at the same pH. The ionic strength effect on the adsorption has also been investigated, but it owns little effect on the adsorption process of copper due to the formation of inner sphere surface complexation of copper on olivine. The experimental data show that olivine has a high acid buffer capacity and is an effective adsorbent for copper.     

基于DSP的电能质量分析装置的研制

解决电力系统的电能质量问题,首先需要对电能质量的各项指标进行全面的监测和分析,在此基础上才能有针对性地改善电能质量。依据我国的6项电能质量国家标准,作者设计了一台基于DSP的电能质量分析装置。并从电能质量基本概念入手,在硬件、软件两方面对该装置进行了较为详细的介绍、分析和讨论。     

基于神经网络的股票交易数据的预测研究

运用前馈神经网络预测时间序列的分析方法对股票数据进行了预测.通过对前馈神经网络时间序列数据预测网络模型的建立方法及预测方法讨论,基于BP网络对股票数据进行实际预测.预测精度明显高于传统方法,说明此种方法是可行的.BP网络可用于股票数据预测,其预测精度较高,但实际预测时,如何选择和确定一个合适的神经网络结构需进行反复实验.     

混凝土的硫酸盐腐蚀研究

通过实验室干湿循环加速硫酸盐对混凝土的腐蚀,对受腐蚀混凝土试件的抗压强度、混凝土与钢筋的粘结性能进行了测试.实验表明,SO42-与Mg2 的双重作用加速了混凝土的腐蚀,同时混凝土受硫酸盐腐蚀后脆性增大,延性及与钢筋的粘结性能均降低.     

基于PLC的翻杯机械手设计

介绍了一个使用PLC控制步进电机和气爪实现玻璃器皿的翻转和传送的装置,该装置具有低成本,效率高,定位精度高的优点,可以广泛应用于双工位控制.该机械手巧妙地采用偏心机构,同时实现了玻璃杯的传送和翻转,避免了传统机械手成本高,定位精度不高,控制程序复杂的缺点.     

试论校园文化建设

校园文化建设是学校教育教学和社会精神文明的重要组成部分,关系到学校育人目标的实现;应在遵循正确原则的基础上切实抓好建设工作.     

基于小波分析的RINEX级GPS数据预处理软件的实现

基于小波分析理论,以RINEX级GPS数据预处理为视角,以提高单测站定位精度及基线解算质量为目的,采用VC＋＋和MATLAB为开发平台,运用面向对象的编程方法,及动态连接库技术,实现了RINEX级GPS数据预处理软件GPSPPS．该软件实现了基于原始观测值信号、基于组合观测值信号和基于残差信号3种预处理模式．因软件采用了双层次的分解合成手段,从而可以独立于后处理软件．此软件已用于“中国大陆构造环境监测网络”基准站勘选中GPS数据的质量检查,取得了较好的效果．     

标底刍议

"标底"在工程招投标中很重要,这是由于国内目前工程建设部门的工程招投标,不论是通过公开招标,或是邀请招标,还是议标的方式,在其评标过程中标底占有很大的分量.这种以底标为基准对投标商的报价进行打分评判的招标方式,我们通常叫它为标底法.这种方法目前还没有一个统一标准对报价进行评分(或评判),但不外乎以下几个标准,各有千秋.