一种基于扩展XQuery的XML文档更新方法

在W3C关于XML查询语言的推荐标准XQuery的基础上扩展出一系列更新操作,并且设计了XML文档更新过程中的有效性检查机制。提出了一种XML文档的带有效性检查的更新方法。     

基于NetLogo平台的HIV治疗模型

很多建模方法已经被报告用于HIV治疗.在HIV,免疫细胞和药物之间,展示了多间隔的相互作用,不能被很好地理解,从而不能被很好地建模.本文通过自主计算建模来理解HIV感染的动态性和治疗.为了验证治疗策略,我们设计并实现一个基于NetLogo平台的原型系统.当前的仿真结果表明经典的HIV三阶段动态性感染在NetLogo平台中被基本再现.     

人员与管理方法—信息安全的关键因素

几乎所有的企业都通过互联网联系供货商、股东和客户,他们寄希望于技术手段来保护自己的数据。许多公司常常认为防火墙、虚拟专用网(VDN)和入侵检测系统(IDS)等技术可以解决安全问题,但是,要让这些技术发挥作用,达到保护信息的目的,还需要专业人员和明确的管理办法。安全的挑战随着Web变得越来越重要,互联网     

本体技术在建筑信息模型系统中的应用

建筑信息模型(BIM)系统在国内的发展还处于起步阶段,而且现代建筑的各个生命周期都有各自的一套数据组织管理模式和软件系统,这使得建立统一的信息系统变得较为困难。如何融合各阶段的有效数据,有效地反映建筑信息成为BIM系统的研究重点之一。为解决共享信息的问题、应用领域内的知识和提高BIM系统的智能化,提出根据业内的技术标准、经验知识构建领域本体的方法。通过给出基于本体的BIM系统应用框架,说明如何将领域本体应用于BIM系统以及本体如何与既有的知识、数据相结合产生各种针对性服务。     

基于OWL和Horn子句的β-PSML语言框架

提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。     

三种乳糖检测方法的比较

对检测乳糖用的GB5413.5—2010莱因-埃农氏法和SN/T0871—2000比色法两种乳糖检测方法进行比较,并用高效液相色谱法对结果进行验证。结果显示,莱因-埃农氏法和比色法检测乳糖具有一致性,莱因-埃农氏法的精密度更高。但以高效液相法检验证明以上两种方法在测定低乳糖奶中乳糖含量时均不准确,原因可能是此两种方法无法区分乳糖与其他还原糖。     

巴氏合金轴套冷装工艺

基于某柴油机巴氏合金轴套对冷装工艺适应性的要求，对其进行液氮冷却试验、低温箱冷却试验，检测结合强度、硬度、金相组织等性能变化情况。试验表明：巴氏合金轴套不适宜采用液氮冷装工艺，会造成巴氏合金与钢背脱离，造成失效；巴氏合金轴套可采用低温箱冷装工艺，适宜的冷装温度为70~80 ℃。     

零食水煮鱼

我对膨化类的小食品一向没什么兴趣，但是昨天还是买了一种豌豆脆，因为外包装上印着“水煮鱼豌豆脆”，一盆水煮鱼赫然出现在上面，让人浮想联翩，以为打开了能看见形态逼真的水煮鱼拌在豌豆里。     

民航呼吁:请保护航空电磁环境!

引子时间倒回到1988年，有一名叫薛迪的空中交通管制员正在塔台作见习管制员，当时空中同时有七八架飞机朝着首都机场飞来。当其中两架在同一高度层的飞机从不同方向对准大王庄飞来时，薛迪正准备按程序调开两架飞机的高度，突然塔台所在的频率受到了莫名的干扰，换备份频率，还是不灵，发出的指令得不到回音。眼见雷达显示屏上两架飞机的光标越靠越近，越靠越近，最后重叠在一起，薛迪的脑袋“嗡”的一声成了一片空白，半晌，一句话都说不出来。不一会儿，飞机的航迹又分开了。原来，飞行员听到了地面的指令，而地面没有听到应答。这是无线…     

新型操作系统—EUMEL简介

<正> EUMEL是1982年开始由西德国立数理计算机科学研究所(GMO)研制开发,1985年开始在日本日进软件会社作进一步开发的新型操作系统。目前在国际上特别是在欧洲、日本很受推崇。由于开发EUMEL用的是高级程序设计语言ELAN,所以EUMEL有很高的可移植性,并已在以Z80,Z8000,M68000,68010,8085,8086,8088,80286,等为CPU的微型机上(如NEC—9801,IBM—PC/XT,IBM—PC/AT等)作为一个实用的操作系统使用。其主要特性如下: △在PC机上实现了多任务,多用户,且速度很快。△在PC机上实现了虚拟存贮管理,用户在编程时不必考虑地址空间的限制。