Quantum computation based bundling optimization for combinatorial auction in freight service procurements

Combinatorial auction is a useful trade manner for transportation service procurements in e-marketplaces. To enhance the competition of combinatorial auction, a novel auction mechanism of two-round bidding with bundling optimization is proposed. As the recommended the auction mechanism, the shipper/auctioneer integrates the objects into several bundles based on the bidding results of first round auction. Then, carriers/bidders bid for the object bundles in second round. The bundling optimization is described as a multi-objective model with two criteria on price complementation and combination consistency. A Quantum Evolutionary Algorithm (QEA) with β-based rotation gate and the encoding scheme based on non-zero elements in complementary coefficient matrix is developed for the model solution. Comparing with a Contrast Genetic Algorithm, QEA can achieve better computational performances for small and middle size problems.     

Factors influencing feature usage in work-related communication

Two studies are presented. The first aimed to identify possible barriers to the uptake and use of commonly available telephony features and to determine whether greater knowledge of features/access codes and availability of user manuals could increase feature usage under certain conditions. Results showed that feature-usage patterns were not affected by any of the manipulations, but that they were determined by specific job demands. Using Constantine and Lockwood's (1999) conceptualization of user roles, a method to support feature bundling decisions for specific target markets was developed and tested in the second study. The method - Strategic User Needs Analysis (SUNA) - was shown to yield a useful balance between high- and low-level information about selected roles. SUNA provided sufficient information to distinguish between PDA feature usage patterns of two similar target user groups as well as to suggest additional features each of the two target groups would find useful. The development of SUNA and observational findings of actual PDA usage are reported.     

Coordinating production and distribution of jobs with bundling operations

We consider an integrated scheduling and distribution model in which jobs completed by two different machines must be bundled together for delivery. The objective is to minimize the sum of the delivery cost and customers' waiting costs. Such a model not only attempts to coordinate the job schedules on both machines, but also aims to coordinate the machine schedules with the delivery plan. Polynomial-time heuristics and approximation schemes are developed for the model with only direct shipments as well as the general model with milk-run deliveries.     

An Interval Fuzzy Multiobjective Watershed Management Model for the Lake Qionghai Watershed, China

Integrated watershed management is required to ensure the reasonable use of resources and reconcile interactions among natural and human systems. In the present study, an interval fuzzy multiobjective programming (IFMOP) method was used to solve an integrated watershed management problem. Based on system analysis, an IFMOP model suitable for a lake watershed system {IFMOPLWS} was developed and applied to the Lake Qionghai watershed in China. Scenario analysis and an interactive approach were used in the solution process. In this manner, various system components were incorporated into one framework for holistic consideration and optimization. Integrality and uncertainty, as well as the multiobjective and dynamic characteristics of the watershed system, were well addressed. Using two scenarios, two planning schemes were generated. Agriculture, tourism, macroeconomics, cropland use, water supply, forest coverage, soil erosion, and water pollution were fully interpreted and compared to identify a preferable planning alternative for local agencies. This study showed that the IFMOPLWS is a powerful tool for integrated watershed management planning and can provide a solid base for sustainable watershed management.     

“微世界”的启发——团体心理行为演练与英语口语训练

近年来,“微世界”模拟技术的学习价值在心理行为训练和技能培养领域受到重视。在介绍“微世界”技术理念与策略内涵的基础上,阐释了该技术在团体心理训练和英语口语训练中的应用价值、设计要点和实施策略。     

基于场景的车载设备测试用例自动生成方法研究

列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。     

基于情景应对模式的突发地质灾害应急防治探讨

突发地质灾害应急防治宜采用“情景-应对”模式,应急预案制定及应急决策离不开情景分析与推演。情景静态特性表现为地质灾害风险认知,可描述为灾害地质体特征、承灾体特征和地质环境条件等要素;情景动态特性可通过演变后果体现,即关键节点的应对需求变化。通过情景要素的应急响应特性分析,选择响应启动时间、灾害空间范围为一级标准,灾害地质特征和引发因素为二级标准,应对能力满足程度为辅助标准,初步提出了情景分类的框架。并针对单点滑坡、单体危岩（崩塌）、单沟泥石流、跨区地质灾害、区域强降雨、地震次生地质灾害和跨区地质灾害等常见情景,分别给出了应急调查处置方案要点。     

基于Web服务的可视化作战想定生成系统设计与实现

设计一个基于Web服务的可视化作战想定生成系统,该系统实现了与具体仿真系统的松散耦合,能够跨越C4ISR系统、作战仿真应用、想定生成系统等仿真系统底层数据结构的异构性,快速重用分布仿真系统的想定资源,提高想定开发效率,并使仿真系统之间的互操作更加灵活。     

Serious games for higher education: a framework for reducing design complexity

Abstract Serious games open up many new opportunities for complex skills learning in higher education. The inherent complexity of such games, though, requires large efforts for their development. This paper presents a framework for serious game design, which aims to reduce the design complexity at conceptual, technical and practical levels. The approach focuses on a relevant subset of serious games labelled as scenario‐based games. At the conceptual level, it identifies the basic elements that make up the static game configuration; it also describes the game dynamics, i.e. the state changes of the various game components in the course of time. At the technical level, it presents a basic system architecture, which comprises various building tools. Various building tools will be explained and illustrated with technical implementations that are part of the Emergo toolkit for scenario‐based game development. At the practical level, a set of design principles are presented for controlling and reducing game design complexity. The principles cover the topics of game structure, feedback and game representation, respectively. Practical application of the framework and the associated toolkit is briefly reported and evaluated.     

自动驾驶交叉路口测试场景建模及验证方法

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言（CCSL）作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性.