合成状态图中非预期状态转换路径的确认

利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述.从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程.在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径.     

适应1：1双向关联关系设计调整的代码重构

在总结面向对象1：1双向关联关系几种典型的设计方法的基础上，利用类方法和类变量提出了一种适应1：1双向关联关系设计变化的代码重构方法。     

具有最大并行度的合流性主动规则执行模型

合流性反映了主动规则集确定性行为特性。目前保证合流性的主动规则执行算法基本是串行的,而已有的并行规则执行算法并不保证合流性结果。本文扩展了已有的主动规则执行模型,给出具有最大并行度的合流性主动规则处理算法,并证明了该算的正确性。     

语音通讯业务在企业的实现及效率

随着IP网络的日益普及和网络带宽应用的不断增加,人们的沟通方式趋于多样性,而且更加轻松和便捷。对于一个成功的企业,企业的信息建设不单单局限在简单的IT应用建设,而是致力于以业务驱动为目的,来进行高层次的IT的建设。进行语音通讯业务的建设,是以增加公司的收益、提高业务的效率、更有效的管理与客户关系、增加企业内部沟通的畅通等业务特性的改善作为切入点以及最终目的。     

企业语音通信机房综合管理与设备维护

随着社会的高速发展,计算机等媒介的使用变得越来越大众化,计算机专业领域也同步发展起来,从而产生了企业语音通信机房这样的办公环境。由于机房是企业的重要实践场所,因而也使得机房的使用率随之增高,从而也引发了一些随之而来的问题。机房设备损坏,机房故障频发等现象就出现了。对机房进行科学的维护和管理成为势在必行的事情,只有这样才能使企业的各项工作顺利展开。今天,我们就针对机房的现状,使用的过程中出现的问题,机房的综合管理办法,机房维护等方面进行简单的浅谈。     

微生物絮凝剂的研究与应用进展

微生物絮凝剂是一种具有广阔应用前景的天然高分子絮凝剂 ,因其无毒、可生物降解、无二次污染等独特的性质受到人们的广泛关注 ,而被广泛的应用于污水处理、给水工艺以及食品和发酵工业等。综述了微生物絮凝剂的开发现状和应用进展 ,包括微生物絮凝剂的发展历史 ,合成絮凝剂的微生物种类、微生物絮凝剂的主要成分及性质、微生物絮凝剂产生菌的基因控制、微生物絮凝剂的絮凝机理及微生物絮凝剂的合成条件和提取方法等方面 ,最后列举了微生物絮凝剂在污染治理等领域实际应用的例子     

聚天门冬氨酸/盐的合成、改性及应用研究进展

聚天门冬氨酸/盐(PASP)是一种新兴的可生物降解的环境友好材料,凭借其特殊的分子链结构和优异的性能在许多领域得到广泛应用。近年来,随着研究的不断深入,PASP的合成及改性方法逐渐多样化,产品类型不断丰富、性能大大提升,其应用领域也得到快速扩展。本文综述了PASP的合成、改性方法以及PASP在工农业(阻垢剂、缓蚀剂、肥料增效剂、保水剂、涂料)、生物医药和其他领域应用的新进展,并对PASP及其改性衍生物未来的发展方向进行了展望。     

从Scenarios到状态图的算法分析*

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍,并对现有算法进行了总结和分类,进一步指出这些算法的不足和今后需要改进的方向。     

嵌套事务的正确性及锁协议*

嵌套事务作为扩展事务模型的一种,应用较为广泛,对嵌套事务正确性进行了描述,并给出了一个嵌套事务模型的并发控制锁的协议。     

适应1∶1双向关联关系设计调整的代码重构*

在总结面向对象1∶1双向关联关系几种典型的设计方法的基础上,利用类方法和类变量提出了一种适应1∶1双向关联关系设计变化的代码重构方法。