装备制造业产业协作链服务平台模型研究与设计

为了区域装备制造业信息化建设,研究和设计了装备制造业产业协作服务平台的整体架构,分为三个层次:数据共享层、应用服务层和用户层.研究了服务平台功能模型,定义了服务平台主要功能:数据交换功能、技术协作功能、信息资讯功能.在产业链技术协作模块设计中,重点介绍了服务层、管理层和资源层的作用.分析了信息服务综合技术和一些辅助技术,采用了SOA服务架构模式,通过搜索引擎技术对行业内外部的信息进行搜集,实现了为客户提供实时的管理信息化系统服务,为产业链企业信息咨询服务.     

冷连轧机厚度和张力系统的智能解耦控制

现代冷连轧机组中的厚度和张力系统具有多变量、强耦合、不确定等特点.以某厂1700mm冷轧机组为背景,以现场数据为核心,建立了厚度和张力耦合系统数学模型.针对系统模型的参数扰动以及外部扰动等不确定性,提出了基于准对角递归神经网络多变量PID控制策略,该策略具有较强的表达和处理瞬态信息的能力,实现了厚度和张力系统的解耦控制.仿真结果验证了本算法的有效性,其解耦响应速度和抗干扰能力明显优于传统解耦控制效果,适合解决非线性系统的动态问题.     

可分解不完全可分组设计的存在性

可分解不完全可分组设计(Resolvable Incomplete Group Divisible Design或IRGDD)被广泛地用于构造其他组合设计中.在该文中,我们证明了除u=6且m≡n≡0(mod 2)外,一个型为(m,n)u的3-IRGDD存在的必要条件也是充分的.     

释“误译”

如果我们从莫斯科语义学派义素分析法对兼有动词义和名词义的概念“误译”进行分析,则“误译”的客观意义由它自身的概念语义和反映情景参与者的配价语义两方面组成,“主体、客体、受体、行为、结果”五要素是“误译”的语义配价,填上相应的题元词就构成“误译”的表层句法结构。由此得出“误译”的定义是人或机器在将甲语转化为乙语的过程中偏离、遗漏或歪曲甲语文化信息,导致译语与原语信息量不等,译语受众无法获得与原语受众极似的交际效果的活动。     

强共归纳数据类型上的Comonadic共递归

针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型.     

追问中学学校教育目的

什么是教育,是我们千百年来一直在讨论的话题。教育是立国之本,是我们的百年大计,它的重要性不言而喻。在不同的社会历史条件下,对教育的理解和定义不同。至今在我们教科书对教育的定义是“教育是培养人的一种社会活动”。而学校教育成为教育的主体,它担任着为国家、社会培养各方面人才的任务。狭义的教育主要就是学校教育。     

显著边缘直接引导的动态模糊图像盲复原方法

针对主动视觉中运动载体和云台抖动导致图像模糊的问题,提出一种显著边缘直接引导的动态模糊图像盲复原方法。为了克服经典 Canny 算子只能对边缘进行标注的缺陷,设计了图像边缘搜索-增强算法,并基于此提出了仅依据图像中显著边缘邻域完成点扩散函数优化估计的方法;为解决传统残差图像方法不能适应预测图像错位的问题,提出图像解模糊的递归残差修正算法来抑制复原图像波动;设计了图像复原的分层迭代处理流程,保证模糊图像复原的可靠性和精度。理想光照条件下的仿真表明,算法能准确恢复模糊图像的边缘,同时抑制复原图像中的波动。非理想光照条件下的仿真也验证了算法对环境有良好的适应性,具有较高的实际应用价值。     

求解决策过程的布尔方法

在大量科学实验、工程测试、医疗诊断、环境监测等决策过程中,会遇到这样一类问题:如何从有限次试验归结出客观规律及揭示出内在的因果关系.该文给出解决这类问题的布尔方法.     

图型序列母函数的递归性质

以有向图Ｇ的顶点为元素,Ｇ的有向途径所对应的序列称为图形序列。本文讨论图型序列母函数的一些递归性质,主要包括割点定理,割边定理和删点公式,利用这些性质可以简化图型序列母函数的计算。     

常系数线性齐次递归关系模p同余后的通项公式

研究一常数线性齐次递归关系所给出的序列模素数ｐ后所得到的整数列的通项公式,并利用有限域理论给出了求常系数线性齐次递归关系模ｐ后所得序列的通项公式的理论方法．从而推广了［１］中关于常系数线性齐次递归关系的若干结果