Lerisk－i*框架自动建模与编辑工具介绍

在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存储等基本功能,而笔者需要在需求工程小组的项目中为对需求文本进行建模的结果进行模型可视化,同时提供编辑存储及自动布局功能,并开发出新的基于i*建模框架的工具。文中首先对主流的i*建模工具进行了调研,研究了建模工具的基本功能,同时分析了其功能的不足点,在此基础上提出了新工具设计的功能补充点;然后对i*框架的布局问题进行介绍并详细描述了其自动布局算法的实现,给出了可视化工具的详细设计;最后在此工具的基础上,进行了实际需求文本的建模及模型编辑功能的实验,并将此工具与主流工具的功能进行对比,以展示本工具的功能特点。     

怎么打好一手烂牌?

正有句被引用烂了的俗话说,拿到一手好牌谁都会打,牛叉的是把一手烂牌打好。在我们这个行业,拿到一手好牌,却被打烂的例子张嘴就来;拿着一手烂牌,反而逆势而上的例子也比比皆是。就好比斗地主,牌已经发好了,接下来就是每个人的showtime了。你被迫拿到了一把烂牌,倒霉的是无法弃牌,尤其人生不再年轻,更是输不起,这时候考的不光是智商,还有情商。你该怎么布局?布局是一种很玄妙的东西,有时候的闲棋冷子,关键时候会起作     

卢卫秘书长:“斯诺登”事件的思考及未来网络空间战略的3个结合

正6月5日,由中国互联网协会研究中心、互联网实验室、《中国信息安全》杂志联合主办的"斯诺登"事件一周年研讨会在京举行。中国互联网协会卢卫秘书长出席研讨会并讲话。讲话全文如下。今天召开"斯诺登"事件一周年研讨会,总结与反思很有必要。"斯诺登"事件出来之前,特别是美国"9·11"之后,我们也了解美国监听一些国家的电话等所作所为。但是"斯诺登"事件出来后,令世界出乎意料。一是涉及信息监视的项目如此之多,范围之广,     

低速小型无人机中的复合材料结构及分析

复合材料结构在小型无人驾驶飞机中占据着主导地位。随着无人机的发展，以复合材料为主体的无人机结构型式已有多种。本文就小型无人机复合材料结构的特点进行分析，给出了一些典型的复合材料飞机结构型式，并进行了结构布局选择分析和结构设计分析。     

web设计中div＋css页面布局的应用研究

随着web标准化设计理念的普及,目前网站几乎均采用DIV＋CSS进行网页的排版布局,用DIV布局,使用CSS层叠样式来实现页面的外观。本文就DIV布局时CSS样式表一些关键属性设置进行探讨。     

利用CSS制作特效菜单

CSS(Cascading Style Sheet,可译为"层叠样式表)是一组格式设置规则,用于控制Web页面的外观。通过使用CSS样式设置页面,首先可以确保文件结构的基础上有高自由度的设计性,其次提高了网页的维护性、可操控性,大大的提高了网页设计的工作效率。该文将介绍样式的分类,选择器的分类和作用,"盒子"的原理,重点在于介绍如何利用CSS样式制作特效的水平菜单。     

多维情境下应急资源布局的研究

构建非常规突发事件的情境-应对＂框架,将应急管理纳入监控-应对-反馈＂的循环系统中,以保证救援行动与情境匹配.同时,设计了风险值与应急资源需求量的测算公式,继而建立应急资源供应点的布局模型,将情境作为一个重要的决策变量引入该模型,使得资源供应可随情境变化做出适应性调整.     

量子安全直接通信协议分析

量子安全直接通信协议是继量子密钥分配协议之后提出的重要协议,通过对乒乓通信协议的安全特性和CSS纠错码QSDC的安全特性的分析,提出了乒乓通信协议存在的不足以及CSS纠错码QSDC可以抵抗已有量子算法攻击,为合法者对量子直接通信的安全性判定和对窃听者的检测提供了一定的依据和标准。     

江西承接沿海地区产业转移的问题及对策分析

本文从产业转移、产业梯度转移的基础理论出发,探讨了江西承接沿海地区产业转移过程中存在的问题,包括承接产业转移选择标准、过度优惠政策和承接主体错位等方面,并在此基础上,提出了以下几个方面的对策,包括：改善投资环境,完善基础设施,正确处理承接产业转移与建立江西自身产业体系的关系,建立承接产业转移的选择标准,合理制定承接产业转移的优惠政策,保证企业承接产业转移的主体地位。     

基于禁忌搜索算法求解集装箱装载问题

针对具有广泛应用背景、多约束条件和求解困难的集装箱装载问题,引入具有人工智能记忆机制、基于邻域搜索而避免局部最优的禁忌搜索算法,探讨了在求解集装箱装载问题中禁忌搜索的编码、解码和邻域解生成等关键技术,给出了基于物体数量的编码过程与剩余空间处理方法相结合的解码过程和邻域解生成的实现过程,并为对空间利用率影响较大的剩余空间设计了合理的划分与合并规则.通过实例测试和比较,显示出很好的效果,表明该算法是行之有效的.