一种将需求模型转换为软件体系结构模型的方法

需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。     

高档中温快烧反应釉的试制及生产

系统介绍了高档瓷用中温花釉系列配方组成,以及生产工艺等影响因素。该釉适应性强,有广阔的市场前景。     

基于层次社会组织目标的需求过程建模

将社会组织结构抽象为递归的社会组织域树,其顶层目标即为社会组织总体目标,总体目标层层分解为社会子组织域目标,从层次化的社会组织目标构建软件系统需求目标分解树,进而构建软件系统需求,并用层次着色Petri网对软件系统需求过程进行形式化建模,无缝连接社会组织目标与软件系统需求,为软件系统需求分析提出了一种自然、直观的需求过程建模方法.     

一种基于PCA的MPSK信号码元速率估计方法

针对MPSK信号的码元速率估计问题, 研究了有限数据条件下循环谱的谱线特征受到背景色噪声干扰的现象, 提出了一种基于主分量分析(PCA)的循环谱特征码元速率估计方法。PCA变换抑制了信号循环谱中的背景色噪声, 提高了估计精度, 减小了估计方差。仿真表明, 该方法在有限数据条件下具有良好的估计性能, 适用于不同成形滤波系数的MPSK信号。     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。     

Modeling the Value-Based Software Process with Object-Petri-Nets

Commercial organizations increasingly need software processes sensitive to busi- ness value, quick to apply, supportive of multi-stakeholder collaboration, and capable of early analysis for subprocess consistency and compatibility. This paper and a companion paper \Applying Value-Based Software Process: An ERP Example" present our experience in ap- plying a lightweight synthesis of a Value-Based Software Quality Achievement (VBSQA) process and an Object-Petri-Net (OPN) based process model to achieve a stakeholder win- win outcome for software quality achievement in an ERP software project in China. We attempt to answer such questions as (1) whether it is possible to model various project stakeholder perspectives using formal process modeling languages in a real-world project? (2) how to make stakeholders synchronize and stabilize their value propositions, activities and commitments as needed. The companion paper presents the VBSQA process and its application to the ERP project; this paper presents the OPN-based process modeling and its application. The application results of OPN process modeling conˉrmed that (1) the OPN- based process model provided project managers with a synchronization and stabilization framework for process activities, success-critical stakeholders and their value propositions; (2) process visualization and simulation tools signiˉcantly increased management visibility and controllability for the success of the software project.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于Grails的综合网络管理系统的设计

介绍了网络环境下对各种网络资源、服务对象以及业务活动进行分析与处理的网络综合管理系统的设计.该系统在基于JavaEE平台的Grails环境下设计,通过工作流建模、业务活动监控、建立统一门户等技术,实现高效的网络监控和管理运行.与传统单一网管系统相比,该系统具有特定网络环境全业务支持、高度定制、使用方便、性能优越等特点.     

天然彩色棉/绢丝混纺原料对织物风格的影响

为了解混纺比对天然彩色棉/绢丝混纺织物风格的影响,制备了系列天然彩色棉(棕)/绢丝混纺机织物,并采用FAST对混纺织物的风格进行测试与分析.研究表明,随着绢丝含量的增加,天然彩色棉/绢丝混纺织物的强伸性能得到明显改善,织物的风格变得相对滑爽,柔软,但造型性有所变差.少量绢丝的加入(＜10%)对织物柔软性的改善明显.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.