简介：在使用多媒体教学手段的过程中,出现了各种各样的形式主义,究其原因,主要是由于教学理念滞后于教学手段以及存在把改变教学手段当作唯一目的的错误思想认识.所以只有根治错误思想,才能有效运用现代技术手段,不至走入形式主义的误区.

简介：统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。

简介：

简介：美欧日作为世界上最大的三个发达经济体,尤其是在欧日自贸协定已经谈成的情况下,其自贸协定动向确实值得关注.但它们要联合组建自贸协定也存在重重困难,并非易事.今年7月17日,欧盟和日本在东京签署自由贸易协定,名为“欧日经济伙伴协定”（EU-JapanEconomicPartnershipAgreement）.

简介：论述学习形式的多样性是历史积淀的结果，通过对航海教育形式的分析认为，航海高职院校成人高等教育保留脱产形式是非常必要的，提出在航海教育办学形式上切忌一刀切，要加强航海教育质量的监管。

简介：美国司法部近日宣布，就日本邮船（NYK）伙同其它航运公司，对进出口美国汽车的运费操纵的行为，对其处以5940万美元的罚金。

简介：

简介：本文论述了自由裁量权在海事行政处罚中的表现形式及其必要性,指出了自由裁量在海事行政处罚中存在的问题,提出了如何合理控制自由裁量权的相关对策。

简介：中国古典小说从唐代传奇以来,就一直以忌平直,讳浅露,情节描写典丽深曲、跌宕多姿见长.这与古典小说家善用曲笔,着意编排曲折离奇的情节不无关系.曲笔囊纷繁复杂的矛盾现象和生活头绪于精巧的情节结构中,借助曲折动人的故事来展示人物命运与思想感情,刻画人物多重性格,深入挖掘生活的丰富内涵,写活了人物,深化了主题,增强了文学表现力.中国古典小说家运用"曲笔"的具体手法、技巧可谓精彩纷呈,其中一波三折为其常态,而避"实"就"虚",避"直"就"曲",反常见"曲"又独具特色,古典小说家善用"曲笔"的真知灼见,对今人的小说创作具有较高的示范价值.