On an Integrated Transfer Matrix method for multiply connected mufflers

The commercial automotive mufflers are generally of a complicated shape with multiply connected parts and complex acoustic elements. The analysis of such complex mufflers has always been a great challenge. In this paper, an Integrated Transfer Matrix method has been developed to analyze complex mufflers. Integrated transfer matrix relates the state variables across the entire cross-section of the muffler shell, as one moves along the axis of the muffler, and can be partitioned appropriately in order to relate the state variables of different tubes constituting the cross-section. The paper presents a generalized one-dimensional (1-D) approach, using the transfer matrices of simple acoustic elements, which are available from the literature. The present approach is robust and flexible owing to its capability to construct an overall matrix of the muffler with the transfer matrices of individual acoustic elements and boundary conditions, which can then be used to evaluate the transmission loss, insertion loss, etc. Results from the present approach have been validated through comparisons with the available experimental and three-dimensional finite element method (FEM) based results. The results show good agreement with both measurements and FEM analysis up to the cut-off frequency. (C) 2011 Elsevier Ltd. All rights reserved.

Constraining form factors with the method of unitarity bounds

The availability of a reliable bound on an integral involving the square of the modulus of a form factor on the unitarity cut allows one to constrain the form factor at points inside the analyticity domain and its shape parameters, and also to isolate domains on the real axis and in the complex energy plane where zeros are excluded. In this lecture note, we review the mathematical techniques of this formalism in its standard form, known as the method of unitarity bounds, and recent developments which allow us to include information on the phase and modulus along a part of the unitarity cut. We also provide a brief summary of some results that we have obtained in the recent past, which demonstrate the usefulness of the method for precision predictions on the form factors.

Growth of Silicon Carbide Bulk Crystals by Physical Vapor Transport Method and Modeling Efforts in the Process Optimization

Silicon carbide bulk crystals were grown in an induction-heating furnace using the physical vapor transport method. Crystal growth modeling was performed to obtain the required inert gas pressure and temperatures for sufficiently large growth rates. The SiC crystals were expanded by designing a growth chamber having a positive temperature gradient along the growth interface. The obtained 6H-SiC crystals were cut into wafers and characterized by Raman scattering spectroscopy and X-ray diffraction, and the results showed that most parts of the crystals had good crystallographic structures.

Growth of Silicon Carbide Bulk Crystals by Physical Vapor Transport Method and Modeling Efforts in the Process Optimization

Silicon carbide bulk crystals were grown in an induction-heating furnace using the physical vapor transport method. Crystal growth modeling was performed to obtain the required inert gas pressure and temperatures for sufficiently large growth rates. The SiC crystals were expanded by designing a growth chamber having a positive temperature gradient along the growth interface. The obtained 6H-SiC crystals were cut into wafers and characterized by Raman scattering spectroscopy and X-ray diffraction, and the results showed that most parts of the crystals had good crystallographic structures.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

基于分支设置的质量导引相位展开算法

二维相位展开方法是近年来较为活跃、引起关注的一个研究课题，它在许多测量应用中有着重要的作用。尽管掩膜阻断算法在多个领域都有成功应用实例，该算法存在着固有的缺陷。为了克服掩膜阻断算法的缺陷，综合分支阻断方法和质量导引方法的优点，提出一种基于分支设置的质量导引相位展开新算法。它先以一个初始质量图来引导分支的设置，然后把分支对应的相位质量设置为最低，从而产生一个新的质量图，最后按新质量图来引导相位展开，并使用几个包裹相位图来验证此方法的有效性。计算机模拟相位图和实际相位图的相位展开结果表明，在存在复杂轮廓不连续

St. John, USVI mission report, NOAA/NOS/NCCOS/CCMA/Biogeography Branch, July 6 - July 17, 2009

The intent of this field mission was to continue ongoing efforts: (1) to spatially characterize and monitor the distribution, abundance and size of reef fishes, and the abundance of macroinvertebrates (conch, Diatema, lobster) within and around the waters of the Virgin Islands National Park (VIIS) and newly established Virgin Islands Coral Reef National Monument (VICR), (2) to correlate this information to in-situ data collected on associated habitat parameters, (3) to use this information to establish the knowledge base necessary for enacting management decisions in a spatial setting and (4) to establish the efficacy of those management decisions. An additional focus this year, was to evaluate a new habitat data collection method for RHA sites (MSR and some Coral Bay sites). There are concerns that the cylinder habitat data are not reflective of the fish transect habitat. To address this, we collected habitat data at 5x4 m increments along the transect in addition to data collected using the cylinder method. We are currently assessing the potential differences between these methods and preliminary results indicate that the average difference of coral cover estimates between the two methods was 4.1% (range 0-11%) based on 16 sample sites. In addition, Erinn Muller, a Nancy Foster Fellowship recipient, collaborated with the Biogeography Branch to examine the spatial distribution of coral diseases, to provide baseline information on disease prevalence over varying spatial scales and to establish spatial distributions of coral diseases around St. John.

Investigation of polymorphism by PCR-RFLP method in Cobia fish Rachycentron canadum in the Persian Gulf and Oman Sea

Cobia is a native fish species in Iranian waters in the Persian Gulf and Sea of Oman and has a good internal and foreign market. This fish is a fast growing species and for this reason Iranian Fisheries is considering to go for it culture practices. To go for any utilization such as fishing from wild stocks or culture activities, needs a better understanding of its peculiarities and genetic characteristics of its natural resources. Therefore, this project was discribed and conducted. In this investigation, cuts 2 or 3 cm of fin tissue of  specimen of Cobia obtained from Sistan and Bluchestan, Hormozgan, Bushehr and Khuzestan water provinces, were collected. DNA was extracted by Phenol-chlorophorm method and produced PCR product in length of 1060 and 1450 base pair of two mitochondrial genes COI and NADH2. Using 13 cutting enzymes (4 enzymes were subscriber for both of genes), 205 base pair (from 2510 base pair, equal with %3.8 from gene regains) were directly investigated. But binding patterns of enzymatic digestion of PCR products of both COI and ND genes from electrophoresis were monomorph in all samples and no polymorphism was observed. This may be attributed to the unsuitable choice of COI and ND2 genes for showing of intra specific divergence. But in general non-existence of genetic diversity or noticeable decrease of that among individuals has been reported in regions were fish migration exist and they can freely move between two regions. Therefore, non-observation of polymorphism in the study area might be the case and indicates represents the area. On the other hand, some scientists believe that the distributions of populations in different regions are greatly affected by environmental and physical and ecological factors. Althoug Cobia is a migratory fish, but with regard to the fact that the environmental conditions are different (specially temperature and salinity) between east and west of Persian Gulf and Oman sea, there is a possibility that different genetic groups of this species exist in the regions. Of course It is clear that using more samples and enzymes from other genetically regions could produce better results. Since none of the two investigated genes didn’t show genetic divergence or polymorphism amongst the individuals of one region or between different regions, therefore, statistic analysis for estimating of haplotype diversity or nucleotide diversity and drawing of relationship tree among individuals using available softwares was not possible.

The survey on growth and survival rate parameters with slurry and comparison by common method

This project was on “Study of Slurry, as an enrichment compound, on growth and survival parameters of Rutilus firisii kutum Kamensky 1901 larva and compare with routine condition according to hypothesis that use of Slurry, fertile organic compound, to increase the efficiency of survivorship and growth of Rutilus firisii and in other hand adaptation of natural food was performance.” The object of this project is to compare growth of Rutilus firisii and in usual condition and the condition of use Slurry The experiences performed in culture and propagation center Dr. Yousefpour decent (Associan of Dr. Beheshti culture and propagation) in Siahkal village, 32 Km far from southeast, in North of Iran. In this plan, three different treatments and related these nine pools , in 1.7 hec area (in same condition) were determined so that the density of storage was 1.7 million/hec larva. In this research at first treatment m we use slurry as enrichment compound during larval within a period of 13 days, and it used all the days of during larval in second treatment. Then the result of this study compared to control treatment. The results have shown the level of this study compared to control treatment. The results have shown the level of survivorship in pools were nutrition by slurry was 1.7 million times or twice than pools were nutrition with usual concentrate. In addition, growth coefficient such as daily weight growing (DWG) index, daily length growth (DLG), specific growth ratio (SGR) were measured in this case. All of these parameters in slurry treatment were shown noticeable enhancement in first treatment Thereof in the first week there was significant difference (P<0.001) between the average of length and weight in first week , and in the second week there was a significant difference (P<0.05) between them.

Study of inter species diversity and population structure by molecular genetic method in Iranian Artemia

Artemia is a small crustacean that adapted to live in brine water and has been seen in different brine water sources in Iran. Considering the importance of genetic studies manifest inter population differences in species, to estimate genetic structure, detect difference at molecular level and separate different Artemia populations of Iran, also study of phylogenic relationships among them, samples of Artemia were collected from nine region: Urmia lake in West Azerbaijan, Shoor and Inche-Borun lakes in Golestan, Hoze-Soltan and Namak lakes in Qom, Maharloo and Bakhteghan lakes in Fars, Nough pool in Kerman and Mighan pool in Markazi and DNA extracted by phenol-chloroform method. Primers designed on a ribosomal fragment (16s rRNA) of mt DNA sequence and PCR was done. Digestion of the 1566 bp segment PCR product by 10 restriction endonuclease (Alu I, EcoR I, Eco47 I, Hae III, Hind III, Hinf I, Mbo I, Msp I, Rsa I, TaqI) showed 25 different haplotypes: 9 in Urmia, 4 in Shoor and Inche- Borun, 1 in Namak and Hoze-Soltan, 3 in Mighan, 1 in Bakhtegan Maharlo, 3 in Maharloo and 4 in Nough. Measurement of haplotype and nucleotide diversity intra population and nucleotide diversity and divergence inter populations and evolutionary distance between haplotypes showed a high diversity in mitochondrial genome of Artemia in studied regions whose results are similar to those explained for highly geographic expansion organism. In addition, results showed considerable heterogeneity between different populations and there are enough evidences in haplotypic level for separation of studied samples and division of Iranian Artemia to seven populations including Urmia, Shoor and Inche-Borun, Hoze-Soltan and Namak, Maharloo, Bakhteghan, Nough and Mighan. Phylogenetic analysis of the 16S rRNA data set resulted strict consensus and neighbor joining distance trees, demonstrated that all samples were monophyletic and parthenogenetic form derivation from bisexual populations and genetically high resemblance to those of A. urmiana. Study of 270 specimens from different region showed the genus Artemia in Iran clustered into three clades including: 1- Shoor, Inche-Burun, Hoze-Soltan, Namak, Bakhtegan and Maharloo 2- Nough and Mighan 3- Urmia. Totally, obtained results indicated to ability of used techniques for study of inter species diversity, population structure, reveal of phylogenic relationship and dividing of different populations of Artemia in Iran.

The study and production of fish sauce from Caspian Sea lam fish with traditional fermentation method and microbe and enzyme adding method and identification of important bacteria

Fish sauce is a popular fermented product used in south Asian countries which is made from different small fishes in this research work it was attempted to produce fish sauce from kilka of the Caspian sea, the fish sauce was made from three models of kilka ,such as whole kilka , cooked whole kilka and dressed kilka , each of these models treated it four different fashions of fermentation such as:1- Traditional method, 2- Enzymatic method 3- Microbial method, 4- Mixture of enzyme and microb The results of this investigation showed that time of fermentation for the traditional method was six month, enzymatic method one month, microbial method 3 month and the mixture of enzyme and microb 1 month. The rate of fermentation was least for dressed Kilka, microbial and biochemical changes of Kilka fish sauce were evaluated, total bacterial count was 2.1-6.15 log cfu/ml total volatile nitrogen (TVN) in samples recorded was 250 mg /100g, the amount of protein varied between 10-13 percent, the name of commercial enzymes added was Protamex and Flavourzyme, the bacteria added was L act ob acillus and Pediococous, fish sauce containers fish and 20% salt, temperature of keeping for fermentation was 37 degree c for 6 month.

Monolithically integrated transceiver with novel Y-branch by bundle integrated waveguide for fibre optic gyroscope

A novel Y-branch based monolithic transceiver with a superluminescent diode and a waveguide photodiode (Y-SDL-PD) is designed and fabricated by the method of bundle integrated waveguide (BIG) as the scheme for monolithic integration and angled Y-branch as the passive bi-directional waveguide. The simulations of BIG and Y-branches show low losses and improved far-field patterns, based on the beam propagation method (BPM). The amplified spontaneous emission of the device is up to 10mW at 120mA with no threshold and saturation. Spectral characteristics of about 30 nm width and less than 1 dB modulation are achieved using the built-in anti-lasing ability of Y-branch. The beam divergence angles in horizontal and vertical directions are optimized to as small as 12 degrees x 8 degrees, resulting in good fibre coupling.

Simple method for estimating minimum bend radii of SOI single mode curved rib waveguides

A simple method based on the effective index method was used to estimate the minimum bend radii of curved SOI waveguides. An analytical formula was obtained to estimate the minimum radius of curvature at which the mode becomes cut off due to the side radiative loss.

Superluminescent diode monolithically integrated with novel Y-branch by bundle integrated waveguide for fiber optic gyroscope - art. no. 68380D

We have developed a novel InP-based, ridge-waveguide photonic integrated circuit (PIC), which consists of a 1.1-um wavelength Y-branch optical waveguide with low loss and improved far field pattern and a 1.3-um wavelength strained InGaAsP-InP multiple quantum-well superluminescent diode, with bundle integrated guide (BIG) as the scheme for monolithic integration. The simulations of BIG and Y-branches show low losses and improved far-field patterns, based on the beam propagation method (BPM). The amplified spontaneous emission of the device is up to 10 mW at 120 mA with no threshold and saturation. Spectral characteristics of about 30 nm width and less than I dB modulation are achieved using the built-in anti-lasing ability of Y-branch. The beam divergence angles in horizontal and vertical directions are optimized to as small as 12 degrees x8 degrees, resulting in good fiber coupling. The compactness, simplicity in fabrication, good superluminescent performance, low transmission loss and estimated low coupling loss prove the BIG and Y-branch method to be a feasible way for integration and make the photonic integrated circuit of Y-branch and superluminescent diode an promising candidate for transmitter and transceiver used in fiber optic gyroscope.

Measurement of the inelastic branch of the stellar O-14(alpha,p)F-17 reaction occurring in the explosive burning in Novae and X-ray busters

The inelastic component of the key astrophysical resonance (1(-), E-x=6.15 MeV) in the O-14(alpha,p)F-17 reaction has been studied by using the resonant scattering of F-17+p. The experiment was done at REX-ISOLDE CERN with the Miniball setup. The thick target method in inverse kinematics was utilized in the present experiment where a 44.2 MeV F-17 beam bombarded a similar to 40 mu m thick (CH2)(n) target. The inelastic scattering protons in coincidence with the de-excited 495 keV gamma rays have been clearly seen and they are from the inelastic branch to the first excited state in F-17 following decay of the 1(-) resonance in Ne-18. Some preliminary results are reported.