一种基于B方法和构件技术的形式化开发方法

构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。     

光纤传感器及其研究现状

光纤传感器是近几年来出现的集光学、电子学为一体的新型传感器。本文主要介绍了光纤传感器的结构、原理、特点以及目前的研究现状和发展方向。     

基于激光法探究炉渣灰颗粒的团聚现象研究

为获得炉渣灰在<80μm、80～150μm、>150μm粒径区间的颗粒特征变化规律,通过激光衍射、SEM扫描电镜开展了炉渣灰颗粒的粒径分布试验研究.结果表明:由于炉渣灰易形成蜂窝状的多孔空间结构,导致其细小颗粒易堆积填充,形成粒径大小不一的团聚体,其中>150μm的颗粒团聚现象最为明显.     

冲压设备快速换模技术研究

本文从快速换模技术的综述入手,对快速换模技术在冲压设备中的具体应用进行了详细论述。结果表明,应用快速换模之后,换模时间显著缩短,冲压设备的整体利用效率大幅度提高,这有助于企业经济效益的提升。     

一种新的密闭取心饱和度校正方法研究

由于在密闭取心和饱和度测试过程中,岩心中的流体存在一定的损失,Y井常规密闭取心油水饱和度测试结果和地下真实情况存在偏差,必须进行校正;而传统校正方法的油水等比例散失原则存在不合理性。提出一种新的校正方法,将蒸馏法饱和度测试后的岩心组成长岩心,在地层条件下进行水驱油物理模后取至地面条件进行蒸馏法饱和度测试,对油水饱和度的损失比例进行了标定,完成了对Y井密闭取心饱和度测试资料的校正。校正结果与测井解释成果对比分析表明,长岩心水驱油校正结果准确可靠,有助于油田水淹层的判断和开发调整策略的制定。     

完善转移支付制度,缩小地区间差距

随着我国市场经济的进一步完善,1994年1月1日开始,我国对原来税制进行了改革,实行“分税制”。中央对国家预算进行了一系列重大调整,主要体现在“收入大头在中央,支出大头在地方”。中央通过税收返还和财政补贴,实现地方财政当年收支平衡的目标。从地区间差距现状转入手,分析产生差距的原因,从完善转移支付制度的角度切入,提出解决缩小地区间差距的建议和对策。     

工作流扩展模型及其性能等价分析

针对现有工作流模型表达能力的不足,基于工作流控制模式的最新研究成果,通过扩充和调整得到8种工作流基本控制模式。基于8种工作流基本控制模式,对WFMC定义的4种工作流基本模型进行扩展,得到了合理的、满足封闭性要求的6种扩展工作流基本模型,丰富了工作流模型的表达能力。从统计学角度推导了基于随机Petri网的选择、容错和嵌套模型的性能等价计算公式,给出了一种定量分析工作流模型性能参数的通用方法。     

荞麦中苯丙氨酸解氨酶活力与黄酮含量的关系

荞麦幼苗及幼苗不同器官中黄酮含量随着苯丙氨酸解氨酶活力变化而变化。Ｘ射线处理可增强荞麦幼苗中苯丙烷类代谢途径，致使黄酮含量提高。由此推测，苯丙氨酸酶活力黄酮类次生物质的形成具有密切关系。     

观察法列写复杂系统的传递函数

本文就系统结构图和系统传递函数的对应关系进行探讨，认为通过对系统结构图特征的观点可以快捷而准确地写出系统的传递函数。     

转基因作物在农业生产中的应用及发展趋势

将外源基因定向引入植物细胞,创造转基因作物新品种,已广泛应用于农业生产,产生了巨大的社会经济效益;在提高作物产量、改良作物品质、提高其抗旱、耐盐碱能力等方面将具有新的突破。