药物相互作用研究在新药研发和审评决策中的应用

药物相互作用改变了剂量效应关系，可能会降低疗效或增加毒性，是临床应用中合并用药治疗时重要的考虑因素。预测具有临床意义的药物相互作用是药物研发过程中获益风险评估的重要环节。本文概述了药物研发过程中药物相互作用研究的目的和意义，体内和体外研究的主要内容；梳理分析了2020年国家药品监督管理局（National Medical Products Administration, NMPA）和美国食品药品监督管理局（Food and Drug Administration, FDA）批准上市的新药药物相互作用研究情况，旨在为我国药物研发过程中药物相互作用研究及其监管审评提供参考。     

面向消费类电子产品的自动化生产线成组技术

针对现代消费类电子产品快速更新换代的现状, 介绍了该类产品的自动化生产线成组技术,阐述了通过度量消费类电子产品相似性和派生性特征,对产线进行成组编码的原理,研究产线工位单元的建模方法,描述了建模内容,并通过有无装载板的产线结构,论述了产线成组编码集成的途径和方法.     

烃氧化产物皂化后活性组分在油、水相的分配

用强酸酸化后测定乙醚抽出物酸量和酯量、溴甲酚绿两相滴定测定羧酸盐等方法研究了烃氧化产物皂化后活性组分在油、水相的分配。结果表明,在现行的用NaOH皂化烃氧化产物以制备水溶性石油磺酸盐的过程中有相当多的活性组分分配到油相;在水相和油相中均有大量羧酸酯存在,羧酸酯量远远超过羧酸盐量。     

我国动漫衍生产品发展趋势分析

随着国内动漫创作质量的提高和产业链的不断完善,动漫综合开发也带来了衍生产品及其市场的发展,形成了动漫产业全方位发展的格局。本文主要针对我国动漫衍生产品的现状、存在的问题和未来发展趋势,进行系统地阐述与分析。     

探析产品设计中的“绿色设计”

由于环境的恶化、自然资源的有限和过度开采,倡导环境和资源保护的绿色设计必将成为今后产品设计的主流之一;社会的可持续发展的要求预示着"绿色设计"将成为现代产品设计的重要思想。然而多数人对绿色设计真正含义并不十分明确。本文就绿色设计的具体含义作了具体的分析,并把绿色设计的内容和趋势进行了新的总结和拓展。     

医疗产品设计中的人性化研究

在经济飞速发展的今天,传统的医疗产品行业应该顺应社会的需求,更加重视人的情感需求,从人性化的设计角度,着眼于造型、色彩、人机上对医疗产品进行更深入的设计研究。     

The Chemistry of Water Treatment Processes Involving Ozone,Hydrogen Peroxide and Ultraviolet Radiation

Advanced oxidation processes are defined as those which involve the generation of hydroxyl radicals in sufficient quantity to affect water purification. The theoretical and (practical yield of OH from O₃ at high pH, 0₃/H₂0₂, O₃/UV and H₂O₂/UV systems is reviewed. New data is presented which illustrates the importance of direct photolysis in the O₃/UV process, the effect of the H₂0₂:0₃ ratio in the O₃/H₂O₂ process, and the impact of the low extinction coefficient of H₂O₂ in the H₂0₂/UV process.     

GC/MS characterization of effluents front the ozone bleaching of eucalypt kraft pulps

Concerns regarding the possible environmental effects of organochlorine by‐products from bleaching of pulp with chlorine‐based compounds have led to the pulp and paper industry developing new bleaching sequences. Ozone, oxygen and hydrogen peroxide are the main reagents in these Totally Chlorine Free (TCF) bleaching processes.

In this study, eucalypt kraft pulps from a variety of Australian wood sources were subjected to bleaching sequences comprising oxygen, ozone and hydrogen peroxide/alkali extraction stages. The aqueous liquid effluents from each stage were analyzed by GC/MS for aldehydes, ketones, alcohols, carboxylic acids and other by‐products. Pentafluorobenzyl oxime derivatives of the aldehydes and ketones were analyzed by electron impact GC/MS. The major carbonyl compounds detected were formaldehyde, glyoxal, dimethylglyoxal and acetone. An homologous series of n‐aldehydes corresponding to cleavage of ω‐3, 6, 9 and 12 unsaturated fatty acids also was detected. Aromatic aldehydes were identified in the oxygen stage and high consistency ozone stages, but not in any medium consistency ozone or post‐ozone bleach stages. In all stages a series of saturated alkyl carboxylic acids from formic to octacosanoic acid was detected. Formic and acetic acids were present in the highest yield. Only trace quantities of unsaturated fatty acids were detected. Details of these and other compounds detected are discussed.     

实验动物在血液制品中的应用

目的：阐述实验动物在血液制品生产质量控制过程中应用的重要性。方法：按《中华人民共和国药典》2005年版三部要求及相关项目的技术规范进行血液制品质量控制。结果：血浆数量150吨,可同时生产以下品种的产品,人血白蛋白共30批次,总瓶数约40万瓶（折10g）;免疫球蛋白类：共30批次,总瓶数约30万瓶（折2.5g）;人纤维蛋白原：共30批次,总瓶数约15万瓶（折0.5g）;人凝血酶原复合物：共30批次,总瓶数约12万瓶（折300IU）;人凝血因子Ⅷ：共30批次,总瓶数约10万瓶（折200IU）。需使用家兔870只、豚鼠300只小鼠750只。结论：实验动物应用于血液制品生产质量控制发挥了非常重要的作用。     

A study on multi-dimensional products of graphs and hybrid logics

In this work, we address some issues related to products of graphs and products of modal logics. Our main contribution is the presentation of a necessary and sufficient condition for a countable and connected graph to be a product, using a property called intransitivity. We then proceed to describe this property in a logical language. First, we show that intransitivity is not modally definable and also that no necessary and sufficient condition for a graph to be a product can be modally definable. Then, we exhibit a formula in a hybrid language that describes intransitivity. With this, we get a logical characterization of products of graphs of arbitrary dimensions. We then use this characterization to obtain two other interesting results. First, we determine that it is possible to test in polynomial time, using a model-checking algorithm, whether a finite connected graph is a product. This test has cubic complexity in the size of the graph and quadratic complexity in its number of dimensions. Finally, we use this characterization of countable connected products to provide sound and complete axiomatic systems for a large class of products of modal logics. This class contains the logics defined by product frames obtained from Kripke frames that satisfy connectivity, transitivity and symmetry plus any additional property that can be defined by a pure hybrid formula. Most sound and complete axiomatic systems presented in the literature are for products of a pair of modal logics, while we are able, using hybrid logics, to provide sound and complete axiomatizations for many products of arbitrary dimensions.