R0-代数(NM-代数)的模糊MP-滤子格

在R0-代数中,从模糊集出发构造了模糊MP-滤子,作为应用证明了如下结果:R0-代数的所有模糊MP-滤子构成一个完备模格。     

基于NIOSⅡ多功能留言机的设计

设计了一款应用于家庭用户的多功能留言机.考虑可编程逻辑器件（FPGA）具有灵活的可配置性、升级方便、集成多IP核方便完成片上系统（SOC）的设计等特点,采用可编程逻辑器件（FPGA）和嵌入式软核NIOSⅡ处理器完成系统设计.本文设计基于50 MHz的系统时钟,利用SOPC定制用户系统,采用软硬件协同设计的方案,可于2min之内完成图像的采集和JPEG压缩,通过触摸屏方便与用户间的交互,支持语音留言、留言提示、电子钥匙、用户管理（播放、查看历史、备忘以及删除等）、电子时钟、语音报时、自动待机和屏保等功能.     

一种形式化的可信平台模块应用编程接口安全性分析方法

针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.     

Quantum logic gates operation using SQUID qubits in bimodal cavity

We present a scheme to realize the basic two-qubit logic gates such as the quantum phase gate and SWAP gate using a detuned microwave cavity interacting with three-level superconducting-quantum-interference-device (SQUID) qubit(s), by placing SQUID(s) in a two-mode microwave cavity and using adiabatic passage methods. In this scheme, the two logical states of the qubit are represented by the two lowest levels of the SQUID, and the cavity fields are treated as quantized. Compared with the previous method, the complex procedures of adjusting the level spacing of the SQUID and applying the resonant microwave pulse to the SQUID to create transformation are not required. Based on superconducting device with relatively long decoherence time and simplified operation procedure, the gates operate at a high speed, which is important in view of decoherence.     

Inhibit化学逻辑门:基于Al3+和Fe3+的β-二酮荧光开关的研究

合成了1,3-二苯基-4-苯乙酰-5-吡唑酮(HDPP-PA)与Al^3 ,Fe^3 形成的配合物,通过元素分析、质谱、红外光谱、紫外-可见吸收、荧光光谱等测试方法,对其组成和结构进行了表征,发现Fe^3 能有效地减弱Al配合物的荧光,为此将HDPP-PA与Al^3 和Fe^3 组成一个具有INHIBIT操作功能的化学逻辑门。     

离子光频标的原理和发展

人类对时间的计量历史可以追溯到几千年前,随着科学技术的发展与进步,人类对事件的计量精度也越来越精确。当前,世界上最精确的计时工具为光频标,可以达到百亿年不差一秒的水平。文章回顾了离子光频标的发展过程和当前的研究进展,简要介绍了钙离子光频标和量子逻辑铝离子光频标的原理及进展。     

中国城市公共空间生产的三重逻辑及其平衡

城市公共空间是城市民众社会交往、政治参与和共建美好生活的重要平台。城市公共空间价值的有效发挥要遵从城市公共空间的生产逻辑。中国城市公共空间生产遵循三重逻辑:权力逻辑、资本逻辑与生活逻辑。权力逻辑偏好控制和秩序,通过公共政策实现公正;资本逻辑追逐利润与效率,运用市场机制达致效率;生活逻辑追求宜居和幸福,借助参与机制构建人本空间。这三大逻辑共同决定和影响城市公共空间生产与治理绩效。中国城市公共空间更多地受到权力逻辑和资本逻辑的制约与影响,导致城市公共空间生产的失衡与异化。要消解这种异化,让城市公共空间回归其公共性、服务性和宜居性宗旨,城市公共空间生产要更加注重生活逻辑,使得权力逻辑、资本逻辑与生活逻辑保持动态平衡,促进城市公共空间的有机发展,创造美好城市生活。     

中华美学对美的本质的发现与证明

发现和证明是不同的逻辑系统,前者属于现象学,后者属于本体论。中华美学以古典现象学的方法发现美,在不同的历史时段,对美进行了道本体证明和情本体证明。中华美学对美的本质的发现和规定是乐道和兴情,具有二元论的性质。因此,它对于美的本质的证明也具有了二元性：一个是对于道之美的证明,一个对于情之美的证明。两者都进行了逻辑推理,但后者又更多地依据审美经验。总体上说,中华美学对于美的本质的证明相对薄弱,其发现的逻辑强于证明的逻辑。     

政区三要素框架下的中国当代市制：演进逻辑与优化路径

晚清以来中国市制历经了借鉴探索的狭域自治市制、曲折增长的狭域行政市制、数量速增的广域行政市制、质量提升的适域治理市制四个阶段。而作为政区三要素的市镇建制、政区空间和行政单位,在演进逻辑上分别对应的是实现建制、要素城市化的协调,找到市制适域尺度单元,以及优化城市组织体系。市制要更好地发挥其在城市治理现代化中的制度效能,还需在政区三要素上持续改革。近期,新冠肺炎疫情的出现为市制改革敲响了警钟。未来市制发展应注重通过丰富建制类型、优化空间形态、压缩行政层级等改革举措来提升城市韧性。     

新中国70年经济发展的逻辑与发展经济学领域的重大创新

多重转型发展是新中国70年经济发展的逻辑,新中国70年经济发展的实质就是在多重转型发展逻辑下,借助转型来更新发展理念、转换经济发展战略、重塑经济发展动力、创新经济发展路径,不断谋求新发展的过程。新中国70年来,中国大规模多层次的转型发展有八个维度：从农业大国向现代工业化国家的转型、从计划经济体制向市场经济体制的转型、从数量型发展向质量效益型发展的转型、从单一经济结构向多元经济结构的转型、从人与自然的冲突向和谐共生的转型、从“国富优先”向“民富优先”的转型、从数量追赶战略向质量追赶战略的转型、从封闭发展向开放发展的转型。在多重转型发展的逻辑下,不仅实践上促进了中国经济的快速发展,而且理论上形成了发展经济学领域的创新：经济发展路径理论的创新、经济发展动力理论的创新、经济发展方式理论的创新、经济发展结构理论的创新、经济发展财富理论的创新、经济发展目标理论的创新、经济发展战略理论的创新、经济开放发展理论的创新。