49阶Steiner三连系的构造与计数

阐明了v=t^2阶Steiner三连系构造的基本思路。给出了任意完全图kv的边矩阵的定义，从而为图论研究提供了一个工具。提出了t^2阶Steiner三连系构造的一种方法。介绍了49阶Steiner三连系构造的全过程。讨论了t^2阶Steiner三连系的计数问题。     

试论我国公共文化服务体系建设的六大主要目标

当前,加快建立覆盖全社会的公共文化服务体系,必然有助于满足公民基本文化需求,保障和实现公民基本文化权益;增强社会主义和谐文化建设的底蕴,促进和谐社会发展;保护和发掘民族传统文化资源,传承和创新中华文化;缩小城乡文化差距,推进城乡协调发展;发展社会主义先进文化,建构和巩固国家政治意识形态;获得国际社会的文化认同,在世界舞台上树立成熟的现代国家形象。     

系统科学视角下高分辨率对地观测系统任务管控统筹优化

高分辨率对地观测系统因其高清晰度的影像产品倍受测绘、农业、林业、采矿、城市规划、国土资源等众多领域的用户青睐.在面对不同用户各种繁杂的任务需求和超过载的卫星影像订购,以及在云层遮挡等随机因素干扰下,如何通过对任务统筹管控来提升系统整体效益已成为航天领域一个崭新的管理科学问题.通过对高分辨率对地观测任务管控流程的分析,指出了星务管控的关键在于卫星任务规划和星地资源调度问题,并围绕问题基本输入要素和输出要素构建了该问题的概念模型.通过与车辆调度、车间作业调度等常见资源调度问题对比,强调了该问题的特殊性和巨复杂性,并从任务、资源、约束和优化目标四方面进行了详细论述.最后,基于系统科学观的思想提出采用统筹优化的方法来处理高分辨率对地观测系统任务管控问题,并从系统层次性、涌现性和协调性角度进行了系统分析.     

A self-adaptive synchronization controller for Liu chaotic systems

A kind of synchronization controller for Liu chaotic systems whose nonlinear components are subject to Lipschitz condition was proposed. By using Lyapunov function and linear matrix inequality technique, a self-adaptive synchronization controller was constructed for Liu chaotic systems. There are two components of our derived synchronization controller: linear and nonlinear component. Linear component is composed of errors of the state variables between driving-systems and responding-stems, and nonlinear co...     

浅谈KCBYS型开关磁阻电动机调速系统

介绍了开关磁阻电动机调速系统(SRD)的各个组成部分和功率变换电路应具备的条件,阐述了该系统的功率变换电路和系统控制结构图,给出了系统应用的控制方式、位置检测电路和电流检测的方法。     

Toffoli门可逆网络计数与级联

分析并证明了同型Toffoli门串联的输出结果与串联门个数之间的关系.为了保证串联过程收敛,给出了Toffoli门串联网络的计数,证明了可逆网络输入向量中Hamming重量的位向量个数与位向量位数之间的关系.提出了一种Toffoli门的串联、并联和混合级联网络的算法,并验证了该算法的有效性.     

低价钛试剂促进下苯并咪唑并[1,2-c]喹唑啉衍生物的合成

在低价钛试剂促进下,以2-（2-硝基苯基）苯并咪唑和碳酸二三氯甲酯为原料,经过串联还原偶联反应,一步合成了一系列苯并咪唑并[1,2-c]喹唑啉-6（5 H）-酮衍生物.产物结构通过红外光谱、核磁共振氢谱和元素分析确证.     

具强阻尼黏弹性波动方程组解的指数衰退

研究一类包含强阻尼项的非线性波动方程组的初边值问题.根据方程组的特点,构造了能量函数,研究能量函数的性质,并利用所得结果、积分估计及Poincaré不等式,得到了在一定条件下该问题解的指数衰退性质.     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

基于图书馆系统对学风评价的实证研究

自主学习是学风评价的重要指标之一。图书馆作为培养优良学风的重要阵地,可以利用自身系统的优势,对自主学习学风评价指标进行数值量化,对学风进行客观、有真实数据支撑的评价,从而引导和促进学风建设。