支持与证据的形式化研究

关于不确定推量，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定推理的理论，在专家系统中的应用也日趋成熟，所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文献[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。     

基于移动代理的分布式工作流管理系统的研究

本文描述了一种基于移动代理的分布式工作流系统实现方式，利用移动代理的自治，自适应，智能，移动等特性，让移动代理作为地域上分散的各工作流服务器间协作的桥梁。移动代理按照一定的路由策略，从一个节点（WF—Server）迁移到另一个节点，每个节点彼此独立的完成各自的任务．至到工作流过程实例运行结束。通过这种方式，不仅减轻了单个工作流服务器的负载，减少了系统通信代价，同时也避免了因为单个节点失败而导致整个系统的崩溃，提高了系统的可靠性。     

应用垂直剖面法圈定保护煤柱边界

煤矿在井下开采过程中，局部区域的上部各种建筑物和构筑物会受到煤层采空区上覆岩层移动造成地面变形而破坏，因此，留设保护煤柱是常常遇到的一项技术工作。本文应用《垂直剖面法》理论，结合漳平煤矿医院实际圈定了井下保护煤柱边界。     

名刊摘要

谁怕微信 一场移动互联网的狂飙正横扫全球产业界。因为完全融合了移动通信和互联网，移动互联网可以让用户随时随地以任何方式接入网络、从而创造了几乎无限可能的商业模式。     

笔记本动了台式机的“奶酪”

台式机作为个人计算终端的主流设备，一度占据着PC消费市场的大半江山。然而信息技术发展至今，更适合于空间转换、又具备普通台式PC性能的移动终端已经成为人们不容忽视的潜在需求。笔记本电脑轻巧、便携、性能日渐完善而又节省空间的特点。令台式机望尘奠及，它作为一种移动应用的代表力量，正以“不可挡”之势吞噬着主流PC市场分额。     

现代通信技术的发展趋势

文章综合分析了通信网络、通信终端技术的发展趋势，着重指出我国加强通信软件产业化及发展EDA技术，以迎接入关（WTO）。     

第五届无线、移动、普适技术教育应用国际会议（IEEE WMUTE2008）在北京师范大学召开

2008年3月24日，第五届无线、移动、普适技术教育应用国际会议（IEEE WMUTE2008）在北京师范大学英东学术会堂开幕．来自美国、英国、德国、加拿大、澳大利亚、日本、希腊、瑞典等国家的100余名专家学者出席了会议．     

煤气移动床高温脱硫过程的数学模型及装置的优化设计

在已进行过的宏观动力学和固定床脱硫过程的研究基础上,针对熔融还原过程中的煤气高温脱硫,提出了非等温移动床反应器的数学模型。应用此模型,借助于计算机数值分析,针对两类半工业规模的移动床装置进行了设计参数的评价和筛选,比较了各设计参数对不同的经济、技术指标的影响,提出了最佳的反应装置设计。     

国家发展改革委：对农民的支持要逐步加强

日前，国家发展和改革委员会有关负责人表示，今年促进粮食增产和农民增收的难度越来越大，要完善和强化国家扶持农业和粮食生产的各项政策，已经给农民的实惠不能收回，对农民的支持要逐步加强，