基于MAS系统的动态web服务组合形式化建模研究

动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.     

天津市汽车维修模式浅析

本文主要从汽车维修企业经营特征角度论述了天津市汽车维修模式的基本发展现状、国外汽车维修模式对天津汽车维修业的启示以及天津汽车维修模式未来发展预测等几个问题。     

专升本高校图书馆的定位及发展

搞好图书馆的现代化建设 ,提高学术水平和文献信息服务水平是专升本高校的发展方向。应准确定位 ,确定发展方向和目标。     

4，5-二溴苯基荧光酮分光光度法测定有机锗口服液中锗

在5．3mol·L－1的H2SO4介质中．锗与4．5-二溴苯基荧光酮，十二烷基硫酸钠生成三元配合物。其λmax为509nm，表观摩尔吸光率为1．77×105L·mol-1·cm-1．锗量在0～7μg／25mL遵守比耳定律。显色反应具高选择性，各种低价和高价金属离子均不干扰测定。测定了有机锗口服液中微量锗。     

五四译诗与中国新诗形式观念的确立

中国新诗形式观念的确立得益于译诗的启示：一是在观念上,译诗显示出来的新型诗歌的文体特征冲击甚至瓦解了中国固有的诗歌形式观;二是在形式上,译诗是早期新诗形式观念的实践者,是新诗的参照和模仿对象,促进了新诗形式的多元化;三是在创作上,译诗逐渐成为中国新诗传统的有机组成部分并带来了有别于传统诗歌的形式资源,诗人的译诗过程也为他们的创作积累了形式经验。     

第4代白盒测试方法的实践探索

介绍了第4代白盒测试方法。结合使用VcTester实施一次具体测试过程,描述了在线测试、灰盒调测、持续测试等特性的实践特征。     

2-氨基-6-甲基-3-乙氧羰基-5,7-二苯基-4,5,6,7-四氢吡啶并噻吩的合成与结构表征

首先利用醛酮缩合制得二烯酮（1）,然后利用1与甲胺溶液作用制得哌啶酮（2）,最后利用Gewald反应使2、氰乙酸乙酯与硫磺在吗啡啉催化下,得到未见文献报道的2-氨基四氢吡啶并噻吩衍生物3,产率60%～80%。所得产物的结构由元素分析,IR,1H NMR和MS所确证。     

超顺磁性Fe2O3较Fe3O4用于磁共振胃肠造影剂的优劣研究

用超顺磁性氧化铁制备磁共振造影剂的报道较多,其中的磁粒均为Fe3O4。本文提出了用Fe2O3的可行性,并根据超顺磁性理论推导出两种微粒显示超顺磁现象的临界尺寸理论值分别为24.8nm、31.6 nm,在1.5T磁共振磁场中的临界值为7.1 nm、11.1 nm;根据磁学理论,分析了磁共振造影剂稳定的机理;推导出在磁共振磁场中,两者在造影剂中稳定悬浮的极限尺寸为13.3 nm、14 nm。得出在造影剂中,两者既能稳定悬浮又具有超顺磁性的临界尺寸为7.1 nm、11.1 nm的结论。同时分析了两者用做磁共振胃肠造影剂的优劣点。     

加强考务管理，积极推进大学英语四六级考试改革

大学英语教学改革是“高等学校教学质量与教学改革工程”的一项重要内容。英语四、六级考试的改革是英语教学改革的重要组成部分,尤其是考务管理更是需要进行深入的改革,需要不断提高报名的效率,加强考试的监控,强化考风考纪的教育,进一步规范考务工作。