J2EE平台上的所见即所得的HTML电子表格工具的设计

本文介绍了一个MDA软件开发工具的设计思想和实现工具。该工具可以根据MDA中的平台无关模型的信息，由用户通过所见即所得的方式来编辑HTML表格。用户编辑了HTML表格框架后，可以基于PIM中的ER模型来定义表格中各个单元格的值。用户在编辑的过程中就可以直接看到表格的最终显示。这个工具和我们研究的其它两个工具协同使用，可以高效地把PIM转换成为J2EE平台上的应用程序。     

从EDOC的业务过程建模到J2EE应用程序框架的MDA转换

OMG（Object Management Group,对象管理组织）提出的模型驱动架构（MDA,Model Driven Architecture）是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的基本思想是将系统的模型作为软件开发过程的核心制品,并且将模型区分为描述系统业务功能的平台独立模型（PIM,Platform Independent Model）和描述系统在特定技术平台上实现细节的平台相关模型（PSM,Platform Specific Model）。模型转换是MDA开发的核心内客。MDA的开发效率依赖于良好的支撑工具,特别是支持模型转换的工具的涌现。本文介绍一种对业务过程建模并将模型转换成程序代码的设计恩想和实现方法。开发者可以用该工具对企业的业务过程建模。这个工具能将建立的模型自动转换成J2EE平台上的程序代码。     

新型非色散红外三组分气体分析仪的研究

为了克服传统的红外气体分析仪现存诸多问题,采用非色散红外气体分析的原理,对一种新型三组分气体分析仪的关键技术进行了研究,诸如四元热电堆红外探测器、锁定放大电路、MSP430超低功耗单片机、LCD显示模块等先进技术.该新型非色散红外三组分气体分析仪能快速实现同时对CO、CO2、CH4等三种气体的连续自动分析,将会具有广阔的应用前景.     

低温退火对稀磁半导体(Ga,Mn)As性质的影响

利用低温分子束外延技术在GaAs(001)上外延生长出厚度为500nm的稀磁半导体(Ga,Mn)As薄膜. 双晶X射线衍射证明其为闪锌矿结构，晶格参数为0.5683nm，据此推导出其Mn含量为7%. 磁测量结果揭示其铁磁转变温度为65K. 观察了低温退火处理对(Ga,Mn)As磁性质的影响，发现生长后退火处理显著提高了其铁磁转变温度，可以达到115K.     

新型透射测量技术在泥沙含量监测中的应用

基于光学透射原理设计研发的泥沙含量测量系统采用整体浸没式测量,具有量程大(0.001~100 kg/m3 ), 测量精度较高(误差在 ±6% 以内),响应时间短(＜ 5 s)和网页实时展示数据等特点,能够满足特定河湖区域泥沙含量的测量需求。详细介绍整套系统的测量原理和构成。通过比对实验验证该技术在实际运用中的精度较高,测量值与真实值的相对误差能够达到 6% 以内。这项技术可以作为一种新型量测手段代替人工取样方法运用于泥沙含量测量。这套系统现已部署于江苏省沭阳水文水资源监测中心新沂河测量断面,进行泥沙含量的 24 h 在线监测。在实时监测过程中在线监测结果定期和人工取样结果进行数据比对,两者误差在 6% 以内。并且利用系统进行多点测量,研究泥沙含量在不同深度下的历时变化曲线,绘制测量断面的垂向泥沙含量剖面曲线。     

中断驱动系统模型检验

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.     

基于ARM和ZigBee的便携式智能家居终端系统

为了使家庭生活得更舒适、安全、智能化,论文提出了基于ARM和ZigBee的便携式智能家居终端系统,通过ARM和ZigBee技术实现智能家居的无线监控和控制.ZigBee终端将采集到的数据通过ZigBee无线协议传给ZigBee协调器,ZigBee协调器再把数据传送到ARM,ARM把数据处理后显示在液晶触摸屏上,而触摸屏既可以显示数据,又可以作为输入控制ZigBee终端.在实验环境下,模拟研究测试表明,该系统能够实现家电控制、安防报警、室内环境监测、厨房电器设备的控制等功能,对将来智能家居的发展有一定的使用价值和推广意义.     

一种交通监控场景下的多车道检测方法

为自动有效地获取交通监控场景中的多车道信息,提出一种利用骨架化边缘的多车道检测算法,以克服视频处理对固定场景和明确的先验车道位置信息的依赖。算法主要针对静态的交通背景图处理,采用背景提取、滤波和数字形态学预处理等,由Hough变换确定车道位置的骨架线;由行车方向约束车道线角度,利用车道线几何成像特性检测出准车道线,获取车道线和车道区域。实验表明,对不同的交通场景和不同光照条件,该方法能有效检测多车道,鲁棒性强,具有较高的工程应用价值。     

磁液双悬浮轴承单自由度支承系统解耦控制研究

磁液双悬浮轴承是以电磁悬浮为主,静压为辅的一种新型支承轴承,能够大幅度提高承载能力及刚度,适于中速重载的场合。由于液体静压系统特性为小间隙、强阻尼、正刚度、斥力型,而电磁悬浮系统特性为大气隙、弱阻尼、负刚度、吸力型,且两系统共同支承时相互耦合,互为干扰,大幅降低了支承系统的运行稳定性,因此本文拟研究磁液双悬浮轴承单自由度磁液两支承系统之间的耦合特性,揭示其耦合力的产生机理并设计解耦控制器。首先,本文介绍了磁液双悬浮轴承的结构特点、单自由度支承系统的受力形式以及控制调节机理。然后,建立了磁液双悬浮轴承单自由度支承系统的数学传递函数,揭示磁液两支承系统之间的耦合特征及影响规律。最后,设计了类前馈解耦控制器及对角阵解耦控制器,并通过Simulink模块对比分析了两种解耦控制器的解耦效果。研究表明：两种解耦控制器均能够有效减小单自由度磁液两支承系统间的耦合程度,但类前馈解耦控制器比对角阵解耦控制器具有更好的稳定性、准确性,更适用于磁液双悬浮轴承单自由度磁液两支承系统的解耦控制。本论文能够为磁液双悬浮系统的稳定控制提供理论参考。     

采用模式搜索法对磁悬浮列车轨道梁的加工实现精确定位

磁悬浮列车轨道梁体积大、质量重,无法适用传统机加工定位方式,需由机床进行测量并与理论模型进行拟合以确定其加工位置。针对定位过程中的拟合问题,文章基于最小二乘原理,采用模式搜索法对理论模型和实际模型进行拟合,使其满足每个实测点与其对应理论点的距离的平方和为最小,从而实现对加工位置的精确定位,并得到从理论模型到加工模型的坐标变换参数和转换矩阵。