2010年版《国家纺织品基本安全技术规范》分析

修订后的国家强制性标准——GB18401《国家纺织品基本安全技术规范》将于2011年8月1日正式实施。了解其修订背景及其新内容新要求,有助于行业加深对标准的理解,准确实施对涉及纺织品服装基本安全性能各项指标的监控,促使国内纺织品产品的生产、监管与国际先进标准与技术法规要求靠拢。     

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

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

论执政为民与新时期的党建

坚持执政为民,是实践"三个代表"重要思想的本质要求,是党的宗旨的新概括,我们党在任何时期都必须清醒认识在为谁执政;坚持执政为民才能保持与时俱进,才能保持党的先进性;坚持执政为民,是巩固党的执政基础,正确使用权力是党执政的关键;以高超的执政能力和领导水平为民执政,是我党长期执政的有力保证。     

隧道综合交通监控系统的网络架构分析

分析了网络技术和自动化技术在城市隧道的应用发展现状.以杭州紫之隧道工程为例,进行城市特长隧道群的网络架构需求分析,给出了隧道综合交通监控系统的网络架构,为类似工程项目设计提供参考.     

Managing requirements specifications for product lines - An approach and industry case study

Software product line development has emerged as a leading approach for software reuse. This paper describes an approach to manage natural-language requirements specifications in a software product line context. Variability in such product line specifications is modeled and managed using a feature model. The proposed approach has been introduced in the Swedish defense industry. We present a multiple-case study covering two different product lines with in total eight product instances. These were compared to experiences from previous projects in the organization employing clone-and-own reuse. We conclude that the proposed product line approach performs better than clone-and-own reuse of requirements specifications in this particular industrial context.     

一个基于原则集的软件过程模型

文章针对软件开发实践中普遍存在的一些问题,在分析软件过程的基础上,从管理角度提出了一个基于原则集的软件过程模型,通过原则集将组织结构、工程和管理实践结合起来,籍此希望对提高企业实际的软件能力有所助益。     

基于学习者画像的数据库课程教学改革研究

针对现有数据库基础课程教学无法满足学生多样化需求为背景,本文引入问卷调查获取学生个性化特征,根据学习者的基本信息、行为数据、态度数据以及学习结果对其进行画像,将具有相同学习行为的学生形成群体,按学生个人能力和需求给予个性化教学,并及时对学生学习过程进行干预,设计形成以人为本的差异性和多元化数据库课程教学新模式.     

Comparing attack trees and misuse cases in an industrial setting

The last decade has seen an increasing focus on addressing security already during the earliest stages of system development, such as requirements determination. Attack trees and misuse cases are established techniques for representing security threats along with their potential mitigations. Previous work has compared attack trees and misuse cases in two experiments with students. The present paper instead presents an experiment where industrial practitioners perform the experimental tasks in their workplace. The industrial experiment confirms a central finding from the student experiments: that attack trees tend to help identifying more threats than misuse cases. It also presents a new result: that misuse cases tend to encourage identification of threats associated with earlier development stages than attack trees. The two techniques should therefore be considered complementary and should be used together in practical requirements work.     

面向软件产品线中特征选择的多目标优化算法

软件产品线中产品定制的核心是选择合适的特征集.由于多个非功能需求间往往相互制约甚至冲突,特征选择的本质是多目标优化过程.优化过程的搜索空间被特征间错综复杂的依赖和约束关系以及明确的功能需求大大限制.另外,有些非功能需求有明确的数值约束,而有些则仅要求尽可能得到优化.多样的非功能需求约束类型也给优化选择过程带来极大挑战.本文提出一种含修正算子的多目标优化算法MOOFs.文中首先设计特征间依赖和约束关系描述语言DCF-DL来统一规范特征选择过程中必须遵守的规则.所有的非功能需求都转化为优化目标,相关的数值约束则作为优化过程中特征选择方案的过滤器.另外,设计了修正算子用于保证选择出的特征配置方案必满足产品线的特征规则约束.通过与四个常用的多目标优化算法在四个不同规模的特征模型上的运行结果做对比,证明本文的方法能够更快地产生满足约束的优化解,且优化解具备更好的收敛性与多样性.     

Retrenching partial requirements into system definitions: a simple feature interaction case study

In conventional model-oriented formal refinement, the abstract model is supposed to capture all the properties of interest in the system, in an as-clutter-free-as-possible manner. Subsequently, the refinement process guides development inexorably towards a faithful implementation. However, refinement says nothing about how to obtain the abstract model in the first place. In reality developers experiment with prototype models and their refinements until a workable arrangement is discovered.Retrenchment is a formal technique intended to capture some of the informal approach to a refinable abstract model in a formal manner that will integrate with refinement. This is in order that the benefits of a formal approach can migrate further up the development hierarchy. The basic ideas of retrenchment are presented, and a simple telephone system feature interaction case study is elaborated. This illustrates not only how retrenchment can relate incompatible and partial models to a more definitive consolidated model during the development of the contracted specification, but also that the same formalism is applicable in a re-engineering context, where the subsequent evolution of a system may be partly incompatible with earlier design decisions. The case study illustrates how the natural method of composing retrenchments can give results that are too liberal in certain cases, and stronger laws of composition are derived for systems possessing suitable properties. It is shown that the methodology can encompass more ad hoc and custom-built techniques such as Zave's layered feature engineering approach to applications exhibiting a feature-oriented architecture (such as telephony).