Silicon Nitride Derived from an Organometallic Polymeric Precursor: Preparation and Characterization

Partially crystalline Si₃N₄, with nanosized crystals and a specific surface area greater than 200 m²/g, is obtained by pyrolysis of a commercially available vinylic polysilane in a stream of anhydrous NH₃ to 1000°C. This polymer does not contain N initially. Crystallization to high-purity α-Si₃N₄ proceeds with additional heating above 1400°C under N₂. The changes in crystallinity, powder morphology, infrared spectra, and elemental compositions, for samples annealed from 1000° to 1600°C under N₂, are consistent with an amorphous-to-crystalline transformation. Although macroscopic consolidation and local densification occur at 1400°C, volatilization and accompanying weight loss limit bulk densification. The effect of temperature on specific surface area is examined and related to the sintering process. These results are applicable to pyrolysis, decomposition, and crystallization studies of ceramics synthesized by polymeric precursor routes.     

Design of fluidized bed photoreactors: Optical properties of photocatalytic composites of titania CVD-coated onto quartz sand

Volumetric optical properties (spectral absorption, scattering and extinction coefficients) of differently expanded narrow-path fluidized beds (FB) of a photocatalyst obtained by plasma-CVD deposition of titania onto quartz sand, relevant for photoreactor design purposes, are determined by using an unidirectional and unidimensional (1DD) model for the solution of the radiative transfer equation (RTE). Two simplified approaches are used: a Kubelka-Munk (KM) type of solution, by which the RTE is transformed into a pair of ordinary differential equations, and a discrete ordinate method (DOM) by which the complete RTE is transformed into an algebraic system that can be solved computationally. The second approach was validated by introducing the obtained optical parameters into a more elaborated bi-directional and two-dimensional (2DD) DOM model. Despite its simplicity, the KM method was able to yield fair order-of-magnitude estimates of the spectral optical properties of these FB.     

多孔塑料管材挤出工艺和机头模具

扼要介绍了多孔塑料管材的用途、性能、制造方法、配方、生产工艺和机头模具的设计     

Styrene-butadiene branched star-shaped asphalt modifiers: Synthesis and mechanical characterization

Abstract

The synthesis and the corresponding characterization of styrene-butadiene (SB), branched, star-shaped copolymers was investigated as part of a research project on asphalt modification using polymers with precise molecular structures. The method of anionic polymerization was followed to prepare samples of block copolymers of SB, a synthesis method that controls chain-architecture, molecular weight distribution, monomer distribution, and the average molecular weight. The research studies are the synthesis of block copolymers including linear, three- and four-arms constructs, depending on the coupling agent used. The techniques of nuclear magnetic resonance (1NMR), differential scanning calorimetry (DSC), gel permeation chromatography (GPC), and rheology were carried out to characterize the copolymers. From the results of the 1NMR, DSC, and GPC analyses, all star-shaped copolymers investigated showed a similar block copolymer composition. Furthermore, the rheological behavior of one of the synthesized star-shaped copolymers was nearly the same as a four-branched commercial copolymer. Rheologically, the four-arm block copolymer sample had the largest storage modulus (G′) among the branched copolymers synthetized, indicating that such architecture produces a highly structured material. In regard to polymer-modified asphalt formulations, the three-branched copolymer architecture yielded better elastic behavior than the four-branch version. In summary, the findings of this investigation provide new insight about a polymer system that may offer advantages in industrial asphalt paving applications.     

Resolution proof transformation for compression and interpolation

Verification methods based on SAT, SMT, and theorem proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal reason that led to unsatisfiability, for computing abstractions, or for deriving Craig interpolants. In this paper we focus on two important aspects that concern efficient handling of proofs of unsatisfiability: compression and manipulation. First of all, since the proof size can be very large in general (exponential in the size of the input problem), it is indeed beneficial to adopt techniques to compress it for further processing. Secondly, proofs can be manipulated as a flexible preprocessing step in preparation for interpolant computation. Both these techniques are implemented in a framework that makes use of local rewriting rules to transform the proofs. We show that a careful use of the rules, combined with existing algorithms, can result in an effective simplification of the original proofs. We have evaluated several heuristics on a wide range of unsatisfiable problems deriving from SAT and SMT test cases.     

Catalytic hydrogenation of nitrile rubber using palladium and ruthenium complexes

The catalytic hydrogenation of acrylonitrile‐butadiene copolymer (nitrile rubber, NBR) using Pd(OAc)₂ or RuCl₂(PPh₃)₃ catalysts has been investigated in order to produce a totally saturated nitrile rubber. The hydrogenation of NBR is effective with both catalysts and achieved total conversion under the appropriate reaction conditions. In the case of palladium the effects of reaction parameters such as reaction temperature, pressure, time, catalyst concentration, and NBR concentration have been investigated. Even though both ruthenium‐ and palladium‐based catalysts are effective in the production of HNBR, the former requires harsh reaction conditions and has the drawback of gel formation under high conversion, motivating the migration to RuCl₂ (PPh₃)₃ as an alternative catalyst. The degree of hydrogenation was determined by IR and NMR spectroscopy. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci, 2007     

折半查找算法在电子会议系统调试中的应用

关联性故障代表单元的查找定位是电子会议系统调试的关键环节。为了提高查找定位效率,提出了一种基于折半查找的快速定位算法。通过对电子会议系统中干线上的代表单元可靠度的分析,把代表单元的故障情况转化成随着代表单元数量动态变化的量化数据,构成一组有序的可靠度数据,将工程调试问题转化成数据分析问题,引入折半查找算法,设计高效准确定位故障代表单元的算法,并进行了算法效率分析。该方法操作简单,无需借助特殊工具即可应用于复杂环境下电子会议系统的现场调试。     

密螺旋体Reiter株轴丝的提纯及鉴定

将Reiter株菌体超声破碎,上清液经离子交换柱层析及凝胶过滤,得到纯化轴丝。该轴丝经SDS—PAGE检测分析,所得结果与丹麦参考品一致,分子量在3～4万之间,与文献报道相同。经电镜观察,产物均匀,未被杂质污染。按上述方法提取,3克湿重菌体最终可得2毫克左右轴丝蛋白。