Microsoft PowerPoint - Model Checking a Lazy Concurrent List-Based Set Algorithm.ppt [Compatibility Mode]
|
|
- 倏浦 司
- 5 years ago
- Views:
Transcription
1 Model Checking a Lazy Concurrent List-Based Set Algorithm ZHANG Shaojie, LIU Yang National University of Singapore
2 Agenda Introduction Background Ourapproach Overview Linearizabilitydefinition Modelinglanguage Linearizabilityasrefinementrelation Experiment Conclusion&FutureWork
3 Introduction Concurrentobjectsarenotoriouslyhardtodesign correctly. Esp.Lock-free&wait-freeones. Linearizabilityisanacceptedcorrectnesscriterionis an accepted correctness criterion forsharedobjects. Asharedobjectislinearizableifeachoperationon Asharedobjectislinearizable if each operation on theobjectcanbeunderstoodasoccurring instantaneouslyatsomepoint,(a.k.a.linearization point) Formalverificationorproofoflinearizabilityrely ontheknowledgeoflinearizationpoints Expertknowledge Linearizationpointsarehardtobestaticallydetermined
4 Introduction Verifylinearizaibilityagainstlazyconcurrentlistbasedsetalgorithm ProposedbySteveHeller,MauriceHerlihy,VictorLuchangco, MarkMoir,WilliamN,SchererIII,andNirShavitin2005. Moir and Nir Shavit in MartinVechev,EranYahav,andGretaYorshdescribeda variationwithweakervalidationconditionin2009. Whychoosethisalgorithm? Highlyconcurrent,non-fixedlinearizationpoints. Complexity:non-deterministictargetlocation Manipulatesdynamicallocatedmemoryheavily& Needagarbagecollector
5 Agenda Introduction Background OurApproach Overview Linearizabilitydefinition Modelinglanguage Linearizabilityasrefinementrelation Experiment Conclusion&FutureWork
6 Concurrent List-based Set Setinterface Unorderedcollectionofitems Noduplicates Methods bool add(int x):putxinset;ifsucceeds,returntrue boolremove(int x)takexoutofset )t t t bool contains(intx)testsifxinset
7 Concurrent List-based Set Setasasingle-linkedsortedlist Listnode public class Node { public int key; // item of interest public Node next; // Reference to next node public bool marked; //Indicate this node is about to be removed }
8 Concurrent List-based Set Thesentinelnodescanonlybecompared,not modified Sorted by the key (min & max possible keys)
9 Concurrent List-based Set Optimisticlockingscheme TraversewithoutLocking e Add(3) 3 TheFourthIEEEInternational ConferenceonSecureSoftware
10 Concurrent List-based Set Optimisticlockingscheme Lockthetargetnodeanditspredecessor Add(3)
11 Concurrent List-based Set Optimisticlockingscheme Validation i Node2isnotmarkedtrue Node4stillsuccessortoNode2 t N d e 3 Add(3)
12 Concurrent List-based Set Optimisticlockingscheme scheme Validation e Add(3) 3 TheFourthIEEEInternational ConferenceonSecureSoftware
13 Concurrent List-based Set Remove 1 2 3
14 Concurrent List-based Set Remove Remove(2) 1 not marked 1 still points to 2
15 Concurrent List-based Set Remove What if directly free node 2? physical Logical delete
16 Agenda Introduction Background OurApproach Overview Linearizabilitydefinition Modelinglanguage Linearizabilityasrefinementrelation ExperimentalResult Conclusion& FutureWork
17 Overview of Our Approach Thedefinitionoflinearizabilityiscasttotrace refinementrelation. Fullyautomatically Withouttheknowledgeoflinearizationpoints Modelinglanguage:CSP#(Communicating sequentialprograms) Event-based;LTS-basedsemantics Tool:PAT(ProcessAnalysisToolkit) Atoolkitforautomaticallyanalyzingevent-based concurrentsystemsincludingrefinementchecking
18 Overview of Our Approach Dynamicmemoryallocation Pre-allocateaboundedarrayasaprivatememory space Garbagecollection Referencecountingalgorithm
19 Linearizability Manifesto Eachoperationcould takeeffect instantaneouslybetweeninvocationand response Correlateeveryconcurrentexecutionwitha consistent sequentialatomicexecutionofthe operations. Preservereal-timeorder Respectthesequentialspecificationoftheobject th ti ifi ti f th t
20 Linearizability Example Observation Sequentialpermutation enqueue(1).inv enqueue(1).res dequeue().inv dequeue().res.2 enqueue(2).inv enqueue(2).res dequeue().inv dequeue().res.1 enqueue(1) enqueue(2) dequeue() -> 1 dequeue() -> 2 Timeline
21 Modeling language CSP# CommunicatingSequentialProcesseswithshared variables,low-levelprogrammingconstructsand userdefineddatastructures. d d t t Grammar
22 Linearizability as Refinement Relations Theorem SupposeLsp isalinearizablespecificationlts modelforasharedobjectο,considerlim that implementsobjectο,thentracesoflim ο then of are linearizableifflim refineslsp. 1 st -Step: Definethelinearizablespecificationmodel Specifyeachoperationopofasharedobjectoeach of a object o onaprocessp i usingthreeatomicsteps: theinvocationactioninv(op), i thelinearizationactionlin(op),(invisibleevent) i theresponseactionres(op,resp) i. TheFourthIEEEInternationalConferenceonSecureSoftwareIntegrationandReliability Improvement
23 Linearizability as refinement relations
24 Linearizability as Refinement Relations 2 nd -Step: Considertheimplementationofobjecto. implementation of object o Thevisibleeventsofimplarealsothoseinv(op) i 'sandres(op,resp) andres(op, resp) i 's. Memorymanagementoperationsare encapsulatedasmethodsintheinnerlibraryof PAT.
25 Linearizability as Refinement Relations Memoryallocation var<entrylist>l=newentrylist(m,min,max); ReferenceCountingGarbageCollector Alwayskeepthenumberofreferencestoeachlistnode Collectorrunswhenthereferenceofsomelistnodebecomes zero public class Node { public int key; public Node next; public bool marked; public int reference; //the number of variables pointing to this node } TheFourthIEEEInternationalConferenceonSecure SoftwareIntegrationandReliabilityImprovement
26 Linearizability as Refinement Relations ReferenceCountingGarbageCollector Wheneverapointervariabletoalistnodeismodified, updatethereference Predecessor = Current Assign(Predecessor, Current) {... IncreaseReference(Current) DecreaseReference(Predecessor) } Don tconsiderthenodesofwhichreferenceiszeroduring th d hi h f i d i thechecking
27 Agenda Introduction Background OurApproach Overview Linearizabilitydefinition Modelinglanguage Linearizabilityasrefinementrelation Experiment Conclusion&FutureWork
28 Experimental result Testbed isaserverwith2.813ghzintelxeon64-bit CPUand32GBmemory. Themaximum numberof insertedkeys Thenumber ofprocesses Thenumberof operationseach processperformsperforms meansinfeasible. meansunboundednumber. ThismodelisbuiltinsidePAT, TheFourthIEEEInternational ConferenceonSecureSoftware
29 Optimization Functiondetailsaboutdynamicmemory allocationandreference-countinggarbage collectionarehidedintheembeddedlibraryof PAT. Nointermediatestatesduringthefunctionexecution aregenerated. Manuallycombinesequencesoflocalactions intooneatomicblockone
30 Agenda Introduction Background OurApproach Overview Linearizabilitydefinition Modelinglanguage Linearizabilityasrefinementrelation Experiment Conclusion&FutureWork
31 Conclusion Verifylinearizabilityusingtracerefinement relation Showthatrefinementcheckingalgorithmbehind PATallowsverifyinglinearizabilityagainst linearizability against concurrentobjects Withouttheknowledgeoflinearizationpointsthe of linearization Fullyautomatically ShowthatPATprovidesafairlyconvenientand efficientwaytodefinenewdatatypesand complexfunctionsinaprogramminglanguage Leavesthemodelclean l Avoidaugmentingbecauseoftheruntime environment
32 On-going and future work Dealwithinfamousstateexplosionproblem Symmetryreduction(inprogress) Partialorderreduction Combinevariousstatespacereductiontechniques andparameterizedrefinementcheckingforinfinite numberofprocesses
33 The End Thankyou! Q&A
2/80 2
2/80 2 3/80 3 DSP2400 is a high performance Digital Signal Processor (DSP) designed and developed by author s laboratory. It is designed for multimedia and wireless application. To develop application
More informationValue Chain ~ (E-Business RD / Pre-Sales / Consultant) APS, Advanc
Key @ Value Chain fanchihmin@yahoo.com.tw 1 Key@ValueChain 1994.6 1996.6 2000.6 2000.10 ~ 2004.10 (E- RD / Pre-Sales / Consultant) APS, Advanced Planning & Scheduling CDP, Collaborative Demand Planning
More informationMcGraw-Hill School Education Group Physics : Principles and Problems G S 24
2017 4 357 GLOBAL EDUCATION Vol. 46 No4, 2017 * 1 / 400715 / 400715 / 400715 1 2010-2020 2 * mjzxzd1401 2012 AHA120008 1 23 3 4-7 8 9 McGraw-Hill School Education Group Physics : Principles and Problems
More informationUDC Empirical Researches on Pricing of Corporate Bonds with Macro Factors 厦门大学博硕士论文摘要库
10384 15620071151397 UDC Empirical Researches on Pricing of Corporate Bonds with Macro Factors 2010 4 Duffee 1999 AAA Vasicek RMSE RMSE Abstract In order to investigate whether adding macro factors
More informationMicrosoft PowerPoint - Aqua-Sim.pptx
Peng Xie, Zhong Zhou, Zheng Peng, Hai Yan, Tiansi Hu, Jun-Hong Cui, Zhijie Shi, Yunsi Fei, Shengli Zhou Underwater Sensor Network Lab 1 Outline Motivations System Overview Aqua-Sim Components Experimental
More information(Geographic data or geodata ) 30 (Buelher, K and L. Mckee1996) (Open GIS Consortium OGC) OGC GIS Open GIS OGC (Geography Markup Langu
2004 1 1 2 3 4 (Open GIS Consortium, OGC) (Geography Markup Lang uage, GML GML) GIS GML GIS GML GML GML GML TGML(Taipei-GML) application schema TGML TGML TGML 1 2 3 4 1 2004 1. (Geographic data or geodata
More information穨423.PDF
Chinese Journal of Science Education 2002,, 423-439 2002, 10(4), 423-439 1 2 1 1 1 2 90 8 10 91 4 9 91 8 22 ) NII 1995 7 14, 1999 1997 (Cooperative Remotely Accessible Learning CORAL) 424 (Collaborative
More informationMicrosoft Word doc
中 考 英 语 科 考 试 标 准 及 试 卷 结 构 技 术 指 标 构 想 1 王 后 雄 童 祥 林 ( 华 中 师 范 大 学 考 试 研 究 院, 武 汉,430079, 湖 北 ) 提 要 : 本 文 从 结 构 模 式 内 容 要 素 能 力 要 素 题 型 要 素 难 度 要 素 分 数 要 素 时 限 要 素 等 方 面 细 致 分 析 了 中 考 英 语 科 试 卷 结 构 的
More informationShanghai International Studies University THE STUDY AND PRACTICE OF SITUATIONAL LANGUAGE TEACHING OF ADVERB AT BEGINNING AND INTERMEDIATE LEVEL A Thes
上 海 外 国 语 大 学 硕 士 学 位 论 文 对 外 汉 语 初 中 级 副 词 情 境 教 学 研 究 与 实 践 院 系 : 国 际 文 化 交 流 学 院 学 科 专 业 : 汉 语 国 际 教 育 姓 名 : 顾 妍 指 导 教 师 : 缪 俊 2016 年 5 月 Shanghai International Studies University THE STUDY AND PRACTICE
More information大 綱 最 有 利 標 目 的 及 類 型 最 有 利 標 之 辦 理 方 式 準 用 最 有 利 標 取 最 有 利 標 精 神 最 有 利 標 之 類 型 及 其 相 關 規 定 適 用 最 有 利 標 準 用 最 有 利 標 及 取 最 有 利 標 精 神 作 業 程 序 及 實 務 分 析
最 有 利 標 作 業 程 序 實 務 分 析 交 通 部 採 購 稽 核 小 組 陳 秘 書 牧 民 日 期 :101 年 05 月 21 日 大 綱 最 有 利 標 目 的 及 類 型 最 有 利 標 之 辦 理 方 式 準 用 最 有 利 標 取 最 有 利 標 精 神 最 有 利 標 之 類 型 及 其 相 關 規 定 適 用 最 有 利 標 準 用 最 有 利 標 及 取 最 有 利 標
More information第一章.FIT)
第 一 章 美 丽 触 手 可 及 一 些 天 生 好 动 的 懒 人 袁 根 本 静 不 下 心 去 美 容 院 做 护 理 袁 通 常 总 是 用 一 些 最 野 懒 冶 的 方 法 来 保 养 自 己 遥 比 如 下 飞 机 以 后 感 觉 头 发 很 乱 袁 就 用 手 当 梳 子 随 手 梳 两 下 曰 脸 上 很 干 袁 就 往 脸 上 涂 些 酸 奶 尧 牛 奶 或 者 蜂 蜜 噎 噎
More information第 一 节 认 识 自 我 的 意 义 一 个 人 只 有 认 识 自 我, 才 能 够 正 确 地 认 识 到 自 己 的 优 劣 势, 找 出 自 己 的 职 业 亮 点, 为 自 己 的 顺 利 求 职 推 波 助 澜 ; 一 个 人 只 有 认 识 自 我, 才 能 在 求 职 中 保 持
第 一 篇 知 己 知 彼, 百 战 不 殆 基 本 评 估 篇 第 一 章 认 识 自 我 我 就 是 一 座 金 矿 人 啊, 认 识 你 自 己! 塔 列 斯 ( 希 腊 学 者 ) 要 想 知 道 去 哪 儿, 必 须 先 知 道 你 现 在 在 哪 儿 和 你 是 谁 茜 里 娅. 德 纽 斯 ( 美 国 职 业 指 导 学 家 ) 本 章 提 要 了 解 认 识 自 我 在 职 业 生
More information1.5招募说明书(草案)
PUBLIC 2014 1 PUBLIC - 1 2014 1 PUBLIC - 2 2014 1 PUBLIC - 3 2014 1 PUBLIC - 4 2014 1 PUBLIC - 5 2014 1 PUBLIC - 6 2014 1 PUBLIC - 7 2014 1 PUBLIC - 8 2014 1 PUBLIC - 9 2014 1 PUBLIC - 10 2014 1 PUBLIC
More informationImproved Preimage Attacks on AES-like Hash Functions: Applications to Whirlpool and Grøstl
SKLOIS (Pseudo) Preimage Attack on Reduced-Round Grøstl Hash Function and Others Shuang Wu, Dengguo Feng, Wenling Wu, Jian Guo, Le Dong, Jian Zou March 20, 2012 Institute. of Software, Chinese Academy
More informationMulti-national Company Operation and Public...
Multi-national company operation and Information platform 跨 国 企 业 运 营 模 对 公 共 信 息 平 台 的 需 求 1 运 营 管 理 的 范 围 : 运 营 战 略 运 营 结 构 框 架 企 业 核 心 竞 争 力 和 挑 战 运 营 绩 效 评 估 及 市 场 标 竿 分 析 总 计 划 流 程 总 产 量 计 划 设 计 销
More informationARCLE No.2
The Relationship between Alphabetical Knowledge and Phonological Awareness among Elementary School Children Mitsue ALLEN-TAMAI Chiba University Abstract This study investigates the effect of teaching the
More informationMicrosoft Word - Final Exam Review Packet.docx
Do you know these words?... 3.1 3.5 Can you do the following?... Ask for and say the date. Use the adverbial of time correctly. Use Use to ask a tag question. Form a yes/no question with the verb / not
More information司 机 看 着 二 十 岁 左 右 的 女 孩 哭 花 了 一 张 脸, 看 看 雨, 又 看 看 她, 想 笑 小 姑 娘, 这 么 大 的 雨, 到 车 里 哭 也 可 以 的 他 好 心 地 建 议 明 靓 忍 不 住 翻 了 下 白 眼, 忿 忿 不 平 地 上 了 车 火 车 站, 唉,
请 别 在 意 我 / 作 者 : 林 笛 儿 第 一 章 八 月 未, 大 连 一 直 在 下 雨, 最 后 竟 连 大 海 也 打 湿 了 下 不 完 的 大 雨, 厚 得 发 粘, 从 仿 佛 永 不 干 涸 的 天 空 的 高 处, 朝 着 海 滩 扑 下 来, 朝 着 被 围 在 湿 湿 的 林 荫 道 之 中 的 港 口 漫 去 大 连 的 街 道 本 身 也 升 起 一 片 水 汽,
More information在 培 养 职 前 卓 越 化 学 教 师 的 院 校, 会 编 一 本 过 去 称 作 化 学 教 学 论 实 验, 现 在 拟 为 卓 越 化 学 教 师 教 育 实 验 教 学 研 究 的 教 材 各 院 校 对 这 门 课 程 所 给 的 学 时 不 太 一 样, 但 都 是 围 绕 实 验
doi: 10.3866/pku.DXHX201607011 卓 越 化 学 教 师 教 育 实 验 教 学 研 究 课 程 探 微 * 杨 承 印 汪 蒙 蒙 赵 洋 ( 陕 西 师 范 大 学 化 学 化 工 学 院, 西 安 710119) 摘 要 : 在 对 实 验 操 作 进 行 编 码 的 基 础 上 对 高 中 化 学 课 程 标 准 中 有 关 实 验 进 行 统 计 分 析, 以
More information國家圖書館典藏電子全文
EAI EAI Middleware EAI 3.1 EAI EAI Client/Server Internet,www,Jav a 3.1 EAI Message Brokers -Data Transformation Business Rule XML XML 37 3.1 XML XML XML EAI XML 1. XML XML Java Script VB Script Active
More information附 件 :2015 年 度 普 通 高 等 学 校 本 科 专 业 备 案 和 审 批 结 果 教 育 部 2016 年 2 月 16 日 抄 送 : 国 家 发 展 改 革 委 财 政 部 国 家 卫 生 计 生 委 国 家 中 医 药 管 理 局 部 内 发 送 : 有 关 部 领 导, 办 公
教 高 函 [2016]2 号 教 育 部 关 于 公 布 2015 年 度 普 通 高 等 学 校 本 科 专 业 备 案 和 审 批 结 果 的 通 知 各 省 自 治 区 直 辖 市 教 育 厅 ( 教 委 ), 新 疆 生 产 建 设 兵 团 教 育 局, 有 关 部 门 ( 单 位 ) 教 育 司 ( 局 ), 部 属 各 高 等 学 校 : 根 据 普 通 高 等 学 校 本 科 专 业
More informationWWW PHP Comments Literals Identifiers Keywords Variables Constants Data Types Operators & Expressions 2
WWW PHP 2003 1 Comments Literals Identifiers Keywords Variables Constants Data Types Operators & Expressions 2 Comments PHP Shell Style: # C++ Style: // C Style: /* */ $value = $p * exp($r * $t); # $value
More informationa b
38 3 2014 5 Vol. 38 No. 3 May 2014 55 Population Research + + 3 100038 A Study on Implementation of Residence Permit System Based on Three Local Cases of Shanghai Chengdu and Zhengzhou Wang Yang Abstract
More information中三級 英國語文科
中 三 級 英 國 語 文 科 (2014-2015) ( 一 ) 本 科 的 目 標 1. 學 生 能 有 足 夠 的 英 語 能 力 以 輔 助 他 們 繼 續 學 習 或 就 業 2. 學 生 能 了 解 及 有 足 夠 的 練 習 來 掌 握 各 級 應 有 的 語 言 水 準 3. 學 生 對 學 習 英 語 有 興 趣 及 動 力 4. 學 生 能 主 動 參 與 課 堂 內 外 的 英
More information汉语口语考试
自 动 化 汉 语 口 语 考 试 研 发 与 思 考 Research and Thoughts of Automated Test of Spoken Chinese 北 京 大 学 李 晓 琪 Peking University Li Xiaoqi 2012 年 4 月 April 2012 项 目 概 述 Project Overview 简 介 (Brief Introduction):
More information第 153 期 2015.07 司 律 一 試 Q/A 大 解 惑 講 座 陳 介 中 / 006 司 律 一 試 Q/A 大 解 惑 講 座 苗 星 / 018 律 師 選 試 - 海 洋 法 重 點 概 念 準 備 方 式 與 方 向 名 揚 / 033 電 子 監 控 能 解 決 監 獄 擁
法 律 雜 誌 再 進 化 - 時 事. 理 論. 實 務. 考 情 四 合 一 台 灣 的 法 學 刊 物 種 類 以 民 間 所 發 行 的 期 刊 最 為 多 元, 這 幾 年 的 發 展 以 司 法 實 務 純 法 學 理 論 與 比 較 法 逐 漸 調 和 為 趨 勢, 二 者 比 重 的 不 同 造 就 了 坊 間 看 似 眾 多 的 法 學 刊 物 但 經 由 許 多 讀 者 的 回
More information由社會發展趨勢探討國人睡眠品質
1 2 3 1. 2. 1. 2. 3. 4. 2. 1. 2. 4 5 6 7683 7 3-2 8 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 9 4-1 10
More information第 2 期 王 向 东 等 : 一 种 运 动 轨 迹 引 导 下 的 举 重 视 频 关 键 姿 态 提 取 方 法 257 竞 技 体 育 比 赛 越 来 越 激 烈, 为 了 提 高 体 育 训 练 的 效 率, 有 必 要 在 体 育 训 练 中 引 入 科 学 定 量 的 方 法 许 多
2014 年 4 月 图 学 学 报 April 2014 第 35 卷 第 2 期 JOURNAL OF GRAPHICS Vol.35 No.2 一 种 运 动 轨 迹 引 导 下 的 举 重 视 频 关 键 姿 态 提 取 方 法 王 向 东 1, 张 静 文 2, 毋 立 芳 2, 徐 文 泉 (1. 国 家 体 育 总 局 体 育 科 学 研 究 所, 北 京 100061;2. 北 京
More information我国高速公路建设管理现状和主要问题
Modern Management 现 代 管 理, 2012, 2, 24-28 http://dx.doi.org/10.12677/mm.2012.21005 Published Online January 2012 (http://www.hanspub.org/journal/mm) China Highway Current Situation and Problem of Construction
More information上海浦~1
上 海 浦 发 银 行 参 与 高 等 职 业 教 育 人 才 培 养 年 度 报 告 ( ) 一 校 企 合 作 概 况 ( 一 ) 企 业 简 介 上 海 浦 东 发 展 银 行 股 份 有 限 公 司 ( 以 下 简 称 : 浦 发 银 行 ) 是 1992 年 8 月 28 日 经 中 国 人 民 银 行 批 准 设 立 1993 年 1 月 9 日 开 业 1999 年 在 上 海 证 券
More information欢迎辞
欢 迎 辞 尊 敬 的 各 参 会 代 表 : 欢 迎 您 参 加 由 中 国 上 市 公 司 协 会 中 国 证 监 会 上 市 公 司 监 管 部 主 办 的 2014 年 第 1 期 上 市 公 司 董 事 长 总 经 理 研 修 班! 本 次 培 训 得 到 了 广 大 上 市 公 司 的 高 度 关 注 与 积 极 反 馈, 报 名 人 数 远 超 预 期, 参 加 本 期 研 讨 班 的
More information002496 辉 丰 股 份 重 大 事 项, 特 停 002553 南 方 轴 承 临 时 停 牌 002571 德 力 股 份 临 时 停 牌 300241 瑞 丰 光 电 临 时 停 牌 300269 联 建 光 电 临 时 停 牌 002656 卡 奴 迪 路 临 时 停 牌 300367
停 牌 600234 山 水 文 化 重 要 事 项 未 公 告, 下 午 002249 大 洋 电 机 重 大 事 项, 特 停 600337 美 克 家 居 重 要 事 项 未 公 告, 连 续 停 牌 002192 路 翔 股 份 实 施 退 市 风 险 警 示 公 告, 停 牌 1 天 002137 实 益 达 重 大 事 项, 特 停 000766 通 化 金 马 重 大 事 项, 特 停
More information日 涨 幅 偏 离 值 达 到 7% 的 前 五 只 证 券 : 温 氏 股 份 ( 代 码 300498) 涨 幅 偏 离 值 :11.68% 成 交 量 :1752 万 股 成 交 金 额 : 81104 万 元 机 构 专 用 104430598.43 0.00 机 构 专 用 7049617
深 圳 证 券 市 场 创 业 板 2016 年 02 月 29 日 公 开 信 息 证 券 列 表 证 券 代 码 证 券 简 称 披 露 原 因 300023 宝 德 股 份 日 价 格 涨 幅 偏 离 值 达 到 10.31% 300100 双 林 股 份 日 价 格 涨 幅 偏 离 值 达 到 10.23% 300120 经 纬 电 材 日 价 格 振 幅 达 到 18.12% 300139
More information上市公司股东大会投票信息公告(20110916)
上 市 公 司 股 东 大 会 投 票 信 息 公 告 (20160510) 证 券 代 码 证 券 简 称 投 票 登 记 日 会 员 投 票 日 投 票 代 码 客 户 投 票 意 见 征 集 渠 道 投 票 意 愿 征 集 截 止 日 300324 旋 极 信 息 2016-05-04 2016-05-10 365324 融 资 融 券 交 易 系 统 营 业 部 2016-05-09 002209
More information股票代码:600732 股票简称:*ST新梅 编号:临2015-052
股 票 代 码 :600732 股 票 简 称 :*ST 新 梅 编 号 : 临 2016-028 上 海 新 梅 置 业 股 份 有 限 公 司 关 于 回 复 上 海 证 券 交 易 所 问 询 函 的 公 告 本 公 司 董 事 会 及 全 体 董 事 保 证 公 告 内 容 不 存 在 任 何 虚 假 记 载 误 导 性 陈 述 或 者 重 大 遗 漏, 并 对 其 内 容 的 真 实 性
More information34 002221 东 华 能 源 2014-10-29 江 苏 苏 亚 金 诚 已 报 备 因 地 域 及 审 计 时 间 安 排 等 原 因 中 兴 华 已 报 备 客 户 重 新 选 聘 会 计 师 事 务 所 35 002019 亿 帆 鑫 富 2014-09-30 立 信 已 报 备 客
附 表 6-1: 上 市 公 司 2014 年 度 财 务 报 表 审 计 机 构 变 更 信 息 明 细 表 ( 截 至 2015 年 3 月 2 日 ) 序 号 股 票 代 码 股 票 简 称 变 更 日 期 1 601169 北 京 银 行 2014-05-20 安 永 华 明 已 报 备 事 务 所 轮 换 普 华 永 道 中 天 已 报 备 前 任 服 务 合 同 到 期, 客 户 重 新
More information002464 金 利 科 技 临 时 停 牌 600071 凤 凰 光 学 重 要 事 项 未 公 告, 连 续 停 牌 600397 安 源 煤 业 重 要 事 项 未 公 告, 连 续 停 牌 000534 万 泽 股 份 临 时 停 牌 002610 爱 康 科 技 重 大 事 项, 特 停
停 牌 002575 群 兴 玩 具 重 大 事 项, 特 停 002656 摩 登 大 道 重 大 事 项, 特 停 002725 跃 岭 股 份 重 大 事 项, 特 停 300084 海 默 科 技 重 大 事 项, 特 停 600250 南 纺 股 份 重 要 事 项 未 公 告, 连 续 停 牌 002526 山 东 矿 机 重 大 事 项, 特 停 002571 德 力 股 份 重 大
More information600173 卧 龙 地 产 重 要 事 项 未 公 告, 连 续 停 牌 002547 春 兴 精 工 临 时 停 牌 600230 *ST 沧 大 重 要 事 项 未 公 告, 连 续 停 牌 600665 天 地 源 重 要 事 项 未 公 告, 连 续 停 牌 300282 汇 冠 股 份
停 牌 000557 *ST 广 夏 撤 销 退 市 风 险 警 示, 停 牌 1 天 002131 利 欧 股 份 临 时 停 牌 002707 众 信 旅 游 临 时 停 牌 300005 探 路 者 重 大 事 项, 特 停 300061 康 耐 特 临 时 停 牌 300062 中 能 电 气 重 大 事 项, 特 停 600455 博 通 股 份 重 要 事 项 未 公 告, 连 续 停
More information000546 金 圆 股 份 重 大 事 项, 特 停 002071 长 城 影 视 临 时 停 牌 000710 天 兴 仪 表 临 时 停 牌 600146 商 赢 环 球 重 要 事 项 未 公 告, 连 续 停 牌 000517 荣 安 地 产 临 时 停 牌 002445 中 南 文 化
停 牌 300104 乐 视 网 临 时 停 牌 600272 开 开 实 业 重 要 事 项 未 公 告, 停 牌 1 天 600315 上 海 家 化 重 要 事 项 未 公 告, 停 牌 1 天 600745 中 茵 股 份 重 要 事 项 未 公 告, 停 牌 1 天 002624 完 美 环 球 重 大 事 项, 特 停 600338 西 藏 珠 峰 重 要 事 项 未 公 告, 连 续
More information证券代码:000776 股票简称:延边公路 编号:2003-00
2005 1 23 1 77 -------------------------------------------------------------------------------3 ----------------------------------------------------------------4 ----------------------------------------------------------------------6
More information856 600306 商 业 城 2016-04-26 大 华 标 准 70 万 70 万 857 600497 驰 宏 锌 锗 2016-04-26 瑞 华 标 准 140 万 150 万 858 601890 亚 星 锚 链 2016-04-26 江 苏 公 证 天 业 标 准 80 万 80
附 表 1: 上 市 公 司 财 务 报 表 审 计 报 告 简 要 情 况 明 细 表 表 1-1 沪 市 主 板 序 号 833 603025 大 豪 科 技 2016-04-25 北 京 兴 华 标 准 39 万 1 834 603398 邦 宝 益 智 2016-04-25 大 华 标 准 50 万 2 835 603988 中 电 电 机 2016-04-25 天 健 标 准 35 万 35
More information40 601007 金 陵 饭 店 2015-06-30 中 兴 华 已 报 备 按 照 国 资 委 要 求 定 期 轮 换 天 衡 已 报 备 按 照 国 资 委 要 求 定 期 轮 换 41 000659 *ST 中 富 2015-06-30 中 喜 已 报 备 业 务 约 定 书 到 期 普
附 表 6-1: 上 市 公 司 2015 年 度 财 务 报 表 审 计 机 构 变 更 信 息 明 细 表 ( 截 至 2016 年 3 月 21 日 ) 序 号 股 票 代 码 股 票 简 称 变 更 日 期 1 300326 凯 利 泰 2014-07-21 大 华 已 报 备 聘 期 已 满 立 信 已 报 备 客 户 业 务 发 展 需 要 2 300129 泰 胜 风 能 2014-12-30
More information39 600806 昆 明 机 床 2015-08-10 瑞 华 已 报 备 前 任 服 务 年 限 较 长 毕 马 威 华 振 已 报 备 未 与 客 户 未 就 2015 年 审 计 收 费 达 成 一 致 意 见 40 601985 中 国 核 电 2015-08-13 天 健 已 报 备 定
附 表 6-1: 上 市 公 司 2015 年 度 财 务 报 表 审 计 机 构 变 更 信 息 明 细 表 ( 截 至 2016 年 2 月 29 日 ) 序 号 股 票 代 码 股 票 简 称 变 更 日 期 1 300326 凯 利 泰 2014-07-21 大 华 已 报 备 聘 期 已 满 立 信 已 报 备 客 户 业 务 发 展 需 要 2 300129 泰 胜 风 能 2014-12-30
More information300356 光 一 科 技 重 大 事 项, 特 停 600828 茂 业 商 业 重 要 事 项 未 公 告, 连 续 停 牌 002266 浙 富 控 股 重 大 事 项, 特 停 002316 键 桥 通 讯 重 大 事 项, 特 停 002387 黑 牛 食 品 重 大 事 项, 特 停
停 牌 000034 神 州 数 码 临 时 停 牌 000960 锡 业 股 份 重 大 事 项, 特 停 002658 雪 迪 龙 重 大 事 项, 特 停 300168 万 达 信 息 重 大 事 项, 特 停 600241 时 代 万 恒 重 要 事 项 未 公 告, 连 续 停 牌 600538 国 发 股 份 重 要 事 项 未 公 告, 停 牌 1 天 600540 新 赛 股 份 重
More information600121 郑 州 煤 电 重 要 事 项 未 公 告, 连 续 停 牌 000546 金 圆 股 份 重 大 事 项, 特 停 600105 永 鼎 股 份 重 要 事 项 未 公 告, 连 续 停 牌 002071 长 城 影 视 临 时 停 牌 000710 天 兴 仪 表 临 时 停 牌
停 牌 000025 特 力 A 股 价 异 动, 特 停 002631 德 尔 未 来 重 大 事 项, 特 停 002713 东 易 日 盛 重 大 事 项, 特 停 300351 永 贵 电 器 重 大 事 项, 特 停 000948 南 天 信 息 重 大 事 项, 特 停 300008 天 海 防 务 重 大 事 项, 特 停 300032 金 龙 机 电 重 大 事 项, 特 停 600853
More informationMicrosoft Word - A200811-773.doc
语 言 模 型 在 高 校 保 研 工 作 中 的 应 用 王 洋 辽 宁 工 程 技 术 大 学 理 学 院 信 息 与 计 算 科 学, 辽 宁 阜 新 (3000) E-mail: ben.dan000 @63.com 摘 要 : 问 题 重 述 : 模 糊 性 数 学 发 展 的 主 流 是 在 它 的 应 用 方 面, 其 中 模 糊 语 言 模 型 实 现 了 人 类 语 言 的 数 学
More information國 史 館 館 刊 第 23 期 Chiang Ching-kuo s Educational Innovation in Southern Jiangxi and Its Effects (1941-1943) Abstract Wen-yuan Chu * Chiang Ching-kuo wa
國 史 館 館 刊 第 二 十 三 期 (2010 年 3 月 ) 119-164 國 史 館 1941-1943 朱 文 原 摘 要 1 關 鍵 詞 : 蔣 經 國 贛 南 學 校 教 育 社 會 教 育 掃 盲 運 動 -119- 國 史 館 館 刊 第 23 期 Chiang Ching-kuo s Educational Innovation in Southern Jiangxi and
More informationuntitled
不 異 度 度 立 理 臨 塞 參 了 論 便 立 離 塞 六 論 立 國 立 政 治 年 力 流 塞 塞 旅 來 立 理 塞 塞 更 理 1 樂 National Chengch 理 塞 參 律 不 理 理 類 魯 年 不 祿 不 大 學 i University 魯 立 立 立 不 不 若 不 絶 祿 不 不 不 便 識 立 立 立 歷 讀 讀 立 理 1 參 見 塞 論 年 2 北 年 55
More informationuntitled
論 里 省 1 不 里 嶺 北 塞 了 了 更 了 來 了 了 更 路 來 國 立 政 治 理 切 歷 不 離 來 了 掠 力 年 來 李 說 National Chengch 了 流 不 不 老 易 來 歷 易 流 來 流 不 更 流 大 學 i University 了 北 來 北 不 例 1 遼 寧 北 北 寧 省 李 歷 遼 寧 林 龍 北 北 北 寧 六 省 參 見 羅 北 北 年 2 李
More information20
37 92 19 40 19 20 21 1 7 22 1/5 6/30 5/3030 23 24 25 26 1 2 27 1 2 28 29 30 5 8 8 3 31 32 33 34 35 36 37 38 39 A Study Investigating Elementary School Students Concept of the Unit in Fraction in Northern
More information政治哲學要跨出去!
日 本 規 範 非 營 利 組 織 的 法 制 改 革 之 研 究 71 日 本 規 範 非 營 利 組 織 的 法 制 改 革 之 研 究 林 淑 馨 摘 要 一 前 言 二 日 本 非 營 利 組 織 的 意 涵 與 範 疇 三 日 本 非 營 利 組 織 的 發 展 與 法 規 制 訂 的 經 過 四 特 定 非 營 利 活 動 促 進 法 的 內 容 及 意 義 之 析 評 五 日 本 非
More informationRevit Revit Revit BIM BIM 7-9 3D 1 BIM BIM 6 Revit 0 4D 1 2 Revit Revit 2. 1 Revit Revit Revit Revit 2 2 Autodesk Revit Aut
60 2 2016 2 RAILWAY STANDARD DESIGN Vol. 60 No. 2 Feb. 2016 1004-2954201602-0071-06 BIM 1 1 2 2 1 1. 7140992. 710054 BIM BIM 3D 4D nd BIM 1 3D 4D Revit BIM BIM U442. 5TP391. 72 A DOI10. 13238 /j. issn.
More information國立中山大學學位論文典藏.PDF
I II III The Study of Factors to the Failure or Success of Applying to Holding International Sport Games Abstract For years, holding international sport games has been Taiwan s goal and we are on the way
More information* DOI: /j.cnki.jae Liu 2010 * JJD
* 310058 DOI:10.13246/j.cnki.jae.2018.02.001 40 19491977 20 50 1959 Liu 2010 * 71773109 16JJD630007 71633002 4 1965 19782002 1979 1982 1995 2014 1998 20032012 Pei 2011 2003 2004 2008 2009 Jia 2013 Xue
More information1 C++ 2 Bjarne Stroustrup C++ (system programming) 6 (infrastructure) C++ 7 Herb Sutter 8 C++ (efficiency) (flexibility) 9 (abstraction) (productivity
1 C++ 1 C++ Primer C++ (giantchen@gmail.com) 2012-7-11 Creative Commons - - 3.0 Unported (cc by-nc-nd) http://creativecommons.org/licenses/by-nc-nd/3.0/ 1 C++ 2009 Stanley Lippman C++ C++ Java/C#/Python
More information<4D6963726F736F667420576F7264202D20A440ADD3B867C0D9AE7AB6D5A8E0B5A3BEC7AED5A5CDACA1B867C5E7A4A7ACE3A873A140A5FEA4E5>
第 四 章 研 究 結 果 人 物 與 研 究 情 境 介 紹 張 曉 雯 11 歲, 台 北 市 人, 就 讀 三 三 國 小 六 年 愛 班, 來 自 低 收 入 戶 家 庭, 父 母 離 異, 和 母 親 母 親 男 友 及 其 他 四 名 兄 弟 姊 妹 租 屋 同 住 家 中 有 一 名 輕 度 智 障, 在 自 助 立 政 治 餐 打 工 的 哥 哥 高 職 輟 學 無 業 遊 蕩 的
More informationa a a 1. 4 Izumi et al Izumi & Bigelow b
26 2012 2 * 10 6 1996 2002 2006 1996 2007 2004 2004 60 4 30 1998 2006 2006-2007 1. 1 * ' 2010 2011 254 2000 2005a 1999 3 2000 2004 2008 1. 2 2004 2005a 1. 3 1 2 3 4 5 4 2000 2004 2005a 1. 4 Izumi et al.
More information1.2 资 金 的 管 理 1.1 权 利 义 务 来 源 MOU 1.3 数 据 的 使 用 和 保 护 2 国 际 空 间 站 资 源 分 配 方 案 54
第 29 卷 第 12 期 全 球 科 技 经 济 瞭 望 Vol. 29 No. 12 2014 年 12 月 Global Science, Technology and Economy Outlook Dec. 2014 刘 阳 子 ( 中 国 科 学 技 术 信 息 研 究 所, 北 京 ) 摘 要 : 空 间 探 索 既 复 杂 艰 巨 又 耗 资 甚 大, 因 此, 世 界 各 国 无
More information國際會計準則IFRS接軌 對稅賦影響之探討與分析
如 何 看 懂 國 際 財 務 報 導 準 則 (IFRSs) 財 務 報 表 做 出 正 確 之 投 資 策 略 勤 業 眾 信 聯 合 會 計 師 事 務 所 張 耿 禧 會 計 師 2012 年 7 月 31 日 講 師 簡 介 張 耿 禧 會 計 師 現 任 : 勤 業 眾 信 聯 合 會 計 師 事 務 所 執 業 會 計 師 勤 業 眾 信 聯 合 會 計 師 事 務 所 首 次 上 市
More information(Microsoft PowerPoint - UML\302\262\244\266_use case.ppt)
UML 簡 介 _Use Case Diagram 資 訊 科 技 系 林 偉 川 UML 簡 介 2 1 UML UML 是 Unified Modeling Language 的 縮 寫, 中 文 翻 譯 為 統 一 塑 模 語 言 UML 統 合 了 物 件 導 向 方 法 論 之 各 派 不 同 的 方 法, 提 供 了 一 致 性 的 圖 形 語 言 做 為 開 發 系 統 的 溝 通 媒
More informationPowerPoint 簡報
1 /168 運 用 資 源 推 動 環 境 教 育 王 佩 蓮 台 北 師 立 師 範 學 院 教 授 兼 環 教 所 所 長 (左) 過去幾世紀間的全球人口 (右) 西元1860至1980年間 煤, 石油及天然氣的全 球使用量 以二氧化碳的排放量來表示 2 /168 西 雅 圖 酋 長 的 宣 言 3 /168 風, 送 來 了 我 們 祖 先 的 第 一 口 氣, 也 帶 走 了 他 們 最
More information学校代号 10199 学 号20092209134
学 校 代 号 10199 学 号 20092209134 硕 士 学 位 论 文 中 药 塌 渍 护 理 干 预 联 合 超 声 雾 化 对 小 儿 肺 炎 喘 嗽 的 临 床 观 察 研 究 Traditional Chinese medicine collapse stains nursing intervention to joint of ultrasonic atomizer infantile
More information2004 2
00 2005 3 30 2004 2 2004 4 5 6 9 14 15 17 31 33 38 79 3 2004 TIANJIN BINHAI ENERGY & DEVELOPMENT CO. LTD 27 022 66202230 022 66202232 E-mail:st695@eyou.com 27 300457 http://www.binhaienergy.com E-mail:st695@eyou.com
More informationuntitled
http://idc.hust.edu.cn/~rxli/ 1.1 1.2 1.3 1.4 1.5 1.6 2 1.1 1.1.1 1.1.2 1.1.3 3 1.1.1 Data (0005794, 601,, 1, 1948.03.26, 01) (,,,,,) 4 1.1.1 Database DB 5 1.1.1 (DBMS) DDL ( Create, Drop, Alter) DML(
More information85% NCEP CFS 10 CFS CFS BP BP BP ~ 15 d CFS BP r - 1 r CFS 2. 1 CFS 10% 50% 3 d CFS Cli
1 2 3 1. 310030 2. 100054 3. 116000 CFS BP doi 10. 13928 /j. cnki. wrahe. 2016. 04. 020 TV697. 1 A 1000-0860 2016 04-0088-05 Abandoned water risk ratio control-based reservoir pre-discharge control method
More information...1 What?...2 Why?...3 How? ( ) IEEE / 23
.... IEEE 1588 2010 7 8 ( ) IEEE 1588 2010 7 8 1 / 23 ...1 What?...2 Why?...3 How? ( ) IEEE 1588 2010 7 8 2 / 23 ...1 What?...2 Why?...3 How? ( ) IEEE 1588 2010 7 8 3 / 23 IEEE 1588 ( ) IEEE 1588 2010
More information基于ECO的UML模型驱动的数据库应用开发1.doc
ECO UML () Object RDBMS Mapping.Net Framework Java C# RAD DataSetOleDbConnection DataGrod RAD Client/Server RAD RAD DataReader["Spell"].ToString() AObj.XXX bug sql UML OR Mapping RAD Lazy load round trip
More informationMicrosoft Word - A201210-60_1349949005.doc
5 10 15 20 25 一 种 针 对 在 线 旅 游 线 路 网 页 判 别 算 法 的 研 究 与 实 现 徐 显 炼, 郭 燕 慧 ( 北 京 邮 电 大 学 信 息 安 全 中 心, 北 京 100876) 摘 要 : 随 着 近 年 来 在 线 旅 游 业 的 快 速 发 展, 在 线 旅 游 搜 索 引 擎 己 经 成 为 当 前 搜 索 引 擎 发 展 的 一 个 热 门 方 向
More information2 3. 1,,,.,., CAD,,,. : 1) :, 1,,. ; 2) :,, ; 3) :,; 4) : Fig. 1 Flowchart of generation and application of 3D2digital2building 2 :.. 3 : 1) :,
3 1 Vol. 3. 1 2008 2 CAA I Transactions on Intelligent Systems Feb. 2008, (,210093) :.,; 3., 3. :; ; ; ; : TP391 :A :167324785 (2008) 0120001208 A system f or automatic generation of 3D building models
More information目 录 一 重 要 提 示... 3 二 公 司 主 要 财 务 数 据 和 股 东 变 化... 3 三 重 要 事 项... 5 四 附 录... 7 2 / 17
公 司 代 码 :600401 公 司 简 称 :*ST 海 润 海 润 光 伏 科 技 股 份 有 限 公 司 2015 年 第 一 季 度 报 告 1 / 17 目 录 一 重 要 提 示... 3 二 公 司 主 要 财 务 数 据 和 股 东 变 化... 3 三 重 要 事 项... 5 四 附 录... 7 2 / 17 一 重 要 提 示 1.1 公 司 董 事 会 监 事 会 及 董
More information,,.,, : 1),,,,, 2),,,,, 3),,,,,,,,,, [6].,,, ( ),, [9], : 1), 2),,,,, 3),,, 2.,, [10].,,,,,,,,, [11]. 2.1,, [12],, ;, ; Fig. 1 1 Granular hier
36 7 Vol. 36, No. 7 2010 7 ACTA AUTOMATICA SINICA July, 2010 1, 2 1, 2, 3 1, 2,,,,,,, DOI,,, 10.3724/SP.J.1004.2010.00923 Distributed Simulation System Hierarchical Design Model Based on Quotient Space
More information240 生 异 性 相 吸 的 异 性 效 应 [6] 虽 然, 心 理 学 基 础 研 [7-8] 究 已 经 证 实 存 在 异 性 相 吸 异 性 相 吸 是 否 存 在 于 名 字 认 知 识 别 尚 无 报 道 本 实 验 选 取 不 同 性 别 的 名 字 作 为 刺 激 材 料, 通
2011 年 Journal of Capital Medical University 4月 第2 期 Apr 2011 Vol 32 No 2 基础研究 doi: 10 3969 / j issn 1006-7795 2011 02 015 人脑识别不同性别名字反应时的差异研究 高迎霄 陈昭燃 * 张明霞 ( 首都医科大学神经生物系高级脑功能中心) 摘要 目的 探讨男女对不同性别名字认知加工速度是否存在差异
More informationProbabilities of Default RMI PDs CVI 7-8 KMV 9 KMV KMV KMV 1. KMV KMV DPT DD DD DD DPT Step 1 V E = V A N d 1 - e rt DN d 2 1 d 1 = ln V A
2017 2 204 210023 KMV KMV 2008 2015 CVI 2016 9 1 12 31 KMV CVI ARIMA F272. 13 A 1672-6049 2017 02-0071-11 CVI KMV KMV Black Scholes Merton BSM BSM Ozge Gokbayrak Lee Chua KMV 1 Douglas Dwyer Heather Russell
More information59 1 CSpace 2 CSpace CSpace URL CSpace 1 CSpace URL 2 Lucene 3 ID 4 ID Web 1. 2 CSpace LireSolr 3 LireSolr 3 Web LireSolr ID
58 2016. 14 * LireSolr LireSolr CEDD Ajax CSpace LireSolr CEDD Abstract In order to offer better image support services it is necessary to extend the image retrieval function of our institutional repository.
More information2013国际营销科学与信息技术大会(MSIT2013)
2013 国 际 营 销 科 学 与 信 息 技 术 大 会 (MSIT2013) 邀 请 函 随 着 全 球 市 场 环 境 的 不 断 变 化 和 网 络 信 息 技 术 的 日 新 月 异, 营 销 科 学 和 营 销 方 式 的 创 新 对 于 企 业 的 发 展 起 着 越 来 越 大 的 作 用 为 了 进 一 步 推 动 国 内 外 营 销 学 者 的 学 术 交 流 与 合 作, 促
More information9, : Java 19., [4 ]. 3 Apla2Java Apla PAR,Apla2Java Apla Java.,Apla,,, 1. 1 Apla Apla A[J ] Get elem (set A) A J A B Intersection(set A,set B) A B A B
25 9 2008 9 M ICROEL ECTRON ICS & COMPU TER Vol. 25 No. 9 September 2008 J ava 1,2, 1,2, 1,2 (1, 330022 ; 2, 330022) :,. Apla - Java,,.. : PAR ;Apla - Java ; ;CMP ; : TP311 : A : 1000-7180 (2008) 09-0018
More informationN1010A FlexDCA 软 件 获 取 安 装 N1010A FlexDCA 是 安 捷 伦 采 样 示 波 器 新 的 GUI 应 用 软 件, 在 86100D 主 机 内 已 经 预 先 安 装 此 软 件 我 们 有 2 个 免 费 版 本 的 软 件 可 以 通 过 下 面 连 接
利 用 采 样 示 波 器 FlexDCA 软 件 进 行 仿 真 分 析 应 用 文 章 胡 海 洋 介 绍 系 统 仿 真 就 是 将 计 算 机 仿 真 的 方 法 引 入 到 电 子 系 统 开 发 和 设 计 过 程 中 来 通 过 计 算 机 模 拟 电 子 系 统 的 实 际 工 作 过 程, 模 拟 系 统 各 模 块 级 联 工 作 得 到 输 出 结 果, 在 虚 拟 的 环 境
More informationA B A B S + V + Pt or Complement + Num-MP + O a b SVO c 2 9 * 10 * X Y
* / 1. 1 + + + 1 NPL + V + + NP A 1 B 5 2 6 3 7 4 8 * 1 2009. 10 557 24 2010 4 1996 2001 2001 2005 2006 2006 A B A B 2003 64 S + V + Pt or Complement + Num-MP + O a b SVO c 2 9 * 10 * 11 12 1. 2 1 + +
More informationStrings
Inheritance Cheng-Chin Chiang Relationships among Classes A 類 別 使 用 B 類 別 學 生 使 用 手 機 傳 遞 訊 息 公 司 使 用 金 庫 儲 存 重 要 文 件 人 類 使 用 交 通 工 具 旅 行 A 類 別 中 有 B 類 別 汽 車 有 輪 子 三 角 形 有 三 個 頂 點 電 腦 內 有 中 央 處 理 單 元 A
More informationuntitled
R. [Richard Courant & Herbert Robbins. What is Mathematics 1978. 1985.] = (Logical Knowledge) C.Delaunay 1867 (Heuristic Knowledge) [B. Russell: Recent Work on the Principle of Mathematics, Intemational,
More informationFun Time (1) What happens in memory? 1 i n t i ; 2 s h o r t j ; 3 double k ; 4 char c = a ; 5 i = 3; j = 2; 6 k = i j ; H.-T. Lin (NTU CSIE) Referenc
References (Section 5.2) Hsuan-Tien Lin Deptartment of CSIE, NTU OOP Class, March 15-16, 2010 H.-T. Lin (NTU CSIE) References OOP 03/15-16/2010 0 / 22 Fun Time (1) What happens in memory? 1 i n t i ; 2
More informationAbstract Today, the structures of domestic bus industry have been changed greatly. Many manufacturers enter into the field because of its lower thresh
SWOT 5 Abstract Today, the structures of domestic bus industry have been changed greatly. Many manufacturers enter into the field because of its lower threshold. All of these lead to aggravate drastically
More information198 天 津 体 育 学 院 学 报 谁 来 教, 怎 么 教 的 问 题 长 时 间 悬 而 未 决, 或 泛 泛 而 谈, 或 知 行 不 一, 以 至 于 使 中 小 学 武 术 教 育 积 重 难 返, 停 滞 不 前 因 此, 切 实 推 进 中 小 学 武 术 教 育 的 发 展 要
成果报告 197~ ~104 197 天津体育学院学报 Original Articles 回归原点的反思 中小学武术教育务实推进研究 王晓晨 1 2 赵光圣 1 张 摘要 峰3 采用文献资料 实地调研 参与观察等研究方法 基于文化 社会 教育 历史等学科理论对现阶段中小学武术教育的不足进行了原点性反 思 研究认为 国家政策的小心翼翼与富有弹性致使其对中小学武术教育的支持呈现出心有余而力不足的态势
More informationMicrosoft PowerPoint - Performance Analysis of Video Streaming over LTE using.pptx
ENSC 427 Communication Networks Spring 2016 Group #2 Project URL: http://www.sfu.ca/~rkieu/ensc427_project.html Amer, Zargham 301149920 Kieu, Ritchie 301149668 Xiao, Lei 301133381 1 Roadmap Introduction
More information目 錄 頁 數 校 訓.. 第 1 頁 辦 學 使 命.. 第 1 頁 抱 負.. 第 1 頁 學 校 願 景.. 第 2 頁 我 們 的 現 況.. 第 3 頁 學 校 關 注 事 項 (2015-2018 年 度 )... 第 4 頁 三 年 周 期 發 展 計 劃 (2015-2018 年 度
獅 子 會 何 德 心 小 學 2015-2018 年 度 學 校 三 年 發 展 計 劃 2015-2016 年 度 學 校 周 年 發 展 計 劃 二 零 一 五 年 八 月 目 錄 頁 數 校 訓.. 第 1 頁 辦 學 使 命.. 第 1 頁 抱 負.. 第 1 頁 學 校 願 景.. 第 2 頁 我 們 的 現 況.. 第 3 頁 學 校 關 注 事 項 (2015-2018 年 度 )...
More information(Microsoft Word - \244\272\256e\245\376\263\241\267J\276\343-990730.doc)
北 護 分 院 經 營 六 年 的 回 顧 與 展 望 楊 培 銘 院 長 在 時 光 的 巨 流 中, 六 年 祇 是 一 剎 那 ; 對 於 北 護 分 院 而 言, 整 併 後 的 六 年, 卻 是 一 段 不 算 短 的 日 子 過 去 的 六 年 中, 我 們 仍 在 同 樣 的 建 築 物 與 空 間 裡 經 營 所 有 業 務, 到 底 做 了 些 什 麼 事? 本 院 的 電 腦 資
More information11期(copy)
中 国 农 学 通 报 2014,30(11):29-33 Chinese Agricultural Science Bulletin 海 洋 渔 业 上 市 企 业 内 在 价 值 评 估 探 讨 基 于 DDM 和 市 盈 率 模 型 王 颖, 周 露 ( 上 海 海 洋 大 学 经 济 管 理 学 院, 上 海 201306) 摘 要 : 近 期 国 务 院 发 布 关 于 促 进 海 洋 渔
More informationC/C++语言 - 运算符、表达式和语句
C/C++ Table of contents 1. 2. 3. 4. C C++ 5. 6. 7. 1 i // shoe1.c: # include # define ADJUST 7. 64 # define SCALE 0. 325 int main ( void ) { double shoe, foot ; shoe = 9. 0; foot = SCALE * shoe
More informationθ 1 = φ n -n 2 2 n AR n φ i = 0 1 = a t - θ θ m a t-m 3 3 m MA m 1. 2 ρ k = R k /R 0 5 Akaike ρ k 1 AIC = n ln δ 2
35 2 2012 2 GEOMATICS & SPATIAL INFORMATION TECHNOLOGY Vol. 35 No. 2 Feb. 2012 1 2 3 4 1. 450008 2. 450005 3. 450008 4. 572000 20 J 101 20 ARMA TU196 B 1672-5867 2012 02-0213 - 04 Application of Time Series
More informationacl2017_linguistically-regularized-lstm-MinlieHuang
ACL 2017 Linguistically Regularized LSTM for Sentiment Classification Qiao Qian, Minlie Huang, Jinhao Lei, Xiaoyan Zhu Dept. of Computer Science Tsinghua University 1 aihuang@tsinghua.edu.cn Outline Introduction
More informationMicrosoft Word - xb1202-15 牛尚鹏.doc
68. 道 经 语 词 词 义 的 文 化 阐 释 举 隅 以 太 上 洞 渊 神 咒 经 为 例 牛 尚 鹏 [ 南 开 大 学 天 津 300071] [ 摘 要 ] 道 经 中 保 存 了 大 量 具 有 特 殊 的 道 教 文 化 蕴 涵 的 语 词, 为 此 用 文 化 求 义 的 方 法 考 释 了 其 中 的 乌 民 饮 丹 丹 水 本 行 原 蒙 云 刚 擢 质 等 文 化 语 词
More information10384 27720071152270 UDC SHIBOR - Research on Dynamics of Short-term Shibor via Parametric and Nonparametric Models 2 0 1 0 0 5 2 0 1 0 0 5 2 0 1 0 0 5 2010 , 1. 2. Shibor 2006 10 8 2007 1 4 Shibor
More informationVol. 14 No Λ fl 2fl y1) % % % % % 201
Vol. 14 No. 2 2005 249 259 Λ1 1961 1fl 2fl 1 1970 1961 1973 2 1973 1980 1990 199930 y1) 2010 54 5.6% 2025 104 4.5% 2000 1.75% 2001 1.5% 1995 7.1% 2010 11% 2025 17% 2.5 1 Λ1 700-0865 6-20 249 250 1 11 437
More information学校代号 10199 学 号 20093506035
学 校 代 号 10199 学 号 20093506035 蠲 饮 止 哮 汤 治 疗 热 哮 ( 饮 郁 化 热 证 ) 的 临 床 观 察 Juanyinzhixiao Decoction in treating Heat Asthma (drink pathogenic heat syndrome) clinical observation 学 位 申 请 人 导 师 姓 名 职 称 专 业
More information綠色產業、生活風格與健康論述:有機食品消費之社會文化分析
國 立 台 灣 大 學 建 築 與 城 鄉 研 究 學 報 第 十 九 期 民 國 一 百 零 一 年 六 月 研 究 論 文 第 43 頁 64 頁 Journal of Building and Planning, National Taiwan University Number 19, Jun. 2012, Research, pp. 43-64 消 失 的 理 想 住 宅 方 案 劉 欣
More information10384 19020101152519 UDC Rayleigh Quasi-Rayleigh Method for computing eigenvalues of symmetric tensors 2 0 1 3 2 0 1 3 2 0 1 3 2013 , 1. 2. [4], [27].,. [6] E- ; [7], Z-. [15]. Ramara G. kolda [1, 2],
More informationMicrosoft Word - 1- 封面
主 講 : 孟 瑛 如 教 授 國 立 臺 南 大 學 特 殊 教 育 中 心 學 習 障 礙 議 題 研 習 計 畫 壹 依 據 教 育 部 100 年 1 月 6 日 台 特 教 字 第 1000002737 號 函 辦 理 貳 目 的 促 進 教 師 與 家 長 對 學 習 障 礙 學 生 語 文 科 及 數 學 科 學 習 限 制 的 瞭 解, 並 增 進 拼 音 識 字 閱 讀 寫 字 寫
More information