Quality of cured fish on the west coast: comparative study with the IS specifications

Moisture and salt content in cured fish products from various centres on the west coast of India are compared. The moisture contents varied in samples from different centres, whereas the salt content remained more or less uniform. The deviations from the Indian standard specification were highly significant in both cases. The high mean moisture values and low salt values with respect to accepted standards are indicative of the improper drying and poor salting.

Survey of exist specifications morphometric, meristic and inter species molecular genetic on Bream (Abramis brava orientalis) in Anzali wetland, southern coast of Caspian Sea, Aras Dam Lake and Azerbijan Republic

Bream (Abramis brava orientalis) is one of Cyprindae the Caspian Sea and its basin which has a special ecological, biological and economical role. Stock of this fish in the Caspian Sea has reduced during several years for different reason the over fishing, different industrial, agriculture, urban pollution and destroy of the spawning habitat. So that fishery company decided to recover the stock of this fish by the way of artificial reproduction of a Bream couple hunted from south coast of the Caspian Sea (Iran) and setting the fingerling to the rivers and inflow wetlands of the Caspian Sea.This activity has due to 20 tons Bream annual fishing in the Iranian South coast of the Caspian Sea (Gilan province coast and Anzali wetland), The artificial reproduction has decreased Bream population diversity of Caspian sea and Anzali wetland.So it has been declined to improve Braem population diversity by the entrance of Azerbijan republic Bream and encounter to the Caspian sea Bream. Meanwhile there is Bream in the Aras Dam Lake which had been forgotten by the Fishery Company of Iran .For this reason specifications morphometric, meristic and inter species Molecular Genetic have been surveyed in Anzali wetland,Southern coast of Caspian Sea ,Aras Darn Lake and Azerbijan republic during 2003-2005. According to the research on specifications of Morphometric and Meristic of Anzali wetland(120 species),Southern coast of Caspian Sea(90 species), Aras Dam Lake(110 species) and Azerbijan Republic(125 species)has Morphometric and Meristic differences. So that average weight and total length of Anzali wetland Bream respectively was 167 g and 23/76 cm, 102 g and 27/62 cm in Caspian Sea , 461 g and 3 5/38 cm in Aras Darn Lake and 3 4189 g and 15/21 cm in Azerbijan republic (We forced to use 1 year Bream of artificial reproduction in Iran). Also variation coefficient average Morphometric, Morphometric specification Ration and meristic in Anzali wetland Bream was 17/45, 21/56 and 4/63, in Caspian Sea bream 22/58, 15/27 and 3124, in Aras Dam lake Lake 17145. 1.5/27 and 3/57 and Azerbaijan republic Bream 22/29, 19/66 and 4/22. Also Bream of these four regions in general status had Morphometric significant differences based on One Way ANOVA Analysis. Meanwhile Anzali wetland Bream with Caspian Sea Bream from 41 Morphometric surveyed factors in 33 factors, with Aras Darn Lake Bream in 41 factors, with Azerbkjan republic Bream in 41 factors,Caspian Sea Bream with Aras Darn Lake Bream in 36 factors,with Azerbijan republic B ream in 40 factors and A ras Dam L ake Bream with Azerbijan republic Bream in 38 factors had significant statistical differences. These four regions Bream had differences according to the Morphomertric specification ration based on One Way ANOVA Analysis. Also Anzali wetland Bream was surveyed with Caspian Sea Bream from 37 factors i n 27 factors, Anzali wetland Bream with Aras Dam 1ake in 37 factors Anzali wetland Bream with Azerbijan republic Bream in 32 factors,Caspian sea bream with Arsa Dam Lake Bream in 26 factors, Caspian Sea Bream with Azerbijan republic Bream in 29 factors and Aras Dam Lake Bream with Azerbijan republic Bream in 34 factor had significant statistical differences. Based on Meristic factor of four regions bream in 16 surveyed factors in 10 factors had meaningful differences according to the One Way ANOVA Analysis. While Anzali wetland Bream was surveyed with Caspian Sea Bream from in 3 factors,Anzali wetland Bream with Aras Dam lake in 8 factors,Anzali wetland Bream with Azerbijan republic B ream in 6 factors,Caspian Sea bream with Arsa Dam Lake Bream in 6 factors,Caspian sea Bream with Azerbijan republic Bream in 3 factors and Aras Dam Lake Bream with Azerijan republic Bream in 8 factor had significant statistical differences.Meanwihle based on Factor Analysis and Discriminant Breams had differences. Also according to the resrarchs Anzali wetland Bream in 0+ age group till 5+ (6 age groups),Caspian Sea bream in 1+ - 5+(5 age groups),Aras Darn Lake Bream in 1+ - 7+ (7 age groups) and Azerbijan republic Bream for Morphometric and Meristic studies in 1+age group and for molecular Genetic reaserch were in 8+and 9+ age groups. According to the research 4 ecosystems Bream in status of same age, Aras lake Bream were bigger according to weight and length.Also in this research genetic diversity between four population was researched by PCR-RFLP technic on a piece of mitochondrion genome with the length of 3500bp contain of tRNA-leu,tRNA-glu,ND5/6,Cytb. Between 17 used enzyme. 4 enzyme, Dral, Bc11, Haefll and Banff showed diversity in totally 6 composite haplotype was detected. Maximum nucleotide diversity by the value% 0/58 in Azerbijan republic Bream by all haplotype. Aras darn Lake Bream had 2 haplotype and nucleotide diversity of %0/35.Anzali wetland and Caspian Sea Bream had no diversity. Statistical analysis by the usage of Monte Carlo with 1000 repeat showed significant differences between Azerbaijan Bream and other Bream(P<0/0001) but there was no significant difference between 3 regions Bream(P>0/5).

Durability indicators of SCC towards performance-based specifications for the durability of SCC

The fundamental principle behind the development of SCC has been the nanoscale tailoring of cementitious matrices. Although self-compacting concrete (SCC) is currently used in many countries, there is a fundamental lack of the intrinsic durability of the material itself. The scope of the current paper is to present the outcomes of a research study on some principal indicators (porosity and capillary absorption) that define the durability of SCC, and how these are compared with the corresponding parameters of conventional concrete. Furthermore, this paper investigates the addition of industrial by-products, such as fly-ash or lime powder, to SCC mixtures and their effect on the durability indicators.

When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

Building Responsive Systems from Physically-correct Specifications

Predictability - the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems - possessing properties such as clairvoyance, caprice, in finite capacity, or perfect timing - cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the CLEOPATRA programming language. CLEOPATRA features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. CLEOPATRA is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of CLEOPATRA has been in use as a specification and simulation language for embedded time-critical robotic processes.

An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems

Predictability — the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is a formalism that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Unrealistic systems — possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing — cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed.

A toolset for the analysis of et-lotos specifications

info:eu-repo/semantics/published

Measuring the comprehensibility of Z specifications

The effects of natural language comments, meaningful variable names, and structure on the comprehensibility of Z specifications are investigated through a designed experiment conducted with a range of undergraduate and post-graduate student subjects. The times taken on three assessment questions are analysed and related to the abilities of the students as indicated by their total score, with the result that stronger students need less time than weaker students to complete the assessment. Individual question scores, and total score, are then analysed and the influence of comments, naming, structure and level of student's class are determined. In the whole experimental group, only meaningful naming significantly enhances comprehension. In contrast, for those obtaining the best score of 3/3 the only significant factor is commenting. Finally, the subjects' ratings of the five specifications used in the study in terms of their perceived comprehensibility have been analysed. Comments, naming and structure are again found to be of importance in the group when analysed as a whole, but in the sub-group of best performing subjects only the comments had an effect on perceived comprehensibility.

Effects of structure on the comprehensibility of formal specifications

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

SOFT – generating highly flexible object code from XML specifications

Many code generation tools exist to aid developers in carrying out common mappings, such as from Object to XML or from Object to relational database. Such generated code tends to possess a high binding between the Object code and the target mapping, making integration into a broader application tedious or even impossible. In this paper we suggest XML technologies and the multiple inheritance capabilities of interface based languages such as Java, offer a means to unify such executable specifications, thus building complete, consistent and useful object models declaratively, without sacrificing component flexibility.