基于π网的多Agent系统建模与分析

首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法——π网.π网利用OPN形象地描述系统的初始化模型及动态行为,利用π演算刻画系统的动态演化.然后以π网为语义基础,从软件体系结构的角度,建立了一种多Agent系统体系结构模型(Multi-agent Systems Architecture Model,MASAM).在MASAM中,将多Agent系统抽象为计算Agent、连接Agent和配置等三个单元,并描述了多Agent系统的动态演化;研究了系统演化后体系结构一致性的分析方法,从而可以检测系统开发早期存在的错误,确保模型的可靠性和正确性.     

编辑现代化的新思考

最近,140多名全国各高校的代表聚集山东泰安就编辑的现代化问题进行了热烈地讨论。我校也派代表参加了这次会议并提交了5篇论文。会议所收到的近70篇学术论文涉及编辑观念的现代化、编辑工程的现代化、编辑知识结构的现代化、新学科与编辑学、高校学报的发展与展望等五个方面、学术讨论的焦点集中在电子计算机技术引入编辑出版业的实践与思考     

含有氧茂環的染料的研究Ⅰ——1-对磺基苯基-3-α-氧茂基-5-氧代-4,5-二氫化-1,2-二氮茂染料的合成

5-氧代-4,5-二氫化-1,2-二(?)(?)染料一般具有較高的耐(?)堅牢度南咨吓??)較多的是以1-(?)基-3-甲基-5-氧代-4,5-二氫化-1,2-二氮茂和1-芳基-3-(?)基-5-氧代-4,5-二氫化-1,2-二氮茂爲偶合組分合成的偶氮染料。以1-对磺基苯基-3-(?)-氧茂基-5-     

欧洲合作的一个典范

Nature杂志 1989年4月27日一期刊出题为"欧洲的科学"的一组文章,较全面地介绍了欧洲科学的现状及面临的问题,现将这组文章的大部译出刊载如下。     

温度补偿晶体振荡器

本文主要论述影响温度补偿晶体振荡器(?)率稳定度的主要因素,温度补偿网络的计算机辅助设计,以及温度补偿晶体振荡器的误差分析。     

“工程图学”双语教学的研究与实践

本文分析＂工程图学＂双语教学的现状,根据教学实践总结经验。以一节＂全剖视图＂的双语课为例,具体叙述了在教学中多种媒体相结合的互动式教学方法的实施情况,对如何提高双语教学的效率与质量方面做了有益的探索。列举了2007～2008学年双语教学的措施,并对考试结果进行分析,提出今后改进的方向。