检索结果-维普期刊中文期刊服务平台

基于Pi演算的跨组织工作流建模研究被引量：16: 1; 作者张静王海洋崔立真《计算机研究与发展》 EI CSCD 北大核心 2007年第7期1243-1251,共9页; 传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业... 展开更多; 关键词跨组织工作流 pi演算业务流程建模抽象组合; 在线阅读下载PDF 职称材料

用Pi演算为业务过程建模的生命周期被引量：2: 2; 作者郭小群郝克刚 +1 位作者侯红丁剑洁《计算机科学》 CSCD 北大核心 2009年第11期157-159,195,共4页; 随着企业竞争日趋激烈,业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具... 展开更多; 关键词 pi演算生命周期业务过程建模; 在线阅读下载PDF 职称材料

动力学视角下复杂生物神经网络的特性及建模分析: 3; 作者咸晶《医用生物力学》 CAS CSCD 北大核心 2024年第3期562-562,共1页; 大脑是人类最复杂的器官,能够帮助人体处理、解决复杂的外部信息。近年来,从动力学角度对神经网络的建模进行研究已成为一个前沿性课题。由罗晓曙、韦笃取、蒋品群等编著,科学出版社出版的《复杂神经网络的建模与动力学行为研究》,系统... 展开更多; 关键词生物神经网络随机共振相干共振动力学建模分析外部信息前沿性课题; 在线阅读下载PDF 职称材料

系统生物模型转换研究——从SBML到Stochastic Pi Calculus 被引量：1: 4; 作者董驻鹏董笑菊倪佳华《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1280-1283,共4页; 分析了系统生物标记语言(SBML)模型和用随机Pi演算对生物建模(BioSPI)的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程.提... 展开更多; 关键词系统生物系统生物标记语言随机pi演算对生物建模形式化方法 DNA计算机; 在线阅读下载PDF 职称材料

基于Pi演算的BPMN编排模式被引量：1: 5; 作者杨鹏玉邱锦伦《计算机工程》 CAS CSCD 北大核心 2009年第23期274-277,共4页; 针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。; 关键词业务流程建模标记 pi演算编排; 在线阅读下载PDF 职称材料

用Pi^+演算表示带抑止弧的Petri网被引量：1: 6; 作者郭小群郝克刚 +1 位作者侯红丁剑杰《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期9-12,42,共5页; Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同... 展开更多; 关键词 pi演算 PETRI网抑制弧形式化建模; 在线阅读下载PDF 职称材料

生物再生生命保障地基实验系统气密性评价被引量：2: 7; 作者胡大伟付玉明 +2 位作者杜小杰张金晖刘红《载人航天》 CSCD 2016年第3期399-405,共7页; 针对直接影响生物再生生命保障系统地基实验系统有人密闭系统实验数据准确性的气密性或泄露率问题,以月宫一号大型地基实验系统为例,采用经典气体方程和系统动力学原理建立了影响其舱内气体动态的主要速率方程,并把泄露率作为其中的可... 展开更多; 关键词生物再生生命保障系统泄露率随机过程建模与仿真月宫一号; 在线阅读下载PDF 职称材料

食源性致病菌单细胞观测与预测的研究进展被引量：5: 8; 作者董庆利刘阳泰 +3 位作者苏亮王忻刘箐丁甜《农业机械学报》 EI CAS CSCD 北大核心 2015年第11期221-229,共9页; 微生物在单细胞水平下的生长普遍具有随机性和变异性,同时低菌量污染食品所造成的危害风险亦不可忽视,因此食源性致病菌单细胞的生长观测及预测研究逐渐成为食品预测微生物学及食源性致病菌风险评估的研究热点。在分析现有相关文献的基... 展开更多; 关键词单细胞食品预测微生物学随机模型个体建模方法风险评估; 在线阅读下载PDF 职称材料

题名基于Pi演算的跨组织工作流建模研究被引量：16: 1; 作者张静王海洋崔立真; 机构山东大学计算机科学与技术学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2007年第7期1243-1251,共9页; 基金国家自然科学基金项目(60673130); 文摘传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.; 关键词跨组织工作流 pi演算业务流程建模抽象组合; Keywords cross-organizational workflow pi-calculus business process modeling abstract composition; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名用Pi演算为业务过程建模的生命周期被引量：2: 2; 作者郭小群郝克刚侯红丁剑洁; 机构西北大学信息科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2009年第11期157-159,195,共4页; 基金国家高可信研究开发计划(2007AA010305)资助; 文摘随着企业竞争日趋激烈,业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具有对模型进行形式化分析与验证的整套理论体系。从生命周期的角度入手,探讨如何把形式化方法更有效地应用于商业过程建模。主要工作在于提出了基于Pi演算的生命周期,探讨了生命周期各个阶段使用的技术和工具。; 关键词 pi演算生命周期业务过程建模; Keywords pi calculus, Life cycle, Modelling business process; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名动力学视角下复杂生物神经网络的特性及建模分析: 3; 作者咸晶; 机构上海市黄浦区精神卫生中心; 出处《医用生物力学》 CAS CSCD 北大核心 2024年第3期562-562,共1页; 文摘大脑是人类最复杂的器官,能够帮助人体处理、解决复杂的外部信息。近年来,从动力学角度对神经网络的建模进行研究已成为一个前沿性课题。由罗晓曙、韦笃取、蒋品群等编著,科学出版社出版的《复杂神经网络的建模与动力学行为研究》,系统介绍了复杂生物神经网络的建模,并对复杂生物神经网络的兴奋特性、随机共振、相干共振及最优同步和混沌涌现特性进行研究,其数值模拟成果可为国内外研究该领域提供有效参考。全书分为8个章节。; 关键词生物神经网络随机共振相干共振动力学建模分析外部信息前沿性课题; 分类号 R318.01 [医药卫生—生物医学工程]; 在线阅读下载PDF 职称材料

题名系统生物模型转换研究——从SBML到Stochastic Pi Calculus 被引量：1: 4; 作者董驻鹏董笑菊倪佳华; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1280-1283,共4页; 基金国家杰出青年科学基金资助项目(60225012) 上海科委交叉领域创新团队专项课题(03DZ14025); 文摘分析了系统生物标记语言(SBML)模型和用随机Pi演算对生物建模(BioSPI)的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程.提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想.; 关键词系统生物系统生物标记语言随机pi演算对生物建模形式化方法 DNA计算机; Keywords systems biology systems biology markup language （SBML） modeling biology with stochastic pi calculus （BioSpi） formal method DNA computer; 分类号 TP371.77 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于Pi演算的BPMN编排模式被引量：1: 5; 作者杨鹏玉邱锦伦; 机构上海大学计算机工程与科学学院; 出处《计算机工程》 CAS CSCD 北大核心 2009年第23期274-277,共4页; 基金上海市学科建设基金资助重点项目(J50103); 文摘针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。; 关键词业务流程建模标记 pi演算编排; Keywords Business Process Modeling Notation（BPMN） pi-caleulus choreography; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名用Pi^+演算表示带抑止弧的Petri网被引量：1: 6; 作者郭小群郝克刚侯红丁剑杰; 机构西北大学信息学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期9-12,42,共5页; 基金国家高可信研究开发计划(2007AA010305); 文摘 Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同信原语的Pi+演算,但是这种扩展无法表示抑制位置无穷的Petri网,因此又提出了优先原语,并通过例子说明了优先原语的作用。; 关键词 pi演算 PETRI网抑制弧形式化建模; Keywords pi calculus Petri net inhibitor arcs formal modeling; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名生物再生生命保障地基实验系统气密性评价被引量：2: 7; 作者胡大伟付玉明杜小杰张金晖刘红; 机构北京航空航天大学生物与医学工程学院环境生物学与生命保障技术研究所; 出处《载人航天》 CSCD 2016年第3期399-405,共7页; 基金载人航天预先研究项目(040201); 文摘针对直接影响生物再生生命保障系统地基实验系统有人密闭系统实验数据准确性的气密性或泄露率问题,以月宫一号大型地基实验系统为例,采用经典气体方程和系统动力学原理建立了影响其舱内气体动态的主要速率方程,并把泄露率作为其中的可调节参数,运用Matlab/Simulink中的S函数建立气体浓度对泄露率变化的瞬态响应特征模型。通过数值仿真实验研究,分析了在假设的不同泄露率下,月宫一号系统内O_2和CO_2气体浓度的动态变化规律。经气密性检验实验测定,月宫一号系统的舱体实际泄漏率为0.043%·d^(-1),仿真实验表明在这样的泄漏率下月宫一号系统的气体浓度瞬态响应规律接近完全密闭系统的水平。运用随机过程控制理论与方法对105天有人实验期间的气体稳态响应特征进行了统计分析研究,证实了在月宫一号有人密闭实验的过程中气体浓度是保持高度稳定的,说明月宫一号系统的气密性保证了系统有人密闭实验数据的可靠性。为后续类似的地基实验系统的设计和构建奠定了基础,可为我国再生生保系统的设计与建造提供相关的理论与方法支持。; 关键词生物再生生命保障系统泄露率随机过程建模与仿真月宫一号; Keywords bioregenerative life support system leakage rate stochastic process modeling and simulation Lunar Palace 1; 分类号 V19 [航空宇航科学与技术—人机与环境工程]; 在线阅读下载PDF 职称材料

题名食源性致病菌单细胞观测与预测的研究进展被引量：5: 8; 作者董庆利刘阳泰苏亮王忻刘箐丁甜; 机构上海理工大学医疗器械与食品学院国家食品安全风险评估中心浙江大学生物系统工程与食品科学学院; 出处《农业机械学报》 EI CAS CSCD 北大核心 2015年第11期221-229,共9页; 基金国家自然科学基金资助项目(31271896 31401608) +2 种基金国家食品安全风险评估中心2015年委托项目; 文摘微生物在单细胞水平下的生长普遍具有随机性和变异性,同时低菌量污染食品所造成的危害风险亦不可忽视,因此食源性致病菌单细胞的生长观测及预测研究逐渐成为食品预测微生物学及食源性致病菌风险评估的研究热点。在分析现有相关文献的基础上,将目前主要的食源性致病菌单细胞生长观测研究分为间接推断和直接观测两类方法;同时对食源性致病菌单细胞生长预测的模型参数与建模过程进行概述,比较了传统预测微生物的决定模型与微生物单细胞的随机模型二者之间的区别,强调了单细胞生长模型需在随机建模的基础上开展,并通过个体建模方法进一步联系其与所在食品环境之间的关系。最后,分析了食源性致病菌单细胞生长观测与预测的现状,并展望了其未来与食品安全风险评估相结合的发展趋势。; 关键词单细胞食品预测微生物学随机模型个体建模方法风险评估; Keywords ： Single cell Food predictive microbiology Stochastic model Individual-based method Risk assessments; 分类号 TS201.3 [轻工技术与工程—食品科学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于Pi演算的跨组织工作流建模研究	张静王海洋崔立真	《计算机研究与发展》 EI CSCD 北大核心	2007	16	在线阅读下载PDF 职称材料
2	用Pi演算为业务过程建模的生命周期	郭小群郝克刚侯红丁剑洁	《计算机科学》 CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
3	动力学视角下复杂生物神经网络的特性及建模分析	咸晶	《医用生物力学》 CAS CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
4	系统生物模型转换研究——从SBML到Stochastic Pi Calculus	董驻鹏董笑菊倪佳华	《上海交通大学学报》 EI CAS CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料
5	基于Pi演算的BPMN编排模式	杨鹏玉邱锦伦	《计算机工程》 CAS CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
6	用Pi^+演算表示带抑止弧的Petri网	郭小群郝克刚侯红丁剑杰	《系统仿真学报》 CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
7	生物再生生命保障地基实验系统气密性评价	胡大伟付玉明杜小杰张金晖刘红	《载人航天》 CSCD	2016	2	在线阅读下载PDF 职称材料
8	食源性致病菌单细胞观测与预测的研究进展	董庆利刘阳泰苏亮王忻刘箐丁甜	《农业机械学报》 EI CAS CSCD 北大核心	2015	5	在线阅读下载PDF 职称材料