有机产品生产运行控制课程理实一体化教学改革与实践

通过对有机化工产品生产岗位工作任务调研,提出了课程改革的理念和思路,介绍了课程的实施,并对教学方法和手段、成绩考核方案设计等进行了改革,同时提出了理实一体化课程实施过程中要解决的教材、教学条件和师资队伍建设等问题。     

新广义相对论中的均匀宇宙学解

本文利用规范引力理论下的新广义相对论,给出费里德曼方程及其解,并加以讨论,得到一些新推论。     

浅谈邓小平德育思想

邓小平德育思想是邓小平理论的重要组成部分,在青年成才过程中,在成才方向、精神动力及实现社会价值等方面具有重要指导意义。     

辊弯生产系统的反求设计及其应用

目的　应用生产系统反求技术及模糊理论研究濒临报废的整条生产线更换某些关键部位即可使生产线恢复正常生产 .方法　提出并采用了一个新的概念和方法生产系统反求 .结果　该项技术已应用于某厂引进的复杂型材辊弯生产线的反求 ,使已报废的两条生产线生产出合格产品 ,目前用自行研制的系统重新设计并制造了两条生产线 ,一次创效益上千万元 .结论　生产系统反求这一新的理念可推广应用到变批量生产快速响应的各个领域     

针对裂变产额和半衰期的燃耗计算灵敏度和不确定度分析方法

基于广义微扰理论推导了裂变产额和半衰期的燃耗灵敏度系数理论模型,该模型考虑了原子核密度和中子通量的相互影响,并开发了燃耗计算中有效增殖因数和原子核密度等响应参数对核数据的灵敏度和不确定度分析程序。基于评价核数据中裂变产物独立产额的标准差数据,产生了针对压缩燃耗数据库的裂变产额协方差矩阵,以提高不确定度的计算精度。基于ENDF/B-Ⅶ.1数据库量化了UAM基准题TMI-1栅元无限增殖因数及重要裂变产物和重核的原子核密度由裂变产额和半衰期引入的不确定度。数值结果表明,对于栅元无限增殖因数,裂变产额和半衰期引入的不确定度很小;对于部分裂变产物的原子核密度,裂变产额和半衰期会引入较大的不确定度。     

反倾断裂面在边坡稳定分析中的作用

本文根据块体理论使用矢量分析方法结合全平面赤平投影方法对某矿的边坡稳定性进行了分析,着重讨论了反倾断裂面时,在边坡稳定性分析中所起的作用.结果表明,当坡体内同时存在顺坡和反倾断裂面在开采过程的有限时间内,相对仅有从而顺坡断裂面存在的条件,可改善边坡的稳定性.定量的计算表明可提高边坡角7°～8°,描述了反倾断裂面对边坡稳定性的改善程度和特征.     

迁移理论中第一类临界参数方程的解及其方向离散化逼近的收敛性

本文用3-阶拟总体紧算子逼近理论证明了迁移理论中第一类临界参数方程的解的存在性及其方向离散化逼近的收敛性。     

Objective Information Theory Exemplified in Air Traffic Control System

Information is the core of Air traffic con-trol system (ATCS).In this paper,objective information theory is extended to depict,model and measure the information exemplified in ATCS.The sextuple model is presented with information ontology,state occurrence time,state set,carrier,reflection time,and reflection set.The metric system is given to quantitively measure the information with extensity,detailedness,continuity,richness,containability,delay,pervasiveness,authenticity,and adaptability.The results show that the proposed method is potential to find out actual indexes in ATCS for flight safety.     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.