A THEORETICAL STUDY ON ADAPTIVE QUALITY CONTROL SYSTEMS

This paper is a study of an adaptive quality control system from a viewpoint of quality goal. The main purpose is to introduce a conceptual framework for setting up quality goals which are in accordance with the external environment and internal capacity of quality control systems. We apply a mathematical general systems approach.

The results of our paper are summarized as follows:

1)As important decision-making in adaptive QCS, the decision-making for estimalion of fitness and examination of attainability are proposed and formalized mathematically.

2)A refinement process is formalized in which models are revised according to the changes of market.

3)Basic steps for setting quality goals are obtained which are based on the above formalization.     

THEORY OF CYBERNETIC AND INTELLIGENT MACHINE BASED ON LIE COMMUTATORS

Many attempts^{1, 7, 8, 35} have been made to overcome the limit imposed by the Turing Machine³⁴ to realise general mathematical functions and models of (physical) phenomena.

They center around the notion of computability.

In this paper we propose a new definition of computability which lays the foundations for a theory of cybernetic and intelligent machines in which the classical limits imposed by discrete algorithmic procedures are offset by the use of continuous operators on unlimited data. This data is supplied to the machine in a totally parallel mode, as a field or wave.

This theory of machines draws its concepts from category theory, Lie algebras, and general systems theory. It permits the incorporation of intelligent control into the design of the machine as a virtual element. The incorporated control can be realized in many (machine) configurations of which we give three:

a) a quantum mechanical realization appropriate to a possible understanding of the quantum computer and other models of the physical microworld,

b) a stochastic realization based on Kolmogorov-Gabor theory leading to a possible understanding of generalised models of the physical or thermodynamic macroworld, and lastly

c) a classical mechanical realization appropriate lo the study of a new class of robots.

Particular applications at a fundamental level are cited in geometry, mathematics, biology, acoustics, aeronautics, quantum mechanics, general relativity and. Markov chains. The proposed theory therefore opens a new way towards understanding the processes that underlie intelligence.     

Push Notifications in Diet Apps: Influencing Engagement Times and Tasks

Background: Smartphones have reached levels of popularity and penetration where they are now suitable for use in population health interventions. A key feature of smartphones is push notification or in app messaging service, which can be used to alert users to messages or instructions pertaining to an installed app. Little evidence exists as to the persuasive power of these messages.

Method: We conducted a 24-week live user evaluation of push notifications used in a behavior-based mobile app for a meal replacement program to understand the role of push notifications in persuading users to engage with self-monitoring tasks.

Results: User perception of the prompts were verified through questionnaires, which in conjunction with the interaction logs show that users were tolerant of multiple daily prompts. The decline in compliance to the tasks set, however, shows that while the participants did not object to receiving prompts, they were less likely to respond to them as the study progressed.

Conclusions: Push notifications and user tasks are appropriate mechanisms to engage users with mobile technology in the short term.     

A comfort assessment of existing cervical orthoses

Purpose: Identify location and intensity of discomfort experienced by healthy participants wearing cervical orthoses.

Method: Convenience sample of 34 healthy participants wore Stro II, Philadelphia, Headmaster, and AspenVista^® cervical orthoses for four-hour periods. Participants reported discomfort level (scale 0–6) and location.

Results: Participants reported mean discomfort for all orthoses over the four-hour test between ‘a little discomfort’ and ‘very uncomfortable’ (mean discomfort score = 1.64, SD = 1.50). Seven participants prematurely stopped tests due to pain and six reported maximum discomfort scores. Significant linear increase in discomfort with duration of wear was found for all orthoses. Significantly less discomfort was reported with Stro II than Headmaster and Philadelphia. Age correlated with greater perceived discomfort. Orthoses differed in the location discomfort was experienced.

Conclusion: Existing cervical orthoses cause discomfort influenced by design and duration of wear with orthoses’ design the more significant factor. This work informed the design of a new orthosis and future orthoses developments.

Practitioner Summary: The purpose of this study was to gain greater knowledge about the discomfort caused by wearing of existing neck orthoses in order to inform the design and development of a new neck orthosis. This study gathers empirical data from a surrogate population and concludes that orthosis design is more influential than the duration of wear.     

Zero-correlation linear attack on reduced-round SKINNY

At ToSC 2019, Ankele et al. proposed a novel idea for constructing zero-correlation linear distinguishers in a related-tweakey model. This paper further clarifies this principle and gives a search model for zero-correlation distinguishers. As a result, for the first time, the authors construct 15-round and 17-round zero-correlation linear distinguishers for SKINNY-n-2n and SKINNY-n-3n, respectively, which are both two rounds longer than Anekele et al.’s. Based on these distinguishers, the paper presents related-tweakey zero-correlation linear attacks on 22-round SKINNY-n-2n and 26-round SKINNY-n-3n, respectively.     

Book reviews

Computer Software: legal protection in the United Kingdom Henry Carr & Richard Arnold, 1992 London: Sweet & Maxwell, 2nd ed, xv + 312 pp., £45.00 (hardback)

Advanced Information Systems for Lawyers V. Mital & L. Johnson, 1992 London: Chapman & Hall. pp. 306, £35.00

Law of Contract Laurence Koffman & Elizabeth MacDonald, 1992 London: Fourmat Publishing, 430 pp., paperback £22.50

The Electronic Media and the Transformation of Law M. Ethan Katsh, 1991 Oxford: Oxford University Press. £13.95     

Book reviews

Crime and the Computer, Martin Wasik, 1991, Oxford: Clarendon Press. £35.00.

Yearbook of Law, Computers and Technology, Volume 5. K.V. Russell (Ed.), 1991. London: Butterworths. £29.50.

Computers, Artificial Intelligence and the Law. Mervyn E. Bennun (Ed.), 1991. London: Ellis Horwood. xx +132 (including bibliography & index), £26.50

Modelling Legal Argument: reasoning with cases and hypotheticals. Kevin D. Ashley, 1990. Cambridge: MIT Press. 329 pp.     

DEVELOPMENT OF AN AUTOMATIC OBJECT-ORIENTED CONTINUOUS SIMULATION ENVIRONMENT

The construction of automatic control and modelling environments has been attempted using shallow reasoning expert systems. The inadequacy of this approach for real-life systems has become apparent, and the need for deeper knowledge—which can only be obtained by extensive simulation—is now acknowledged.

The simulation process, which consists of model building and model selection, followed by the generation and execution of a software simulator, can be partially automated if an Object-Oriented methodology is adopted. In this article, a methodology is presented, which is presently under investigation in the DESiRE (Dynamic Expert Systems in Robotic Experimentation)project

In the modelling phase, a hierarchical, uniform way of describing and manipulating continuous and discrete models is needed, if the highly desirable reusability of submodels is to be achieved. This is only possible if a clear distinction is made between bare models (and information about their intrinsic coupling) and causal simulation experiment-related data.

In the simulation phase, before generating numerical simulation code, a symbolic reduction of the continuous parts of the model is performed, thus eliminating inaccuracy introduced by the untimely application of possibly unstable numerical algorithms.

Finally, from the reduced representation, executable simulator-objects are produced for use in a distributed environment.     

Fast detection of significantly transformed areas due to illegal waste burial with a procedure applicable to Landsat images

The problem of illegal waste burial is a serious threat to human health and ecosystems. These illegal activities occur most often in areas which have been heavily modified and considered degraded, mainly quarry areas and landfills, even if it is licensed.

To identify the areas where there is suspicion of illegal waste burial, a great amount of time is often necessary. As a matter of fact, the detection of suspicious areas is often based on a comparison of available airborne images with high temporal and spatial resolution, and surveys. This is also done to gather significant aspect of change as deep soil reshuffle in small excavation areas. These methods however, take a long time to be applied because large areas have to be analysed within sub-areas. Consequently, there is loss of understanding related to a wider and complete phenomenon that allows us to have information of all the territory that has undergone heavy transformations, especially if due to illegal conduct of waste disposal. As a result, there are no enough data to strategically evaluate how to counteract such illegal activities.

Since these areas have already been heavily disturbed and subjected to continuous changes over time, one or more detection techniques in a standardized procedure might only be applicable in some contexts. The above method comparison and survey is certainly a useful tool for detecting areas affected by excavation activities or waste illegal disposal. It also provides information where significant transformations have occurred in a short time.

The purpose of this work is the development of a processing procedure with Landsat images applicable to agro-ecosystems that can produce results in heavily transformed areas where suspicion of illegal waste burial is high.     

DISCRETE EVENT-DYNAMIC SYSTEMS FOR MODELING DYNAMIC VALUED NETS

The last few years have seen the development of Discrete Event-Dynamic Net Systems^1,2 as instruments for modeling complex systems. They are able to achieve the following objectives:

—formality of the modeling methodology

—ability to model static and dynamic aspects

—ability to pass between levels of differently rich structures by morphisms

—uniform representation of the communication process as

—an information process

—a decision process and

—a control process

—homogeneity of the representation and modeling methods

—ability to derive qualitative and quantitative statements.

The foundation is provided by a Discrete Event-Dynamic Net System which includes the axiomatic declaration of general Petri nets. In order to calculate the structural and dynamic aspects, so-called Petri net machines are developed. It is shown that this approach can even be used to treat the following aspects:

—use of time during the process

—increase of costs during the generation and transportation of information

—augmentation, evaluation and transformation of information objects.

Recursive formulas are derived and some examples calculated.     

A primal-dual approximation algorithm for the k-prize-collecting minimum vertex cover problem with submodular penalties

In this paper, we consider the k-prize-collecting minimum vertex cover problem with submodular penalties, which generalizes the well-known minimum vertex cover problem, minimum partial vertex cover problem and minimum vertex cover problem with submodular penalties. We are given a cost graph G=(V,E;c) and an integer k. This problem determines a vertex set S\subseteq V such that S covers at least k edges. The objective is to minimize the total cost of the vertices in S plus the penalty of the uncovered edge set, where the penalty is determined by a submodular function. We design a two-phase combinatorial algorithm based on the guessing technique and the primal-dual framework to address the problem. When the submodular penalty cost function is normalized and nondecreasing, the proposed algorithm has an approximation factor of 3. When the submodular penalty cost function is linear, the approximation factor of the proposed algorithm is reduced to 2, which is the best factor if the unique game conjecture holds.     

Book reviews

Electronic Finance Law Chris Reed, 1993 Hemel Hempstead: Woodhead‐Faulkner. 450 pp. £50.00

Introduction to Computer Law, 2nd Edn David I. Bainbridge, 1993 London: Pitman £18.99

Deontic Logic in Computer Science: normative system specification John‐Jules CH. Meyer & Roel J. Wieringa, 1993 London: John Wiley £34.95, xiv + 317pp.     

A METHODOLOGY OF COORDINATION IN JAPANESE COMPANY-WIDE QUALITY CONTROL

In the practice of Japanese company-wide quality control, some tools which help us to coordinate company-wide activities are developed. One of the main functions of these tools is to organise the diversified information related to the company-wide activities

This report discusses the basic recognition underlying the use of these tools, and presents on a conceptual level an essential philosophy and methodology of coordinating company-wide activities

The basic idea of this report is to make an additional subsystem which helps us to organize the diversified information of activities in order to coordinate activities easily.     

Relative Advantages of Digital Preservation Management in Developing Countries

The purpose of this article is to explore stakeholders’ perspectives on the relative advances of digital preservation management over traditional heritage management approaches in developing countries, particularly in Africa. Specific examples from the context of Ghana are used to help understand the particular factors that influence the relative advantage of the digital preservation management innovation. The article is based on the findings of a PhD study that explored contextual factors influencing the management and preservation of digital cultural heritage resources in Ghana and it is underpinned by Rogers’ Diffusion of Innovation model. An interpretive qualitative approach was employed to solicit the perspectives of 29 key stakeholders from 13 institutions in Ghana through semi-structure interviews. This was followed by an analysis of relevant literature to ascertain how the findings from the context of Ghana relate to other developing countries in Africa.

Stakeholders perceive that the digital preservation management innovation has relative advantages over other traditional ways of managing and preserving heritage information in many ways, including; as an effective means to manage cultural heritage resources; enhancing collaboration and resource sharing; contributes to the building strong cultural institutions; leading to the establishment of a national digital memory for developing countries; as an effective means to preserve value of cultural identity for the long term into the digital future; and enabling research and advancement of cultural knowledge.

Findings from the literature analysis also show that these relative advantages of the digital preservation management (DPM) innovation occur in similar forms in other developing countries in Africa. Further empirical studies in other developing countries are recommended to fully ascertain the main relative advantages of the DPM innovation over traditional approaches of heritage resources management and preservation.     

The Importance of Auditing Your Company’s Strategic Plan

A company’s strategic plan is its long-term outlook that sets out the plans, goals, objectives and actions for the next three to ten years. The board needs an objective assurance that the plan was properly developed. The internal audit function is best positioned to provide this assurance. The reason: it is one of the board’s most powerful mechanisms for understanding the full spectrum of key governance, risk, and control issues facing the company embodied in the strategic plan.

Auditing a strategic plan begins with a review of what it constitutes (its elements) and the methodology (its process) used in developing the plan. It thus becomes much easier to focus the audit effort in determining whether the output for each step along the way in these two broad streams has been achieved.

If not carefully planned and executed, a strategic plan audit could do irreparable damage to the reputation of the audit effort throughout the organization. As a result, it requires a multi-talented team with a high-powered leader, preferably the chief audit executive.

Although a strategic plan fails due to such common factors as planning teams lacking an understanding of the business, lack of commitment, not having the right people, or not adapting to a changing environment to take full advantage of technological developments, there is a key reason often overlooked: lack of an audit of the plan itself which, if done properly, could uncover these reasons for failure long before they happen.     

A PROBABILISTIC-PROPOSITIONAL FRAMEWORK FOR THE O-THEORY INTERSECTION RULE

In a previous paper, O-theory (OT), a hybrid uncertainly theory was proposed for dealing with problems of uncertainty in logical inference. The foundations of one of the concepts introduced, the OT intersection operator, are explored in this paper. The developments rely solely on set-theoretic and probability notions which are the distinguishing features of this operator's role in the theory.

The OT intersection rule has as its basis Dempster's rule of combination which ties it closely to Dempster-Shafer theory. In this paper the OT rule will be shown to be based more fundamentally on classical probability theory. To demonstrate this, possibility sets are interpreted in a propositional framework and mass assignments are converted to the probabilistic form originally proposed by Dempster. These changes are used to show that the OT intersection rule can be derived from first principles in a probability theory of propositions. Since this derivation does not require conditional probabilities, it can be used as alternative to Bayes' theorem for combining conjunctive information consistently. Dempster's rule will be shown to be a special case of the OT intersection rule. It too will be derived using probability theory.

The formal connection between mass and probability presented originally by Dempster and used here in a propositional framework, makes distinctions between DST and probability theory less consequential. DST is still seen to be a generalization of the concept of probability, but it is also seen to fit within a probabilistic-propositiona) framework.     

Book reviews

Patent Harmonization Harold C. Wegner London, Sweet & Maxwell, 1993 xx + 376 pp., £70.00 (hardback)

Of Authors and Origins: essays on copyright law Brad Sherman & Alain Strowel (Eds) Oxford, Clarendon Press, 1994 xiv + 313 pp., £30.00 (hardback)

Future Air Navigation Systems Werner Guldimann & Stefan Kaiser Dordrecht, Martinus Nijhoff, 1993 Utrecht Studies in Air and Space Law, Vol. 13 viii + 281 pp., £76.50 (hardback)

The Law of Copyright Terence Prime London, Fourmat Publishing, 1992, xxiv + 313 pp., £30.00 (paperback)     

ON THE REPRESENTATION OF ACTIVITY ARRAYS†

A general methodology for empirical investigaiion is described which consists of: (i) the selection of a system on the object of investigation with respect to the purpose and constraints of investigation, (ii) the gathering of data for the system and organizing them in the form of activity arrays, (iii) the processing of the data through which certain time-invariant properties representing the data are determined, (iv) the interpretation of these time-invariant data representations from the standpoint of the purpose of investigation.

It is shown that each activity array yields many different representations. A procedure through which the various representations can be obtained is described that consists of: (1) the selection of a mask specifying a pattern for sampling the data, (2) the sampling procedure through which certain types of time-invariant relations are determined for the given mask, (3) the simplification of the time-invariant relations, if necessary or desirable.

A basis for the objective comparison of possible representations and ascertainment of the representation with the highest possible degree of determinism, subject to given constraints, is developed.

The procedure is applicable to both well defined and fuzzy variables of any scale. No classification into input and output variables is required, although it is not prohibited.     

Effect of uphill walking with varying grade and speed during load carriage on muscle activity

Indian soldiers, while guarding the mountainous border areas, often carry loads in steep uphill gradients. This activity may predispose the risk of muscle injury. The present study aimed to examine the effects of an increasing load, speed and gradient during incremental uphill treadmill walking on different muscles. Twelve infantry soldiers walked on a treadmill at two speeds (2.5 and 4 km/h) with no load, and carrying 10.7, 17 and 21.4 kg loads at 0, 5, 10, 15, 20, 25% gradients. Electromyographic responses of erector spinae (>240%) and vastus medialis (>240%) were mostly affected, followed by soleus (>125%) and gastrocnemius medialis (>100%) at maximum speed, load and gradient combination compared to 0% gradient. Carrying 10.7 kg at 15% gradient and above was found to be highly strenuous and fatiguing with the risk of muscle injury. Uphill load carriage in slower speed is recommended for the maintenance of combat fitness of the individual at higher gradients.

Practitioner Summary:

The present article has evaluated the stress encountered by soldiers during load carriage at incremental uphill gradients while walking at different speeds by recording the muscular activities. Load carriage in steep uphill gradients is highly strenuous and may lead to muscle injury thus compromising the combat fitness.