Applications of nuclear magnetic resonance spectroscopy to the study of medium-sized rings. I. Conformational properties of cycloheptane. II. Conformational properties of cycloöctane

Conformational equilibrium in medium-sized rings has been investigated by the temperature variation of the fluorine-19 n.m.r. spectra of 1, 1-difluorocycloalkanes and various substituted derivatives of them. Inversion has been found to be fast on the n.m.r. time scale at -180˚ for 1, 1-difluorocycloheptane, but slow for 1, 1-difluoro-4, 4-dimethylcycloheptane at -150˚. At low temperature, the latter compound affords a single AB pattern with a chemical-shift difference of 841 cps. which has been interpreted in terms of the twist-chair conformation with the methyl groups on the axis position and the fluorine atoms in the 4-position. At room temperature, the n.m.r. spectrum of 1, 1-difluoro-4-t-butylcycloheptane affords an AB pattern with a chemical-shift difference of 185 cps. The presence of distinct trans and gauche couplings from the adjacent hydrogens has been interpreted to suggest the existence of a single predominant form, the twist chair with the fluorine atoms on the axis position.

Investigation of 1, 1-difluorocycloöctane and 1, 1, 4, 4-tetrafluorocycloöctane has led to the detection of two kinetic processes both having activation energies of 8-10 kcal./mole but quite different A values. In light of these results eleven different conformations of cycloöctane along with a detailed description of the ways in which they may be interconverted are discussed. An interpretation involving the twist-boat conformation rapidly equilibrating through the saddle and the parallel-boat forms at room temperature is compatible with the results.

Avaliação da influência do material de confecção das matrizes no teste de conversão monomérica por espectrometria no infravermelho de um compósito

Este estudo teve por objetivo avaliar, in vitro, a influência do material de confecção das matrizes, traçando um perfil da conversão monomérica de um compósito micro-híbrido, além de avaliar qual dos materiais testados mais se assemelha a uma matriz de dentina. A avaliação foi feita através da análise do grau de conversão (GC). Foram confeccionadas 3 matrizes bipartidas, sendo estas de teflon negro, tefon branco e aço inoxidável, ambas com 10mm de diâmetro e 2 mm de profundidade. Para o grupo controle foi utilizado um incisivo central bovino, o qual teve sua face vestibular aplainada em uma lixadeira sob refrigeração constante, com o auxílio de uma lixa de carbeto de silício, número 800. Após, este dente foi preparado com uma broca diamantada número 2294 (KG Sorensen) em alta rotação, própria para a preparação de cavidades padronizadas para ensaios de laboratório, apresentando um limitador de penetração. Em seguida, com um motor de baixa rotação foi realizado o acabamento das paredes, obtendo-se uma cavidade de 2,0 mm de profundidade por 9,0 mm de diâmetro. Pela palatina desse dente, com uma broca carbide cilíndrica de numeração 2056 (KG Sorensen), fez-se uma penetração até se obter uma parede de dentina extremamente fina, porém sem que esta fosse rompida. Assim, com uma agulha, fez-se uma pequena perfuração no centro dessa dentina para que este instrumental servisse como um pino para remoção do corpo de prova de dentro da matriz de dente. Os corpos de prova (CP) foram obtidos a partir da inserção do compósito no interior da perfuração das matrizes em um único incremento e cobertos na superfície externa com uma matriz de poliéster mais uma lamínula de vidro. Os CP foram fotopolimerizados por 40 s pela fonte de luz halógena Optilux 501 (Demetron), com 500 mW/cm. Imediatamente após a polimerização, os corpos de prova eram submetidos no topo e na base para a análise de espectrometria no infravermelho para a determinação da profundidade de polimerização, pela técnica do filme vazado para o compósito não polimerizado e pela técnica da pastilha de brometo de potássio (KBr) para o compósito polimerizado. Foram confeccionados 5 CP de cada grupo. Em cada grupo, o compósito da base e do topo das amostras foi moído até se obter de 1,5 a 2,0 mg de pó e misturado com 70 mg de KBr, para obtenção da pastilha de KBr. Foi feita a análise de espectrofotometria no infravermelho por Transformada de Fourier (FTIR). As absorções selecionadas para o cálculo foram 1610 cm-1 e 1637 cm-1, os picos dos espectros das ligações dos carbonos aromáticos e alifáticos, respectivamente. Os dados obtidos foram tratados estatisticamente. Os grupos Gr1B, Gr2B, Gr3B e Gr4B representam, respectivamente, as bases dos CP confeccionados pelas matrizes de DB, TN, TB e AI. Já os Gr1T, Gr2T, Gr3T e Gr4T representam os topos. Médias (%) e DP: Gr1T (46,461,99), Gr2T (39,864,51), Gr3T (44,053,44) e Gr4T (38,045,08). Gr1B (40,441,49), Gr2B (36,153,81), Gr3B (40,093,18) e Gr4B (35,593,35). Em posse dos resultados, pôde-se concluir que os grupos do teflon negro, teflon branco e aço inoxidável não apresentaram diferenças entre o grau de conversão do topo e da base, enquanto que o grupo da dentina apresentou maior conversão do topo. Comparando as matrizes entre elas, pôde-se perceber que no topo, o GC do dente bovino é maior que o GC do aço inoxidável e do que o de teflon negro, o GC do teflon branco é maior que o GC do aço inoxidável e do que o de teflon negro. Já o topo dos grupos de dente bovino e teflon banco foram semelhantes. Nas bases dos CPs, não houve diferença significativa entre os grupos testados. De acordo com os resultados obtidos no experimento, pôde-se concluir que nos grupos do teflon negro, teflon branco e aço inoxidável não houve diferença entre 0 e 2 mm, ou seja, topo e base, o que mostra que o material de confecção da matriz não influênciou o grau de conversão do compósito. Já para o grupo da matriz de dentina, o topo apresentou valor de conversão monomérica maior, mostrando que, neste caso, o material da matriz interferiu no grau de conversão. Pode-se perceber também que existe uma tendência da matriz de teflon branco se assemelhar mais a matriz de dentina, pois foi o único grupo que apresentou semelhança nos valores de conversão monomérica no topo das amostras. Porém analisando a base das amostras, percebe-se que todos os grupos se comportaram de forma semelhante, obtendo valores do grau de conversão sem diferença significante.

Part I. Approximate Hartree-Fock wavefunctions one-electron properties and electronic structure of the water molecule. Part II. Perturbation-variational calculation of the nuclear spin-spin isotope coupling constant in HD

Part I

Several approximate Hartree-Fock SCF wavefunctions for the ground electronic state of the water molecule have been obtained using an increasing number of multicenter s, p, and d Slater-type atomic orbitals as basis sets. The predicted charge distribution has been extensively tested at each stage by calculating the electric dipole moment, molecular quadrupole moment, diamagnetic shielding, Hellmann-Feynman forces, and electric field gradients at both the hydrogen and the oxygen nuclei. It was found that a carefully optimized minimal basis set suffices to describe the electronic charge distribution adequately except in the vicinity of the oxygen nucleus. Our calculations indicate, for example, that the correct prediction of the field gradient at this nucleus requires a more flexible linear combination of p-orbitals centered on this nucleus than that in the minimal basis set. Theoretical values for the molecular octopole moment components are also reported.

Part II

The perturbation-variational theory of R. M. Pitzer for nuclear spin-spin coupling constants is applied to the HD molecule. The zero-order molecular orbital is described in terms of a single 1s Slater-type basis function centered on each nucleus. The first-order molecular orbital is expressed in terms of these two functions plus one singular basis function each of the types e^-r/r and e^-r ln r centered on one of the nuclei. The new kinds of molecular integrals were evaluated to high accuracy using numerical and analytical means. The value of the HD spin-spin coupling constant calculated with this near-minimal set of basis functions is J_HD = +96.6 cps. This represents an improvement over the previous calculated value of +120 cps obtained without using the logarithmic basis function but is still considerably off in magnitude compared with the experimental measurement of J_HD = +43 0 ± 0.5 cps.

A mathematical and experimental investigation of microcycle spectral estimates of semiconductor flicker noise

The experimental portion of this thesis tries to estimate the density of the power spectrum of very low frequency semiconductor noise, from 10^-6.3 cps to 1. cps with a greater accuracy than that achieved in previous similar attempts: it is concluded that the spectrum is 1/f^α with α approximately 1.3 over most of the frequency range, but appearing to have a value of about 1 in the lowest decade. The noise sources are, among others, the first stage circuits of a grounded input silicon epitaxial operational amplifier. This thesis also investigates a peculiar form of stationarity which seems to distinguish flicker noise from other semiconductor noise.

In order to decrease by an order of magnitude the pernicious effects of temperature drifts, semiconductor "aging", and possible mechanical failures associated with prolonged periods of data taking, 10 independent noise sources were time-multiplexed and their spectral estimates were subsequently averaged. If the sources have similar spectra, it is demonstrated that this reduces the necessary data-taking time by a factor of 10 for a given accuracy.

In view of the measured high temperature sensitivity of the noise sources, it was necessary to combine the passive attenuation of a special-material container with active control. The noise sources were placed in a copper-epoxy container of high heat capacity and medium heat conductivity, and that container was immersed in a temperature controlled circulating ethylene-glycol bath.

Other spectra of interest, estimated from data taken concurrently with the semiconductor noise data were the spectra of the bath's controlled temperature, the semiconductor surface temperature, and the power supply voltage amplitude fluctuations. A brief description of the equipment constructed to obtain the aforementioned data is included.

The analytical portion of this work is concerned with the following questions: what is the best final spectral density estimate given 10 statistically independent ones of varying quality and magnitude? How can the Blackman and Tukey algorithm which is used for spectral estimation in this work be improved upon? How can non-equidistant sampling reduce data processing cost? Should one try to remove common trands shared by supposedly statistically independent noise sources and, if so, what are the mathematical difficulties involved? What is a physically plausible mathematical model that can account for flicker noise and what are the mathematical implications on its statistical properties? Finally, the variance of the spectral estimate obtained through the Blackman/Tukey algorithm is analyzed in greater detail; the variance is shown to diverge for α ≥ 1 in an assumed power spectrum of k/|f|^α, unless the assumed spectrum is "truncated".

Arquitectura de Comunicaciones para Sistemas Ciber-Físicos Basada en OPC UA

[ES]Los sistemas Ciber-Físicos (Cyber-Physical Systems – CPS) son dispositivos que integran computación, control y comunicaciones. Actualmente se puede encontrar este tipo de sistemas en áreas tan diversas como la industria aeroespacial, automotriz, procesos químicos, infraestructura civil, etc. Entre las arquitecturas de comunicación empleadas en estos dispositivos, OPC UA se consolida como la más adecuada. OPC Unified Architecture es la nueva generación de tecnología propuesta por OPC Foundation para transmitir datos en bruto e información pre procesada entre los niveles de producción y los sistemas de planificación de producto de la empresa. Mediante OPC UA se puede disponer de toda la información deseada para cualquier aplicación y usuario autorizados, en cualquier instante y en cualquier lugar. En este proyecto se pretende desarrollar una arquitectura basada en OPC UA sobre CPSs para el acceso a datos de producción. Para ello se partirá de arquitecturas basadas en PC empotrados y redes de comunicación industriales.

Avaliação do potencial remineralizante de pastas e soluções com compostos bioativos no esmalte dental bovino submetido a ciclos de desafio erosivo

O objetivo deste estudo foi avaliar in vitro por meio da Fluorescência de Raios X por Dispersão de Energia (XRF), Microdureza Vickers (MV) e Microscopia Eletrônica de Varredura (MEV) o efeito remineralizante de diferentes princípios bioativos, tais quais, nanopartículas de hidroxiapatita de cálcio (nanoHAp) associadas ou não a fluoreto, fosfopeptídeos de caseína do leite e fosfato de cálcio amorfo (CPP-ACP) associados ou não a fluoreto, fluoreto de sódio e saliva no esmalte dental bovino submetido a ciclagem des-remineralizante simulando lesão erosiva por alto desafio ácido. Foram obtidos 58 corpos de prova (CP) a partir de 58 incisivos bovinos que foram divididos aleatoriamente em 8 grupos, com 7 CP cada um e 2 CP para obtenção de imagem em MEV do esmalte hígido. Cada grupo foi denominado conforme os respectivos tratamentos a serem utilizados. Grupo 1 (G1) Controle; Grupo 2 (G2) Desensibilize Nano P experimental (nanopartículas de hidroxiapatita de cálcio); Grupo 3 (G3) Desensibilize Nano P (nanopartículas de hidroxiapatita de cálcio e flúor); Grupo4 (G4) GC Tooth Mousse (CPP-ACP, fosfopeptídios de caseína e fosfato de cálcio amorfo Recaldent ); Grupo 5 (G5) GC Tooth Mousse Plus (CPP-ACP, fosfopeptídios de caseína e fosfato de cálcio amorfo Recaldent + 900 ppm de flúor); Grupo 6 (G6) solução aquosa de fluoreto de sódio (0,05%); Grupo 7 (G7) solução aquosa de nanopartículas de hidroxiapatita de cálcio (0,375%) e Grupo 8 (G8) solução aquosa de nanopartículas de hidroxiapatita de cálcio (0,375%) + flúor (0,05%). Foram obtidos os valores de XRF e MV antes e depois do tratamento. Durante um período experimental de 10 dias, os CPs foram submetidos a um processo cíclico de des-remineralização incluindo vários ataques diários com ácido cítrico 0,05M (pH 2,3), 6 vezes de 2 minutos ao dia, bem como as aplicações das soluções teste e períodos de remineralização em saliva artificial. O tempo entre os ciclos era de 1,5 h. Foram obtidas imagens em MEV para análise da superfície após o tratamento. Através da análise estatística pelo teste t student (p = 0,05), foram encontrados os seguintes resultados: o grupo controle teve uma desmineralização considerada severa; houve aumento na contagem de P em todos os grupos que receberam tratamento, exceto o G1, igualando ou até mesmo aumentando no caso do G5, em relação a contagem inicial; houve aumento na contagem de Ca em todos os grupos que receberam tratamento, exceto no G1, igualando ou até mesmo aumentando no caso do G4, em relação a contagem inicial; houve perda de microdureza superficial em todos os grupos; o G7 teve comportamento similar ao G1 e o G3 teve comportamento inferior ao G5 em relação ao P. E todos os outros grupos tiveram comportamento superior ao controle; o G4 e o G5 tiveram um comportamento superior ao G2 em relação ao Ca. O G5 teve comportamento superior ao G3 também em relação ao Ca e todos os grupos foram superiores ao controle; o G7 teve comportamento similar ao controle em relação a microdureza superficial e todos os outros grupos foram superiores ao controle.

莱州湾区域表层沉积物中多氯化萘、多溴联苯醚和氯化石蜡的研究

本研究建立了沉积物中氯化石蜡（CPs）的分析方法，对莱州湾和该区域主要河流的表层沉积物中多氯萘（PCNs），多溴联苯醚（PBDEs）和CPs进行了分析，获得了他们在研究区域的含量水平、空间分布和单体分布模式，并初步探讨了它们在环境中的来源和迁移规律，估算了这三类污染物在莱州湾表层沉积物中的储量，初步评估了莱州湾沿岸的工业排放与人类活动对海洋生态环境的影响。 莱州湾海洋和河流沉积物PCNs的含量分别为65-470 pg/g dw，52-5100 pg/g dw，平均值分别为260 pg/g dw，1100 pg/g dw。莱州湾沉积物中PCNs的含量较低，与发达国家的背景值相当，主要河流沉积物与其他地区的近海、海湾、湖泊沉积物的含量相当。该区域的PCNs主要以5-Cl和6-Cl为主，为工业来源，主要受化工行业的影响。石化工厂热过程产生的低氯组分可能也是该区域PCNs的一个重要来源。莱州湾的PCNs主要来自水体颗粒的输入，而大气沉降来源的贡献不明显。 河流沉积物ΣPBDEs（不包括BDE-209）的含量分别为0.01- 53 ng/g dw，BDE-209的含量为0.74- 280 ng/g dw，平均值分别为4.4 ng/g dw，51 ng/g dw。在组成上，BDE-209占绝对优势，比低溴代BDEs高1-2个数量级，这是由于我国市场上十溴联苯醚是最主要的溴代阻燃剂。ΣPBDEs与亚洲一些地区含量相当，比北美和欧洲一些地区要低；BDE-209含量含量高出北美和欧洲一些地区，处于较高的水平。河流沉积物中BDE-47与-99，BDE-183与-153、-154具有很好的相关性，而且这几种单体质量分数相当，说明莱州湾区域存在五溴和八溴两种工业BDE阻燃剂来源。海洋沉积物中ΣPBDEs的含量为nd- 0.66 ng/g dw，平均值为0.32 ng/g dw，处于较低水平，BDE-209的含量为0.66- 12 ng/g dw，平均值为5.1 ng/g dw，与欧美一些地区相当，主要来自水体颗粒的输入。 本研究用电子捕获低分辨质谱（ECNI-LRMS）建立了沉积物中CPs的分析方法。该方法基于ECNI质谱对SCCP的响应与其氯含量在一定范围内呈线性关系的特性，建立SCCP的总响应因子与氯含量的工作曲线，从而建立定量方法。重点改进了传统方法中由于SCCP标准品和样品中氯含量不同所造成的响应因子的差别，不再要求标准品的含氯量与样品一致，从而提高了SCCP的分析效率与方法准确性。实验发现，当SCCP的实际氯含量在51%-63%之间时，二者线性关系良好（r2>0.96）。用不同氯含量的标准参考品测试，误差为8%-43%。仪器检测限和方法检测限分别为25-400 μg/L，20 ng/g。类似地，建立了中链氯化石蜡（MCCP）的分析方法，工作曲线的实际氯含量范围为44-57%，仪器检测限40-600 μg/L，方法检测限为6 ng/g。通过对比样品与标准品的峰形特征，严格控制保留时间来辨别SCCP与MCCP，实验证明由于二者叠加导致的误差：SCCP为8%，MCCP为14%，总体来说，用该方法得到的CPs数据是可靠的。本文所使用的净化方法能实现CPs与大部分有机氯化合物的分离。 用该方法对莱州湾的沉积物的CPs进行定量，除了两个河流样品MCCP的计算含氯量低于工作曲线以外，其他样品的SCCP和MCCP的计算氯含量都在工作曲线的范围之内。河流沉积物中SCCP和MCCP的含量分别为1-1200 ng/g dw，1-3300 ng/g dw，MCCP/SCCP均值为1.2；含量分布变化较大，一些河段受到工业排放的影响，CPs浓度高出均值1-2个数量级，MCCP/SCCP值也显著高出平均值。莱州湾区域大部分河流的CPs含量与欧洲、北美和日本一些地区相当，而一些受到点源污染的河段则处于较高的水平。河流中SCCP的质量分布在不同的站位不一样，在受到点源影响的样品中，C13的质量分数明显增大，占优势地位，可能是由MCCP携带的SCCP组分所致。MCCP的质量分布在河流和海洋中没有区别，都是C14占绝对优势。从氯取代的组分来讲，所有样品都是以6-8氯取代为主。海洋沉积物中SCCP和MCCP的含量分别为3-18 ng/g dw，1-13 ng/g dw， MCCP/SCCP均值为0.68，显著低于河流沉积物；SCCP的质量分布较为一致，都是以C10和C11为主。研究发现莱州湾区域SCCP与MCCP来源相似，但迁移规律有的不同。海洋环境中的MCCP可能主要来自水体颗粒的输入，而溶解态输入也是海洋环境中SCCP的重要来源。 对这三类污染物在莱州湾表层沉积物中的储量估算得到PCNs、ΣPBDEs、BDE-209、SCCP和MCCP在莱州湾表层0-10 cm沉积物中的储量分别为0.20t，0.25t，3.95t，6.52t，4.30t。拥有10%的渤海海域面积的莱州湾ΣPBDEs和BDE-209的储量分别占渤海海区总量的18-23%，18-32%，远远超过渤海的平均值。

Water, salt water, and alkaline solution uptake in epoxy thin films

As a means of characterizing the diffusion parameters of fiber reinforced polymer (FRP) composites within a relatively short time frame, the potential use of short term tests on epoxy films to predict the long-term behavior is investigated. Reference is made to the literature to assess the effectiveness of Fickian and anomalous diffusion models to describe solution uptake in epoxies. The influence of differing exposure conditions on the diffusion in epoxies, in particular the effect of solution type and temperature, are explored. Experimental results, where the solution uptake in desiccated (D) or undesiccated (U) thin films of a commercially available epoxy matrix subjected to water (W), salt water (SW), or alkali concrete pore solution (CPS) at either 20 or 60°C, are also presented. It was found that the type of solution did not significantly influence the diffusion behavior at 20°C and that the mass uptake profile was anomalous. Exposure to 60°C accelerated the initial diffusion behavior and appeared to raise the level of saturation. In spite of the accelerated approach, conclusive values of uptake at saturation remained elusive even at an exposure period of 5 years. This finding questions the viability of using short-term thin film results to predict the long-term mechanical performance of FRP materials. © 2013 Wiley Periodicals, Inc.

函数式语言方法在网络交互程序中的应用

网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之问切换,这样不可避免的会造成控制信息的丢失.为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continuation、CPS(eontinuationpassing style)等,并将它们应用到网络程序设计中,不仅简化了设计过程,也提高了程序的安全性,并可以在更一般的语言中实现.

基于函数式方法的CGI程序设计

由于HTTP 天生的无状态性质，Web 程序设计中产生了这样一个问题：在两个连续的用户交互之间会遗忘状态信息。一个交互性的 Web 应用程序由一组脚本构成，每个交互都包含两个脚本，一个脚本向浏览器递交页面（然后结束），用户及时完成并提交表单，然后另一个（可能是不同的）脚本处理提交的表单。所以，应用程序逻辑分布在多个脚本之间。 由于浏览器还允许用户在交互中回溯，或者克隆一个正在处理中的交互过程，之后并行执行这两个交互过程，所以问题变得更加复杂。Web 开发框架（例如 Spring 和 Struts）允许处理多个交互，但是它们进一步提高了整体上已经很复杂的代码库的复杂性。 在本文中，我们将几种函数式方法应用到Web程序设计中，从而简化复杂 Web 应用程序的开发。我将从介绍 continuation 的应用开始，逐步引入CPS，Trampoline，Lambda Lifting等函数式方法，通过用Scheme语言编写的一个CGI实例详细展示函数式方法的效果，并进一步将这些方法在C语言中实现。

Ion-conducting polymers based on modified alternating maleic anhydride copolymer with oligo(oxyethylene) side chains

Comb-like polymers (CPs) based on modified alternating methyl vinyl ether/maleic anhydride copolymer with oligo(oxyethylene) side chains of the type -O(CH2CH2O)(n)CH3 were synthesized and characterized, and complexed with lithium salts to form amorphous polymer electrolytes. Maximum conductivity close to 1.38 x 10(-4) S/cm was achieved at room temperature and at a [Li]/[EO] ratio (EO = ethylene oxide) of about 0.066. The temperature dependence of ionic conductivity suggested that the ion transport was controlled by segmental motion of the polymer, shown by linear curves obtained in Vogel-Tammann-Fulcher plots. The ionic conductivity maximum moved to a higher salt concentration as the temperature increased, indicating that a larger number of charge carriers can be transferred through polymer chains, of which free volume is increased at higher temperature. IR results indicated that the ester in CPs might decompose at 140 degrees C and reproduce the maleic anhydride ring.

基于广义正交多项式迭积微分算子的地震波场数值模拟研究

Seismic Numerical Modeling is one of bases of the Exploratory Seismology and Academic Seismology, also is a research field in great demand. Essence of seismic numerical modeling is to assume that structure and parameters of the underground media model are known, simulate the wave-field and calculate the numerical seismic record that should be observed. Seismic numerical modeling is not only a means to know the seismic wave-field in complex inhomogeneous media, but also a test to the application effect by all kinds of methods. There are many seismic numerical modeling methods, each method has its own merits and drawbacks. During the forward modeling, the computation precision and the efficiency are two pivotal questions to evaluate the validity and superiority of the method. The target of my dissertation is to find a new method to possibly improve the computation precision and efficiency, and apply the new forward method to modeling the wave-field in the complex inhomogeneous media. Convolutional Forsyte polynomial differentiator (CFPD) approach developed in this dissertation is robust and efficient, it shares some of the advantages of the high precision of generalized orthogonal polynomial and the high speed of the short operator finite-difference. By adjusting the operator length and optimizing the operator coefficient, the method can involve whole and local information of the wave-field. One of main tasks of the dissertation is to develop a creative, generalized and high precision method. The author introduce convolutional Forsyte polynomial differentiator to calculate the spatial derivative of seismic wave equation, and apply the time staggered grid finite-difference which can better meet the high precision of the convolutional differentiator to substitute the conventional finite-difference to calculate the time derivative of seismic wave equation, then creating a new forward method to modeling the wave-field in complex inhomogeneous media. Comparing with Fourier pseudo-spectral method, Chebyshev pseudo-spectral method, staggered- grid finite difference method and finite element method, convolutional Forsyte polynomial differentiator (CFPD) method has many advantages: 1. Comparing with Fourier pseudo-spectral method. Fourier pseudo-spectral method (FPS) is a local operator, its results have Gibbs effects when the media parameters change, then arose great errors. Therefore, Fourier pseudo-spectral method can not deal with special complex and random heterogeneous media. But convolutional Forsyte polynomial differentiator method can cover global and local information. So for complex inhomogeneous media, CFPD is more efficient. 2. Comparing with staggered-grid high-order finite-difference method, CFPD takes less dots than FD at single wave length, and the number does not increase with the widening of the studying area. 3. Comparing with Chebyshev pseudo-spectral method (CPS). The calculation region of Chebyshev pseudo-spectral method is fixed in , under the condition of unchangeable precision, the augmentation of calculation is unacceptable. Thus Chebyshev pseudo-spectral method is inapplicable to large area. CFPD method is more applicable to large area. 4. Comparing with finite element method (FE), CFPD can use lager grids. The other task of this dissertation is to study 2.5 dimension (2.5D) seismic wave-field. The author reviews the development and present situation of 2.5D problem, expatiates the essentiality of studying the 2.5D problem, apply CFPD method to simulate the seismic wave-field in 2.5D inhomogeneous media. The results indicate that 2.5D numerical modeling is efficient to simulate one of the sections of 3D media, 2.5D calculation is much less time-consuming than 3D calculation, and the wave dispersion of 2.5D modeling is obviously less than that of 3D modeling. Question on applying time staggered-grid convolutional differentiator based on CFPD to modeling 2.5D complex inhomogeneous media was not studied by any geophysicists before, it is a fire-new creation absolutely. The theory and practices prove that the new method can efficiently model the seismic wave-field in complex media. Proposing and developing this new method can provide more choices to study the seismic wave-field modeling, seismic wave migration, seismic inversion, and seismic wave imaging.

汉语句子和语篇韵律层级边界的认知加工及其ERP效应

The aim of the present study was to explore whether the CPS (Closure Positive Shift) which reflected prosodic processing will be elicited when listeners perceived different hierarchical prosodic boundaries in Chinese sentence and discourse (Quatrain). In addiction, the similarity and difference in amplitude, onset latency and scalp distribution between these CPS were investigated. The nature of the CPS and its relationship to acoustic parameters was also explored systematically. The main results and conclusions of the present study were: (1) Phonological phrase boundaries and intonational phrase boundaries in Chinese sentences both elicited the CPS; however, phonological word boundaries can't evoke it. The CPS induced by phonological phrase boundaries was earlier than the one related to intonational phrase boundaries in onset latency, and the amplitude was also somewhat lower. When the pauses in the vicinity of these two boundaries were removed, the onset latency difference disappeared while amplitude in the new conditions was also lower. This indicates that whenever listeners segment sentence into phrases, the CPS will be elicited. Besides, pause was not the decisive factor to elicit the CPS, but can modify its onset latency and amplitude effectively. (2) The different hierarchical prosodic boundaries in seven character quatrain including phonological phrase boundaries, intonational phrase boundaries and sentence pair boundaries elicited the CPS respectively. Furthermore, just like in the sentence level, onset latency of the CPS induced by the prosodic boundaries in the discourse was also influenced by the length of pause: the shorter the pause was, the earlier the onset latency. For the comparison between the CPS evoked by the same and different hierarchical prosodic boundaries, its amplitude was influenced by the extent to which prosodic representations were activated. Thus, the condition of the CPS elicitation was extended to the prosodic bounaries in discourse, and further indicated that it was influenced by acoustic parameters. (3) No matter what task the participants completed, just like word detection or rythem matching task, the CPS will be evoked. However, its amplitude was larger in the anterior region, when listeners completed the word detection task which needed more attention and higher load of working memory. The present result indicated that the elicitation of the CPS was not influenced by the task the participants completed, but different task influence its scalp distribution. (4) The final syllable of the sentence and quatrain can't elicit the CPS, but a P300-like positive component. Although the scalp distribution was similar to the CPS, it was much higher in amplitude. The present result suggested that only the prosodic boundaries reflecting not only the closure of the former prosodic unit but also integrating the later one will elicit the CPS.

Safe Compositional Network Sketches: Tool & Use Cases

NetSketch is a tool that enables the specification of network-flow applications and the certification of desirable safety properties imposed thereon. NetSketch is conceived to assist system integrators in two types of activities: modeling and design. As a modeling tool, it enables the abstraction of an existing system so as to retain sufficient enough details to enable future analysis of safety properties. As a design tool, NetSketch enables the exploration of alternative safe designs as well as the identification of minimal requirements for outsourced subsystems. NetSketch embodies a lightweight formal verification philosophy, whereby the power (but not the heavy machinery) of a rigorous formalism is made accessible to users via a friendly interface. NetSketch does so by exposing tradeoffs between exactness of analysis and scalability, and by combining traditional whole-system analysis with a more flexible compositional analysis approach based on a strongly-typed, Domain-Specific Language (DSL) to specify network configurations at various levels of sketchiness along with invariants that need to be enforced thereupon. In this paper, we overview NetSketch, highlight its salient features, and illustrate how it could be used in applications, including the management/shaping of traffic flows in a vehicular network (as a proxy for CPS applications) and in a streaming media network (as a proxy for Internet applications). In a companion paper, we define the formal system underlying the operation of NetSketch, in particular the DSL behind NetSketch's user-interface when used in "sketch mode", and prove its soundness relative to appropriately-defined notions of validity.