旁侧序列对端粒DNA G-quadruplex热稳定性和折叠与去折叠动力学的影响

从热力学和动力学两个方面研究了旁侧序列对人端粒核心序列G3（T2AG3）3在钠离子溶液中所形成的Cr-quadruplex结构的影响．紫外吸收熔解实验表明G3（T2AG3）3一侧或两侧加上6个胸腺嘧啶核苷酸序列（T6）会明显降低G-quadruplex的相变温度（Tm）．在3′端加上T6时Tm降低约5℃，在5′端加上T6时Tm降低约10℃，两侧同时加上T6时L降低16℃．采用表面等离子体共振（surface plasmon resonance，SPR）测定G-quadruplex折叠和去折叠动力学的结果表明旁侧序列的加入同时降低了折叠和去折叠的速率常数（kf，ku），使折叠平衡常数（KF）由9．01降至7．44．上述结果表明旁侧序列的存在降低了G-quadruplex结构的稳定性．     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

Schr(o)dinger方程的时空有限元方法与守恒性

对非线性Schroedinger常微分方程，利用常微分方程连续有限元法证明了能量守恒；对非线性Schroedinger偏微分方程利用时空都连续的全离散有限元方法证明了能量积分守恒和利用空间连续、时间问断的有限元法得到电荷近似守恒，误差为高阶量．并在数值计算上探讨了守恒性和近似程度。结果与理论相吻合．     

转包且具有不同费用时间段的排序问题

本文研究制造商可以将工件转包给承包商加工的排序模型,承包商仅有一台机器,转包费用由分配给转包工件的不同时间段费用确定.本文分别研究制造商有一台单机及两台自由作业机器环境情形,需要确定被转包工件集及全部工件的加工顺序,使得工件最大完工时间与转包费用和最小.本文利用归约方法对制造商每个机器环境,证明问题NP困难性,并提出动态规划算法.     

Optimal resource allocation scheme for cognitive radio networks with relay selection based on game theory

In this paper,we present a non-transferable utility coalition graph game(NTU-CGG) based resource allocation scheme with relay selection for a downlink orthogonal frequency division multiplexing(OFDMA) based cognitive radio networks to maximize both system throughput and system fairness.In this algorithm,with the assistance of others SUs,SUs with less available channels to improve their throughput and fairness by forming a directed tree graph according to spectrum availability and traffic demands of SUs.So this scheme can effectively exploit both space and frequency diversity of the system.Performance results show that,NTU-CGG significantly improves system fairness level while not reducing the throughput comparing with other existing algorithms.     

基于NBDD的高效数字音频功率放大器设计

数字音频功率放大器具有体积小、重量轻、可靠性高的特点，但其并非工作在理想状态下。为进一步提高数字功放的效率，通过将双边带三电平自然采样法（NBDD）脉宽调制技术引入数字功放的脉宽调制设计，并将Dead-Time技术引入开关放大器的设计中，提出了高效数字音频功率放大器的优化设计方案，从而提高了整机的失真度指标，降低了低通滤波器设计阶数、改善了信噪比。     

Synthesis and Crystal Structure of Binuclear Complex of Copper(Ⅱ)Chloroacetate with Acetamine

１ＩＮＴＲＯＤＵＣＴＩＯＮＣｏｐｐｅｒｃｏｍｐｌｅｘｅｓｈａｖｅａｌａｒｇｅｖａｒｉｅｔｙｏｆｓｔｅｒｉｃｓｔｒｕｃｔｕｒｅｓａｎｄｐｌａｙａｎｉｍｐｏｒｔａｎｔｒｏｌｅｉｎｃａｔａｌｙｓｉｎｇｔｈｅｅｎｚｙｍａｔｉｃａｃｔｉｖｉｔｉｅｓ，ｗｈｉｃｈ...     

H_2及H~ 对C_xH_(1-x)薄膜表面状态的影响

系统研究了 H2 流量和 H 原位处理 Cx H1-x薄膜的时间对 Cx H1-x薄膜的稳定时间、表面悬挂键密度和表面电子局域化程度的影响 ,表明 Cx H1-x薄膜的长时间 H 原位处理是减小 Cx H1-x薄膜表面悬挂键密度的有效途径。     

基于Daikon与C++Test的自动测试用例集约简工具生成

程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估。实验结果表明,CDRT工具能有效地约简测试用例集。     

On surfaces immersed in Euclidean space R~4 Dedicated to Professor Yang Lo on the Occasion of his 70th Birthday

Let M be a closed oriented surface immersed in R4 . Associated it one has the generalized Gauss map from M into the Grassmann manifold G 4,2 . This note will be concerned with the geometry of the generalized Gauss map by using the moving frame theory and the quaternion interpretation of Plcker coordinates. As one of consequences,we get the celebrated theorem of Chern and Spanier,Hoffman and Osserman,who proved it by quite different methods. At last,we give an explicit construction of a series of immersions of S2 in R4 with any given normal Euler number.