基于开发者协作关系和信息检索的需求跟踪系统

目前自动化需求跟踪的研究广泛使用文本信息检索技术。然而信息检索会遗漏一些文本不相似但是实际相关的软件制品,导致自动化跟踪的精度不高。针对上述问题,提出利用开发者协作关系来进行优化,研发了基于开发者协作关系和信息检索的需求跟踪系统。该系统在进行需求跟踪时,首先用信息检索推荐与需求文本上相似的代码,然后从代码提交日志中挖掘开发者协作关系,根据开发者协作关系再推荐相关代码,用户根据两次推荐的结果确定正确的需求代码跟踪关系。试验结果表明该系统能够找到信息检索遗漏的需求跟踪关系,能够提高自动化跟踪的准确性,节省跟踪时间。     

OAuth2.0协议形式化验证: 使用AVISPA

OAuth协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议.由于关系到用户隐私,所以OAuth协议的安全性非常重要.这篇文章的主要贡献是研究OAuth2.0协议文本,对协议进行抽象,并且使用验证工具AVISPA对抽象后的协议进行建模与验证,找到协议中会导致隐私泄露的一种攻击模式.我们在建模过程中提出需将要验证的消息作为双方的对称密码这样一种创新思路.这种对协议的抽象和验证的方法可以推广到其他安全协议上,例如在线支付协议等等.     

一类新的分布式随机验证无线传感网络节点克隆攻击检测

由于无线传感器网络节点的无人值守性,攻击者很容易捕获并复制节点,利用节点的安全证书把复制节点发布到无线传感器网络的各个角落,进而秘密发动各种攻击。提出一类新的分布式节点复制攻击检测协议,协议采用随机区域单元映射和域内随机线选验证相结合的方法进行攻击检测。仿真结果显示,协议的随机验证特性使网络能量消耗均匀,延长网络的生存周期。域内线选验证使协议的通信开销和储存开销较低并具有较高的检测率。     

基于本体的特征模型演化的一致性验证

针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。     

Cooking personas: Goal-directed design requirements in the kitchen

Technology to assist people in the kitchen has become a major research topic as technology becomes more ubiquitous in the home. Research is being carried out in numerous areas to assist with cooking, from solving difficulties in the kitchen to more recently enhancing already good experiences related to cooking. To design solutions that are not only usable, but useful in all related aspects of cooking, we must get a good understanding of the needs of the user. It is important that real needs are identified, so that products or systems designed are adopted and are sustainable. There are various methods that researchers and designers use to gain user insights and there is much debate on different approaches and their effectiveness. Whilst there have been a number of ethnographic style studies in people's homes, there has been little in the way of understanding user goals in the kitchen which could lead to more effective design solutions. In this paper, we present goal-directed research of cooking needs in Singapore. We produce three primary design personas and three secondary personas, describing their goals and needs and where they can be helped through technology. An online survey was carried out to validate our personas, comparing our qualitative and quantitative findings. We provide a general holistic overview of kitchen requirements for these personas, whether in helping correct problems or enhancing positive experiences and how these needs can be connected. The user requirements provided can help guide researchers and help designers produce more meaningful, complete and acceptable technology solutions in the kitchen.     

标准模型下群签名的批验证协议*

首次对标准模型下群签名的批验证协议进行了研究。利用小指数测试技术和双线性对映射的特殊性质,为目前效率较高的两个群签名方案按照多人签署相同消息和不同消息这两种情况,分别设计了相应的批验证协议。相较于单独验证,认证效率大大提高。     

悬挂式重力补偿系统精密跟踪方法

介绍了一种用于研究空间机器人微重力条件下的工作特性的悬挂系统——悬挂式重力补偿系统,并给出了悬挂模块的动力学模型.通过数值求解与仿真,运用非线性规化求出了一定条件下的最优控制参数;用正交试验寻优、基于时间最优控制的试凑法证明了优化模型的解正确性.该研究为空间机器人地面试验系统模拟微重力环境下精密跟踪运动提供了最优控制方法.     

基于信任区技术的可信移动电子政务系统设计

通过移动电子政务,用户可以在任何地方、任何时间进行远程办公,给用户提供了方便和快捷的办公方式,移动电子政务的安全性主要体现在终端的安全性。目前手机安全措施还不是很完善,针对存在的安全问题,通过对现有手机硬件架构的改进,使用信任区技术和可信计算技术实现可信移动电子政务系统,保证了用户办公的安全性。     

Combining ODM and OCL in ontology verification

In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.     

基于市场需求的旅游高职人才培养模式研究

我国旅游高职人才培养滞后行业需求,＂供需错位＂现象突出.＂2＋1＂模式彻底打破了旅游高职＂由学校办学校＂的传统模式,让旅游企业参与学校育人过程,完全按照行业标准打造合格＂产品＂,实现了人才培养与旅游行业人才需求之间的＂无缝对接＂,实现了企业、学校、教师、学生多方共赢,具有高职特色、适应旅游市场需求的旅游专业人才培养模式.