Wyniki wyszukiwania - Biblioteka Nauki

1

Formalization of functional requirements in software development process

100%

Sengupta S. , Bhattacharya S.

Foundations of Computing and Decision Sciences

|

2008

|

tom Vol. 33, No. 1

83-115

EN

In this paper, we propose to establish traceability of functional requirements expressed in a SRS document in analysis and design phase that goes down to the coding phase. UML has become a de-facto standard for modeling object-oriented systems. To ensure traceability of requirements in different phases of software lifecycle, it is also mandatory to ensure consistency between different UML diagrams used in those different phases. Here, after specifying some rules to trace requirements and verify consistency, we formally represent functional requirement UML Use case diagram, and some other UML diagrams that are widely used for analyzing and designing object-oriented systems, using Z notation. At the end we represent the formalized functional requirement and the UML diagrams along with their relationship visually using Entity-Relationship (ER) diagram. Implementation of our approach would bridge the gap between a formal language, which is mathematical and difficult to understand and UML that is visual and easy to comprehend. Development of a tool based on this approach would generate a visual representation of formalized functional requirements and their traceability among different UML diagrams, from which automated traceability of requirement in different phases of software development and consistency verification between different UML diagrams can be achieved.

2

Production of extracellular carbohydrases by mushrooms

100%

Ghosh A. K. , Sengupta S.

Acta Mycologica

|

1982

|

tom 18

|

nr 1

3

A hybrid heuristic based clustering algorithm to design manufacturing cell

80%

Ghosh T. , Sengupta S. , Dan P. K.

Management and Production Engineering Review

|

2010

|

tom Vol. 1, No. 4

26-37

EN

The manufacturing cell formation problem consists of designing a subclass of machine cells and their corresponding part families with an objective to minimize the inter-cell and intracell moves of the items while enhancing the machine utilization. This paper demonstrates a hybrid heuristic algorithm namely HACCF (Heuristic based Agglomerative Clustering for Cell Formation) exploiting the centroid linkage clustering method and the Minkowski distance metric as dissimilarity coeffcient. An exhaustive heuristic technique is developed and combined with the proposed clustering method to form manufacturing cells. 15 widely practiced datasets are obtained from past literature and tested with the proposed technique. The computational results are exhibited using the grouping efficacy as performance measure for the abovementioned test problems. The proposed technique is shown to outperform the standard and published techniques such as ZODIAC, GRAFICS, TSP based genetic algorithm and simple genetic algorithm and attained 73.33% improved result by exceeding the solution quality on the test problems. Therefore the proposed technique could be extensively used and could be hybridized with intelligent approaches to obtain more improved result in the vicinity of future cellular manufacturing system.

4

Comparison of single-layer and bilayer InAs/GaAs quantum dots with a higher InAs coverage

80%

Sengupta S. , Shah S. Y. , Halder N. , Chakrabarti S.

Opto-Electronics Review

|

2010

|

tom Vol. 18, No. 3

295-299

EN

Epitaxially grown self-assembled InAs quantum dots (QDs) have found applications in optoelectronics. Efforts are being made to obtain efficient quantum-dot lasers operating at longer telecommunication wavelengths, specifically 1.3 µm and 1.55 µm. This requires narrow emission linewidth from the quantum dots at these wavelengths. In InAs/GaAs single layer quantum dot (SQD) structure, higher InAs monolayer coverage for the QDs gives rise to larger dots emitting at longer wavelengths but results in inhomogeneous dot-size distribution. The bilayer quantum dot (BQD) can be used as an alternative to SQDs, which can emit at longer wavelengths (1.229 µm at 8 K) with significantly narrow linewidth (∼16.7 meV). Here, we compare the properties of single layer and bilayer quantum dots grown with higher InAs monolayer coverage. In the BQD structure, only the top QD layer is covered with increased (3.2 ML) InAs monolayer coverage. The emission line width of our BQD sample is found to be insensitive towards post growth treatments.

5

Germination anomaly in spores of streptomycin dependent Bacillus substilis

80%

Kahn P. K. , Sengupta S. , Banerjee A. B.

|

1968

|

tom 17

|

nr 4

6

Palaeoflood records from Upper Kaveri River, Southern India: evidence for discrete floods during Holocene

80%

Kale V. S. , Achyuthan H. , Jaiswal M. K. , Sengupta S.

Geochronometria

|

2010

|

tom Vol. 37

49-55

EN

A record of six discrete middle Holocene floods has been established based on sedimentological and stratigraphical studies in the upper Kaveri catchment at Siddapur. The flood events are represented by six discrete, sharp-bounded, sand-silt couplets. Texturally and geochemically the suite of couplets is quite distinct from the overlying and underlying structureless fluvial deposits. Based on OSL ages the suite of couplets cover the Holocene from ~8 to ~2 ka. Such evidence is not present or reported from any other river originating in the Western Ghat in the Indian Peninsula. We argue that the six couplets represent short-term, high discharge events or flash floods. The initiation of this phase of flash floods broadly corresponds with the southward migration of ITCZ and a gradual decline in Indian summer monsoon precipitation starting at ~7.8 ka. Comparison of the elevation of the highest couplet with the high flood level (HFL) of the 1961 extraordinary flood on Kaveri demonstrates that the 20th century flood was higher than the mid-Holocene palaeofloods.

7

The role of monoamine oxidase isozymes on reserpine induced adrenal hormone release in the pigeon [Columba livia]

80%

Chakrabarti E. , Sengupta S. , Dasadhikari[Agarwal] S. , Ghosh A.

Folia Biologica

|

1997

|

tom 45

|

nr 3-4

8

Cooking methods and medicinal uses of frog species among the Naga tribes in Dimapur

70%

Talukdar S. , Sengupta S. , Konyak M. , Shunyei , Rizwan M.

World News of Natural Sciences

|

2020

|

tom 30

|

nr 2

9

Control of salivary phospholipid content and composition

70%

Slomiany B. L. , Sengupta S. , Piotrowski E. , Lopez R. A. , Slomiany A.

Journal of Physiology and Pharmacology

|

1992

|

tom 43

|

nr 3

EN

The mediation of phospholipid secretion in rat sublingual salivary gland cells maintained in the presence of [³H]choline was investigated. The secretion of [³ H]choline-containing phospholipids was enhanced by β-adrenergic agonist, isoproterenol, to a greater extent than the cholinergic agoinst carbachol. A 2.9-fold increase in phospholipid secretion occurred with isoproterenol, while carbachol evoked only about 1.3-fold increase. In contrast to carbachol, the enhanced phospholipid secretion due to isoproterenol was accompanied by an increase in cAMP concentration. The secretion of phospholipids was also stimulated by dibutyryl-cAMP and the protein kinase C activator, phorbol myristate acetate, but not by 4a-phorbol 12, 13-didecanoate which does not activate protein kinase C. Furthermore, the effects of dibutyryl-cAMP and phorbol myristate acetate were additive. The phospholipids secreted in response to isoproterenol exhibited a 52% decrease in lysophosphatidylcholine, while those secreted in response to carbachol showed a 23% lower content of phosphatidylcholine, and were enriched in lysophosphatidylcholine (2.8-fold) and sphingomyelin (1.4-fold). The results suggest that salivary phospholipid secretion remains mainly under β-adrenergic control, while the phospholipid makeup is under cholinergic regulation.