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

[5] A Method for Controlling the Production of Specifications in Natural Language, B Macías, S Pulman, The
Computer Journal, Vol 38, No 4, 1995.
[6] Natural-Language Processing and Requirements and Requirements Specifications, B Macías, S Pulman,
University of Cambridge Computer Laboratory Technical Report 373, 1995.
[D8] Review of Current Safety Analysis Techniques, + D.
[D12] Survey of natural language processing applications and relationship to specifications, + D.
[D23] Architecture Report, + D.
[D25] Specification of the Platform, + D.
[D30] Use of CLE/CLARE in semi-automatic translation of English-like specifications, + D.
[D32] Fastflex Configuration Tool: User Manual, + D.
[D34] [D35] [D36] Assessment Reports on Avionics, Plant Control amd Laboratory Instrumentation Case Studies,
+ D.
[D37]Non-formal Description of the Application Cofiguration Language Syntax and Semantics, + D.
[D38] Towards a Measurement Based Assessment Framework, + D.
[D39] Management Guidelines for the Development of Safety-related software, + D.
[D40] Final report on the use of natural language processing in specifications, + D.
[D41] Project Final Report, + D.
[D42] Taxonomy of Architectures, + D.
[D49] Final Report on Safety Properties, + D.
Project number: 9001 Approx. Project Cost: £2.3m Start date: Dec 1991 End date: Mar 1995
EPSRC Grant number: h11488
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
17
Network Programming
University of Exeter
University of Sheffield
Contact 1: Prof D Partridge,
Department of Computer Science,
University of Exeter,
Prince of Wales Road,
Exeter, EX4 4PT.
Tel: 01392 264069. Email:
derek@dcs.exeter.ac.uk.
Contact 2: Dr Amanda Sharkey,
Department of Computer Science,
Regent Court, Portobello Street,
University of Sheffield,
Sheffield, S1 4DP,
Tel: 0114 2825568 Fax: 0114 2780972
Email: amanda@dcs.shef.ac.uk
Objectives
1 To quantify the diversity, and hence the system reliability, achievable by including trained neural-net versions
in a conventional multiversion system;
2 To measure the diversity achievable between neural-net versions;
3 To develop a formal basis for ‘network programming’;
4 To assess the reliability of network programmed systems.
For a description of the project results see section 14.3, Neural computing, and section 15.3, The multiversion
approach to ultra-reliablity.
References
[1] The case for an inductive computing science, D. Partridge, IEEE Computer, Jan 1997.
[2] On the difficulty of really considering a radical novelty, Minds and Machines, vol 5, 391-410, D. Partridge,
1995.
[3] The specification of ‘specification’, D. Partridge and A. Galton, Minds and Machines, vol. 5, 243-255, 1995.
[4] Non-programmed computation, D. Partridge, Res. rep. no. 338, Dept. Computer Science, University of
Exeter, 1996, + C1 (Communications of the ACM, in press).
[5] An experimental evaluation of methodological diversity in multiversion software reliability, D. Partridge, N.
Griffith, D. Tallis and P. Jones, Research Report, Dept. of Computer Science, University of Exeter, 1996, +
C1.
[6] How to improve the reliability of Artifical Neural Networks, Sharkey, A.J.C, and Sharkey, N.E., Research
Report CS-95-11, Department of Computer Science, University of Sheffield, 1995, + C2.
[7] Neural Nets and Diversity, Sharkey, A.J.C, Sharkey, N.E. and Chandroth, G.O., Proceedings of the 14th
International Conference on Computer Safety, Reliability and Security, Belgirate, Italy, 11-13 October 1995
pp 375-389, 1995.
[8] Diverse Neural Net solutions to a Fault Diagnosis Problem, Sharkey, A.J.C, Sharkey, N.E. and Chandroth,
G.O., Neural Computing and Applications, 4, pp218-227, 1996.
[9] On Combining Artificial Neural nets, Sharkey, A.J.C., Connection Science, 8, 3/4, pp 299-314, 1996.
Project number: 9301 Approx. Project Cost: £0.4m Start date: Feb 1993 End date: Jun 1996
EPSRC Grant number: h85427
Advances in Safety Critical Systems - Results and Achievements from the DTI/EPSRC R&D Programme. Compiled and edited by Mike Falla.
18
PRICES
Lloyd’s Register of Shipping,
Analysis International,
BAeSEMA Ltd,
Rolls Royce plc,
G P Elliot Electronic Systems Ltd,
OPen University
Contact: Mr R J Tooze
Lloyd's Register of Shipping
Lloyd's Register House
29 Wellesley Road
Croydon
CR0 2AJ
Tel: 0181 681 4040
Summary
The aim of the PRICES project was to improve both the integrity and the productivity of safety-critical software
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料25(153)