基于多元Pi-演算的Web服务组合描述与验证

验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度。针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相客性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础。     

基于概率方法的QoS感知Web服务组合

针对Web服务的服务质量(QoS)的随机本质,提出了一个基于概率QoS感知的Web服务组合方法,实现传统方法难以描述的QoS需求.在概率QoS模型的基础上,定义QoS目标以及组合方案与QoS目标之间的距离函数.通过将服务组合问题转化为组合优化问题,应用Rollout算法作为求解问题的计算框架,对一个具体问题设计了相应的启发函数.以跨国旅游方案提供商作为具体案例演示基于概率方法的QoS感知服务组合.该方法很好地解决了概率QoS模型难以应用到动态服务组合中的问题.理论分析和实验数据表明该方法可以很好地满足用户对于组合服务的QoS需求.     

溶氧反馈-分批补料高密度培养枯草杆菌谷氨酰胺合成酶工程菌

为了建立枯草杆菌谷氨酰胺合成酶基因重组工程菌BL21/pET28b-glnA的高密度培养工艺,首先以摇瓶培养为基础,对影响工程菌生长及目的蛋白表达的因素如培养基、pH值、诱导剂浓度及时间等进行优化,再扩大至BIOTECH-SBG(5 L)自动玻璃发酵罐培养,利用溶氧反馈补料策略进行分批补料,并在培养过程中保持20%～50%的溶解氧,7.0～7.5的pH,以及1.0g/L乳糖诱导12 h,成功地进行了工程菌的高密度培养,最终细菌干重达到48.1 g/L,目的蛋白的表达量占菌体蛋白总量的55%,粗提物酶比活为10.35 U/mg,整个补料过程细菌比生长率稳定的控制在0.1 h-1左右.     

基于移动Agent建立企业动态供应链

针对供应链的动态性和不确定性，引入移动代理技术，并利用其“推“的功能，使各企业在建立供应链之前就已知道潜在伙伴的范围，避免了搜寻合作伙伴的盲目性。与此同时，移动Agent还提供了应用服务的动态绑定功能，实现企业间应用系统的快速集成，为实现不确定环境下的企业动态联盟提供了有力的工具。     

基于聚类方法的CAPP零件知识库构建

传统的零件分类一般根据零件编码从特征矩阵中得到分类结果，未能很好地表达各个零件之间的相似关系，对工艺设计也不能提供启发性的推理策略．此外，零件分类矩阵本身的相似性标准也难以确定，给零件的工艺制作带来了很多困难．为此，提出了一种利用聚类技术构造树型结构表达零件相似性的方法，并根据零件之间的相似性建立层次结构以进行动态分类，进而构建一种有自学习能力的零件知识库．考虑到机器智能的局限性．分类结果可能不尽合理，分类树又能够在自动压缩优化的基础上进行手工优化，并将优化结果记录于分类树中．该知识库能及时反映零件信息的动态更新，并对零件进行多层次、细粒度的动态分类，使零件分类粒度不受数据规模的限制，从而可以通过建立索引结构，实现自适应的工艺设计自动化。     

QoS约束下的语义web服务组合评估及优化

针对QoS约束下的语义web服务组合的多个组合方案,提出组合质量概念,并改进组合算法以便快速获得高质量组合方案.针对组合质量的不同指标,引入质量平衡系数,构造可调节的启发函数,并增加到两步组合算法的后向搜索中,从而使用户通过调节质量平衡系数,获得预期质量的组合方案.为了提高组合速度,在高效数据存储结构的基础上,采用逐步变窄的前向搜索策略.基于前述改进的算法实现一个组合规划器.实验表明该规划器能够快速给出满足QoS约束的组合方案,且通过质量平衡系数的设置,能够给出满足预期质量的组合方案.     

基于缺陷分析与测试评审的软件可信性评价方法

该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定位在正确性、可靠性、容错性、安全性、隐私性,以软件缺陷入手,评估软件的安全性、隐私性、容错性;以扩展软件测试入手,评估软件的正确性、可靠性;通过这5个素的评估,最终考量软件的可信性。通过这种方法,从以上5个维度对软件可信性进行量化评价,并发现设计初期引入的缺陷,提高了软件开发的质量和效率。     

基于协同交互的面部表情实时分析

通过设计面部表情分析的个体模型,研究模型间的协同交互机制.改进个体模型中面部表情聚类的分析方法,优化聚类类中心的选取和结构分布,设计实现了基于协同交互的面部表情分析模型.进行了多模型问协同交互的实时分析实验,验证了分析模型可以有效的提高面部表情识别的效率和准确度.     

面向海量RDF数据的术语集冗余划分方法

基于术语集规模小、内容稳定、入度高、访问频率高、具有整体性的特性,提出了术语集冗余预处理.在此之上设计了符合海量资源描述框架(RDF)数据集特性的划分框架.与经典多层次图划分算法的对比实验结果表明:引入术语集冗余和边权重因子的划分框架适用于海量RDF划分任务,能够以较小的冗余开销有效地降低边切分,从而为上层计算提供了良好的数据分布管理基础.     

尿素装置蒸汽快速升温钝化法研究

尿素生产过程具有强烈的腐蚀性,不锈钢材质表面需要生成一层牢固的氧化膜才具有抗腐蚀性.从CO2气提法尿素装置为例,在化工投料前,合成系统设备必须进行升温钝化.尿素厂多用二氧化碳加空气法、蒸汽加空气法进行钝化,现又增加了一种蒸汽快速升温钝化法．经生产实践验证,该方法不仅克服了前两种方法都存在的钝化时间长,温度不易控制等缺点,而且使用该方法完全能够满足合成系统四台高压设备的防腐要求.