结合Petri网和Pi演算的协同业务过程建模

协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。     

基于EPMM的软件过程结构合理性研究

为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。     

9-芴甲酸的合成研究进展

本文阐述了9-芴甲酸的性质、用途和主要合成方法,分析了各种方法的工业化可行性,概述了原料芴的9位性质,讨论了9-芴甲酸合成过程中的问题。     

参与组织需求与协同业务过程一致性验证方法

为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。     

新型γ射线成像位置能量信息获取系统研制

研发了一种探测器波形获取电路,实现了1GHz采样率,12 bit采样精度。基于该电路,研制了一套新型γ射线成像位置能量获取系统,用于H8500多阳极位置灵敏光电倍增管的前端位置信号读出与处理。采用信号发生器以及241Am放射源对系统的位置及能量分辨能力进行了测试。结果表明,该系统在对64路阳极信号准确定位的同时也能对γ射线的能量准确测量。     

一种基于代数语义的软件体系结构求精方法

软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型,有效解决了状态空间爆炸问题。此外,在求精过程中为了保证用于下层求精的子网能准确表达上层行为规约,引入了进程代数来刻画Petri网的行为语义。最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性。     

500 kV变电站计算机监控系统的发展建议

0 引言 当前,随着我国电力事业的飞速发展,电网规模不断扩大,高电压等级特别是500 kV等级的变电站得到了迅速发展并逐步成为区域电力枢纽或骨干节点,这些变电站一般都具有占地规模大、配电间隔多、运行工况信息量大等特点,对运行设施和保障电网安全的技术手段提出了更高的要求.500 kV变电站计算机监控系统(下文简称监控系统)就是在这样的背景下产生和发展的.     

500 kV变电站计算机监控系统的发展建议

0 引言 当前,随着我国电力事业的飞速发展,电网规模不断扩大,高电压等级特别是500 kV等级的变电站得到了迅速发展并逐步成为区域电力枢纽或骨干节点,这些变电站一般都具有占地规模大、配电间隔多、运行工况信息量大等特点,对运行设施和保障电网安全的技术手段提出了更高的要求.500 kV变电站计算机监控系统(下文简称监控系统)就是在这样的背景下产生和发展的.     

一种基于层次聚类的子系统划分方法研究

信息领域中常常会涉及到子系统的划分问题,而U/C矩阵法是信息系统划分的一种常用方法,但是系统的复杂性以及人为的参与常常导致子系统划分产生低效率、不确定性以及错误划分等问题。因此深入剖析了系统与子系统、子系统与功能、功能与数据等之间的关系与性质,通过对U/C矩阵按照功能相似度进行层次聚类,并引入结构熵和H_pal熵来对聚类形成的子系统进行度量,给出了具体的计算公式,提出了一种新的划分子系统的方法,将原本需要人为参与的事情转变为通过计算来完成。同时,实现了一个原型系统来对所提出的方法进行验证,并给出了具体实例。     

基于EPMM的软件过程行为偏离诊断研究

近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。