印刷企业供应物流信息系统中库存子系统的分析与设计

利用UML建模工具对印刷企业供应物流信息系统中库存管理子系统进行了分析与设计.采用用例和用例图进行系统分析,采用顺序图和活动图进行系统动态建模,通过定义类和类图进行了系统静态建模,分析了数据的存储结构并通过定义SQL SERVER数据库中的过程存储进行数据库的设计.     

基于UML的网上图书销售系统的建模与设计

运用基于UML的面向对象分析方法,按照软件工程的思想,借助于统一建模语言,使用Rational Rose为建模工具对网上图书销售系统进行建模设计,利用表示系统静态特征的UML类图、用例图和描述系统动态行为特征的时序图对其进行详细描述。     

UML时间顺序图的自动验证技术

UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.     

基于20-sim的减振器试验台液压系统键合图建模与动态仿真分析

研究了液压系统键合图建模方法.使用20-sim软件,建立了减振器试验台压缩时液压系统的键合图模型,并进行动态仿真,得到系统输出速度和输出压力的动态响应曲线,仿真结果证明了建模方法的可行性与正确性;通过建立系统的Simulink模型进行对比仿真分析,进一步验证仿真结果的可靠性.研究工作为液压系统的动态建模及仿真提供新的思路.     

基于UML的餐饮预订系统的需求分析和建模

阐述UML的基本概念、特点和作用,从对餐饮预订系统的需求调研入手,应用面向对象的方法 ,基于UML对系统进行了需求分析与建模。介绍需求捕获、需求分析和需求描述的完整过程。其中,运用了用例图、类图和活动图,描述了建模的主要过程。最后介绍系统的实际应用情况,并提出进一步的优化和改进建议。     

基于AUML面向Agent的DDoS攻击模型

利用AUML(Agent UML)语言对DDoS攻击进行建模研究。以用例图描述攻击责任分配;以Agent类图描述系统的静态模型;以时序图和活动图描述系统的动态行为模型。     

中小型印刷企业采购管理信息系统分析

利用UML建模工具对中小型印刷企业采购管理信息系统进行了分析.通过定义系统中的角色、用例和用例图对中小型印刷企业采购管理信息系统进行了分析.     

基于图文法的产品族配置及其建模研究

根据产品族生成机理与图语言生成机理的相似性,提出了一种产品族的图文法表达方法,并根据产品族的图文法模型构建了基于图文法的产品族配置系统的体系结构.用UML对基于图文法的产品族配置系统进行用例建模、静态建模、动态建模以及编码与部署分析,从而为系统的具体开发做准备.     

基于UML的学生信息管理系统建模

本文介绍了UML的建模过程及建模特点,首先描述了高校学生信息管理的需求分析及功能模块划分,然后重点以学生的学习管理模块为例,建立了系统主要的用例图、类图、顺序图。     

系统开发中的UML建模应用

本文探讨了系统开发中基于UML进行面向对象的系统分析及设计方法,包括静态建模和动态建模：提出了一种实用的基于UML的需求分析及其建模方法,以活动图模型来表达业务模型,以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑,以应用例图表达系统需求：讨论了需求分析及其建模的过程概念。     

Analytical models for pick distances in fishbone warehouse based on exact distance contour

The pick distance models for a unit load warehouse employing fishbone layout conventionally use semicircular approximation for distance contour which can result in significant error. This paper develops discrete and continuous pick distance models for fishbone layout under random, full turnover, and class-based storage policies based on exact polygonal distance contour. Class-based storage policy with three classes was found to give pick distance comparable to full turnover policy over a range of demand skews and warehouse shapes studied. The discrete and continuous models are compared considering finite storage space, aisle width and discontinues in the ABC curve for a real life data. The sensitivity of warehouse performance over a range of warehouse parameters is studied. We also outline a methodology for class-based storage design where class partitions can be derived for a warehouse of any dimension from the results of a unit area warehouse.     

Thermodynamic calculation of the B-C system at pressures to 24 GPa

The evolution of topology of the B-C phase diagram has been studied at pressures up to 24 GPa using models of phenomenological thermodynamics with interaction parameters derived from experimental data on phase equilibria at high pressures and high temperatures.     

Thermodynamic calculation of the phase diagram for the Al–B–C system at pressure 7.7 GPa

The phase diagram of the Al–B–C system has been calculated at pressure 7.7 GPa using models of the phenomenological thermodynamics with the interaction parameters derived from the experimental data on the phase equilibria at high pressures and temperatures.     

Thermodynamic calculation of the phase diagram of the Si–C system up to 8 GPa

The isobaric sections of the phase diagram of the silicon–carbon system at 8 GPa has been calculated using the phenomenological thermodynamics models with parameters of the interaction that have been defined based on the experimental data on the phase equilibria at high pressures and temperatures.     

Zeolite heat pump — adsorption of methanol in synthetic zeolites 13X, 4A and 5A

The adsorption isotherms for methanol adsorption in synthetic zeolites 13X, 4A and 5A were measured gravimetrically at various temperatures. The model of Langmuir and the potential theory were used for correlating the equilibrium data. The monolayer capacity was calculated using these two models. A small deviation at elevated temperatures was observed. The differential heat of adsorption was measured calorimetrically for all three zeolites. The isosteric heat of adsorption was calculated for zeolite 13X using measured equilibrium data. The log p, 1/T equilibrium diagram for zeolite 13X was computed using the Langmuir equation.     

Critical evaluation of the thermodynamic properties of molybdenum

The thermodynamic properties and the pressure-temperature phase diagram of pure Mo have been evaluated from experimental information using thermodynamic models for the Gibbs energy of the individual phases. A set of parameters describing the Gibbs energy of the various phases as a function of temperature and pressure is presented. The agreement between experimental data and calculated values is satisfactory.     

Phase diagram of the B–B<Subscript>2</Subscript>O<Subscript>3</Subscript> system at pressures to 24 GPa

The evolution of topology of the B–B₂O₃ phase diagram has been studied at pressures up to 24 GPa using models of phenomenological thermodynamics with interaction parameters derived from experimental data on phase equilibria at high pressures and high temperatures.     

Automatic test case generation using unified modeling language (UML) state diagrams

UML is widely accepted and used by industry for modelling and design of software systems. A novel method to automatically generate test cases based on UML state models is presented. In the present approach, the control and data flow logic available in the UML state diagram to generate test data are exploited. The state machine graph is traversed and the conditional predicates on every transition are selected. Then these conditional predicates are transformed and function minimisation technique is applied to generate test cases. The present test data generation scheme is fully automatic and the generated test cases satisfy transition path coverage criteria. The generated test cases can be used to test class as well as cluster-level state-dependent behaviours.