本書介紹了基于認知邏輯的密碼協(xié)議分析。從密碼協(xié)議的邏輯分析講起，介紹密碼學的基礎知識、認知邏輯基礎理論,到用認知中的行為、行為模型以及時態(tài)認知邏輯分析具體的密碼協(xié)議，以具體實例闡述了用動態(tài)認知邏輯的理論來分析密碼協(xié)議的安全性。本書內容的編排由淺入深層層展開，適合各層次的讀者參閱，可為密碼協(xié)議分析和網(wǎng)絡安全提供一定的理論與技術支撐。本書可供相關專業(yè)的教師、科研人員或工程技術人員參考，也可供高等院校計算機科學與技術、網(wǎng)絡空間安全、通信工程以及邏輯學等專業(yè)高年級本科生和研究生學習使用。

本書針對會計初學者編寫，按初學者的認知規(guī)律，采用工作指導手冊的模式，引入背景企業(yè)虛擬業(yè)務情境，在任務中指導學生首先認識出納崗位，其次掌握從事出納工作的基本技能，最后進行出納崗位工作的實踐訓練。本書貫徹“做中學”的思想，將出納的基礎知識融入實務中，通過完成項目任務學習出納工作的工作內容及操作流程，在實踐訓練中提高學生的出納工作能力。本書內容共分為四個模塊：模塊1崗位描述，引導學生認知出納工作；模塊2任職要求，介紹從事出納崗位工作必備的基本技能；模塊3作業(yè)場景及工作指導，參考工作手冊的模式，按工作流

本書以華中科技大學同濟醫(yī)學院附屬協(xié)和醫(yī)院聯(lián)同上海交通大學附屬瑞金醫(yī)院、浙江大學附屬第一醫(yī)院、華中科技大學同濟醫(yī)學院附屬同濟醫(yī)院等委屬委管醫(yī)院和中管高校復旦大學公共衛(wèi)生學院為個案，聚焦學科建設、人才培養(yǎng)，從高質量發(fā)展要求和新一輪醫(yī)藥衛(wèi)生體制改革要求出發(fā)，探討醫(yī)院學科建設、人才培養(yǎng)實施路徑，包括薪酬制度、人才評價、成果轉化、臨床藥物試驗、臨床研究等重要內容，為醫(yī)院管理者謀劃學科發(fā)展提供理論支撐和決策依據(jù)。本書的讀者對象主要為醫(yī)院管理者。

本書全面系統(tǒng)地介紹多媒體通信、多媒體處理技術及其**的人工智能分析應用，以滿足理論教學和實踐應用的需要。本書共8章，分為理論篇(第1～5章)和實戰(zhàn)篇(第6～8章),在詳細介紹多媒體與人工智能的關系、嵌入式多媒體環(huán)境、多媒體編程等基本知識的基礎上，著重介紹智能多媒體工程實踐中相關的數(shù)字圖像處理技術、圖像與視頻編碼技術以及多媒體通信技術，并詳細介紹多媒體開發(fā)中的開發(fā)框架、FFmpeg、OpenCV以及BMCV開發(fā)工具。本書采用北京算能科技有限公司的嵌入式人工智能開發(fā)平臺進行實驗開發(fā)，提供了智能多媒體

本書立足百年未有之大變局，在概述新時代十年中國外交發(fā)展歷程、成就經(jīng)驗基礎上，通過對戰(zhàn)略機遇期和全球化轉型的深入剖析，重點論述當前中國外交面臨的挑戰(zhàn)問題及戰(zhàn)略選擇，歸納中國外交的基本理念與新思路新主張新方案，審視中國現(xiàn)行外交布局，厘清中國外交的多目標戰(zhàn)略與戰(zhàn)略排序，明晰新時代新征程中國外交的使命任務。本書對于彰顯中國外交的獨特風范和世界情懷，展示中國促進世界和平與發(fā)展的大國責任與擔當具有一定意義。

言語虐待是當前社會很多家庭中存在的現(xiàn)象。言語虐待的影響是隱性的，因為受到言語虐待后不會產生外傷，傷害的程度取決于受害者精神痛苦的程度。本書內容來自作者對40多位受到言語虐待女性的采訪，受訪者的年齡從21歲到66歲不等，她們與伴侶生活的時間平均為16年多。大部分被采訪人已經(jīng)離開了有言語施虐行為的伴侶，但她們對這段經(jīng)歷的認知在5年、10年，甚至15年后還會歷歷在目。本書介紹了各種言語虐待行為的特點以及面對這些行為時如何做出恰當?shù)姆磻�，幫助讀者認識到為什么他們在親密關系中會感到困惑和不快樂，使其決定如

我們生活中，人人都希望別人同意自己的觀點，掌控一切；人人都可能不由自主地對別人指手畫腳、隨意評價。有的人懂得校正自己的行為，適度控制，所以進退自如，生活得無比輕松。有的人卻不明白這種行為給別人帶來的痛苦，結果人際關系緊張、婚姻失敗、心靈扭曲，自己也異�？鄲馈Ｈ藶槭裁磿�產生這種控制別人的欲望呢？為什么有人想改變這種行為，事到臨頭卻總是無法自控？本書深入探討了日常生活中我們習以為常的這些下意識行為，揭示了其背后的實質，使我們學會識別、理解和應對控制，解開了我們的困惑和痛苦，讓我們在社會交往中遠離這些

一位中國學者，在印度知名私立大學做了七年的教授，以通俗的語言、嚴謹?shù)挠^察視角，記錄了她進入印度工作、生活的三十段經(jīng)歷。這三十個故事如三十張切片，從不同的側面打破迷霧、撥云見日，呈現(xiàn)其“印度印象”，體會其文化糾結，挖掘我們不曾了解的、這個復雜國家的內在文化“寶藏”，勾勒出立體而有深度的印度社會輪廓。親歷印度后再看世界，感悟印度后再體悟自身，對照自己后再反觀他人，也許這是本書所帶給我們的難得體驗。

李杰，上海開放大學理工學院副院長，副教授。本書內容聚焦在直驅式風力發(fā)電系統(tǒng)的變速恒頻控制技術上，對直驅式風力發(fā)電系統(tǒng)所用的全功率網(wǎng)側三相PWM變換器的控制策略進行了深入細致研究，詳細地闡述了一種固定開關頻率的直接電流控制策略和基于虛擬電網(wǎng)磁鏈的網(wǎng)側PWM變換器無電壓傳感器控制策略，提出了一種虛擬電網(wǎng)磁鏈觀測穩(wěn)態(tài)誤差補償方法，研究了網(wǎng)側三相PWM變換器的直接功率控制策略，以及在電網(wǎng)不平衡情況下系統(tǒng)的控制策略。根據(jù)機側整流裝置的不同，分別對發(fā)電機輸出接無源整流裝置和接有源整流裝置兩類拓撲結構進行了深

李沙，上海視覺藝術學院美術學院講師，浙江省美術協(xié)會會員。本書以湖南板梁古村落為具體案例，以藝術經(jīng)驗論為理論基礎，結合藝術人類學知識與社會認同理論對古村落藝術文化保護問題進行闡釋，試圖指出古村落藝術文化保護不但要基于物質條件、地理環(huán)境、文化建構，而且還要基于主體的審美意識，在保護古村落藝術的審美價值上合理地開發(fā)其經(jīng)濟性價值，從而避免盲目追求經(jīng)濟增值所帶來的保護性傷害。本書聚焦于古村落藝術的文化遺產問題，深入討論古村落以歷史性、文化性為中心的保護理論與實踐問題。其中，借助于美國哲學家杜威的藝術經(jīng)驗論