2007年电脑病毒趋势分析

一、2007年电脑病毒数量统计 　　2007年瑞星公司共截获新病毒样本917839个,比上一年增加70.7%.其中,木马病毒580992个,后门病毒194581个,两者之和超过77万,占总体病毒的84.5%.这两类病毒都以侵入用户电脑,窃取网游账号、银行和股票账号等信息为目的,带有直接的经济利益特征.……     

中国移动增值惠民实现双赢

国资增值率超过260%五年资费下降62.8%实现十七大提出的全面建设小康社会奋斗目标的新要求,作为国民经济支柱的国有企业是中坚力量。记者从2008年1月8日召开的中国移动工作会议上获悉,国有重要骨干企业中国移动成立至今,国有资产保值增值率超过260%,累计纳税超过2300亿元,与此同时,五年来移动通信资费已累计下降62.8%,为控制我国消费者物价指数(CPI)增幅     

推进宁夏跨越式发展——宁夏回族自治区副主席张来武谈新农村信息化

宁夏作为一个西部省区,紧紧抓住信息化大发展的历史机遇,破除小省区难有大作为的思维定势,发挥后发优势,率先实现了村村有信息服务站,村村通网络,实现了信息化在全区农村的全覆盖,让农民真正享受到了信息化带来的实惠。信息化让宁夏的农民走出宁夏、走向世界。     

基于多元线性回归预测气井稳产时间新方法

气井的稳产时间是生产部门进行合理配产时需要考虑的主要因素,也是影响气藏最终采收率的主要因素,所以准确预测气井稳产时间对于气井(藏)科学开发具有重要意义.目前能够较准确预测气井稳产时间的是数值模拟法,其他方法如经验法、生产压差法、节点优化配产法等预测气井稳产时间,因其使用条件差异大,计算也较复杂,故在四川盆地东部地区实际...     

正确性保证的组合服务综合问题复杂度研究

Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性(如以时态逻辑LTL,CTL,CTL*等公式规范的时态性质).现有研究工作大多延用传统软件开发中的设计、验证、分析和纠错的过程,这使得组合过程既复杂又低效.文中研究了基于CTL与CTL*的组合服务综合问题,即利用已有Web服务自动生成满足给定的CTL,CTL*逻辑公式的组合服务,从而可以无需另外的验证过程,避免反复进行组合.证明了以CTL与CTL*逻辑公式为组合需求时,组合服务综合问题分别为EXPTIME–完全和2EXPTIME–完全问题.同时讨论了当综合失败时,如何通过合理限制环境(即服务的交互对象,如用户或其他服务)的输出使得综合成功,并证明了该问题关于CTL与CTL*逻辑公式同样分别为EXPTIME–完全和2EXPTIME–完全问题.     

一种具有正确性保证的组合Web服务自动合成方法

Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L~*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性.     

滑动回归最小二乘算法在某电动振动台模型辨识中的应用

为了能够准确地建立电动振动台的仿真模型,了解电动振动台系统特性,笔者在分析电动振动台数学模型的基础上,利用先进的滑动回归最小二乘辨识算法,有效地开展了电动振动台这一复杂电力学系统阶数和时延的确认,参数估计,并最终建立了系统的ARMA模型；文章最后,举出了某型电动台空台面和另一型振动台带滑台的模型辨识结果,并通过正弦扫频试验给予验证；结果表明,该算法辨识精度高,收敛速度快,鲁棒性强,能克服一定的噪声,对于高阶线性系统辨识具有良好的辨识效果。     

基于改进层次分析法的东海大桥安全评估系统设计

在东海大桥现有评估系统的基础上,基于改进层次分析法设计了新的评估体系.对可量化的底层指标先进行无量纲化处理,然后采用综合评估方法得到了综合的指标值.对非量化的指标,采用改进的群判断方法,并引入对专家评判水平的评判,形成了加权的集值统计原理,并与重心决策理论相结合形成了一种处理区间数的新方法.这种方法不仅可以获得指标的评价值,还可以获得评价者对指标的把握程度,使求得的最终权重更加合理.     

基于服务组合的可信软件动态演化机制

以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.     

韩国就业保障制度

韩国的失业保险制度,有别于其他国家的失业保障制度,不仅涉及传统的失业保险责任和内容,还包括更多积极的劳工政策措施,也被称之为就业保障制度。韩国的就业保障制度由失业保险、稳定就业计划及职业技能发展计划3个部分组成。韩国就业制度对完善中国失业保险制度有重要的借鉴意义。