自动测试系统的信息模型设计

自动测试系统（ATS）已广泛应用于各种武器装备的维护和保障领域,其体系结构也得到越来越广泛而深入的研究。在已有研究成果的基础上,通过一种基于信息的ATS模型,详细分析各组成部分的信息构成,给出了信息模型下的ATS结构。     

基于信息模型的通用自动测试系统体系结构研究

由于目前自动测试系统存在的模块化,系列化程度低,通用性差的现实存在,导致了装备全寿命周期保障费用增大的难题,通过对自动测试系统体系结构的研究,找到并提出了解决这一问题的答案,即通用自动测试系统;通过对通用自动测试系统的发展历程的研究,提出了基于信息模型的通用自动测试系统体系结构,并对其通用性原理和各信息模型包含内容进行了简要的介绍,对形成系统开放、体系结构完善的通用自动测试系统具有很好的指导作用.     

基于模型的无人机平台管理系统自动测试研究

为实现某无人机平台管理系统的功能逻辑测试,开发了一套通用化的测试设备和测试用例编辑工具;通过总结被控系统的静态及动态特征,用编辑工具生成的测试用例模拟了各系统,建立了系统模型;测试过程中,测试设备的激励信号按条件或时序自动发送,测试用例与平台管理系统完全自主交互,实现了平台管理系统功能逻辑的自动测试;该自动测试方法可以将现有的多个测试用例组合,方便地编辑复杂自动测试用例;通过复杂的测试用例实现了多通道并行自动测试、多被控系统的全任务流程自动测试;该自动测试方法减轻了测试人员负担,使得测试效率提高了4倍,节省了约80%的测试时间。     

卫星地面站自动测试系统的设计

文章通过对比国内外卫星地面站自动测试技术的现状，说明我国建设卫星地面站自动测试系统的必要性与迫切性，描述了自动测试系统的构建思想和原则，并给出了设计与实现的方案。     

8位模型计算机自动测试系统的设计与实现

描述基于MCS-51的自动测试系统的设计,实现对8位模型计算机的自动测试过程。对8位模型计算机的测试流程进行详细分析,绘出模型机的存储器模块、运算器模块和控制器模块的测试流程图,编写各模块的C语言测试程序。通过大量实验。完成时8位模型计算机的自动测试,整机测试执行时间不超过10秒钟。     

基于网络的电台自动测试系统

依据自动测试系统的发展趋势．讨论了网络化的自动测试系统模型．论述了以此模型为基础构建的网络化电台自动测试系统。系统的硬件以VXI仪器为主。采用GPIB-VXI方式构建；通过软件测试流程的研究。提出了软件的设计方案。     

集成电路综合自动测试系统软硬件接口设计

为满足日益增长的集成电路测试需求,研制了集成电路综合自动测试系统。该系统对外包含软件平台接口和硬件平台接口。软件平台接口主要针对在被测集成电路规模越来越庞大的背景下,测试程序开发成本高、但软件测试平台之间不能互相兼容的问题,设计了一种基于自动测试模型的集成电路测试程序开发方法,并采用典型集成电路进行了测试验证,可满足测试程序开发的需要。硬件平台接口主要满足高速信号等的传递需求,设计了基于弹性对接技术的硬件平台接口,并进行了结构尺寸、信号传递特性等指标的测试,测试数据表明,可实现测试接口板与测试头之间的稳定连接,满足最高1.6Gbps、最大2048通道数字信号等的传递需求。     

飞机综合罗盘自动测试系统的设计

论述了飞机综合罗盘自动测试系统的设计思想及设计原理,介绍了系统的硬件和软件结构,分析了该测试系统的主要特点。     

飞机综合罗盘自动测试系统的设计

论述了飞机综合罗盘自动测试系统的设计思想及设计原理 ,介绍了系统的硬件和软件结构 ,分析了该测试系统的主要特点。     

基于多Agent的自动测试系统测试仪器模型设计

测试资源建模是自动测试系统(ATS)通用化的基础.针对当前ATS中测试资源,特别是测试仪器种类多、功能复杂、难以采用常规方法进行建模的难题,采用基于多Agent方法,建立典型测试仪器模型.首先分析典型测试仪器的特性,建立分层多Agent模型,给出模型中各Agent的结构与功能.之后给出了各Agent之间的通信方式与协作机制.该模型具有良好的自适应性和可重构性,有利于实现ATS通用化.     

Automatic design and planning of scaffolding systems using building information modeling

Considering their significant impact on construction projects, scaffolding as part of the temporary facilities category in construction must be thoroughly designed, planned, procured, and managed. The current practices in planning and managing scaffolding though is often manual and reactive, especially when a construction project is already underway. Widespread results are code compliance problems, inefficiency, and waste of procuring and managing material for scaffolding systems. We developed a rule-based system that automatically plans scaffolding systems for pro-active management in Building Information Modeling (BIM). The scope of the presented work is limited to traditional pipe and board scaffolding systems. A rule was prepared based on the current practice of planning and installing scaffolding systems. Our computational algorithms automatically recognize geometric and non-geometric conditions in building models and produce a scaffolding system design which a practitioner can use in the field. We implemented our automated scaffolding system for a commercially-available BIM software and tested it in a case study project. The system thoroughly identified the locations in need of scaffolding and generated the corresponding scaffolding design in BIM. Further results show, the proposed approach successfully generated a scaffolding system-loaded BIM model that can be utilized in communication, billing of materials, scheduling simulation, and as a benchmark for accurate field installation and performance measurement.     

Controller design of uncertain nonlinear systems based on T-S fuzzy model

A robust control for uncertain nonlinear systems based on T-S fuzzy model is discussed in this paper. First, a T-S fuzzy system is adopted to model the uncertain nonlinear systems. Then, for the system with input variables adopting standard fuzzy partitions, the efficient maximal overlapped-rules group （EMORG） is presented, and a new sufficient condition to check the stability of T-S fuzzy system with uncertainty is derived, which is expressed in terms of Linear Matrix Inequalities. The derived stability condition, which only requires a local common positive definite matrix in each EMORG, can reduce the conservatism and difficulty in existing stability conditions. Finally, a simulation example shows the proposed approach is effective.     

'Soft' systems thinking and information systems: a framework for client-led design

Abstract. Since the mid-1980s there has been a growing interest in the application of soft systems methodology (SSM) to the information systems design process. This interest has resulted from attempts to overcome the recognized deficiencies of conventional computer systems analysis methods and techniques. A particular problem which has received attention over the past 5 years is the epistemological and operational differences between the investigative process of the pre-design stage and the technological specification. We suggest that this argument is somewhat unproductive and advocate a necessary rethinking about the nature of information systems and the use of technology to support their activities. A re-evaluation of the way that we set about designing computer-based information systems suggests that many of the problems of conventional systems analysis methods may be alleviated by an approach that allows the 'client', or 'user', to have a greater control over the identification, specification and development of their information system(s). The authors' belief in this course of action has led to the development of client-led design as an underpinning philosophy for user participation in the design of computer-based information systems. Client-led design draws upon and develops concepts and tools from 'interpretive', or 'soft', systems thinking and, in particular, can be seen as providing a framework for the type of subjective inquiry that Checkland & Scholes (1990) referred to as 'ideal-type' mode 2 SSM. This paper is related to the papers published in the Journal of Information Systems (Vol. 3, No. 3), which was a special edition to illustrate the influence of 'soft' systems thinking upon information systems design and development.     

Safe use of hospital information systems: an evaluation model based on a sociotechnical perspective

ABSTRACT

There is growing evidence that shows Hospital Information Systems (HIS) can pose risks to patient safety when they are poorly designed, implemented, or adopted. Most of the preventive solutions have focused on improving the software design, whereas, this study proposes a model for the safe use of HISs based on a sociotechnical perspective. A questionnaire survey was conducted to test the proposed model, in which a total of 364 medical doctors from three Malaysian government hospitals implementing the Total Hospital Information System (THIS) participated. Psychometric testing and factor analysis of the questionnaire instrument established its construct validity and reliability. Structural Equation Modelling (SEM) analysis showed knowledge, system quality, teamwork, and task stressor were the antecedents of safe use of a HIS that predicted the HIS use. In addition, HIS use is a predictor of the HIS use outcomes. Furthermore, HIS use is the mediator between antecedents of safe use of a HIS and the HIS use outcomes. The proposed model has portrayed predictive capability, implying that the model could effectively explain the safe use of a HIS and its outcomes. Hence, the model can provide a basis for evaluating the safe use of a HIS from a sociotechnical standpoint.     

Consistency in multi-viewpoint design of enterprise information systems

Different stakeholders in the design of an enterprise information system have their own view on that design. To help produce a coherent design this paper presents a framework that aids in specifying relations and consistency rules between such views. The contribution of our framework is that it provides a collection of basic concepts. These basic concepts aid in relating viewpoints by providing: (i) a common terminology that helps stakeholders to understand each others concepts; and (ii) re-usable consistency rules. We show that our framework can be applied, by performing a case study in which we specify the relations and consistency rules between three RM-ODP viewpoints.     

基于知识管理的信息系统项目管理研究

以构建基于知识管理的信息系统项目管理模式为目的，提出了以知识管理为中心的信息系统项目管理领域模型、以知识管理为主导的信息系统项目管理过程模型、以知识为基础的信息系统项目管理组织发展层次模型以及以知识和知识管理为纽带的信息系统项目管理总体框架，用于指导信息系统项目管理实践。     

基于组织建模的企业级信息系统访问控制模型

针对企业级信息系统访问控制中由于用户、角色与资源客体数量多而引起的控制复杂这一问题,提出了基于组织建模的访问控制设计思想。借鉴组织视图建模思想对传统RBAC模型中角色概念进行拓展,对客体分类并进行组件化设计以支持访问粒度控制。在此基础上给出一个基于组织建模的企业级信息系统访问控制模型,定义了一组模型要素并给出了实现访问控制的机理。最后给出一个基于组织建模的访问控制模型实现,并结合具体实例表明了该模型的可行性和有效性。     

基于模型参考和内模原理的线性系统鲁棒控制设计

不确定性因素会使系统性能恶化,它包括系统不确定性参数和各种外部干扰等.本文针对这种不确定性线性系统,利用模型参考和内模原理,建立鲁棒控制系统结构,分析了其能控性条件,通过选择参考模型和内模实现系统能控,在此条件下,将鲁棒控制设计转换为控制系统的LQR问题进行研究,并运用最优控制理论,计算其反馈控制律.仿真结果表明该设计方法将"模型参考"与"内模原理"有机结合起来,提高了系统的鲁棒稳定性,有效抑制干扰,并实现系统性能的改善.     

To model objects in information systems and user interfaces: implications for object-oriented methods

Abstract. A general way of contrasting the object-oriented to the function-oriented approach, called 'object-order' and 'function-order', is proposed in this paper. In addition, when modelling information systems, there is a third principle of ordering, 'subject-order'. Object and function-order are used to define the two approaches to modelling information systems and in human-computer interaction, in ways that are compatible to the corresponding distinction in programming. The conditions for selecting either of the two approaches are, however, not discussed here.
By means of an object-ordered method, e.g. Jackson System Development (JSD), an object-ordered model is produced, and the user interface that can be derived from the model is object-ordered too. However, other guidelines in JSD support subject-order. A function-ordered interface can be derived from the subject-ordered model. A computer system designed by means of an object-organized method may therefore obtain an interface that is partially object-ordered and partially function-ordered. Other object-oriented methods give guidelines for designing function-oriented interfaces without relating these guidelines to the model.
The system designer may benefit from having three principles of ordering when modelling a system. However, a user may be confused by an interface that sometimes gives preference to objects, sometimes to functions.     

A new method for testing timed systems

Devising formal techniques and methods that can automatically generate test suites for timed systems has remained a challenge. In this paper Timed Input/Output Automata (TIOA) are used as a formal specification model for timed systems. This work proposes and proves the correctness of a new and more general discretization method that can be used to obtain grid automata corresponding to specification TIOA, using almost any granularity of interest. Such flexibility to find a suitable granularity opens the possibility for a more compact construction of grid automata. It is also shown how test purposes can be used together with the specification TIOA in order to generate grid automata that capture the behavior of both the specification and the test purpose. From such grid automata one can algorithmically extract test suites that can be used to verify whether given implementations adhere to the specification and reflect the properties modeled using the test purposes. Copyright © 2011 John Wiley & Sons, Ltd.