期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于同步网的工作流过程变动问题研究 被引量:5
1
作者 闫哲 赵文 +1 位作者 袁崇义 王立福 《电子学报》 EI CAS CSCD 北大核心 2006年第2期226-231,共6页
支持动态可变的特性是实际应用对工作流系统提出的要求,已有的研究在表达能力和算法复杂度等方面存在问题.本文以形式化的工作流模型———同步网为基础,从逻辑和语义两个角度定义了过程变动,继而分类描述了基本变动操作,并讨论了变动... 支持动态可变的特性是实际应用对工作流系统提出的要求,已有的研究在表达能力和算法复杂度等方面存在问题.本文以形式化的工作流模型———同步网为基础,从逻辑和语义两个角度定义了过程变动,继而分类描述了基本变动操作,并讨论了变动的正确性问题.复杂的过程变动可以被分解为若干基本变动操作的序列,从而简化问题并且保证整个变动的正确性.在此之上提出了一种新的管理过程变动的方法,即以同步器为中心来管理过程实例的迁移问题. 展开更多
关键词 工作流 过程变动 同步网 过程迁移
在线阅读 下载PDF
基于变动的设计过程模型研究
2
作者 孙知信 《南京邮电学院学报》 2000年第2期65-68,共4页
设计过程的有效表示是实现CAD技术真正效能的关键。基于对设计过程变动特性的认识 ,将设计单元作为各产品组成环节的抽象 ,从理论上提出了描述设计过程的变动过程模型的形式化定义 ,并对其特点、作用、应用和研究进行了讨论。
关键词 计算机辅助设计 设计过程 变动过程模型
在线阅读 下载PDF
基于时态逻辑的工作流分析
3
作者 周从华 陶志红 +1 位作者 陈钟 王立福 《计算机科学》 CSCD 北大核心 2007年第11期118-123,共6页
工作流的属性规约语言需要具有高表达力以及基于状态和事件的推理能力。本文提出了一种时态逻辑规约语言E-CTL^*,该语言集成了状态和事件,能够精确和直觉地表示验证的属性。工作流的畅通性验证无论在时间上还是空间上代价都是非常高... 工作流的属性规约语言需要具有高表达力以及基于状态和事件的推理能力。本文提出了一种时态逻辑规约语言E-CTL^*,该语言集成了状态和事件,能够精确和直觉地表示验证的属性。工作流的畅通性验证无论在时间上还是空间上代价都是非常高的,状态空间爆炸是验证的主要困难所在。利用E-CTL^*描述畅通性,可以使用存在的符号化模型检测工具验证畅通性,在一定程度上克服了状态爆炸问题。同时模型检测技术给出失效路径的优点可以引导我们纠正工作流的错误。工作流的变动需要具有正确性。从时态逻辑的角度讨论了变动正确性问题,得出了保持变动正确性的一般特征。 展开更多
关键词 工作流 时态逻辑 过程变动 同步网
在线阅读 下载PDF
Elastodynamic modeling and joint reaction prediction for 3-PRS PKM 被引量:4
4
作者 张俊 赵艳芹 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第8期2971-2979,共9页
To gain a thorough understanding of the load state of parallel kinematic machines(PKMs), a methodology of elastodynamic modeling and joint reaction prediction is proposed. For this purpose, a Sprint Z3 model is used a... To gain a thorough understanding of the load state of parallel kinematic machines(PKMs), a methodology of elastodynamic modeling and joint reaction prediction is proposed. For this purpose, a Sprint Z3 model is used as a case study to illustrate the process of joint reaction analysis. The substructure synthesis method is applied to deriving an analytical elastodynamic model for the 3-PRS PKM device, in which the compliances of limbs and joints are considered. Each limb assembly is modeled as a spatial beam with non-uniform cross-section supported by lumped virtual springs at the centers of revolute and spherical joints. By introducing the deformation compatibility conditions between the limbs and the platform, the governing equations of motion of the system are obtained. After degenerating the governing equations into quasi-static equations, the effects of the gravity on system deflections and joint reactions are investigated with the purpose of providing useful information for the kinematic calibration and component strength calculations as well as structural optimizations of the 3-PRS PKM module. The simulation results indicate that the elastic deformation of the moving platform in the direction of gravity caused by gravity is quite large and cannot be ignored. Meanwhile, the distributions of joint reactions are axisymmetric and position-dependent. It is worthy to note that the proposed elastodynamic modeling method combines the benefits of accuracy of finite element method and concision of analytical method so that it can be used to predict the stiffness characteristics and joint reactions of a PKM throughout its entire workspace in a quick and accurate manner. Moreover, the present model can also be easily applied to evaluating the overall rigidity performance as well as statics of other PKMs with high efficiency after minor modifications. 展开更多
关键词 parallelkinematic machine (PKM) 3-PRS PKM Sprint Z3 head elastodynamic modeling joint reaction
在线阅读 下载PDF
地中海文明的两种表述——海洋史研究新方法 被引量:2
5
作者 常娜 《亚非纵横》 2015年第6期104-111,共8页
地中海位于东西方交汇处,连接亚、非、欧三大洲,历史上是穆斯林、基督徒以及犹太人进行经济宗教交流的场所,同时也是各个帝国间进行较量的血腥战场。地中海历史研究是海洋史研究的重要分支,该领域已有诸多著作,但是以往描写地中海历... 地中海位于东西方交汇处,连接亚、非、欧三大洲,历史上是穆斯林、基督徒以及犹太人进行经济宗教交流的场所,同时也是各个帝国间进行较量的血腥战场。地中海历史研究是海洋史研究的重要分支,该领域已有诸多著作,但是以往描写地中海历史的书籍都是关于地中海周边陆地以及陆地居民交往的历史。这些作品虽然展示了地中海地区交流史的基本特征,但是主要的重点都放在了陆地上而不是海洋里。 展开更多
关键词 地中海地区 布罗代尔 阿布 利普 士麦那 希土战争 政治事件 变动过程 文化多样性 政治变化
在线阅读 下载PDF
统计预测在医院的应用 被引量:1
6
作者 彭嘉采 《中国医院管理》 1983年第4期47-50,59,共5页
统计预测方法很多,目前普遍应用的是根据已掌握的统计资料,结合数学模型进行预测。仅用数学模型推出的预测数字,并不能作为唯一的根据,因为有些不能确切计量的因素和现象,如医疗形势、疾病的发展、人员的来源等是很难纳入数学模型的。... 统计预测方法很多,目前普遍应用的是根据已掌握的统计资料,结合数学模型进行预测。仅用数学模型推出的预测数字,并不能作为唯一的根据,因为有些不能确切计量的因素和现象,如医疗形势、疾病的发展、人员的来源等是很难纳入数学模型的。因此。 展开更多
关键词 统计预测 数学模型 时间序列 医疗形势 回归方程 变动过程 住院收入 出院人数 相关系数 显著性检验
在线阅读 下载PDF
Characterization of hot deformation behavior of Al-Zn-Mg-Mn-Zr alloy during compression at elevated temperature 被引量:4
7
作者 YAN Jie 《Journal of Central South University》 SCIE EI CAS CSCD 2017年第3期515-520,共6页
The hot deformation behavior of Al-6.2Zn-0.70Mg-0.30Mn-0.17 Zr alloy and its microstructural evolution were investigated by isothermal compression test in the deformation temperature range between 623 and 773 K and th... The hot deformation behavior of Al-6.2Zn-0.70Mg-0.30Mn-0.17 Zr alloy and its microstructural evolution were investigated by isothermal compression test in the deformation temperature range between 623 and 773 K and the strain rate range between 0.01 and 20 s^(-1).The results show that the flow stress decreased with decreasing strain rate and increasing deformation temperature.At low deformation temperature(≤673 K) and high strain rate(≥1 s^(-1)),the main flow softening was caused by dynamic recovery;conversely,at higher deformation temperature and lower strain rate,the main flow softening was caused by dynamic recrystallization.Moreover,the slipping mechanism transformed from dislocation glide to grain boundary sliding with increasing the deformation temperature and decreasing the strain rate.According to TEM observation,numerous Al_3Zr particles precipitated in matrix,which could effectively inhibit the dynamic recrystallization of the alloy.Based on the processing map,the optimum processing conditions for experimental alloy were in deformation temperature range from 730 K to 773 K and strain rate range from 0.033 s^(-1) to 0.18 s^(-1) with the maximum efficiency of 39%. 展开更多
关键词 aluminum alloy hot deformation TEM dynamic recrystallization processing map
在线阅读 下载PDF
“负增长”的“词籍”问题
8
作者 雷良启 《语文建设》 CSSCI 北大核心 1994年第12期7-8,共2页
“负增长”的“词籍”问题雷良启“负增长”一词这几年逐渐用开了,仅我收到的用例就不下20条,且大多来自影响较大的传播媒体,如:(1)河北省涿州市爆出一条新闻──东关村人口负增长。(《中国青年报》,1993年4月9日)(... “负增长”的“词籍”问题雷良启“负增长”一词这几年逐渐用开了,仅我收到的用例就不下20条,且大多来自影响较大的传播媒体,如:(1)河北省涿州市爆出一条新闻──东关村人口负增长。(《中国青年报》,1993年4月9日)(2)韩国曾在30年间实现了年平均经... 展开更多
关键词 东关村 中国青年报 传播媒体 年平均 涿州市 人口自然变动 语用效果 《新民晚报》 变动过程 造词
在线阅读 下载PDF
浅析经济报道中一些概念术语的错用
9
作者 陆衍东 《新疆新闻界》 1989年第3期39-,41,共2页
随着社会经济生活的日益活跃,报纸上的经济报道越来越多了。由于种种原因,常常出现一些概念、术语错用的现象,值得引起注意。兹举数例并略加分析: 例1 从“六五”以来的8年里,兵团机械工业连续实现速度与效益同步增长,工业总产值平均每... 随着社会经济生活的日益活跃,报纸上的经济报道越来越多了。由于种种原因,常常出现一些概念、术语错用的现象,值得引起注意。兹举数例并略加分析: 例1 从“六五”以来的8年里,兵团机械工业连续实现速度与效益同步增长,工业总产值平均每年递增28%,利润从1980年亏损154万元,到去年盈利超过1500万元。(《新疆军垦》1989年2月21日一版《兵团机械工业连续八年实现速度效益同步增长》) 分析:“同步” 展开更多
关键词 工业总产值 实现速度 新疆军垦 概念术语 石河子报 资金周转率 供应处 最大幅度 变动过程 八年
在线阅读 下载PDF
乡镇企业内部审计的基本内容
10
作者 甘国华 《财会通讯(上)》 1991年第11期18-18,共1页
一、乡镇企业内部审计的主要任务。搞好乡镇企业的内部审计,必须首先建立内部审计机构。乡镇企业内部审计机构的任务,归纳起来主要有:(1)保护企业资产完整无缺。要求审计人员审计财产物资是否帐实相符,收发保管是否有一定的手续制度,财... 一、乡镇企业内部审计的主要任务。搞好乡镇企业的内部审计,必须首先建立内部审计机构。乡镇企业内部审计机构的任务,归纳起来主要有:(1)保护企业资产完整无缺。要求审计人员审计财产物资是否帐实相符,收发保管是否有一定的手续制度,财产增减变动过程中是否有异常情况。如发现弄虚作假、隐瞒谎报、侵占挪用等行为,要彻底清查。(2)对财务收支计划、经济合同的执行情况和取得的经济效益进行审计监督。不但要对计划、合同的执行情况进行审计,还要对计划和合同本身进行审计,审查各种经济合同是否合理合法,有无存在问题。通过对计划和合同的审计,寻求提高经济效益的途径。(3) 展开更多
关键词 内部审计 财产物资 内审机构 内审人员 审计人员 被审计单位 审计报告 变动过程 财务收支计划 完整无缺
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部