UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例,分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点,利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型,并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．     

昆明西山森林公园游憩价值评估

旅行费用法(TCM)和条件价值评估法(CVM)是被广泛应用的环境价值评估技术.本研究采用TCM与CVM相结合来评估昆明西山森林公园的游憩价值,为旅游资源和生态环境管理提供参考依据.通过实地问卷调查,随机发放问卷600份,回收有效问卷557份,采用TCM评估,统计分析得出西山森林公园游客的消费者剩余及旅行费用,两者相加得出消费者的支付意愿,即得到2010年西山森林公园的游憩价值为6.4×108元;用CVM估算该案例,对TCM的评价结果进行验证,即在调查问卷中直接询问游客到西山森林公园休闲娱乐的支付意愿,统计计算得出总的支付意愿,即得到2010年西山森林公园的游憩价值为2.9×108元,小于TCM评估值.同时,分析了受访者不同社会经济特征变量对平均支付意愿的影响,结果表明受访者的年龄、人均收入对平均支付意愿影响显著,而平均支付意愿不受受教育程度的影响.     

银莲花的抗氧化、抑菌和抗肿瘤活性

为了有效利用野生银莲花资源,将银莲花的乙醇提取物进行石油醚-丙酮梯度洗脱,得到5个组分,分别采用DPPH法、琼脂孔扩散法、MTT法进行了抗氧化、抑菌和抗人乳腺肿瘤细胞(MDA-MB-231)活性研究.结果表明:5个组分均有氧自由基清除能力,其中组分工抗氧化活性最好,半数抑制质量浓度为30.58 μg/mL;5个组分均有抑菌活性,其中组分Ⅴ抑菌活性最好.各组分和单体化合物对人乳腺肿瘤细胞均有一定的抑制作用,组分Ⅱ对人乳腺肿瘤细胞的抑制率最高,达到50.32％.     

液晶分子指向矢分布的数值求解

根据连续弹性体理论对指向矢方程进行分析,对比研究了牛顿法、模拟退火法和差分迭代法的优劣.采用Gauss-Se idel差分迭代法,并结合SOR法中超松驰因子的适当选取,在3V的外加电压条件下,仅需少量的迭代次数即可达到很高的精度.     

新型含1,2,3-三唑基的1,5-苯并硫氮杂衍生物合成及表征

以4-(2-苯基-1,2,3-三唑-4-基)-1,5-苯并硫氮杂(2)为中间体,在三乙胺作用下,分别与氯代肟(3a～3d),氯代酯腙(4a～4c)发生1,3-偶极环加成,合成了一系列含有1,2,3-三唑的1,5苯并硫氮杂衍生物(5a～5d)和(7a～7c),产物具有较高的纯度和分离产率.化合物(5),(7)经IR,1H NMR,MS和元素分析确证.     

基于SOPC的嵌入式变形测量控制系统开发研究

本文介绍了一种基于SOPC嵌入式技术实现变形测量控制系统的方法,该方法利用网络传输和控制方式在简化控制、减小成本、提高可操作性方面有创新和突破,有效克服了现有控制系统的不足之处。     

Knight不确定下基于代币的平台运营管理

平台运营中投资者的投资效率冲击对平台生产力产生影响,从而对平台代币发行策略、代币价格以及平台特许经营价值产生影响。考虑投资者的投资效率冲击具有Knight不确定性时,利用非线性期望理论建立平台生产力动力学模型,并导出平台开发者特许经营价值所满足的哈密尔顿-雅克比-贝尔曼方程（HJB方程）。进而,分析Knight不确定对投资者最优投资、平台的特许经营价值、平台生产力的边际价值以及代币的市场出清价格的影响。最后,对所得理论结果进行数值模拟。分析表明：投资者对平台的最优投资、平台的特许经营价值除了受到平台代币的发行量影响,还会受到Knight不确定程度的影响,Knight不确定程度越大,平台的最优投资和平台的特许经营价值越小。因此,对于平台的经营者,除了注重对平台本身的代币发行策略管理外,还需要考虑Knight不确定因素对平台运营的影响。     

基于自适应形态学滤波器的布匹瑕疵检测算法

针对布匹瑕疵检测算法中运算量大、自适应差的问题,利用布匹纹理周期性变化特性,自适应地构建结构元素,实现形态学运算;采用基于像素面积的阈值选择
定位瑕疵位置。在不改变检测准确率的同时减少了运算时间。实验结果表明,该算法所确定的瑕疵位置与主观视觉吻合,相比经典算法,误检率、错误率均降低了4%。     

分位数定义和性质的注记

本文讨论了数理统计中分位数的定义,研究了分位数一些性质,这些性质对数理统计中各类分布的分位数表构造具有重要作用,最后介绍了性质的简单应用.     

X射线脉冲星自主导航的脉冲轮廓和联合观测方程

现在通用的X射线脉冲星导航的3维观测方程,是以3颗脉冲星发射的脉冲到达航天器和太阳系质心的时间偏差为观测量建立起来的.在实际测量过程中,这个观测量是通过比较航天器探测到的脉冲观测轮廓与相应脉冲星的标准轮廓得到的,而在累积观测轮廓的同时也得到了观测轮廓的周期,因此根据Doppler速度测量方程,就能够确定航天器的速度矢量.本文首先导出Doppler速度测量方程,提出在观测轮廓的积累过程中考虑航天器的速度和加速度,得到的观测轮廓的周期不同于标准轮廓.这样,将探测3颗脉冲星得到的观测轮廓与相应的标准轮廓进行比较时,可以同时获得脉冲到达航天器和太阳系质心的时间偏差和频率漂移6个观测量,从而确定航天器的3维位置和3维速度.由于信息量增加一倍,6维观测方程比现行观测方程更为精确和完整.