共查询到20条相似文献,搜索用时 562 毫秒
1.
多Agent系统(Multi-agent Systems,MAS)已在电子商务中得到了广泛应用。由于MAS是一个动态系统,现有的形式化方法不适合描述MAS的动态体系结构,而π演算适合描述具有动态结构的系统,以π演算为形式化基础对MAS进行建模与分析。通过构造一个电子商务系统的形式化模型,描述了π演算的建模和分析过程。π演算不但能描述Agent之间的交互,而且可以对系统的一些关键属性进行分析,如分析系统的死锁性等。 相似文献
2.
通过对几个π放工作面初采期间冒顶事故的分析,总结出π放工作面初采防治冒顶事故措施,为今后π放面初采安全提供可靠依据. 相似文献
3.
4.
5.
6.
采用针对Web服务组合协议的扩充π-演算,形式化地描述了Wab服务流程的行为,在抽象的形式化层次上描述了由不同Web服务组合协议构成的流程之间互操作的中间适配规范,适配器生成规范和由规范制导的适配器生成方法.通过适配器生成过程的形式化描述可以自动生成该适配器.通过实例具体实现了BPEL4WS和WSCI互操作的适配器形式化描述,以此说明可以在抽象层次上实现不同Web服务组合协议描述的服务流程之间的互操作. 相似文献
7.
为寻求π(x)的表达式,我们已经有了连续函数逼近法,也即为素数定理。但由于函数类型的差异,这种逼近效果有其内在的缺陷。为此,本文来介绍与π(x)类型相同的P(x),并用P(x)去逼近π(x)的方法。 相似文献
8.
香磨山水库是以防洪、灌溉为主,同时又以发电养鱼为辅的综合利用的中型水库。集水面积388平方公里。为确保水库的安全,为政府作出科学防汛决策提供准确专业数据,特制定本方案。本方案是以降雨量基础,通过分析降雨类型,计算流域前期影响雨量,确定最大初损1m及折减系数K值;又对径流过程作分割并绘制多条退水曲线。通过径流量计算,绘制出降雨径流三变量关系图,以预报径流深。采用经验单位线法,计算出降雨中心在上游、下游和均匀降雨的三种类型洪水过程。又对水库水量进行调洪演算并绘制出调洪演算工作曲线图。在成果的精度评定中采用33个实洪水。用产、汇流综合成果与实测洪水过程比较合格率为79%,完全满足洪水预报要求。 相似文献
9.
10.
通过对几个π放工作面初采期间冒顶事故的分析,总结出丌放工作面初采防治冒顶事故措施,为今后π放面初采安全提供可靠依据。 相似文献
11.
针对水电站继电保护系统在实际运行中存在的安全风险问题,本论文详细探讨了继电保护安全风险及其对策,首先简单分析了水电站继电保护系统运行过程中的安全风险类型,在此基础上有针对性地从安全管理制度、安全技术落实和技术人员培训三个角度详细论证了水电站继电保护系统提高可靠性、降低风险系数的对策,对于进一步提高水电站继电保护系统的安全稳定可靠运行具有较好的指导借鉴意义. 相似文献
12.
13.
对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。 相似文献
14.
本文利用50MeVπ-核双电荷交换反应(DCX),研究了原子核内夸克自由度存在的问题.我们把六夸克集团模型,虚π散射以及双核子电荷交换散射的常规机制等理论结果与~(14)C(π~ ,π~-)~(14)O(g.s.)和~(18)O(π~ ,π~-)~(18)Ne(g.s.)的实验数据进行了比较.六夸克集团的机制成功地解释了角分布的朝前峰以及0°角的大的截面值. 相似文献
15.
16.
本文总结介绍了益新煤矿245采煤队在开采二水平北一石门A区7号层过程中,在走向大倾角煤层中运用π型钢放顶煤技术进行开采的生产实践,使π型钢放顶煤技术得到不断发展,具有较高的安全效益和经济效益。 相似文献
17.
18.
商正华 《内蒙古科技与经济》2008,(24)
通过对扣件钢管脚手架模板高大支撑系统的施工安全风险识别,结合施工实践、有关数据资料,总结出扣件钢管脚手架模板高大支撑系统的施工安全风险识别类型,并依据识别的安全风险,在施工中采取应对措施,从而降低扣件钢管脚手架系统施工的安全风险。 相似文献
19.
本文比较了现有火灾风险评估方法,分析了基于规则的信息相关性判定技术和贝叶斯网络在火灾风险评估方面的优势,给出了技术实现路线.该系统能够评估城市火灾风险,分析城市火灾的发生规律,预测发生火灾类型,为城市安全防护提供辅助决策、提高城市的安全服务水平. 相似文献