行为规划语言在问题求解方法中的应用

针对传统编程编写的代码可扩展性差的问题, 引进一种声明式编程方法, 利用行为语言 C+进行问题表 征与求解。 以经典的倒水问题为例, 利用 C+语言进行主体规则以及目标查询表征, 通过调用求解器 cplus2asp 实现对倒水动作规划。 实验证明, 用 C+语言进行编程, 语法简单且求解过程具有自主推理能力, 并且可任意 增添或删减语句而不影响其他语句执行, 具有很高的扩展性。     

近晶C相液晶中向错线对自由能的影响

利用φ映射方法计算了近晶相液晶中向错线对自由能的影响.得出向错线自身的自由能是以kπ为单位拓扑量子化的,从而弥补了挖掉奇异区域来估算向错线自由能的不足.研究结果表明,向错强度相同的两条向错线由于排斥最终将达到一个平衡状态,向错强度相反的两条向错线由于吸引可能彼此湮灭.     

浅谈电能表的研制

在简述电能表专用芯片CS5463芯片性能的基础上,介绍了由89C55及CS5463构成的电能表的硬件和软件.     

抽象半线性发展方程正解的存在性

利用线性算子半群理论和抽象锥上的不动点定理 ,在合适的条件下建立了偏序Banach空间中半线性发展方程全局正解的存在性结果     

企业铁路运输调度指挥管理系统研究与设计

随着信息技术快速发展,越来越多的企业意识到了信息化建设的重要性,加大在了信息化上的投资,一系列主流的IT技术也应用到企业信息化建设中。本文结合企业铁路调度指挥系统的设计与实现,提出有关企业运输调度指挥信息化的设计思路和建议。     

SCP-2基因的表达调控研究进展

固醇转运蛋白(SCP-2)是广泛存在于脊椎动物和无脊椎动物中的非特异性脂转运蛋白.任何影响固醇转运蛋白基因表达的因素都会影响甾类激素的合成,进而影响生物体的发育.目前对该基因的转录调控研究较少,主要集中在哺乳动物.环境、激素、转录因子等对SCP-2基因的表达调控均有影响,对SCP-2基因作为害虫防治靶标的可能性进行了初步的探讨.C/EBP蛋白作为调控Sl SCPx基因表达的转录因子,可以调控Sl SCPx基因的表达.推测了C/EBP蛋白成为新的害虫防治的靶标的可能.     

基于STC89C54RD的RFID读卡器的设计与应用

提出并实现了一种基于STC89C54RD的RFID读卡器的设计方案,能运用在新能源电动汽车的交流充电桩上实现启动、停止控制和查询、扣费等功能.通过对应用了本设计的交流充电桩的功能测试,系统实现了预定的功能,并具有控制灵活、工作稳定、使用方便、适应环境能力强等特点.     

基于IFCM-GRA的空间多维热误差温度测点优化

热误差是精密、超精密加工中主要的误差源之一,热误差温度测点优化是热误差补偿的关键问题.在机床空间多维布置的大量温度测点之间存在多重相关性,从众多测点中选取特征点的优劣程度,将直接影响到热误差补偿效果.通过对温度测点间多重相关性及温度与热误差关系的综合分析,采用改进的模糊C-均值(IFCM)聚类算法对温度测点进行聚类,以减小类与类之间温度测点的相关性,且避免FCM算法对初始聚类中心敏感易局部收敛的缺点.对温度测点按灰色关联分析(GRA)中的灰色综合关联度进行排序,从变化量和变化率的角度综合反映温度与热误差的关系.采用IFCM-GRA对温度测点进行优化,提高了热误差模型的鲁棒性及准确性,使温度测点数量大幅度减少.在某型号精密卧式加工中心上进行实验,温度测点从17个减少到4个.在不同转速下,利用多元线性回归对优化出的温度测点与热误差建立模型,所建立模型均能很好地预测热误差变化情况,经对预测模型分析,轴向热误差由几十微米减小到5μm以内.     

上海鳞毛蕨属植物分布新记录

报道了上海分布新记录的四种鳞毛蕨属植物,即假红盖鳞毛蕨、桃花岛鳞毛蕨、轴鳞鳞毛蕨和高鳞毛蕨,并附有新记录种的特征照片;对新记录种及其近缘种的分类特征进行了描述,对新记录种的地理分布进行了补充.凭证标本保存于中国科学院南京地质古生物研究所标本馆(NPA).     

面向对象的三维对流扩散问题有限元程序设计

根据三维对流扩散问题的有限元分析,采用面向对象的程序设计语言C ,建立向量类、矩阵类、单元类、结点类、材料类和有限元方法类等,实现三维对流扩散问题的有限元分析程序开发,对相关的对流扩散问题进行数值模拟.结果表明与用结构化语言开发的传统有限元程序相比,程序更易重用、维护、扩充,并且可以融入用C 编制的大型通用有限元科学和工程计算软件.