INTOOLS仪表设计软件的选择分析

介绍INTOOLS仪表设计软件的组成及功能,分析该软件成为目前世界上在仪表设计领 域运用比较广泛的仪表集成设计软件之一的原因,以及我们选择此软件实际应用的理由和价值。     

GAO Feng~1,LI Wei~2,TANG Zon

tific Experiment Center of Guangxi Medical University,Nanning 530021,China)Objective:To investigate the mutation pattern of adenomatous polyposis coli(APC),Kirsten-ras(K-ras) and p53 genes in sporadic colorectal cancer tissues.Meth     

Analyses and Solutions of Specific Cases in Spatial Angles Calculation

1 Introduction “Spatial Angles Calculations” means that all the calculations of given and unknown parameters are related to calculating angles in 3D space. The functions and relevant parameters in 3D space are much more complicated than that in 2D space, i.e. on a plane. Professor Sun, based on his research conducting for more than a decade, presented a series of new algorithms to calculate angles in space which are valuable in both theory and applications[1]. The authors found that, in g…     

基于自适应共振理论(ART)网络的机床设备实例的分类

阐述了自适应共振理论(ART)网络的原理及训练算法.利用ART网络良好的自组织,自学习,可塑性强的特点,提出基于神经网络的机床设备实例分类的策略.该方法求解简单快速,容易实现,效率高,在实际工程中具有良好的应用前景.     

Safety-based availability assessment at design stage

The availability of a system or equipment is one of the crucial characteristics that measures the customer satisfaction and strongly influences his final choice decision between concurrent products. The aim of this work is to provide an approach to improve the products availability assessment by taking into account the safety criteria by considering the use situations at design stage. Our work focuses on the routine design of complex products. The availability is often simply estimated considering reliability and maintainability. Basically, the intrinsic availability is the probability that it is operating satisfactorily at any point in time when used under conditions stated by design specifications. The time considered includes operating time and active repair time. Thus, intrinsic availability excludes from consideration all other times in the product lifecycle such as: accident management time, storage time, administrative time or logistic time. But many studies show that the loss of availability performance is also due to accidents that occur in different unforeseeable utilization situations. This engenders stops of the system to ensure the users safety according to standards recommendations. In this purpose, we consider the structural product architecture and the different use cases that correspond to the operational states and downtimes due to stop events that may happen during the utilization like failures, maintenance tasks and accidents. Then, we propose a product behavioral analysis including the use cases to describe interactions between the product and users or maintenance operators. We use Markov chains to model the use cases corresponding to operating time (OT), maintenance time (MT) and preparing time after accidents (RT). Then these three parameters are considered to specify a generic approach to improve the availability assessment. Such an approach provides the traceability of the product behavior along its lifecycle. In this way, the main causes of stop can be identified and this may guide the designer for improving the availability of the product future versions. To validate our approach, an application is presented considering a printing line. The comparison of our simulation considering an industrial case study shows a good agreement about the influence of safety on the availability.     

Fuzzing技术的样本数据组合研究*

提出了基于样本数据组合的Fuzzing技术,并抽象出了解决样本数据覆盖问题（data sample covering problem,DSCP）的数学模型;为了更好地解决样本数据覆盖问题,提出了改进遗传算法(developed genetic algorithm,DGA),通过实例实验说明了DGA的有效性,并且通过仿真实验,验证了算法在求解复杂协议文件样本数据覆盖问题时比贪心算法和简单遗传算法具有更高的效率。     

基于CPN的工作流异常处理模型设计

工作流异常处理是工作流管理系统中的重要组成部分,但是它的实现既复杂又耗时。为了支持面向服务的工作流,层次化地描述异常处理,提出一种基于CPN的异常处理模型。在形式化描述工作流异常的基础上,采用补偿法作为异常处理方式,详细描述了处理结构中的异常监控、异常分析和补偿案例执行三个子过程。结合茶餐厅的运营模型的仿真实验证明了该模型可有效地分离工作流的异常处理逻辑和运行逻辑,并支持工作流管理系统的实施。     

分布式软件系统交互行为建模、验证与测试

为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2．0序列图对模块之间交互行为进行描述．采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为 Promela 模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径．给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试．实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性．     

基于UML顺序图测试用例的生成

在分析UML模型可测试性的基础上,提出一种基于UML顺序图模型生成分布式系统测试用例方法,以系统软件配置项为对象对分布式应用典型场景进行模拟,通过解析MDL文件给出对顺序图XML的建模方案,实现一个自动生成分布式系统测试用例工具。实验结果表明,生成的测试用例达到判定覆盖的标准,具有良好的应用前景。     

一个基于Web日志的用户访问数据分析系统

通过结合网站设计初期的网站结构和典型用例的预先定义,构建一个基于Web日志数据的用户访问数据分析系统。该系统（AS-UAB,Analysis System of User Access Behaviors）通过对网站结构和典型用例的预先植入,利用该领域最新的研究方法和结论,为网站相关人员提供可视化的用户访问信息统计及趋势预测,网站结构设计及交互设计上存在的问题及改进建议等通用功能和个性化定制功能。