排序方式: 共有28条查询结果,搜索用时 15 毫秒
1.
基于UML的软件结构规范与精化 总被引:5,自引:0,他引:5
提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。 相似文献
2.
为了将Fenton氧化技术氧化能力强的优势引入到硝基苯污染地下水的原位化学修复中,通过实验模拟在地下环境温度为8~10℃、pH为中性条件下,以含水层介质中铁为催化剂的类Fenton技术去除地下水中硝基苯的过程,比较不同浸提剂对含水层介质中铁的浸提效果,并对氧化硝基苯的反应中自由基生成规律和催化氧化机理进行研究。研究结果表明:浸提剂强化了介质中各形态铁的释放,浸提作用存在滞后性,浸提36 h后铁在浸提液中浓度达到峰值;浸提剂DCB对介质中Fe3+和Fe2+的浸提效率最高,分别为62.92%和30.17%。催化氧化反应中硝基苯与H2O2的最佳摩尔比为1:200,该条件下硝基苯去除率最大为80.2%;催化氧化反应过程中HO.的变化可分为3个阶段,即0~30 min的快速生成阶段,30~120 min的生成速率降低阶段和120~240 min的稳定阶段。 相似文献
3.
地温监测孔长期地温监测资料显示,承德市地区恒温带深度是20m,恒温带温度是9.9℃。结合承德上板城镇CD-01地热地质勘探孔测温资料,本文利用恒温带温度、井底温度数据,通过回归分析方法,获取了钻孔真实地温分布信息。采集CD-01钻孔90块岩心样品,测试了岩石热物性参数。CD-01钻孔大地热流计算结果是46.4 mW/m2,高于早期承德地区大地热流研究成果(44.8 mW/m2和30.1 mW/m2),但都低于我国大陆地区平均热流值(60.4±12.3 mW/m2)和全球大陆地区平均热流值(65.0±1.6 mW/m2),为低热流值,反映了承德地区的低热流背景。 相似文献
4.
互联网的普及推动了Web应用的迅速发展,Web应用框架为构建高性能、可扩展的Web应用提供了强大的支持。本文从架构和框架理论出发,提出了一种基于.NET平台的Web Framework,达到简化Web应用系统开发的目的。 相似文献
5.
UML状态机视图的RSL形式描述 总被引:1,自引:0,他引:1
使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析. 相似文献
6.
为解决寒区隧道冻害问题,将地源热泵型供热系统应用于内蒙古博牙高速林场隧道中.系统由取热段、加热段、热泵和分、集水管路组成,可用于隧道洞口段衬砌和排水系统加热.在分析研究该系统传热机理的基础上,建立考虑热阻和热源的隧道取热段传热模型,利用叠加原理、格林函数法和拉普拉斯变换法相结合的方法获得其解析解.热交换管间距对热交换管换热量有显著影响,随着管间距的增加,换热量呈线性增加.热交换管换热量随隧道埋深的增加而呈线性增加,热交换管应布置在埋深深的部位.与热泵持续运行相比,间歇运行有利于土壤温度场的恢复,有助于提高热泵运行效率. 相似文献
7.
8.
提出了一种新的非闭合电极电容层析成像传感器结构参数的优化方法,采用均匀设计结合非线性偏最小二乘法,提取传感器结构参数与待优化目标间的函数关系;在此基础上建立新的目标泛函.通过对优化目标泛函的求解,最终获得传感器结构参数的最优值.本文以12电极非闭合电极电容传感器为研究对象,进行了结构参数的优化设计,并根据优化结果制作了非闭合电极电容传感器.数值仿真结果表明,就本文所考察的重建对象而言,采用参数优化后的传感器所获得的图像重建质量优于未优化的传感器;从而为ECT传感器设计提供了一种新的有效方法. 相似文献
9.
USB设备的驱动程序设计是开发USB外设的关键。本文介绍了一种在WindowsXP下结合使用DriverSmdio、DDK、VlsualC++开发USB设备驱动程序的方法。采用这种方法,可大大提高USB设备驱动的开发速度,缩短开发周期。 相似文献
10.
五十年代初就有人用Monte Carlo方法来模拟表征溶液中线性大分子的构象,以后就不断有这方面的研究工作报导.他们研究的对象大都是立体结构的烷烃大分子,采用了将大分子链放在空间格子(四面体或立方体)内作无规飞行的基本设想和模型,飞行后的空间坐标,用矩阵变换法(其中用了Monte Carlo模拟)就能比较方便地得到.我 相似文献