企业共有云安全策略研究

云计算是新的技术和商业模式。鉴于企业用户对安全性与可靠性等方面的考虑,企业云计算的发展路径通常会是先虚拟化、私有云,进而向共有云、混合云演进。为关系相对闭合、应用特征有相似性的多企业租户提供集约化运营的共有云服务,对云平台提出了更高的安全要求,需要进行系统的研究,针对由云计算和特定多企业租户而引入的新安全问题,给出相应对策,并在整体上提出适宜的安全框架与演进策略。     

网络层次分析法（ANP）分析工具的设计与实现

根据ANP网络层次分析法的基本原理和方法,结合作战效能评估、武器装备体系能力评估、作战需求分析等方面的需要,建立具有网络结构的组合分析模型,提供对目标、影响因素、方案、关联关系进行可视化描述并科学决策的工具。将最优传递矩阵应用于专家评判过程,设计专家意见修正统一模块,避免专家打分过于主观。与超级决策软件superde cisions进行功能比较并通过典型实例进行研究,验证了ANP分析工具的实用性和合理性。     

多段决策优化问题的摹矩阵方法及其程序实现

解决最短路优化问题的摹矩阵方法可用于解决一类离散控制系统的最优控制问题。通过将系统控制问题转变成一个多段决策问题,则系统的最优控制问题就变成了多段决策的最短路求解问题。通过一个例子探讨了摹矩阵方法在最优控制应用中的特点,即对比动态规划方法,该方法可以同时完成最短路径和最优策略的寻找,而且易于软件实现。本文最后介绍了利用VC编写摹矩阵方法用于最优控制的一个编程实例。     

基于GA-Transmodeler的动态OD矩阵估计方法*

采用系统仿真与遗传优化算法相结合的方法完成离线状态下多时段OD矩阵的估计。系统仿真旨在对多时段的动态OD矩阵实现连续动态交通分配,以得到在各个时段的OD流量对观测路段的分配比例矩阵,遗传算法则通过种群内个体的交叉、变异等遗传算子求解最优条件下的OD矩阵。仿真结果表明,这种仿真优化结合的方法能够充分体现动态交通流的延续性,且遗传算法具有较强的全局收敛性。     

基于云推理的协方差矩阵自适应进化策略算法

针对协方差矩阵自适应进化策略(CMA-ES)在求解某些问题时存在早熟收敛、精度不高等缺点,通过利用云模型良好的不确定性问题处理能力对CMA-ES的步长控制过程进行改进,得到一种基于云推理的改进CMA-ES算法。该算法通过建立步长控制的云推理模型,采用云模型的不确定性推理来实现步长的控制,避免了原算法采用确定的函数映射进行步长伸缩变化而忽视进化过程中不确定性的不足。最后通过测试函数验证了改进算法具有较高的寻优性能。     

含多状态时滞的连续时间迭代学习控制系统稳定性分析

探讨了含多状态时滞连续时间迭代学习控制系统的稳定性分析问题, 尤其是当系统参数带有多面体不确定性时的鲁棒稳定性分析问题. 通过引入一个扩展算子, 利用迭代学习控制中的二维分析方法给出了时滞系统整个学习动态过程的连续离散Roesser系统描述. 基于所得的Roesser系统, 首先利用二维系统理论给出了保证迭代学习控制系统渐近稳定的充要条件, 然后结合鲁棒H∞控制理论提出了以线性矩阵不等式形式描述的充分条件来保证迭代学习控制系统的单调收敛性. 结果表明, 通过求解线性矩阵不等式确定的学习增益可以使控制输入误差随着迭代次数的增加单调收敛于零. 仿真结果表明, 通过增加满足一组线性矩阵不等式条件的P型学习增益能够使得一个鲁棒渐近稳定的迭代学习控制方案变为鲁棒单调收敛的, 同时还可以大大提高收敛速率.     

输电通道机载激光点云多级配准研究

机载LiDAR在输电通道变化检测应用中的关键是多时相点云的高效高精度配准,实验将PCA主轴变换与改进ICP算法相结合提出一种多级配准方法。首先基于输电通道杆塔不易形变的特点,采用PCA算法计算对应杆塔点云的3个主轴向量,通过校正主轴方向得到两组杆塔点云的粗略位姿变换关系,然后利用改进搜索和收敛策略的ICP方法实现精配准,最后将变换参数应用于全局完成多期点云的精配准。实验表明,该方法在效率和精度方面都得到较大提升,配准前后的平均点位误差可以减小约94%。     

基于云化ANP的巷道冒顶影响因素重要性研究

为了解巷道冒顶事故影响因素之间的关系及导致事故发生的重要性排序,根据专家评判语言的特点及各因素之间存在的语义网络联系性,提出了将云模型嵌入ANP来解决上述问题,即云化ANP模型。该模型既有云模型处理不确定信息的能力,也具有ANP处理网状因素系统的能力,尤其适合处理冒顶这类具有不确定性数据的分析问题。给出了云化ANP的构建过程和分析步骤。结合专家调查所得数据分析了影响冒顶因素的重要性排序,所举实例分析的因素重要性排序为:稳定岩层距巷道顶板表面的距离 >地下水渗水量 >巷道的跨度 >稳定岩层厚度 >顶板岩石的抗压强度 。最后将云化ANP算法应用于类似算法所处理的例子,通过这些例子的结果分析了云化ANP算法的正确性。     

一类多时变时滞T-S模糊广义系统的容许控制

研究了一类具有多时变时滞的T-S模糊广义系统的容许控制问题。首先,给出了多时变时滞的T-S模糊广义系统数学模型,并且利用Lyapunov稳定性分析方法,得到了多时变时滞的T-S模糊广义系统的容许的一个充分条件,所得的结果对时变时滞的变化率没有限制。该充分条件可以通过严格线性矩阵不等式来求解。然后基于所给出的容许性定理,提出了状态反馈控制器的设计方法.最后,使用算例说明了所给方法的可行性和有效性。     

面向5G网络云原生应用资源调度的博弈优化策略

随着5G网络和云原生技术的发展,面向服务的5G云原生核心网应运而生,传统应用正朝着云原生化方向发展。目前云原生服务提供商和云原生应用商数量众多且关系复杂,使得应用在云原生化过程中的资源调度面临新挑战。提出一种5G网络云原生应用资源调度优化策略,将云原生应用商和云原生服务提供商构建为多主多从的Stackelberg博弈模型,对传统收益进行具体描述并联合能耗构建利润函数和策略空间,证明给定一组微服务资源定价的情况下存在云原生应用商的纳什均衡点。在此基础上,引入柯西分布对策略进行优化,提高其收敛性能,通过分布式迭代方法得到云原生服务提供商的最佳微服务定价和云原生应用商的最佳微服务租用比例。仿真结果表明,相比ACA算法、QOS PA算法以及GOS策略,该策略能够有效提高网络收益和用户体验质量,同时降低应用开发能耗。     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

煤矿井下安全监控分站的设计及其仿真实现

为了设计一种具有低成本、低功耗、易操作、功能强且可靠性高的煤矿井下安全分站,针对煤矿安全生产实际,文章提出了采用MCS-51系列单片机为核心、具有CAN总线通信接口的煤矿井下安全监控分站的设计方案;首先给出煤矿井下安全监控分站的整体构架设计,然后着重阐述模拟量输入信号处理系统的设计过程,最后说明单片机最小系统及其键盘、显示、报警、通信等各个组成部分的设计;为验证设计方案的可行性与有效性,使用Proteus软件对设计内容进行仿真验证,设计的煤矿井下安全监控分站具有瓦斯、温度等模拟量参数超标报警功能和电机开停、风门开闭等开关量指示功能;仿真结果表明:设计的煤矿井下安全监控分站具有一定的实际应用价值.     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。