构件系统建模及其动态演化一致性验证方法

基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB(Mobility Workbench)识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。     

离子质谱计及其应用

文章介绍了离子质谱计的原理及应用范围。由快原子枪装备的一台低价小型双聚焦质谱计用于离子的同位素丰度分析,微克级氮的同位素测量精度为1.5％。列举了一些应用实例,如用~(15)N、~(10)B和~(42)Ca、~(44)Ca作示踪剂研究生物学过程。     

管拱面内两点非对称加载试验研究

对钢管混凝土拱和钢管-钢管混凝土复合拱进行面内两点非对称加载试验。建立了双重非线性有限元计算模型,对模型拱的挠度、钢管应变、材料非线性与几何非线性影响、管内混凝土对极限承载力的影响进行了分析。分析结果表明,管内混凝土提高拱的极限承载力的能力与拱的加载工况有关,当拱以受弯为主时,这种提高作用较小,当拱以受压为主时,这种提高作用较大;在受力全过程中,材料非线性的影响是主要的,几何非线性的影响是次要的,但由于存在耦合作用,分析时应考虑双重非线性的影响;对于复合拱,拱肋在变刚度靠空钢管一侧的受力情况较为复杂与不利。     

井下架线式电机车制动条件计算的研究

《煤矿设计》1978年第4期刊登的“井下架线式电机车列车组成计算方法探讨”一文,曾对井下电机车的制动条件进行了实例演算,并对满足制动条件问题作了论述.该文在演算中引用了过去许多单位习惯沿用苏联C.A沃洛特科夫斯基的《矿山电机车牵引》一书中所介绍的方法.这种计算方法存在一个较为严重的缺点,就是它只对制动条件问题作个别情况的计算——通常只选取电机车连续速度进行计算,因而不可能对制动条件     

关于建立我国土地储备制度的建议

土地储备制度是政府管理土地市场的一项制度安排。文章阐述了构建土地储备制度的合理模式、健全土地储备法律体系及发挥土地利用规划的调控和导向作用。仅供参考。     

基于元数据的区域数字图书馆数据资源整合

为避免重复建设造成浪费,促进资源共享,提高图书馆的个性化服务水平,同一区域的数字图书馆有必要进行数据资源整合。因此提出了基于元数据的同一区域不同图书馆的数字资源整合方案。     

电视数字化融合发展的多维化路径

＂运用高新技术创新文化生产方式,培育新的文化业态,加快构建传输快捷、覆盖广泛的文化传播体系＂.党的十七大报告强调了加快构建文化传播体系的重要性.电视作为新闻宣传工具、信息交流渠道和文化传播载体,在构建文化传播体系中具有中流砥柱的作用.当前,我国已建成庞大的电视网络,电视具有极大的社会影响力,承担着宣传党的主张、确保政令畅通、弘扬社会正气、通达社情民意、引导社会热点、疏导公众情绪、传播先进文化等重要社会责任.     

低信噪比缓动点目标的序贯检测算法的分析和改进

本文主要讨论的是低信噪比红外图像序列中缓动点目标的实时检测问题.在对传统序贯假设检测(正推法)进行了分析后,针对正推法的轨迹交叉和初始点多而引起的组合爆炸等问题,本文给出了一种基于逆推法的统计检测算法,并对如何利用目标的缓动特性和分段技术来提高信噪比,如何表示轨迹等进行了论述.实验结果表明,该算法有较好的性能.     

细叶桉亚硫酸镁盐法制浆小型试验

本文探讨了不同树龄的细叶桉对亚硫酸镁盐蒸煮的适应性和浆的漂白性能以及成纸的物理性能。试验结果表明,细叶桉对亚硫酸镁盐法制浆的适应性较好。但树龄不同,制浆效果的差异较大。从试验的三种树龄来看,以6至8年树龄为佳。