The Cerebellum according to the Ouroboros Model,the ＂Interpolator Hypothesis＂

The Ouroboros Model offers a novel cognitive architecture with an algorithmic backbone of iterative and self-referential processing. All memory content is organized into meaningful pieces of data, i.e.,chunks and schemata, which are laid down as a kind of snapshots of all activations at a relevant point in time. This entails a grainy structure of memory content. Whereas a core process of ＂consumption＂ analysis can naturally be defined taking advantage of this parcellation, it necessitates interpolation for fine nuances, especially for the representation of intermediate values during transients. It is argued that, in the vertebrate brain, essential interpolation functionality is provided by the cerebellum. Findings concerning movement control and perception as well as the involvement of the cerebellum in more abstract, cognitive, tasks can be interpreted as reflecting a function of the cerebellum as a co-processor, i.e., a general-purpose interpolator. The cerebellum is thus boosting representations in cerebral cortex areas, which are reciprocally connected with cerebellar cortex areas. In this paper, it is sketched how the new ＂interpolator hypothesis＂ can explain manifold observations, effectively subsuming previous theories of the function of the cerebellum. Directly relating to the BICA challenge, a general-purpose interpolator is postulated as an efficient device providing fine-grained resolution for the representation of diverse content, potentially useful in any cognitive architecture.     

助乳化剂对化妆品乳液稳定性和液晶性的影响

以硬脂酸蔗糖酯和失水山梨醇硬脂酸酯的复配物（SSE）为主乳化剂，十六／十八醇及甘油为助乳化剂制备含液晶乳液化妆品。通过观察乳液的温度稳定性和液晶性，用三元相图研究助乳化剂含量对此乳液体系液区的影响。实验条件下，用该乳化剂体系可获得较好的液晶化妆品乳液，总之，较高的助乳化剂量有利于乳液的温度稳定性和液晶性，但助乳化剂量较低时经合理配方也能获得稳定的液晶乳液，其中含3％高碳醇和5％甘油的乳液稳定性及液晶性均较好，5％高碳醇和3％甘油的助乳化剂体系不宜采用。     

开关柜智能监控装置的设计与实现

文中的开关柜智能监控装置是针对电力开关柜开发设计的一种新型的多功能智能化模拟动态指示装置。该方案以ARM处理器NUC950为控制核心,它集一次回路模拟图、断路器状态、手车位置、接地刀闸位置、弹簧储能状态、隔离开关状态、高压带电显示及闭锁、自动(手动)加热除湿控制、加热器故障报警、超温报警指示、语音防误提示、网络通信等多功能于一体,提高了开关柜状态监测和控制的集成度和智能化。     

基于Voronoi图的连续反向最近邻查询

为解决动态环境中移动点的连续反向最近邻查询问题,将连续反向最近邻查询分为单色和双色2种情况进行研究。利用移动点Voronoi图,分别给出单色连续反向最近邻查询算法、双色连续反向最近邻查询算法以及相关定理,对算法正确性和可终止性进行证明,分析算法时间复杂性。按照移动点Voronoi图的拓扑结构是否改变分为2种情况,分析每种情况下候选所在区域的变化,在变化区域内进行Voronoi图的重构,得到对应的解决方法。在多数情况下,该算法只需生成局部移动点的Voronoi图即可找到结果,减小了连续反向最近邻查询的代价。     

轨道交通电力监控中的拓扑分析

在轨道交通电力监控中,根据车站对应电力主接线图上的设备图元和连接线颜色变化来实时监控整个车站内的带电情况.采用深度优先搜索算法,根据实时变化的电源电压和设备开断状态,动态地对电力主接线图进行网络拓扑分析并计算图中设备图元的带电情况.该方案在国内多条地铁线路的运营实践中均能够实时准确地完成拓扑着色功能.     

基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。     

基于问题框架的计算机辅助需求工程工具的研发

问题框架(Problem Frames,PF)已经得到需求工程界的广泛重视和研究。目前,问题框架在理论基础和开发方法等方面已经有很多研究成果,但如何把它们应用到实际的软件开发项目中仍是一个有待解决的问题。本工具可帮助系统分析员实现从用户需求到软件规约的平滑和可推理的变换,从而为软件开发项目中需求的沟通、建模及分析等提供技术支持。此外,该工具产生的结果也为下一步的软件设计提供帮助。它对促进问题框架方法的进一步发展和成熟,如从研究走向实用,具有重要的推动作用。     

基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

动态受限区域内的单纯型连续近邻链查询方法

受限区域内的单纯型连续近邻链查询在空间数据挖掘、数据的相似分析和推理、空间数据库等方面具有重要的作用。为了弥补已有方法的不足,详细研究了动态受限区域内的单纯型连续近邻链查询方法。基于计算几何中的Voronoi图给出了VOR_IN_CRSCNNC算法、VOR_EX_CRSCNNC算法和VOR_DE_CRSCNNC算法。进一步进行了实验比较和分析。理论研究和实验分析表明,所提出的算法在查询过程中减少了数据逐一筛选和判断的冗余计算,在处理空间数据量较大、初始受限区域数据量较多、受限区域形状较为复杂的单纯型连续近邻链查询方面具有较大的优势。     

软弱破碎围岩隧道二衬施作的合理时机判别研究

为了合理判别软弱破碎围岩隧道的二衬施作时机,结合工程实践,通过洞室拱顶沉降和边墙变形收敛的现场监控量测,提出了利用围岩-初支系统变形实测数据判别软弱破碎围岩隧道二衬施作合理时机的考虑支护是否保守的五级速率比值法并研发了相应的软件,并通过工程实例进行了成功验证。研究表明：1研制的软件操作具有界面简洁、友好,以及操作简单易用的特点,具有测点围岩-初支系统位移和收敛的现场监测数据的录入、储存、修改和管理等功能,能方便地进行软弱破碎围岩隧道的二衬合理时机判别;2通过工程实例验证分析表明,提出的方法是可行的,与现行的二衬时机选择的方法本质上是相同的,但更加具有可操作性,研究成果可以为同类型隧道的二衬时机选择提供可资借鉴的方法。