5,362 research outputs found
Zai zhong he piao yi ya suo shi yan zhong de mai chong chang du suo jian yu zai shi yan ceng mian shang de li zi shu zong xiang can shu de tao lun
No full textShih, Kai = 在中和漂移壓縮實驗中的脈衝長度縮減與在實驗層面上的粒子束縱向參數的討論 / 師愷.Thesis M.Phil. Chinese University of Hong Kong 2014.Includes bibliographical references (leaves 94-96).Abstracts also in Chinese.Title from PDF title page (viewed on 27, September, 2016).Shih, Kai = Zai zhong he piao yi ya suo shi yan zhong de mai chong chang du suo jian yu zai shi yan ceng mian shang de li zi shu zong xiang can shu de tao lun / Shi Kai
Nan hua jing
No full text[v. 1-6]. 南華真經 / 莊子. -- [v. 7-12]. 荀子 / 荀子. -- [v.13-14]. 中說 / 王通. -- [v. 15-16]. 沖虛至德真經 / 列子. -- [v. 17]. 老子道德經 / 老子. -- [v. 18-20] 新纂門目五臣音註揚子法言 / 揚雄.[v. 1-6]. Nan hua zhen jing / Zhuangzi. -- [v. 7-12]. Xunzi / Xunzi. -- [v.13-14]. Zhong shuo / Wang Tong. -- [v. 15-16]. Chong xu zhi de zhen jing / Liezi. -- [v. 17]. Laozi dao de jing / Laozi. -- [v. 18-20] Xin zuan men mu wu chen yin zhu Yangzi fa yan / Yang Xiong.題名由編目者擬定.綫裝.框19 x 14.2公分, 8行17字, 小字雙行同, 白口, 單白魚尾, 四周雙邊."荀子"由"桐蔭書屋"出版; "中說", "沖虛至德真經", "老子道德經", "新纂門目五臣音註揚子法言"出版者不詳.鈐有朱印.Ti ming you bian mu zhe ni ding.Xian zhuang.Kuang 19 x 14.2 gong fen, 8 hang17 zi, xiao zi shuang hang tong, bai kou, dan bai yu wei, si zhou shuang bian."Xunzi" you "Tong yin shu wu"chu ban; "Zhong shuo", "Chong xu zhi de zhen jing", "Laozi dao de jing", "Xin zuan men mu wu chen yin zhu Yangzi fa yan" chu ban zhe bu xiang.Qian you zhu yin
New Goods and Rising Skill Premium: A Theoretical Investigation
No full textThis paper examines the effects of new goods on the relative wages of skilled-labor and trade patterns in a two-cone Heckscher-Ohlin model and shows that: (i) new goods can be a valid theoretical explanation for the rising skill premium in the U.S. (ii) new goods have both domestic and international factor market effects, and their interplay determines the outcome and gives rise to surprising results; (iii) new goods that are “friendly” to the abundant (scarce) factors move the relative factor prices in the direction of convergence (divergence). The setup is general in the goods dimension so that the introduction of new goods is completely unrestricted, and the results apply to any one or any combination of the relative demand shocks for skilled labor. The results also apply when non-tradable goods are present.new goods, rising skill premium, international and domestic factor market effects, lens condition for factor price equalization, production set
Cai zi xi xiang wen
No full text[王實甫] ; 聖歎外書. 才子西廂醉心篇 / 陳維崧訂.綫裝.框9.8x7.8公分, 9行16字, 無界行. 白口, 四周雙邊, 單黑魚尾. 版心上鐫"第六才子書", 中鐫卷次, 下鐫葉次. 內文有朱墨圈點, 有朱色眉批.內封背頁鐫"甲申仲冬月重刻于廣州"《才子西廂醉心篇》內封頁題為《才子醉心篇》, 版心題為《才子西廂文》內封頁有"廣州永漢路登雲閣藏板"朱墨印.[Wang Shifu] ; Shengtan wai shu. Cai zi xi xiang zui xin pian / Chen Weisong ding.Xian zhuang.Kuang 9.8 x 7.8 gong fen, 9 hang 16 zi, wu jie hang. Bai kou, si zhou shuang bian, dan hei yu wei. Ban xin shang juan "Di liu cai zi shu", zhong juan juan ci, xia juan ye ci. Nei wen you zhu mo quan dian, you zhu se mei pi.Nei feng bei ye juan "Jia shen zhong dong yue chong ke yu Guangzhou""Cai zi xi xiang zui xin pian" nei feng ye ti wei "Cai zi zui xin pian", ban xin ti wei "Cai zi xi xiang wen"Nei feng ye you "Guangzhou Yong han lu Deng yun ge cang ban" zhu mo yin
Data for 'Studies on the Xiang dialects'
No full textThe data comprises IPA and partial Chinese character transcriptions of 22 narratives in Xiang, where speakers retell the events of the pear stories video. This is drawn from a larger corpus of 47 Xiang narratives collected by the author.
Also included are .xlsx and .csv files including demographic data for the full 47 respondents, a dataset for Study #1 of the thesis entitled 'Studies on the Xiang dialects', and three datasets for Study #3 for the same thesis. </p
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
No full textThis paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitative safety notions, quantitative forward and backward safety, which respectively express (1) how strong the strongest postcondition of the system is with respect to the specified postcondition, and (2) how strong the specified precondition is with respect to the weakest precondition of the system needed to ensure the specified postcondition holds. We introduce two notions, forward and backward robustness, to characterize the robustness of a system against sensor attacks as the loss of safety. To reason about robustness, we introduce two simulation distances, forward and backward simulation distances, which are defined based on the behavioral distances between the original system and the system with compromised sensors. Forward and backward simulation, respectively, characterize upper bounds of the degree of forward and backward safety loss caused by the sensor attacks. We verify the two simulations by expressing them as formulas of differential dynamic logic, and prove the formulas with existing tool support. We showcase an example of an autonomous vehicle that needs to avoid collision
Measuring robustness in cyber-physical systems under sensor attacks
No full textThis paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber–physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitative safety notions, quantitative forward and backward safety, which respectively express (1) how strong the strongest postcondition of the system is with respect to the specified postcondition, and (2) how strong the specified precondition is with respect to the weakest precondition of the system needed to ensure the specified postcondition holds. We introduce two notions, forward and backward robustness, to characterize the robustness of a system against sensor attacks as the loss of safety. To reason about robustness, we introduce two simulation distances, forward and backward simulation distances, which are defined based on the behavioral distances between the original system and the system with compromised sensors. Forward and backward distances, respectively, characterize upper bounds of the degree of forward and backward safety loss caused by the sensor attacks. We verify the two simulation distances by expressing them as modalities, i.e., formulas of differential dynamic logic, and develop an ad-hoc proof system to reason with such formulas. We showcase our formal notions and reasoning techniques on two non-trivial case studies: an autonomous vehicle that needs to avoid collision and a water tank system
Measuring robustness in cyber-physical systems under sensor attacks
No full textThis paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber–physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitative safety notions, quantitative forward and backward safety, which respectively express (1) how strong the strongest postcondition of the system is with respect to the specified postcondition, and (2) how strong the specified precondition is with respect to the weakest precondition of the system needed to ensure the specified postcondition holds. We introduce two notions, forward and backward robustness, to characterize the robustness of a system against sensor attacks as the loss of safety. To reason about robustness, we introduce two simulation distances, forward and backward simulation distances, which are defined based on the behavioral distances between the original system and the system with compromised sensors. Forward and backward distances, respectively, characterize upper bounds of the degree of forward and backward safety loss caused by the sensor attacks. We verify the two simulation distances by expressing them as modalities, i.e., formulas of differential dynamic logic, and develop an ad-hoc proof system to reason with such formulas. We showcase our formal notions and reasoning techniques on two non-trivial case studies: an autonomous vehicle that needs to avoid collision and a water tank system
Xi yuan lu jie
No full text王又槐增輯 ; 李觀瀾補輯 ; 孫光烈參閱 ; 阮其新補註 ; 王又梧校訂 ; 張錫藩重訂加丹.綫裝.框15.3x13.1公分, 10行18字, 小字雙行同, 無界行. 白口, 左右雙邊, 單黑魚尾. 版心上鐫題名, 中鐫卷次及小題, 下鐫葉次. 眉端刻註解評語.紅, 黃, 藍三色套印本.書名頁刻"同治四年夏月重校刊, 寳鑑編附後, 粤東省署藏板"卷末附刊: 檢骨圖格 -- 寳鑑編 -- 急救方 -- 石香秘錄 / 仲振履校訂 ; 張鍚蕃重訂加丹 -- 洗冤錄解 / 姚德豫著 ; 文晟校訂.鈐"許豫康侯", "莊兆祥印".Xian zhuang.Kuang 15.3 x 13.1 gong fen, 10 hang 18 zi, xiao zi shuang hang tong, wu jie hang. Bai kou, zuo you shuang bian, dan hei yu wei. Ban xin shang juan ti ming, zhong juan juan ci ji xiao ti, xia juan ye ci. Mei duan ke zhu jie ping yu.Hong, huang, lan san se tao yin ben.Shu ming ye ke "Tongzhi si nian xia yue chong jiao kan, Bao jian bian fu hou, Yue dong sheng shu cang ban"Wang Youhuai zeng ji ; Li Guanlan bu ji ; Sun Guanglie can yue ; Ruan Qixin bu zhu ; Wang Youwu jiao ding ; Zhang Xifan chong ding jia dan.Juan mo fu kan: Jian gu tu ge -- Bao jian bian -- Ji jiu fang -- Shi xiang mi lu / Zhong Zhenlu jiao ding ; Zhang Yangfan chong ding jia dan -- Xi yuan lu jie / Yao Deyu zhu ; Wen Sheng jiao ding.Qian "Xu yu kang hou", "Zhuang zhao xiang yin"
- …
