0.18μm CMOS高集成度可编程分频器的设计

采用标准0.18 μm CMOS工艺,提出了一种高集成度可编程分频器.该电路所采用技术的新颖之处在于：基于基本分频单元的特殊结构,对除2/除3单元级联式可编程分频器的关键模块进行改进,将普通的CML型锁存器集成为包含与门的锁存器,从而大大提高了电路的集成度,有效地降低了电路功耗,提升了整体电路速度,并使版图更紧凑.仿真结果表明,在1.8V电压、输入频率Fin=1 GHz的情况下,可实现任意整数且步长为1的分频比,相位噪声为-173.1 dBc/Hz@1 MHz,电路功耗仅为9 mW.     

二阶Camassa-Holm方程解的爆破性质研究

主要研究在k=2的情况下高阶Camassa-Holm方程解的爆破性质.首先,通过一系列的先验估计建立了一个新的爆破准则,并且给出了精确的爆破速率;然后,利用Holder不等式、Sobolev不等式和闭集的相关性质给定在新爆破准则下的爆破点集.     

中华优秀传统法律文化融入法治社会建设初探

中华优秀传统法律文化提倡的德治与法治、情理与法理的有机结合,能为法治建设提供有益的借鉴,当代法治建设,应结合全面推进依法治国新形势的需要,在中华优秀传统法律文化基础上进行创造性转化。建构以个人为本位的法治运行机制,促成公民内在法治信仰、并自觉外化于行的法治建设模式。     

三角代数上Lie积为平方零元的非线性Jordan高阶可导映射

设U是一个 2-无挠的三角代数,D ={d_n}_n∈N是U上一个Lie积为平方零元的非线性Jordan高阶可导映射。证明了三角代数U上的每一个Lie积为平方零元的非线性Jordan高阶可导映射都是高阶导子。作为结论的应用,得到套代数或 2-无挠的上三角分块矩阵代数上的每一个Lie积为平方零元的非线性Jordan高阶可导映射都是高阶导子。     

对称离散事件系统状态树结构模型的控制函数不变性研究

针对对称离散事件系统中使用监督控制理论计算得到的自动机形式的监督控制器状态数较多且无法清晰反映控制逻辑等问题,提出了基于状态树结构的抽象控制函数计算方法。该方法通过充分利用系统的对称性,对避免缓冲区出现上溢或者下溢的性能指标,采用事件重标记映射提取各组中处于加工完成状态的组件数目,从而省去了各组件复杂的运行细节;然后利用状态树结构计算得到基于抽象状态信息的控制函数;最后,结合各组组件并行工作与串行工作的实例,分析所得控制函数的不变性,即在缓冲区容量固定的前提下,控制函数所需的状态信息与组件总数量无关。实验结果表明:在实际应用中借助控制函数的不变性可在结构相同的组件增减时免于重复计算控制函数;各组中重标记为同一事件的各可控事件可由同一控制函数进行使能,有效减少了控制函数的个数;相比于自动机形式的监督控制器,控制函数状态数更少且能更清晰地描述控制逻辑。     

可动边界高阶系统最优控制的必要条件研究

最优问题实际上是一个求极值问题,而变分法就是用来求泛函极值的一种方法。因此根据二阶导数在可动边界条件下的泛函极值定理,对高阶导数在可动边界条件下的泛函极值问题作进一步推广,从而给出了可动边界的高阶系统最优控制的必要条件及其证明。     

结合PI自调整与模糊逻辑补偿的控制方法

为了给乘客提供一个安全舒适的乘梯体验,研究了永磁同步电梯系统的启动控制方法.考虑到因乘客数量变化而导致的系统惯量变化,在分析电梯启动过程的基础上,提出了一种结合比例-积分(PI)自调整与模糊逻辑补偿的复合控制方法.首先,采用PI自调整方法有效减小了滑车距离并消除速度超调带来的震动感;然后,引入模糊逻辑补偿进一步减少了启动时的溜车距离,并指出2.3mm为最佳的溜车距离;最后,Saber平台的仿真结果与实际物理平台的实验结果验证了该复合启动控制方法的可行性与有效性.     

开放科学及建构的制度逻辑

科学与技术是两种不同的制度模式,前者属于科学共和国"Republic of Science",后者属于技术王国"Realm of Technology",两者具有天生的互补性。开放科学作为一种非市场化的激励制度,提出一套基于优先权的报酬体制,强调在知识产权保护前提下追求创新知识社会福利的最大化,对于催生高质量的研究和创新(Research&Innovation)至关重要。本文在阐述开放科学起源、发展与理论内涵的基础上,重点从公共资助、累积创新、知识产权保护和知识分工四个方面,深入探究了开放科学建构的制度逻辑。     

高阶导数求解方法与技巧

<正>导数是微积分学的重要研究对象,熟练地掌握它的计算与应用是微积分教学的主要目标[1-4].在学习这部分内容时,很多学生都会觉得在求解高阶导数时经常出现问题,往往求不出结果.虽然高阶导数是教学中的一个难点,但是解决这类问题是有一定的方法与技巧的,求解高阶导数关键是找到合适的求解方法,这样才能事半功倍.     

证实原则的认知逻辑分析

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。