曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

References
[1] Hydroinformatics and terminology management, Ahmad, K and Price, R K., Proc. Second Int. Conf. on
Hydroinformatics, Zurich (1996), Zurich: Balkema. pp 225-230, 1996.
[2] A Knowledge-based Approach to Safety in Design, Ahmad, K., Achievement and Assurance of Safety, Ed
Redmill and Anderson, 1995, ISBN 3-540-19922-5..
[3] The Terminology of Safety, Ahmad, K. & Salway, A., in (Eds) Klaus-Dirk Schmitz and Christian Galinski.
Proceedings of 4th International Congress on Terminology and Knowledge Engineering, Vienna. Frankfurt:
INDEKS-Verlag pp289-297, 1996.
[4] Safety-critical design and analysis of water carrying networks, Price, R K and Ahmad, K.), Proc. Second Int.
Conf. on Hydroinformatics, Zurich (1996). Zurich: Balkema. pp 349-354, 1996.
[5] Safe-Design of Urban Drainage by use of Information Systems, Salway, A., Blackpool, Wallingford Proc.
Users Group (WaPUG), 1995.
[6] Computer Programs for the Safe Design of Urban Drainage Networks, Salway, A., Ahmad, K. & Collingham,
S., in 7th International Conference on Urban Storm Drainage, Hanover, 1996.
[7] Multi-agent in simulation and modelling, Selvaratnam, I. & Ahmad, K. WOz'95: International Workshop on
Oz Programming. Martigny, Switzerland pp.1-15, 1995.
[8] Towards a Constraint-based Multi-agent System, Selvaratnam, I., M.Phil to Ph.D. Transfer Report, May
1996, University of Surrey, + C2.
[9] The Safe-DIS Requirements Specification, Report CS-97-01, 1995, + C2.
[10] The Acquisition and Animation of Safety Related Knowledge, Report CS-97-02, 1995, + C2.
[11] The Safe-DIS Implementation Specification Document, Report CS-97-03, 1996, + C2.
[12] The Development, Testing and Evaluation of the Safe-DIS Prototype, Report CS-97-04, 1997, + C2.
[13] Background Experience in Urban Drainage Modelling, Report IT 420, Dec 1994, + C1.
[14] Comparison of Urban Drainage Simulation Engines, Report IT 421, Dec 1994, + C1.
[15] SAFE-DIS Final Report, Dec 1996, + C1.
Project number: 9216 Approx. Project Cost: £0.3m Start date: Oct 1993 End date: Sep 1996
EPSRC Grant number: h95235
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
26
SafeFM Formal Methods in Safety-Critical Systems
AEA Technology,
GEC-Marconi Avionics Ltd,
Royal Holloway College
Contact: Mr P Derbyshire
AEA Technology Consultancy Services
Thomson House
Risley, Warrington
Cheshire, WA3 6AT
Tel: 01925 232000 Fax: 01925 254302
Summary
The aims of the project were:
· to provide guidelines of a cost effective approach using formal methods in the development and assessment of
high integrity software systems;
· to devise a methodology and calculus for constructing provably coherent system specifications;
· to develop models for the quantification of software.
The main results of the project are described in Formal methods for cost-effective procurement of high integrity
systems in Chapter 13.
References
[D3] Coherent Requirements Specifications for Safety Critical Real Time Systems, 020-RH-1, Feb 1994, + D.
[D6] Definition of Coherent Specification Calculus, RH-1, Jan 1996, + D.
[D7] Coherent Specification Proof Theory and Tool Support, RH-1, Jan 1996, + D.
[D9] Tool Integrity Analysis, 046-GEC-1, Jul 1995, + D.
[D12] Software Development with Formal Methods, 051-GEC-1, Dec 1995, + D.
[D13] Formal Verification of Safety Requirements and Design, 059-GEC-1, Mar 1996, + D.
[D14] Mangement of Design from Large Specifications, 060-GEC-1, Mar 1996, + D.
Project number: 9013 Approx. Project Cost: £0.6m Start date: Sep 1992 End date: Sep 1995
EPSRC Grant number: h11471
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
27
SAFESA Safe Structural Analysis
Assessment Services Ltd,
Cranfield University,
Lloyd’s Register,
Nuclear Electric plc,
WS Atkins
Contact: Mr M Draper
Assessment Services Ltd
Segensworth Road
Titchfield, Fareham
Hampshire, PO15 5RH
Summary
The SAFESA project has created a consistent and logical method for qualifying structures using finite element
analysis. This provides procedures for treating errors which arise in the idealisation process associated with the
analysis of real world structures. The method and error treatment procedures are encapsulated in two documents, the
SAFESA Quick Reference Guide [1] and the SAFESA Technical Manual [3] which now form part of the NAFEMS
library. In addition, the SAFESA Management Guidelines [2] has been generated which provide a standard for
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(159)