A behavioral testability analysis technique is proposed for early prediction of testability by analyzing behavioral specifications written in VHDL. The technique extracts functional properties by an analysis of variable range, statement hardness and dependency relation between variables of the specification. It predicts the testability for the whole design with a low computational cost. Another...

In order to clarify the relationship among grammatical knowledge, processing components, and neural substrates in sentence comprehension, we used functional magnetic resonance imaging to investigate how brain activation is affected by two types of scrambling (short scrambling and middle scrambling) in ditransitive sentences in Japanese. Short scrambling and middle scrambling enhanced activation...

An ontology consists of a set of concepts, a set of constraints imposing on instances of concepts, and the subsumption relation. It is assumed that an ontology is a tree under the subsumption relation between concepts. To preserve structural properties of ontologies, the ontology revision is not only contracting ontologies by discarding statements inconsistent with a revising statement, but als...

In our previous report [5], we developed some methods ie the study of the line-sequential properties of the polynomial sequences treated in Shannon and Horadam [9]. In this report, we work out the properties for the general case and apply them to the Pell polynomial line-sequence as an example. Some known results are included for completeness, but only new aspects will be presented in some deta...

In this paper we propose a fine-grained workflow model, based on context-free graph grammars, in which the dependency relation between the inputs and outputs of a module is explicitly specified as a bipartite graph. Using this model, we develop an access control mechanism that supports provenance-aware security views. Our security model not only protects sensitive data and modules from unauthor...

The dependency relation is the most essential ingredient in a dependency-based theory of syntax. This paper presents some statistical findings on the dependency relation extracted from a Chinese dependency treebank. A sentence in the proposed treebank can easily be converted into a SSyntS graph in Meaning-Text Theory. The statistics on the dependency relation show that modifiers make up 55% of ...

the research has been conducted with purpose of composing the main constituent of pathology for national center of persian carpet and considering it's role in exporting handmade carpet. the respective model of pathology was selected, out of 14 approved models (the six boxes model of wisboard). the method of this research is explanatory and is a kind of correlation one. 89 people from natio...