意识的机器实现及相关问题

意识研究的重要性,已经得到认知科学、心理学、脑神经科学等相关学科的广泛承认,但是关于意识是什么这一研究前题,还没有达成广泛共识。本文从列举和分析意识研究的特殊困难出发,研究意识在进化中的作用,意识存在的必要性及其数学根据,进而提出关于意识机制的机器可实现的模型,通过意识的机器实现解决“意识是什么？”这一难题。     

关于意识及其机器实现问题的对话

本文通过对话形式首先给出了当代脑科学对意识研究所取得的新成就及其解释,介绍了意识的部分神经基础,包括边缘系统、注意机制,瞬间记忆以及回响回路与意识的关系。     

基于真实机器的装配公差分析方法

机器上目标要素的位置误差是零件几何误差和装配误差共同作用的结果．为了研究装配基准的几何误差在装配链中的传递和变换,提出基于真实机器模型的装配积累误差建模与分析方法．首先,采用控制点变动模型表示零件几何要素,利用蒙特卡罗模拟方法生成几何要素相对于公称位置的变动实例．然后,根据理论正确尺寸确定几何要素相对于基准参考框架的公称位置．第三,提出基准参考框架建立方法,根据基准要素实例确定目标要素的测量基准参考框架．最后,提出装配接触模型,根据装配顺序和基准要素位置实例确定测量基准参考框架相对于装配基准体系的位置．通过以上4个过程计算装配链中所有关联要素在机器坐标系下的位置,获得装配基准体系的几何误差在装配链中的转递和变换关系．将真实机器装配情况模拟分解为4个模块化过程,可以实现装配误差分析的自动化．以三平面定位的轴孔装配的装配间隙计算为实例,验证了本文提出的方法．     

命题规则知识库更新的一种代数方法

知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决,代数方法具有良好的性质和实现方法,文中给出了基于规则知识库更新的代数方法．首先讨论了如何把知识库更新和协调性检查转化为代数问题．知识库中的规则用Petri网来表示,事实用Petri网的标识表示,这样把知识库更新和协调性检查转化为Petri网的可达性问题．在做了这个转化以后,协调性检查就变成了可达性问题,可达性的判断可以用代数的方法解决,同样,矛盾性检查也可以用代数方法实现,在此基础上,给出了基于规则命题知识库的更新方法,以及扩充逻辑程序知识库的更新方法,和相关的工作进行比较,所提出的方法更实用,效率更高。     

美研制出自行生长肌肉的微型机器

美国一家实验室研制出一种微型机器,能够凭借自身生长的肌肉行走。这项发明可能被用于研制神经刺激器,使瘫痪病人不用呼吸器就能呼吸;或者用于研制纳米机器人,来清除血管内的脂肪斑。     

模式的形式不变性及准确的模式理论

以矩阵表示为工具, 通过线性空间的线性变换对遗传算法的进化过程进行表述, 给出了交叉算子和变异算子可以进行互换的条件; 在模式空间的基础上, 推导了准确的模式进化公式. 模式、模式空间贯穿全文始终, 新模式理论的获得建立在更大的粒度(the degree of coarse graining)上.     

星载合成孔径雷达TOPS模式研究

TOPS(循序扫描地形观测)模式作为一种新的星载合成孔径雷达(SAR)工作模式,通过天线波束指向的改变避免了扫描工作模式SAR图像的扇贝效应.本文给出了一种广义的SAR成像模型,适用于TOPS模式和其他工作模式,以模式因子描述天线的转角率、多普勒中心率、照射时间范围和方位分辨率.分析了TOPS模式带宽扩展和间隔缩放的信号特点及其处理方法,提出了一种以Chirp-z变换算法为基础,引入去转动函数解决输出长度问题的TOPS成像处理流程,最后通过点目标仿真验证了算法的有效性.     

TIME-IGGCAS模式与经验模式和观测数据的比较

TIME—IGGCAS（Theoretical Ionospheric Model of the Earth in Institute of Geology and Geophysics,Chinese Academy of Sciences）模式是我们在前人工作的基础上完善的一个中低纬理论电离层模式．本文把该模式的结果与其他一些有代表性的经验模式和多种观测数据作了详细的对比．比较结果表明：TIME-IGGCAS模式模拟的电子浓度、电子离子温度在数量级上均与经验模型和观测符合得较好,在地方时变化、纬度变化、季节变化这些变化形态上也符合得较好,并且模式能很好地模拟出赤道异常、冬季异常和半年异常这些电离层异常,这为我们进一步开发电离层数据同化模式奠定了良好的基础．无论是与经验模式还是与观测相比,TIME—IGGCAS模式均低估了电子温度而高估了离子温度,模式在日出日落时段和在低高度模拟的偏差较大,这些结果为我们以后进一步完善模式、改善模式的模拟能力提供了参考．     

遗传算法的模式欺骗性分析

讨论了遗传算法的模式欺骗性和欺骗问题. 描述了模式包含、竞争与关联等概念，给出了基于主竞争关系的模式欺骗性与GA欺骗问题的严格定义，包括完全欺骗问题、一致欺骗问题、序列欺骗问题和基本欺骗问题. 分析了完全欺骗吸引子的特征，给出了形成完全欺骗问题的吸引子应满足的条件. 然后，讨论了GA欺骗性与隐含并行性、收敛性之间的关系. 结合计算实例说明了模式欺骗性对GA搜索行为的影响.     

支持向量机及其在机械故障诊断中的应用研究

针对支持向量机分类算法中模型选择对分类精确性影响很大的问题,结合转子实验台模拟的典型旋转机械故障数据对影响多故障分类器分类性能的相关因素进行了研究。结果表明,在少量时域故障数据样本条件下,选用不同的核函数及核函数参数对多故障分类器的分类精度有一定影响,为实际工程应用中选择合适的支持向量机核函数类型及其参数提供一定的帮助.     

胎带机浇筑混凝土优化布置模型设计及应用

为使胎带机布置规划更高效、更科学,结合胎带机在向家坝工程的实际使用情况,基于胎带机设备特性,运用最优化理论和算法,并采用计算机程序辅助计算,设计了优化布置模型。通过计算机程序计算,模型可以针对施工现场的具体需求给出最优的胎带机空间布置方案,为快速决策提供科学依据,从而提高胎带机的使用效率。     

基于SVM的旋转机械转子故障预示研究

支持向量机包括支持向量回归机和支持向量分类机.本文提出了一种用于旋转机械转子故障预示的方法,通过支持向量分类机（SVC）对旋转机械转子故障进行分类并建立故障分类器,利用支持向量回归机（SVR）对转子运行状态趋势进行预示,并将预示结果输入到SVC以判断预示结果的属性.对支持向量回归机进行了仿真研究.将支持向量机与神经网络算法从理论和实验研究两个方面进行了对比研究,结果表明,该方法具有较好的故障预示能力.     

An Inhomogeneous Hidden Markov Model for Efficient Virtual Machine Placement in Cloud Computing Environments

In a cloud environment virtual machines are created with different purposes, such as providing users with computers or handling web traffic. A virtual machine is created in such a way that a user will not notice any difference from working on a physical computer. A challenging problem in cloud computing is how to distribute the virtual machines on a set of physical servers. An optimal solution will provide each virtual machine with enough resources and at the same time not using more physical services (energy/electricity) than necessary to achieve this. In this paper we investigate how forecasting of future resource requirements (CPU consumption) for each virtual machine can be used to improve the virtual machine placement on the physical servers. We demonstrate that a time‐dependent hidden Markov model with an autoregressive observation process replicates the properties of the CPU consumption data in a realistic way and forecasts future CPU consumption efficiently. Copyright © 2016 John Wiley & Sons, Ltd.     

Proposition of a reference serum for the immunochemical assay of human serum proteins]

Sera of healthy students (from Academy of Paris) aged between 18 and 30 years were collected with a view to routine clinical testing. 50 samples each representing the pooled sera of 400 individuals were investigated by evaluating 7 proteins for each pooled sample. Calculations of standard deviations showed that there existed a significant reproductibility of less than 2% for the population as a whole. These pooled sera representing 20 000 individual blood samples are proposed as a standard of human serum proteins.     

基于钻石模型的江苏工业设计产业发展模式研究

工业设计产业的发展对推动江苏产业结构向高端制造业和现代服务业转变具有重要的意义.本文以江苏省工业设计产业的发展现状为基础,以波特的钻石模型为分析框架,阐述了江苏省工业设计产业发展模式的战略选择,并在此基础上提出了推动工业设计产业发展的对策建议.     

JXTA网络中资源搜索模型的研究与实现

本文改进了对等节点的功能分工和网络层次结构,并引入移动Agent技术,通过移动Agent在集合点之间传播查询通告,提出了一种基于JXTA技术和移动Agent的新资源搜索网络模型,并实现了一个建立在P2P网络上的使用移动Agent进行资源搜索的系统--AJMAS.实验结果表明.通过改进网络结构及相应的搜索策略,能够极大地提高网络的适应性和搜索速度.使基于JXTA协议的P2P网络不再仅仅是一种理论上的研究模型,它将具有很好的应用前景.