1Towards Verification of Software Product Lines: The JBook Case Study
Extended Abstract
Product-lines are used in many industries to reduce product development costs, improve product quality, and increase product variability. Sadly, what distinguishes software product lines (SPLs) is the absence of meaningful warranties on its products (programs). There are few results on verifying SPLs [5][7].
Scaling verification to large programs is a long-standing problem. There is a growing community of researchers that believe verification must be intimately integrated with software design and modularity for scaling to occur; verifica-tion of programs should not be an after-thought. In this presentation, we explore an approach that suggests how fea-ture modularization can scale verification to product-lines of programs. We bring together results from previously unrelated communities: Abstract State Machines (ASM) and Feature-Oriented Programming (FOP). ASM is a rigor-ous method for program specification and verification. FOP is a design methodology and compositional technology for program synthesis [1][2]. ASM and FOP both use step-wise refinement to construct programs and specifications.Our case study is the 2001 JBook [8] that among other results presented a Java/JVM compilation correctness proof for defining, interpreting, compiling, and executing bytecode for the Java 1.0 language. Among the discoveries of JBook were problems with bytecode verification, under-specification of static initializers (leading to portability prob-lems of Java programs), concurrent initializations could deadlock, and existent Java compilers violated initialization semantics through standard optimization techniques [3]. More recent work examined C# with similar results [4][6].Although ASM and FOP were conceived independently (their roots trace back to the early 1990s), both use features — increments in functionality — as a modularization centerpiece. JBook and FOP use features to modularize gram-mars and programs in an identical way. In this presentation, we justify this claim and more importantly show how fea-tures also modularize JBook theorems (both their statements and proofs). By composing features, complete grammars, programs, and theorems are synthesized.
Our results are not limited to JBook or compilers; they are meaningful in the context of SPLs where each program of an SPL may have its own unique set of verification properties and proofs. Instead of manually verifying individual programs, which is a laborious task, theorem statements and proofs can be synthesized, exactly like other program representations. Generated theorems may then be certified manually or automatically using a proof checker.References
[1] D. Batory and S. O’Malley. “The Design and Implementation of Hierarchical Software Systems with Reusable Components”.
ACM TOSEM , October 1992.
[2] D. Batory, J.N. Sarvela and A. Rauschmayer. “Scaling Step-Wise Refinement”. IEEE TSE , June 2004.
[3] E. B?rger and W. Schulte. “Initialization Problems for Java”. Software—Concepts & Tools , 20(4), 1999.
[4] E. B?rger, G . Fruja, V . Gervasi and R. St?rk. “A High-Level Modular Definition of the Semantics of C#”. Theoretical Com-
puter Science , V ol. 336 #2-3, 2005.
[5]K. Czarnecki and K. Pietroszek. “Verification of Feature-Based Model Templates Against Well-Formedness OCL Con-
straints”. GPCE 2006.
[6]N.G . Fruja. “Type Safety of C# and .NET CLR”, ETH Zurich, 2006.
[7]S. Krishnamurthi and K. Fisler. “Modular Verification of Collaboration-Based Software Designs”. FSE 2001.
[8]R.F. St?rk, J. Schmid and E. B?rger. Java and the Java Virtual Machine: Definition, Verification, Validation . Springer-V erlag,
2001.
Don Batory
Department of Computer Sciences
University of Texas at Austin
Austin, Texas, 78712 U.S.A.
batory@https://www.doczj.com/doc/4d1176151.html, Egon B?rger Dipartimento di Informatica Università di Pisa I-56127 Pisa, Italy boerger@di.unipi.it
...
图 工具 快捷 标 名称 键
工具使用说明
选择 工具
（V）
顾名思义，它的作用就是用来选择东西的，不过在有的时候它也 会变为其它的形状，作用也随之改变。
错落 工具
（Y）
作用于一段素材，用来同时改变此段素材的入点和出点。
轨道 选择 工具
（M）
使用此工具可以选择该轨道上箭头以后的所有素材，视音频链接 在一起的则音频同时也被选中；按住 Shift 键可以变为多轨道选 择工具，此时单箭头变为双箭头，即使是单独的声音（比如音效、 音乐等）也会被同时选中。
为了便于对这个工具的理解，我举个例子。一个轨道上有三段素
材 A、B、C，如果把此工具放在素材 A 上，向右滑动，可以看到变
化的是素材 B 的入点，而素材 A 的入出点和总长度不变；然后把
滑动 工具
（U）
工具放在素材 C 上，左右滑动，改变的是素材 B 的出点，而素材 C 的入出点和总长度不变；最后把此工具放在素材 B 上，左右滑动，
可以发现素材 A 的出点和素材 C 的入点发生变化，而素材 B 的入
出点和总长度不变。
（提示：在使用此工具时监视器窗口中的视图会变化，注意对照。）
波纹 编辑
（B）
使用此工具可以改变一段素材的入点和出点，这段素材后面的会 自动吸附上去，总长度发生改变。
这个工具和字幕中的钢笔工具是一样，主要用来绘制形状。选中
钢笔 工具
（P）
此工具，在需要的位置点击一下确定起点，直接点其它位置可以 绘制直线，而在点第二个点的同时按住鼠标不放并进行拖拽可以
绘制曲线；它还有一个作用就是进行关键帧的选择。
旋转
此工具的作用是改变前一个素材的出点和后一个素材的入点，且
编辑 （N） 总长度保持不变；但当其作用于首尾素材时改变的是第一个素材
工具
的入点和最后一个素材的出点，总长度发生改变。
手形 把握 工具
（H）
主要用来对轨道进行拖拽使用，它不会改变任何素材在轨道上的 位置。
比例 缩放 工具
（X）
这个工具用来对素材进行变速，可以制作出快放、慢放等效果。 具体的变化数值会在素材的名称之后显示。
对整个轨道进行缩放，如果想着重显示某一段素材，可以选择此
缩放 工具
（Z）
工具后进行框选，这时会出现一个虚线框，松开鼠标后此段素材 就会被放大。
（提示：按住 ALT 键，可以在放大和缩小之间进行切换。）
...
公共关系的作用 “公共关系”一词的首次出现是在1807年美国总统托马斯·杰斐逊的国会演说。根据爱德华·伯尼斯（Edward Bernays）定义，公共关系是一项管理功能，制定政策及程序来获得公众的谅解和接纳。公共关系经过多年的发展，已经成为一门相对独立的学科，但作为一门科学的公共关系产生于19世纪末20世纪初的美国，这是因为公共关系的产生与发展受到社会经济、政治、文化以及传播技术等因素的制约。 起源 公共关系一词源自英文的Public Relations。Public意为“公共的”、“公开的”、“公众的”，Relations即“关系”之谓，两词合起来用中文表述便是“公共关系”，有时候又称“公众关系、机构传讯）”。 定义 们给其下一个准确定义的努力就没有停止过。由于每个人的认识角度不同，对公共关系内涵的理解也各异，于是就形成了许许多多的公共关系定义。20世纪70年代中期，美国著名的公共关系学者莱克斯·哈洛(Rex Harlow)博士就搜集到47个公共关系的定义；还有人说，公共关系的定义已有上千条之多。于是有人不无幽默地说有多少公共关系学者，便有多少种公共关系的定义。 国际公共关系协会提出的定义
一）公共关系是一种管理职能，属于一种经常性与计划性的工作，不论公私机构或组织，均通过它来保持与相关的公众的了解、同情和支持，亦即审度公众的意见，使本机构的政策与措施尽量与之配合，再运用有计划的大量资料，争取建设性的合作，而获得共同的利益。 二）美国公共关系协会征询了2000多名公共关系专家的意见，从中选择了四则定义，中两则的内容是：首先，公共关系是一个人或一个组织为获取大众之信任与好感，借以迎合众之兴趣而调整政策与服务方针的一种经常不断的工作；同时，公共关系是将此种已调整的政策与服务方针加以说明，以获得大众了解与欢迎的工作。 三）美国公共关系研究与教育基金会主席R·哈罗博士，通过征求83名公共关系领导人的意见，研究了472个定义，得出结论，公共关系是一种特殊的管理功能，它帮助一个组织与其公众之间建立和保持相互沟通、了解，接受与合作的渠道；参与问题和纠纷的处理，将公众的意见传达给管理部门并做出反应；明确与加强为公众利益服务的管理责任；它还作为监视预警系统，帮助管理部门预先做好应变准备，与社会动向保持一致并有效地加以利用。它用调查研究和正确并合乎道德的沟通技术作为其重要手段。 四）1978年，在墨西哥城举行的第一次世界公共关系大会上，对公共关系概括的定义是：公共关系是一门艺术和社会科学。它分析发展趋势，预测结果，为组织领导者咨询并实行服务,提供计划的行动方案，这种行动方案将服务于该组织和公众的共同利益。
PR介绍 什么是公共关系专业（Public Relations）： 公共关系专业是一门关于如何维护公众形象，和一个组织或个人如何交流沟通的学科（比如一个娱乐界人士，或者一个政界候选人）。你将从这门学科中学到如何恰当的传递讯息，并使之达到你想要的效果。同时，你也会掌握技术和管理方面的技巧，比如撰写和创造一些打印的，可观看的材料，并且学会策略规划和解决问题。 公共关系专业适合你吗？ 如果你喜欢一下几个方面，你也许会喜欢它：写作；公众演讲；筹备聚会或者参加俱乐部活动，亦或者组织募捐活动；参加集体运动项目；制作校刊等。如果你认为自己在一下方面有特长，那么我们建议你考虑公共关系专业：创造力；批判性的阅读/思考；组织活动；说服/影响别人；学术研究；团队合作，亦或者擅长交际；积极主动；表达能力；写作能力。 你以前知道吗？ 你是否知道这个领域要求很强的技巧和分析能力，并不仅仅是交流沟通技巧这么简单？一些学生认为公共关系是一项经济领域的“软技能”；但是一个专业从事公共关系的人的职责绝不仅仅是维护企业形象，同时也包括展示所作的这些努力是如何影响企业的盈亏状况的。行之有效的公共关系工作需要对统计学非常熟悉，具有很强的研究能力，融资，以及传媒技术。 这各专业通常所包括的课程： Fundamentals of public relations，Writing for mass media，Media planning，Principles of advertising，Public relations research，Public relations writing，Speech writing，Media law and ethics，Media campaigns，Visual communications and graphic design，Video production，Image management，Crisis management，Case studies in public relations managemen 本专业研究方向：企业公共关系；消费者关系；员工关系；公共事物；非盈利公共关系；金融或投资者关系；宣传和媒体关系；国际公共关系。 所在学院： 美国的公共关系专业（Public Relations）大多数设置在传媒学院下，这个专业是向涉及写作、研究的机构提供信息传达的服务、向管理层提供建议、计划、执行并评估信息传达的活动、媒体联络、组织公众宣传活动等。现在越来越多的人想要把公共关系专业作为自己的职业发展方向，尤其女性居多。
adobe premiere Adobe公司 Adobe Systems是一家总部位于美国加州圣何塞的电脑软件公司 参考百度百科名片 adobe premiere启动界面
一款常用的视频编辑软件，由Adobe公司推出。现在常用的有6.5、Pro1.5、2.0等版本。是一款编辑画面质量比较好的软件，有较好的兼容性，且可以与adobe公司推出的其他软件相互协作。目前这款软件广泛应用于广告制作和电视节目制作中。其最新版本为Adobe Premiere Pro CS5.5。 目录
编辑本段软件简介 Premiere（简称PR)历史上的经典版本：6.5（历史性的飞跃，真正意义上的非编软件，实时预览），2.0（全套专业的解决方案），CS（是Creative Suite的缩写） Adobe Premiere Pro CS3 作为高效的视频生产全程解决方案，目前包括 Adobe Encore® CS3 和 Adobe OnLocation CS3 软件* （仅用于Windows）。从开始捕捉直到输出，使用 Adobe OnLocation 都能节省您的时间。通过与 Adobe After Effects(简称AE); CS3 Professional 和Photoshop; CS3 软件的集成，可扩大您的创意选择空间。您还可以将内容传输到DVD、蓝光光盘、Web和移动设备。 编辑本段版本型号 premiere 6.5 Adobe Premiere CS6 启动界面 premiere7.0 premiere pro1.5 premiere pro2.0 premiere cs3 premiere cs4 premiere cs5
Premiere Pro CS4 工具栏简介
ctrl键单独拖出工具栏面板，我们一个一个来看。 （一）移动工具（Selection Tool）快捷键（V） 最最常用的工具，常规功能是移动素材以及控制素材的长度 配合ctrl：移动工具可以强行插入素材，如果想在以剪辑好的片段中插入素材，平常的做法是挖个缝出来挤进去或者先调入源素材面板再用上面的插入功能。用上面的组合键可以推拽素材，移动到切入点，松开后素材就能方便插入了，很神奇的功能，我刚刚才发现……罪过…… 配合shift:这个很常用，选择多目标，相对于框选，这个可以不连续选择或取消； 配合alt:忽略编组/链接而移动素材，对于已经编组或链接的素材，如果要进行细微的调整，可以在不取消编组或链接的情况下移动素材，非常方便，呃也是刚才认识到……继续罪过…… （二）轨道选择工具(Track Select Tool) 快捷键（M） 常规功能：选择目标右侧同轨道的素材，整体移动素材比框选更有优势 配合shift:选择目标右侧所有轨道的素材； （三）波纹（涟漪）编辑工具（Ripple Edit Tool）快捷键（B） 在已剪辑好的时间线上改变某个素材的长度，这个如果要用移动工具实现的话就得先腾出位置来，比较麻烦，用波纹工具就类似Edius中的波纹模式，改变素材长度后旁边的素材会自动移动以适应； （四）滚动编辑工具（Rolling Edit Tool）快捷键（N） 控制相邻的两个素材的长度，但它们的总长度不变，适合精细调整剪切点； （五）速率扩展工具（Rate Stretch Tool）快捷键（X） 这个工具可以任意改变素材的播放速率，直观地显示在素材长度的改变上，在需要用素材撑满不等长的空隙时如果调节速率百分比是非常困难的，运用这个工具就变得方便，直接拖拽改变长度就行了，然后素材的速率就相应的改变； （六）剃刀工具(Razor Tool) 快捷键（C） 也是最常用的工具，配合shift可以作用在时间点上的所有素材 配合alt:可以忽略链接而单**剪视频或音频，在需要替换部分视频或音频时可以免去解开链接的步骤； （七）滑动工具（Slip Tool）快捷键（Y) 改变素材出点入点，不改变其在轨道中的位置，长度，非常实用的功能，相当于重新定义出点入点；（八）（推移）幻灯片工具（Slide Tool）快捷键（U） 与滚动编辑工具类似，不过这个工具改变的是目标前后素材的长度，目标及三个素材的总长度不变；
Pr剪辑工具简介 来源：孟令彬的日志 从左列的工具说起： （一）移动工具（Selection Tool）快捷键（V） 最最常用的工具，常规功能是移动素材以及控制素材 的长度 配合ctrl：移动工具可以强行插入素材，如果想在以剪辑好的片段中插入素材，平常的做法是挖个缝出来挤进去或者先调入源素材面板再用上面的插入功能。用上面的组合键可以推拽素材，移动到切入点，松开 后素材就能方便插入了 配合shift:这个很常用，选择多目标，相对于框选，这个可以不连续选择或取消； 配合alt:忽略编组/链接而移动素材，对于已经编组或链接的素材，如果要进行细微的调整，可以在不取消编组或链接的情况下移动素材，非常方便 （二）轨道选择工具(Track Select Tool) 快捷键（A）常规功能：选择目标右侧同轨道的素材，整体移动素 材比框选更有优势 配合shift:选择目标右侧所有轨道的素材；
（三）波纹编辑工具（Ripple Edit Tool）快捷键（B）在已剪辑好的时间线上改变某个素材的长度，这个如果要用移动工具实现的话就得先腾出位置来，比较麻烦，用波纹工具就类似Edius中的波纹模式，改变素材长度后旁边的素材会自动移动以适应； （四）滚动编辑工具（Rolling Edit Tool）快捷键（N）控制相邻的两个素材的长度，但它们的总长度不变， 适合精细调整剪切点； （五）速率扩展工具（Rate Stretch Tool）快捷键（X）这个工具可以任意改变素材的播放速率，直观地显示在素材长度的改变上，在需要用素材撑满不等长的空隙时如果调节速率百分比是非常困难的，运用这个工具就变得方便，直接拖拽改变长度就行了，然后素材 的速率就相应的改变； （六）剃刀工具(Razor Tool) 快捷键（C） 也是最常用的工具，配合shift可以作用在时间点上 的所有素材 配合alt:可以忽略链接而单独裁剪视频或音频，在需要替换部分视频或音频时可以免去解开链接的步骤；
premiere,自我介绍 篇一：Premiere工具栏介绍(超仔细) 图工具快捷标名称键工具使用说明选择顾名思义，它的作用就是用来选择东西的，不过在有的时候它也（V）工具会变为其它的形状，作用也随之改变。错落（Y）作用于一段素材，用来同时改变此段素材的入点和出点。工具使用此工具可以选择该轨道上箭头以后的所有素材，视音频链接轨道在一起的则音频同时也被选中；按住Shift键可以变为多轨道选选择（m）择工具，此时单箭头变为双箭头，即使是单独的声音（比如音效、工具音乐等）也会被同时选中。为了便于对这个工具的理解，我举个例子。一个轨道上有三段素材a、B、c，如果把此工具放在素材a上，向右滑动，可以看到变化的是素材B的入点，而素材a的入出点和总长度不变；然后把滑动工具放在素材c上，左右滑动，改变的是素材B的出点，而素材c（U）工具的入出点和总长度不变；最后把此工具放在素材B上，左右滑动，可以发现素材a的出点和素材c的入点发生变化，而素材B的入出点和总长度不变。（提示：在使用此工具时监视器窗口中的视图会变化，注意对照。）波纹使用此工具可以改变一段素材的入点和出点，这段素材后面的会（B）编辑自动吸附上去，总长度发生改变。这个工具和字幕中的钢笔工具是一样，主要用来绘制形状。选中钢笔此工具，在需要的位置点击一下确定起点，直接点其它位置可以（P）工具绘制直线，而在
点第二个点的同时按住鼠标不放并进行拖拽可以绘制曲线；它还有一个作用就是进行关键帧的选择。旋转此工具的作用是改变前一个素材的出点和后一个素材的入点，且编辑（n）总长度保持不变；但当其作用于首尾素材时改变的是第一个素材工具的入点和最后一个素材的出点，总长度发生改变。手形主要用来对轨道进行拖拽使用，它不会改变任何素材在轨道上的把握（H）位置。工具比例这个工具用来对素材进行变速，可以制作出快放、慢放等效果。缩放（X）具体的变化数值会在素材的名称之后显示。工具对整个轨道进行缩放，如果想着重显示某一段素材，可以选择此缩放工具后进行框选，这时会出现一个虚线框，松开鼠标后此段素材（z）工具就会被放大。（提示：按住aLT键，可以在放大和缩小之间进行切换。） 这个工具可以说是继选择工具之后最常用的一个了，它主要用来剃刀（c）对素材进行裁切。按住Shift时，刀片变为两个，此时进行裁切工具的话，所有位于此线上的素材都会被切开，但锁定的不会被裁切ctrl键单独拖出工具栏面板，我们一个一个来看。（一）移动工具（SelectionTool）快捷键（V）最最常用的工具，常规功能是移动素材以及控制素材的长度配合ctrl：移动工具可以强行插入素材，如果想在以剪辑好的片段中插入素材，平常的做法是挖个缝出来挤进去或者先调入源素材面板再用上面的插入功能。用上面的组合键可以推拽素材，移动到切入点，松开后素材就能方便插入了，很神奇的功能，我刚刚才发现??罪过??配合shift:这个很常用，选择多目标，相对于框选，这个可以不连续选择或取消；配合alt:忽略编组/链接而移动素材，
Premiere插件大全介绍 Premiere插件大全介绍PR的插件分为四类 (1)转场的插件：比如好莱坞,spice master (2)特效插件：比如FE，Panopticum公司的插件系列，一些为AE开发并能用在PR中的 基本也属于这一类 (3)字幕插件：比如TitleExpress，TM，小灰熊卡拉OK，小精灵字幕等 (4)扩展功能插件：比如videoserver,CCE,CanonpusProcder等这个分类是个人为了方便管理而分的，所以不是很严格。比如有的插件在安装后会为PR同时添加转场和 特效。 下面我把觉得非常好的插件作一简单介绍。 (1)视频特效: Final Effects是MetaTools公司开发的Premiere的插件。MetaTools公司在图像界久享盛誉，著名的PhotoShop滤镜---KPT就是该公司的旗舰产品。如果你的Final Effects版本较低，不能直接支持Premiere的话，那你在它安装好之后，把Plugins 目录下的prm文件拷贝到Premiere的Plug-ins目录下,再将几个文件DELSLLISU、FE RESOURCES.DLL、COMMON.DLL拷贝到Premiere目录就可以了。 eyecandy据说也不错。用过Photoshop外挂滤镜的可能都知道这个，但它的PR版本似乎不是很好用，本人没用过。它有单独的AE版本，放到PR中更好用。 (2)转场 Hollywood FX可以脱离Premiere单独运行，如果把它的prm文件拷贝到Premiere 的Plug-ins目录下，就可以在Premiere里直接调用。目前新版本为Hollywood FX PRO v5.2，支持PR PRO。 Spice Master可以为Premiere增加300多个精彩的转场特技。目前电视台用的大型非线性编辑设备，如大洋DY3000等用的特技转换都是从该软件移植的！该插件可以自定义转场,方法是用photoshop做出有渐变特效的灰度图片（模式是灰度，8位通道）,大小一般是320*240，存为TIF格式,可以添加到Spice Master的转场库中。也可以去 下载现成的转场库。效果真的很好。 (3)字幕插件 最著名的是title motion，但D版不是很好安装。功能强大，效果丰富，专业级字幕软件。TM4.2对中文的支持需要修改inscribe.ini文件。 TM最新版本为TM5.0pro，支持PR PRO，但是对中文的支持不好，网上可以找到中 文支持补丁。 以前有人用title deko，新版本的PR（6.0以后）已经集成了这个了，所以可以不装了。不过原软件对中文字体支持较好，汉字字体能正确显示，不象PR显示汉字字体
Pr 剪辑工具简介 1. 移动工具：口，鼠标显示 回 快捷键：V 说明：最常用的工具，常规功能是移动素材以及控制素材的长度； 配合Ctrl 键（Ctrl+V 长按，鼠标显示叵）：移动工具可以强行插入素材，如果想在剪辑好的片段 中插入素材，可以用这个组合键拖拽素材，移动到切入点，松开后就可以很方便插入素材； 配合shfit 键（在移动工具下长按 shift 键）：选择多目标，相对于框选，可以不连续选择或取消 目标； 配合Alt 键（在移动工具下长按 Ctrl 键）：忽略编组/链接而移动素材，对于已经编组或链接的素 材，如果要进行细微的调整，可以再不取消编组或链接的情况下移动素材。 2. 向前轨道选择工具E3 快捷键：A ，鼠标显示为 说明：选择目标右侧所有轨道素材，整体移动素材; shift 键，鼠标显示为 Q ）:择目标右侧同轨道素材。 3. 快捷键：shif+A ，鼠标显示为 B 说明：选择目标左侧所有轨道素材，整体移动素材; shift 键，鼠标显示为 0）:择目标左侧同轨道素材。 4. 波纹编辑工具 快捷键：B 说明：在已剪辑好的时间线上改变某个素材的长度，改变素材长度后旁边的素材会自动移动以适应; 只有在素材出入点才会起作用，鼠标显示为 司I 才可使用，拖动鼠标即可。 5. 滚动编辑工具 快捷键：N 说明：控制相邻的两个素材的长度，但它们的总时间长度不变，适合精细调整剪辑点; 6.比率拉伸工具E3I 快捷键：R 配合shfit 键（在向前轨道选择工具下长按 配合shfit 键（在向后轨道选择工具下长按 只有在素材出入点才会起作用，鼠标显示为 才可使用，拖动鼠标即可。 向后轨道选择工具
premiere自我介绍 篇一：广告设计专业人员简单自我介绍 广告设计专业人员简单自我介绍 专业能力：系统学习了vi企业形象策划、广告文案写作、图形创意、招贴设计、包装设计、书籍装帧设计、摄影等专业知识; 熟习平面设计软件 photoshop、coreldraw、indesign;制图软件cad;影视后期软件premiere;在学习中，我注重理论与实践的结合，己具备了相当的实践操作能力，可独立进行广告策划、平面广告设计工作。职业能力：熟练操作word、excel等办公室软件，事业心和责任感使我能够面对任何困难和挑战。;在实习过程中，能够做到灵活的与客户交流并做好企业形象宣传工作;适应并能够做好少儿基础教育。社会能力：具有一定的社会交往能力，具有优秀的组织和协调能力;热情随和，具有进取精神和团队精神，有较强的动手能力。良好协调沟通能力，适应力强，严格要求并能提高自己，适应工作的需要。 篇二：广告设计专业人员简单自我介绍 广告设计专业人员简单自我介绍 专业能力：系统学习了vi企业形象策划、广告文案写作、图形创意、招贴设计、包装设计、书籍装帧设计、摄影等专业知识;熟习平面设计软件
photoshop、coreldraw、indesign;制图软件cad;影视后期软件premiere;在学习中，我注重理论与实践的结合，己具备了相当的实践操作能力，可独立进行广告策划、平面广告设计工作。职业能力：熟练操作word、excel等办公室软件，事业心和责任感使我能够面对任何困难和挑战。;在实习过程中，能够做到灵活的与客户交流并做好企业形象宣传工作;适应并能够做好少儿基础教育。社会能力：具有一定的社会交往能力，具有优秀的组织和协调能力;热情随和，具有进取精神和团队精神，有较强的动手能力。良好协调沟通能力，适应力强，严格要求并能提高自己，适应工作的需要。 篇三：广告设计专业人员简单自我介绍 广告设计专业人员简单自我介绍 专业能力：系统学习了vi企业形象策划、广告文案写作、图形创意、招贴设计、包装设计、书籍装帧设计、摄影等专业知识;熟习平面设计软件 photoshop、coreldraw、indesign;制图软件cad;影视后期软件premiere;在学习中，我注重理论与实践的结合，己具备了相当的实践操作能力，可独立进行广告策划、平面广告设计工作。职业能力：熟练操作word、excel等办公室软件，事业心和责任感使我能够面对任何困难和挑战。;在实习过程中，能够做到灵活的与客户交流并做好企业形象宣传工作;适应并能够做好少儿基础教育。社会能力：具有一定的社会交往能力，具有优秀的组织和协调能力;热情随和，具有进取精神和团队精神，有较强的动手能力。良好协调沟通能力，适应力强，严格要求并能提
Pr剪辑工具简介 1.移动工具：，鼠标显示 快捷键：V 说明：最常用的工具，常规功能是移动素材以及控制素材的长度； ●配合Ctrl键（Ctrl+V长按，鼠标显示）：移动工具可以强行插入素材，如果想在剪辑好的片段 中插入素材，可以用这个组合键拖拽素材，移动到切入点，松开后就可以很方便插入素材； ●配合shfit键（在移动工具下长按shift键）：选择多目标，相对于框选，可以不连续选择或取消 目标； ●配合Alt键（在移动工具下长按Ctrl键）：忽略编组/链接而移动素材，对于已经编组或链接的素 材，如果要进行细微的调整，可以再不取消编组或链接的情况下移动素材。 2.向前轨道选择工具 快捷键：A，鼠标显示为 说明：选择目标右侧所有轨道素材，整体移动素材； ●配合shfit键（在向前轨道选择工具下长按shift键，鼠标显示为）：择目标右侧同轨道素材。 3.向后轨道选择工具 快捷键：shif+A，鼠标显示为 说明：选择目标左侧所有轨道素材，整体移动素材； ●配合shfit键（在向后轨道选择工具下长按shift键，鼠标显示为）：择目标左侧同轨道素材。 4.波纹编辑工具 快捷键：B 说明：在已剪辑好的时间线上改变某个素材的长度，改变素材长度后旁边的素材会自动移动以适应； ●只有在素材出入点才会起作用，鼠标显示为才可使用，拖动鼠标即可。 5.滚动编辑工具 快捷键：N 说明：控制相邻的两个素材的长度，但它们的总时间长度不变，适合精细调整剪辑点； ●只有在素材出入点才会起作用，鼠标显示为才可使用，拖动鼠标即可。
6.比率拉伸工具 快捷键：R 说明：可以任意改变素材的播放速率，直观地显示在素材长度的改变上，在需要用素材撑满不等长的空隙时如果调整速率百分比是很难实现的，运用这个工具就会变得方便，直接拖拽改变长度即可，然后素材的速率就会相应的改变了； ●只有在素材出入点才会起作用，鼠标显示为才可使用，拖动鼠标即可。 7.剃刀工具 快捷键：C 说明：剪辑素材； ●配合shfit键（在剃刀工具下长按shift键，鼠标显示两个剃刀）：剪辑时间点上所有轨道的素材； ●配合Alt键（在剃刀工具下长按Alt键，注意前面鼠标虚线的变化）：忽略链接而单独裁剪视频或 音频，在需要替换部分视频或音频时可以免去断开链接的步骤。 8.外滑工具 快捷键：Y 说明：改变素材的出点入点，不改变其在轨道中的位置、长度，相当于重新定义出入点； 9.内滑工具 快捷键：U 说明：改变目标前后的素材的长度； ●只有相邻素材发生作用； ●如果前后都有素材，则改变目标前后的素材的长度，目标以及素材的总长度不变； ●如果只有两个素材，则目标素材的长度不变，另一个素材自动适应目标的变化。 10.钢笔工具 快捷键：P 说明：制作遮罩和路径； 11.抓手工具 快捷键：H 说明：移动时间线和画面; 12.缩放工具
「自己PR」 ○物事に対しては真面目で着実に行い努力を怠らなくて団体意識が強い。 做事认真，脚踏实地，坚持不懈，团队意识很强。 ○熱心で比較的に辛抱強く、チームワークという精神に富む。 学習能力も新しい物事を受け入れる能力は高くて強い責任感がある。 热心，比较耐心，富于团队合作精神。有较强的学习能力，对新事物的接受能力较强，责任感强。 ○積極的に自分を向上させ性格は楽観的で人に接するのは心から謙虚でいて 物事に対しては責任感を持ち強い団体意識もある。 本人积极进取、性格乐观、待人谦虚、做事认真负责、责任感强、具有团队精神。 ○融通が利き自分なりの見解があり向上心は強くて身の回りのすべての機会を捉えるこ とができる。 聪明机智，有自己的见解，上进心强，懂得抓住身边每一个机会。 ○朗らかな性格で積極性と組織能力が強く自分で足りないところを改善することができる。 责任心强、态度积极、性格开朗、自我分析改善能力较强、有一定的组织能力。 ○性格が明るく、コミュニケーション能力も良好で、いつも積極的な態度をもって物事を扱う。 また、困難に直面でき自己調整力も強い。組織力があり、向上心も強い。 性格开朗，处事乐观，沟通能力强，遇到困难不轻易放弃，懂得自我调节，有一定的组织能力，有上进心。 ○どんな事にあっても諦めない。仕事では品質と同時に効率も重視し仕事に対する責任感があって、 問題を処理する能力がより強くコミュニケーション能力と団 体意識があります。新しい団体に早く打ち解ける能力があり明確な目標を持っている。 不轻言放弃，能够保证工作质量的同时保证效率。有责任心，处理问题能力强。 有良好的沟通能力和团队组织能力。能较快融入一个新的团队。做事目标明确。 ○自分の欠点を克服して真面目に働いて、優秀な管理員になれると思っている。 真面目で新しいことを受け入れやすく人を助けることが好きです。 克服自己的不足之处，认真工作，可以成为一位优秀的管理人员。学习认真，接受新事物能力强，乐于助人。
PREMIERE的操作界面简介 影视制作过程： 1，准备素材 2，在时间线窗口中组合和编辑素材 3，在监视器窗口中编辑和预览素材 4，添加转场、滤镜特效
5，添加字幕和矢量图形 6，添加音频 7，输出影片 项目窗口 1，列表按钮：将剪辑箱素材显示区中的素材以列表的形式显示 2，图标按钮：将剪辑箱素材显示区中的素材以图标的形式显示 3，自动到时间线按钮：就是自动生成一个时间线序列
4，查找按钮：在项目窗口中文件较多层次较复杂的情况下，使用此工具可以快速查找所需文件 5，素材文件夹按钮：此按钮用于创建新的素材文件夹，有利于整理组织项目中的素材 6，新建项目按钮：此按钮用于创建新的字幕、非线性文件、时间线等。单击此按钮可以弹出一个项目菜单，它与单击文件菜单中的新建选项所弹出的子菜单相同7，清除按钮：用于删除项目窗口中中所选择的素材 *注意：如果在项目窗口中药删除多个素材或者素材文件夹的话，可以按ctrl逐一选择多个素材 监视器窗口
窗口的作用：主要用于预览、输出视频素材和音频素材，监控整个项目的内容。在建及项目的时候还可以通过此窗口设置素材的入点、出点、改变静态图片的持续时间和设置标记等。 1，设定出点和入点的两个按钮：用来设置当前位置为出点或者入点，按下alt的同时单击它则被取消设置。 2，设定未编号标记：用于为素材设置非数字标记。一段素材只能设置一个非数字标记，若想设置多个可应用数字标记。 3，转到上一个标记或者下一个标记：此按钮用于将编辑线直接转到素材的上一个标记或者下一个标记。 4，单步前进或者后退: 用于将节目或者预演的素材片段正向或者反向播放，单击一次跳一帧
Premiere Pro CS4 工具栏简介 ctrl键单独拖出工具栏面板，我们一个一个来看。
（一）移动工具（Selection Tool）快捷键（V） 最最常用的工具，常规功能是移动素材以及控制素材的长度 配合ctrl：移动工具可以强行插入素材，如果想在以剪辑好的片段中插入素材，平常的做法是挖个缝出来挤进去或者先调入源素材面板再用上面的插入功能。用上面的组合键可以推拽素材，移动到切入点，松开后素材就能方便插入了，很神奇的功能，我刚刚才发现……罪过…… 配合shift:这个很常用，选择多目标，相对于框选，这个可以不连续选择或取消； 配合alt:忽略编组/链接而移动素材，对于已经编组或链接的素材，如果要进行细微的调整，可以在不取消编组或链接的情况下移动素材，非常方便，呃也是刚才认识到……继续罪过…… （二）轨道选择工具(Track Select Tool) 快捷键（M） 常规功能：选择目标右侧同轨道的素材，整体移动素材比框选更有优势 配合shift:选择目标右侧所有轨道的素材； （三）波纹（涟漪）编辑工具（Ripple Edit Tool）快捷键（B） 在已剪辑好的时间线上改变某个素材的长度，这个如果要用移动工具实现的话就得先腾出位置来，比较麻烦，用波纹工具就类似Edius中的波纹模式，改变素材长度后旁边的素材会自动移动以适应； （四）滚动编辑工具（Rolling Edit Tool）快捷键（N） 控制相邻的两个素材的长度，但它们的总长度不变，适合精细调整剪切点； （五）速率扩展工具（Rate Stretch Tool）快捷键（X） 这个工具可以任意改变素材的播放速率，直观地显示在素材长度的改变上，在需要用素材撑满不等长的空隙时如果调节速率百分比是非常困难的，运用这个工具就变得方便，直接拖拽改变长度就行了，然后素材的速率就相应的改变； （六）剃刀工具(Razor Tool) 快捷键（C） 也是最常用的工具，配合shift可以作用在时间点上的所有素材 配合alt:可以忽略链接而单**剪视频或音频，在需要替换部分视频或音频时可以免去解开链接的步骤； （七）滑动工具（Slip Tool）快捷键（Y) 改变素材出点入点，不改变其在轨道中的位置，长度，非常实用的功能，相当于重新定义出点入点；（八）（推移）幻灯片工具（Slide Tool）快捷键（U） 与滚动编辑工具类似，不过这个工具改变的是目标前后素材的长度，目标及三个素材的总长度不变；（九）钢笔工具（Pen Tool）快捷键（P)