逻辑函数化简的一种新思路

本文探讨逻辑函数化简的一种新方法。本方法依据函数项相互衍生的特点建立函数项相互连接与涵盖关系来进行筛选。其优点是使化简思路明确,化简工作量减少,特别是对于变量数较多的逻辑函数的化简更呈现其优越性。     

构建知识探究过程培养探究创新能力--兼谈函数奇偶性的教学设计

传统的数学教学中满足于把知识点讲清楚 ,而现代数学教学注重的是采取适当有效的教学方法 ,发挥学生的主体作用 ,培养学生的探究创新能力 ,这就需要我们恰当构建课本知识的再发现过程 ,引导学生积极思考 ,本文以函数奇偶性的教学设计为例 ,谈一谈自己的观点和做法 .1　构建知识探究过程教学设计的思路和方法1 .1　构建知识探究过程的理论依据 :(1 )学生学习数学的最有效的途径是进行再创造 ,他们在再创造活动中不断调动已有的知识经验并创造新经验 ,通过同化和顺应两种方式 ,不断形成数学的新认知结构 .这种形成的认知结构与掐头去尾烧中段…     

关于中值定理证明中辅助函数的构造

从分析方法入手，获得中值定理证明中的辅助函数。     

基于椭圆型方程的扭叶片造型方法的研究

本文以偏微分方程造型为基础,提出了一种基于椭圆型方程的扭叶片三维型面直接设计方法,详细推导了叶型曲面函数,给出了型面方程的求解及其前后缘修正。该方法具有设计叶型曲面自然光顺,设计参数少且各参数具有明显的几何意义,叶型曲面调整方便,利于采用非数值优化算法对其进行气动优化等优点。文中给出了设计实例,并通过数值实验分析了所设计叶片型面的流动特性。分析结果表明设计叶片具有良好的气动性能,同时也证明了本文提出的基于椭圆型方程的扭叶片三维型面设计方法的可靠性和实用性。     

一种基于段的基音检测算法

作为语音信号处理领域一项基本、关键的技术,基音检测在语音信号处理中扮演着重要的角色,一直是语音信号处理的一个研究热点.首先对传统的基于短时自相关函数法的基音检测进行了研究;在此基础上提出了一种能同时检测一段语音信号基音周期的方法,有效地克服了传统基音检测算法只能检测一帧语音信号基音的缺点.进行了实验仿真,结果表明通过去野点,中值平滑等后处理的基于段的基音检测算法比传统的基于帧的基音检测算法具有更好的抗噪性.     

Spin polarization effect for Tc2 molecule

Density functional method (DFT) (B3p86) of Gaussian98 has been used to optimize the structure of the Tc_2 molecule. The result shows that the ground state for Tc_2 molecule is an 11-multiple state and its electronic configuration is {}^{11}Σ_g^-, which shows the spin polarization effect of Tc_2 molecule of a transition metal element for the first time. Meanwhile, we have not found any spin pollution because the wavefunction of the ground state does not mingle with wavefunctions of higher energy states. So, that the ground state for Tc_2 molecule is an 11-multiple state is indicative of the spin polarization effect of Tc_2 molecule of a transition metal element: that is, there exist 10 parallel spin electrons. The non-conjugated electron is greatest in number. These electrons occupy different spacious tracks, so that the energy of Tc_2 molecule is minimized. It can be concluded that the effect of parallel spin of the Tc_2 molecule is larger than the effect of the conjugated molecule, which is obviously related to the effect of electron d delocalization. In addition, the Murrell--Sorbie potential functions with the parameters for the ground state {}^{11}Σ_g^- and other states of Tc_2 molecule are derived. Dissociation energy D_e for the ground state of T_{c2} molecule is 2.266eV, equilibrium bond length R_e is 0.2841nm, vibration frequency ω_e is 178.52cm^{-1}. Its force constants f_2, f_3, and f_4 are 0.9200aJ·nm^{-2}, --3.5700aJ·nm^{-3}, 11.2748aJ·nm^{-4} respectively. The other spectroscopic data for the ground state of Tc_2 molecule ω_eχ_e, B_e, α_e are 0.5523cm^{-1}, 0.0426cm^{-1}, 1.6331×10^{-4}cm^{-1} respectively.     

Finding finer functions for partially characterized proteins by protein-protein interaction networks

Based on high-throughput data, numerous algorithms have been designed to find functions of novel proteins. However, the effectiveness of such algorithms is currently limited by some fundamental factors, including (1) the low a-priori probability of novel proteins participating in a detailed function; (2) the huge false data present in high-throughput datasets; (3) the incomplete data coverage of functional classes; (4) the abundant but heterogeneous negative samples for training the algorithms; and (5) the lack of detailed functional knowledge for training algorithms. Here, for partially characterized proteins, we suggest an approach to finding their finer functions based on protein interaction sub-networks or gene expression patterns, defined in function-specific subspaces. The proposed approach can lessen the above-mentioned problems by properly defining the prediction range and functionally filtering the noisy data, and thus can efficiently find proteins’ novel functions. For thousands of yeast and human proteins partially characterized, it is able to reliably find their finer functions (e.g., the translational functions) with more than 90% precision. The predicted finer functions are highly valuable both for guiding the follow-up wet-lab validation and for providing the necessary data for training algorithms to learn other proteins.     

具有控制系数的高阶线性微分方程复振荡的一个结果

该文考虑具有控制系数 A\-0 和系数仅有有限个极点的高阶线性齐次微分方程（1.1）。得到了一个复振荡结果，该结果是J. K. Langley［11］等作者在整系数下相应结果的推广。     

Lüroth误差和函数的若干性质

本文研究了Lüroth展式的误差和函数.利用误差和函数的Perron-Frobenius算子,得到其积分值.最后,考察并获得其介值性定理,从而得出其图形是一个分形.