From ethnographic record to system design

This paper explores the issues involved in moving from ethnographic explorations of work in context to a practical contribution to system design. It does so using the example of an interdisciplinary research project involving sociologists and computer scientists in the domain of air traffic control systems. It forms a pair with another paper (Sommerville et al., 1992) exploring these questions from the perspective of our computer science partners. We characterise ethnography as a research method, and consider the differences between undertaking it for strictly sociological or anthropological purposes by contrast with interdisciplinary and design purposes. We summarise some of our results in ethnographic explications of the work of air traffic controllers, and the sociality which it manifests. We describe the dialogues involved in rendering these observations informative for systems design, and the mutual translations implied in attempting to reconcile sociological with software engineering questions about supporting the work. We conclude by specifying some features of cooperative work which an engineering approach is in danger of overlooking; the ways, and limits, in which ethnographers can form a bridge between users and designers; and some of the conflicts of interest entrained in generating technical change.The research is funded by the UK MRC/SERC/ESRC Cognitive Science/HCI Initiative with the title Social Analysis of Control Systems for HCI Design, grant number SPG 8931598. The computer science partners are Professor Ian Sommerville, Dr Tom Rodden, Dr Pete Sawyer and Mr Richard Bentley. Thanks are due to Val King, Kjeldt Schmidt, Ian Sommerville and Tom Rodden for very helpful comments on earlier drafts of this paper.     

The expected complexity of analytic tableaux analyses in propositional calculus — II

The article continues a study of the complexity of an analytic tableaux algorithm for SAT. The main result is that the average number of branches in analytic tableaux of formulae of lengthn is((1.09988...) ⁿ ). The maximum number of branches is also studied. Both the average and worst case complexity measures are used to compare analytic tableaux and truth tables.For the average case result the precise number of consistent branches and the precise number of inconsistent branches (for formulae of lengthn) are each expressed as multiply indexed sums whose terms involve factorials and Stirling numbers of the second kind. The asymptotic behavior of these sums is determined by adapting a classical technique for determining the asymptotic behavior of singly indexed sums whose terms involve factorials.     

iPad客户满意度研究

通过对用户对ipad认知、体验等各个方面的研究,了解客户满意度,从品牌影响力、购买倾向、购买渠道、用户体验和受访者特征5个维度进行分析,从而改善用户满意度及销售计划。     

文科《多媒体技术与应用》课程设置与教学研究

多媒体技术是以数字技术为基础的综合技术。本文结合文科学生的特点,探讨了《多媒体技术与应用》课程设置与教学。     

浅谈GPS导航系统在油田运输管理中的应用

我油田地处华北东部,随着油田不断发展,对外承包业务愈来愈多。道路营运车辆也日益增多,营运范围也逐渐扩大,给道路运输经营管理与车辆合理调度工作提出了新的要求,而全球卫星定位系统的发展为道路运输管理的有效指挥、协调控制和管理提供了技术支持。本文结合GPS系统的原理,探讨GPS系统在油田运输管理中的应用。     

Some new volatile compounds from the non-enzymic browning reaction of glucose-glutamic acid system

Summary The volatile compounds from the Maillard reaction in the glucose - glutamic acid system were analysed by combined gas chromatography - mass spectrometry. Of the 50 peaks detected, 42 components comprising 2 acids, 2 alcohols, 5 carbonyls, 2 esters, 4 lactones, 17 furans, 4 pyrazines and 3 pyrroles were identified, four of which tentatively. Decadien 2,4-al, 2-n-pentyl furoate, 2-(2-fury()-pyrazine. -nonalactone, 2-(2-fury()-5- or 6-methylpyrazine were previously not reported to occur in heated sugar - amino acid browning systems. The new compound, 5-formyloxymethyl-2-furfural has apparently not yet been recorded in the chemical literature.The compound 5-acetoxymethyl-2-furfural had an aroma close to that of bread whereas 5-formyloxymethyl-2-furfural exhibited a very faint sweet burnt aroma.

---

Einige neue flüchtige Verbindungen aus der nicht-enzymatischen Bräunungsreaktion des Glucose-Glutaminsäure-Systems

Zusammenfassung Die flüchtigen Verbindungen aus der Maillardreaktion des Glucose-Glutaminsäure-Systems wurde mit Hilfe der Gaschromatographie/Massenspektrometrie analysiert. Von den 50 nachgewiesenen Peaks wurden 42 identifiziert: 2 Säuren, 2 Alkohole, 5 Carbonyle, 2 Ester, 4 Lactone, 17 Furane, 4 Pyrazine, 3 Pyrrole und 4 weitere provisorisch. Deca-2,4-dienal, 2-n-Pentylfluorat, 2-(2-Furyl)-pyrazin, -Nonalacton, 2-(2-Furyl)-5 oder -6-Methylpyrazin wurden bisher nicht in dem erhitzten Zucker-Aminosäuren-Bräunungssystem registriert. Die neue Verbindung 5-Formyloxymethyl-2-furfural ist anscheinend noch nicht in der chemischen Literatur festgestellt worden. Die Verbindung 5-Acetoxymethyl-2-furfural hat an ein Brot erinnerndes Aroma, während die 5-Formyloxymethyl-2-furfural-Verbindung ein sehr schwaches süßlich-verbranntes Aroma aufweist.

---

---

Taken in part from the Ph. D. thesis of the Senior Author     

High temperature mechanical properties of single phase alumina

The creep properties of a commercial, single phase aIurnina have been determined in the temperature range of 1623 to 1723 K. The stress exponent,n, in the relationship ⁿ was determined to be 1.9 and the true activation energy was found to be 635 kJ mol^–1. Normal primary stage creep transients were observed up to strains of 1%. At low stresses, steady-state conditions were not obtained due to the occurrence of concurrent grain growth. It is shown that the steady state creep results are consistent with the occurrence of an interface controlled diffusionaI creep mechanism.     

An analytical and numerical study of the two-dimensional Bratu equation

Bratu's problem, which is the nonlinear eigenvalue equationu+ exp(u)=0 withu=0 on the walls of the unit square and as the eigenvalue, is used to develop several themes on applications of Chebyshev pseudospectral methods. The first is the importance ofsymmetry: because of invariance under the C₄ rotation group and parity in bothx andy, one can slash the size of the basis set by a factor of eight and reduce the CPU time by three orders of magnitude. Second, the pseudospectral method is ananalytical as well as a numerical tool: the simple approximation3.2A exp(–0.64A), whereA is the maximum value ofu(x, y), is derived via collocation with but a single interpolation point, but is quantitatively accurate for small and moderateA. Third, the Newton-Kantorovich/Chebyshev pseudospectral algorithm is so efficient that it is possible to compute good numerical solutions—five decimal places—on amicrocomputer inbasic. Fourth, asymptotic estimates of the Chebyshev coefficients can be very misleading: the coefficients for moderately or strongly nonlinear solutions to Bratu's equations fall off exponentially rather than algebraically withv untilv is so large that one has already obtained several decimal places of accuracy. The corner singularities, which dominate the behavior of the Chebyshev coefficients in thelimit v, are so weak as to be irrelevant, and replacing Bratu's problem by a more complicated and realistic equation would merely exaggerate the unimportance of the corner branch points even more.     

An intrinsic behavior-based model for interactive structural design

This paper introduces a generic model for interactive design of constructed facilities. The proposed methodology synthesizes structural problem parameters and conditions in terms of load environment, structural properties, and function of the structure into a hierarchy of possible failure modes. Design evaluations are made in terms of this behavior hierarchy. The user has a high degree of control over the design process and may move at will to any of the design tasks. The model provides a direct link between the system user and the design evaluations during the evaluation/design process.     

Inhibition behavior for copper corrosion by photoelectrochemical methods

wavelengthofmono chromatelightwas 4 2 0nm .3　RESULTSANDDISCUSSION3.1　ApplicationofphotoelectrochemicalmethodtoevaluatetheeffectsofinhibitorsforcoppercorrosionThestructuresoftheinhibitorsforcoppercorro sionshownintextareasfollows:Theinhibitioneffectsofdifferentinhibitorsforcoppercorrosioncanbeevaluatedby photoelec trochemicalmethod .AsshowninRef .[12 ],onanegativepotentialscan ,thepotentialcorrespondingtothecathodicphotocurrentJph=0isdefinedasΦV,atwhichCu2 Oontheelectrodesurfaceisc…