S广义ω－凸语言

本文通过在Σω上定义半序关系“≤ωｓ，引进了Ｓ广义ω－左凸语言、Ｓ广义ω－右凸语言和Ｓ厂义ω－凸语言的概念，并给出了各类Ｓ广义ω－凸语言与其前缀语言之间的关系；还给出了各类Ｓ厂义ω－凸语言族对布尔运算的封闭性以及各类Ｓ广义ω－凸语言的充分必要条件。     

一种基于Agent的高可用性网构软件自动构建方法

Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对保障软件系统可用性提出了新的要求.提出了一种基于Agent的高可用性软件构造方法.该方法使用Agent建模网络环境中的自主计算实体,在计算实体及其连接方式的可用性未知的情况下,由Agent通过学习,在运行一段时间后自适应地构造出可用性较优的软件系统.实验表明,基于该方法构建的系统能达到较高的可用性,并能在环境发生变化时自适应地调整自身的行为.     

基于CP340通讯模块的船舶机舱监控系统设计与应用

本文描述了基于西门子通讯模块CP-340的PLC与MANB&M柴油主机通讯的船舶自动监控系统设计与应用。通过西门子可编程控制器S7-300及CP-340通讯模块,并基于RS-422现场总线协议对船舶柴油机的滑油压、油温、淡水压力、燃气温度等模拟量和水位、油舱高位等开关报警量进行监控,并显示在机舱控制台的各仪表和显示器上,实现了船舶机舱的自动监控。经在大中型船舶机舱中的实际应用表明,该监控系统功能完善、性能优良、可靠性高,完全能够满足船舶航行的要求标准。     

微机网上的分布式专家联合系统UNION(上)

本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。     

连铸控流模式对大方坯及棒材组织结构与宏观偏析影响

以中碳结构钢大方坯及其热轧棒材为研究对象,通过对铸坯和轧材进行低倍侵蚀和成分分析,揭示了连铸控流模式对大方坯凝固组织与宏观偏析分布特征的影响及其铸轧遗传性。研究表明:常规直通水口浇注模式下,结晶器电磁搅拌(Mold electromagnetic stirring, M-EMS)电流由0增加到800 A,铸坯等轴晶率由6.06%仅可增加到11.71%,难以有效避免大方坯常见的中心缩孔缺陷与突出的中心线偏析。采用新型五孔水口浇注模式,即使不开启M-EMS,铸坯中心等轴晶率仍可达23.1%,大方坯中心缩孔级别可降至1.0级以下,满足后续热轧大棒材探伤要求。同时发现,五孔水口浇注模式下,大方坯铸态组织中往往会出现较为明显的柱状晶到等轴晶转变(Columnar to equiaxed transition, CET)区,铸坯断面碳偏析指数呈M型分布,表现为断面1/4位置CET区域碳偏析指数最高。大棒材轧制基本改变不了铸坯断面宏观偏析的分布形态,且可能导致中心线偏析指数增加。同时指出,基于连铸控流模式的作用规律和铸?轧遗传性特征,以及特殊钢长材热加工对中心致密度和偏析分布与程度的要求,实际生产中应从连铸工艺源头合理地控制铸态组织与宏观偏析分布形态。      

湖南省土壤中天然放射性核素含量调查研究

本文报道湖南省土壤中天然放射性核素含量的调查结果。布点方法与环境陆地γ辐射剂量率调查相同,全省共布25×25km 网格点309个,土类加密点5个,特殊加密点7个,共采集土壤样品321个。土壤样品中天然放射性核素含量的测定采用放化分析方法。调查结果表明,湖南省土壤中~(23(?))U、~(232)Th、~(226)Ra 和~(40)K 含量按样品数的加权均值分别为48.05、54.82、59.36和447.75Bq/kg。零陵地区土壤中~(238)U、~(232)Th 和~(226)Ra 含量最高,郴州地区次之,湘西自治州地区居三。湖南省6类主要土壤中~(40)含量较为接近,而红壤中~(238)U、~(232)Th 和~(226)Ra 含量较高。     

Mechanism of Thermal Decomposition of Rare Earth Acetate Hydrates

The mechanism of thermal decomposition of rare earth acetate hydrates(Ln(Ac)_3·nH_2O,n=5,forLn=La;n=4,for Ln=Pr→Lu,Y,except Pm)has been studied by TG-DTG,DSC,infrared spectra,X-raydiffraction and chemical analysis.The thermal decomposition reaction consists of two stages,one is dehydrationand the other one is decompostion.The final product is oxide.It has been found that the temperature of pro-ducing anhydrous acetates decreases with increasing atomic number of rare earth elements.The activation ener-gies for dehydration and decomposition reaction of rare earth acetate hydrates have been calculated byFreeman-Carroll and Kissinger method.The dependence of activation energy Jor dehydration reaction on theatomic number of rare earth elements shows“inclined‘W’effect”.The enthalpy changes for dehydration anddecomposition reaction have been determined.     

TCP拥塞控制算法研究

研究无线传输优化问题,随着用户的迅速增长,使网络负载大于网络资源容量,引起拥塞、传输延时和丢包等问题.采用传统的TCP拥塞控制算法,使网络发生拥塞的可能性增大,甚至导致网络崩溃.为了解决当前的网络拥塞问题,提出了一种改进的TCP拥塞控制算法.算法根据网络拥塞跟回路响应时间的大小成正比的关系,在源端检测回路响应时间值,同时在网络拥塞产生的临界区域,采取拥塞窗口线性减小的方法,使网络远离该区域,大大降低了拥塞产生概率,避免了传统TCP算法中拥塞窗口值得大幅振荡.经仿真证实:算法比传统TCP算法有较低的丢包率,且吞吐量得到了较大的提高,改进算法能够在一定程度上缩短拥塞恢复时间,降低网络的振荡,提高网络的传输质量.     

基于交互式马尔可夫链的可信动态度量研究

可信动态度量为保障可信计算平台的可靠运行提供了重要支撑.根据系统的可靠性、可用性、信息和行为安全性,提出了可信度量要达到的目标.当前的可信度量集中在可信功能度量上,基于交互式马尔可夫链增加性能特征指标度量,即在预期行为描述模型中,运用变迁系统模型描述功能预期,通过将体现在可靠性上的路径概率与预期的关联,获取完成特定行为...     

基于行为的电缆隧道综合检测机器人控制系统研究

针对电缆隧道的检测研制了一套电缆隧道综合检测机器人系统,该系统能够在隧道内,通过遥操作或者自主的方式自由行走,能够爬越一定高度障碍物,同时能够检测隧道内的工况,包括图像信息、气体信息等,并通过无线通信传输到地面供操作人员查看.同时还提出了基于行为的全自主行走控制策略与方法,包括机器人避障行为,逃离行为,以及机器人自主越障行为等,实验证明该机器人系统能够很好地完成任务.