一个Object-Z规格说明的证明责任产生器

定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。     

磁场对双相Ti-48Al-2Cr-2Nb合金电解加工表面 微观形貌的影响

为揭示电解加工表面成形规律,建立电-磁-热-流多场耦合微观材料模型,从电流密度分布、粗糙度、微观形貌等几个方面,动态跟踪阳极微观表面成形过程,揭示Ti-48Al-2Cr-2Nb合金在不同磁场条件下,电解加工微观表面的动态演变规律及影响机制,并通过实验验证仿真结果。仿真结果表明：电解加工微观表面成形是一个表面膜生成与溶解的复杂竞争过程,在加工过程中,微观表面反复经历粗化与抛光阶段。无磁场作用时,表面粗糙度为0.121 μm,多重分形谱的谱面积为0.0030;有磁场作用时,表面粗糙度为0.118 μm,谱面积为0.0023。实验结果证实：无磁场时,表面粗糙度为1.16 μm,多重分形谱的谱宽为0.87,谱面积为1.468;有磁场时,表面粗糙度为0.93 μm,谱宽为0.84,谱面积为1.388。仿真结果与实验结果吻合,磁场降低了加工表面粗糙度,使表面微观形貌变简单、均匀,同时提高了加工稳定性。     

Ti-48Al-2Cr-2Nb合金高电位腐蚀行为

采用线性扫描(LSV)、计时电流法(CA)、电化学阻抗谱(EIS)和表面观察等方法,研究Ti-48Al-2Cr-2Nb合金在NaNO_3(质量分数为20%)溶液中高电位(7 ~16 V)电化学腐蚀行为以及外加电位对腐蚀行为的影响。阻抗谱数据采用Maxwell传输线模型进行拟合。结果表明:电流密度随着电位的增加波动变大,样品均经历了非均匀腐蚀到均匀腐蚀的过程;腐蚀后吸附反应的个数从腐蚀前的7个减少为5个;样品腐蚀后的总腐蚀抗力与总时间常数的下降均随着电位增加经历先增加后减少的过程,腐蚀粗糙程度的增加是先迅速下降然后趋于平稳。     

基于WEB的比价交易代理模式的研究

文中提出了一种为了检索万维网上的信息机制并构建了一个关系数据库。解决这个问题分三步:处理了基于HTML的WEB页面的困难;从WEB页面上抽取指定的信息并整合成结构化的文档;给出了把结构化的文档转换成相关的数据表的算法。满足了用户以最小代价、最短时间买到适合自己的商品。     

双相Ti-48Al-2Cr-2Nb合金电解加工表面 微观形貌演变研究

针对各向异性合金材料电解加工过程中,加工表面形貌难以控制的问题,利用位置函数建立双相Ti-48Al-2Cr-2Nb合金微观材料模型,进而建立电解加工仿真微观物理模型,分析加工表面微观形貌随宏观工艺参数演变的规律。研究结果表明：电解液流速在14.7~23.4 m/s、进给速度在1.7~2.3 mm/min范围内,随着电解液流速和进给速度的增加,加工表面粗糙度Ry越低;当加工电压为21 V、进给速度为2.3 mm/min、电解液流速为23.4 m/s时,加工表面最光洁,Ry值达最小,为0.677 μm。从微观形貌演变仿真可以看出,获得最光洁加工表面经历了先粗化后抛光的过程。     

人工智能专业教育的教学模式探讨

针对智能时代下精细化的学科专业划分、按学科专业单一标准来归属教职人员所属院系、各学科课程内容繁杂、与科研实践关系不紧密等问题,提出按智能类专长发展的全生命周期混合教学模式,目的是为了实现智能类专业教育与通识教育的深度交互,增强学生对智能类知识的自主性、胜任感,解决学生智能类知识零散、"奔现"难的问题.     

基于WEB的比价交易代理模式的研究

文中提出了一种为了检索万维网上的信息机制并构建了一个关系数据库。解决这个问题分三步：处理了基于HFML的WEB页面的困难；从WEB页面上抽取指定的信息并整合成结构化的文档；给出了把结构化的文档转换成相关的数据表的算法。满足了用户以最小代价、最短时间买到适合自己的商品。