This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

随着20世纪90年代以来信息技术的发展，计算的方法逐渐深入人文学科领域，并悄然改变着其研究方法。各种电子资料库、数据库的建立和阅览检索方式的改变，正在改变传统意义上的以纸质媒体为主要对象、细读为主要方法的人文学研究。本书讨论东西方人文社会科学学术中数字人文与语言文学研究方面的蕞新进展，以及在中国人文社会学术中开展涉及文学研究、计量语言学等跨学科范围的数字人文研究的语境条件和技术需要。所选文章从文学研究的内部需求出发，针对传统意义上的文学文化研究方法进行反思，深入研讨作为一种方法的数字人文对于传统人文社会科学研究之意义，探索新的技术和媒体环境下各学科间融合之可能性，希望能对人文社会科学的进一步发展有所贡献。

近年来有关情感方面的研究已成为人文学十分重要的研究取向之一。本书是有关情感研究的论文选集。既涵盖了“情动转向”及相关辩论反思，又包括对情感在早期现代中的嬗变转型的讨论。本书涉及18世纪至20世纪现代情感、意识、感官知觉、书写阅读等中西历史与理论，同时也突出后现代和媒介融合情境下情感与媒体、图像、电影、当代社会的关系。坚持理论的历史化、跨学科取向以及人文与科学的关联性，是本书的显著特色。

英国漫长的18世纪（约1689-1850年，欧美近年英国文学研究惯常历史划分法）见证了帝国的兴起、印刷文化浸入日常社会生活、多种近代写作文类（美学、道德哲学、浪漫主义诗歌、政治经济学等）和近代个体社会形式的出现等。本书以四个人物为对象、兼顾不同文类、以情感美学和文本文化之间的关系为主线，讨论印刷和文本文化兴起背景中的近代感觉感官的形成和发展，勾勒出一幅西方现代性语境中的内在主体性历史轮廓。

本书主要内容包括：电力电子器件基本特性与使用方法，隔离与非隔离的直流-直流变换电路的原理和分析方法、动态模型及其控制，直流交流变换技术，交流-直流变换技术，交流-交流变换技术，软开关谐振变换技术，磁芯元件及其应用基础，电力电子技术的应用等。

黄帝内経・陰陽五行説から漢方・経絡・気功まで、東洋医学の基礎を関連する写真や図表を盛り込んで網羅的に解説。手相・面相・易学・占星術・吐納導引術の分野も紹介する。また、基本用語約1400語を索引に掲載。

Written for university students and business professionals in international trade, this book provides an engaging, accessible guide to the fast-changing global economy, driven by foreign direct investment, globalization, multinational corporations, outsourcing, and advanced transportation. It equips readers with practical knowledge of international trade and export practices, reflecting recent developments such as the AEO system, Incoterms 2010, and UCP 600. To enhance usability, each chapter incorporates business letter samples, numerous author-taken diagrams and photos, and introduces the phrase "I am glad to see you" in twenty languages, offering readers a fresh, vivid perspective on contemporary international business.

国際物流は船舶や航空機、鉄道、トラックなどを利用し、国際貿易に伴う取引商品の国・地域を越えた貨物輸送を行う。特に、国際物流の主流である「陸海空三位一体の国際複合一貫輸送」は、国際貿易の下支え役として極めて大きな役割を果たしている。本書の最大の特色は、陸海空にまたがる国際物流の全体像を写真・図表を多用して分かりやすく解説している点にある。

国際物流は船舶や航空機、鉄道、トラックなどを利用し、国際貿易に伴う取引商品の国・地域を越えた貨物輸送を行う。特に、国際物流の主流である「陸海空三位一体の国際複合一貫輸送」は、国際貿易の下支え役として極めて大きな役割を果たしている。本書の最大の特色は、陸海空にまたがる国際物流の全体像を写真・図表を多用して分かりやすく解説している点にある。

本書は東アジア地域の国際物流システムを体系的に解説した増改訂版である。港湾・航路・複合一貫輸送の仕組み、地域連携と課題を実例を交えて論じ、物流関係者や学習者に有用な知見を提供する。