武汉大学国际软件学院
命题逻辑的推理理论,证明方法
31
⑨p
前提引入
⑩ pp
⑧⑨合取
推理正确, q是有效结论
.
武汉大学国际软件学院
唐存琛 刘峰
32
课堂实训
应用实例1 分析下列事实“如果我有很高的收 入，那么我就能资助许多贫困学生；如果我能资 助许多贫困学生，那么我很高兴；但我不高兴， 所以我没有很高的收入。”试指明前提和结论， 并给予证明。
.
武汉大学国际软件学院
.
武汉大学国际软件学院
唐存琛 刘峰
20
归谬法(反证法)的说明
欲证明
前提：A1, A2, … , Ak 结论：B
将B加入前提, 若推出矛盾, 则得证推理正确.
理由: A1A2…AkB (A1A2…Ak)B (A1A2…AkB)
括号内部为矛盾式当且仅当 (A1A2…AkB)为重言式
.
武汉大学国际软件学院
12
一、自然推理系统P的定义（续）
3. 推理规则 (1) 前提引入规则 (2) 结论引入规则 (3) 置换规则 (4) 假言推理规则 (5) 附加规则 (6) 化简规则
(7) 拒取式规则 (8) 假言三段论规则 (9) 析取三段论规则 (10)构造性二难推理
规则 (11) 破坏性二难推理
规则 (12) 合取引入规则
.
武汉大学国际软件学院
唐存琛 刘峰
16
（5）分情况证明法
为了证明 A1 A2 An B , 只需证明对任意的 i (1 i n) ，均有 Ai B 。
（6）附加前提证明法
为了证明 A1 A2 An A B ,
只需证明 A1 A2 An A B
.
武汉大学国际软件学院
武汉大学国际软件学院唐存琛 刘峰
武汉大学国际软件学院培养计划(13版)
国际软件学院International School of Software武汉大学国际软件学院是教育部、国家计委首批批准成立的国家示范性软件学院，是为了适应我国经济结构战略性调整的要求和软件产业发展对人才的迫切需要而建立的，旨在为我国软件产业发展带来新的推动力，支持国家“以信息化带动工业化”的战略部署，培养复合型、实用型、国际化的高层次软件人才。
学院按国际通行办学模式组织教学。
学院下设：软件工程系、空间信息与数字技术系、数字艺术系、集成电路与通讯软件系、院实验中心、ISS软件研发中心、空间信息与数字工程中心、国际与工程教育中心、湖北省软件人才与技术服务平台等教学与科研机构，现有软件工程、空间信息与数字技术和物联网工程三个本科专业。
学院拥有软件工程一级学科博士点和服务科学、数字媒介2个二级学科博士点。
学院现有专兼职教师210人，专任教师54人。
其中博士生导师17人，教授 18 人，副教授 24 人，90%以上教师具有博士学位和国外学习或工作经历；外聘教师96人，校内双聘教师60人。
其中两院院士2人，教授78人，副教授28人，高级软件工程师14人。
学院现有设备总值2000余万元的一流的教学实验室和专业实验室，配有高性能服务器和计算机设备，拥有完备的实验与科研教学设施和软件，专线接入中国电信网和校园网，设备与网络对学生全天免费开放。
学院走国际化的办学道路：聘请了美国、加拿大、英国、日本、印度等著名大学以及Microsoft、IBM等公司的著名教授、专家在本院授课、讲座，已在美国、欧洲、日本、印度建立教学实习基地，与爱尔兰都柏林城市大学、美国卡耐基梅隆大学、美国威斯康星州立大学、美国东密歇根大学、美国詹姆斯麦迪逊大学、法国国立科学技术与管理学院、印度迈索尔大学、英国邓迪大学等签署了协议，在课程建设、教学资源建设（ 实验软件）、教师培训、学生培养、科学研究等方面展开全面合作，为学生提供国外学习深造的机会。
4身份认证和访问控制(武汉大学国际软件学院信息安全课程)
强壮口令应符合的规则
+ X 电话号码、
个人名字 或呢称 生日等敏感 信息
X+
+
输入8字符 以上口令
X
记录于纸上或 放臵于办公处
+
X
使用重复 的字符
=强壮的口令
武汉大学国际软件学院 13
对付线路窃听的措施
使用保护口令机制：如单向函数。
对于每个用户，系统将帐户和散列值对存储 在一个口令文件中，当用户输入口令x，系 统计算其散列值H(x)，然后将该值与口令文 件中相应的散列值比较，若相同则允许登录。 安全性仅依赖于口令
安盟身份认 证服务器
354982
相同的种子 相同的时间
武汉大学国际软件学院
22
C.基于智能卡的机制
优点
基于智能卡的认证方式是一种双因素的认证 方式（PIN+智能卡） 智能卡提供硬件保护措施和加密算法
缺点
智能卡和接口设备之间的信息流可能被截获 智能卡可能被伪造 职员的作弊行为
武汉大学国际软件学院 23
=
1110110100 0101010110 1010101010
Algorithm
武汉大学国际软件学院
20
认证过程
登录者
User-ID: 安盟 password: 1234 234836
ACE/代理
ACE/服务器
访问请求 访问请求被通过 (加密的 (加密的 ) )
算法
PIN 1234
1234 234836
身份认证目的：
武汉大学国际软件学院
2密码编码学-1(武武汉大学国际软件学院信息安全课程)
计算上安全的
武汉大学国际软件学院
15
密码编码学
基本概念和术语 密码学的历史
古代密码 古典密码 现代密码
武汉大学国际软件学院
16
密码学的发展史
古代加密方法（手工阶段） 古典密码（机械阶段） 现代密码（计算机阶段）
武汉大学国际软件学院
17
古代加密方法
起源于公元前440年出现在古希腊战 争中的隐写术 (steganography)：通 过隐藏消息的存在来保护消息. 是现今信息隐藏的始祖
13
下表是穷尽密钥空间所需的时间。从表中我 们可以发现，当密钥长度达到128位以上时， 以目前的资源来说，穷举攻击将不成功。
武汉大学国际软件学院
14
密码的安全性考虑
无条件安全(Unconditionally secure)
无论破译者有多少密文,他也无法解出对应的明文, 即使他解出了,他也无法验证结果的正确性. 一次一密 破译密码的代价超出密文信息的价值 破译密码的时间超出密文信息的有效生命期
一个叫Aeneas Tacticus的希腊人在《论 要塞的防护》一书中对传输密文做了最 早的论述。 公元前2世纪，一个叫Polybius的希腊人 设计了一种将字母编码成符号对的方法， 他使用了一个称为Polybius的校验表， 表中包含许多后来在加密系统中常见的 方法，如代替与换位。
武汉大学国际软件学院 23
信息安全
密码编码学
杨敏 武汉大学 国际软件学院
yangm@
1
密码编码学
基本概念和术语 密码学的历史
古代密码 古典密码 现代密码
高级数据库技术 (1)
多维数据
相关数据集
查询 OLTP DWMS DBMS DB
DW
16
武汉大学国际软件学院
OLAP概述
17
武汉大学国际软件学院
OLAP
1.
概
述
什么是OLAP？ OLAP是针对特定问题的联机数据访问和 分析。 通过对信息（这些信息已经从原始的数 据进行了转换，以反映用户所能理解的 企业的真实的“维”）的很多可能的观 察形式进行快速、稳定一致和交互性的 存取，允许管理决策人员对数据进行深 入观察
5
武汉大学国际软件学院
数据仓库的定义和特点
数据仓库的特点
面向主题的 集成的
数据仓库
非易失的
随时间变化的
6
武汉大学国际软件学院
数据仓库的定义和特点
面向主题的
OLTP 应用
数据仓库主题
资产 保险 贷款
股票
客户财务信息
储蓄
7
武汉大学国际软件学院
数据仓库的定义和特点
集成的
Savings Current accounts Loans
24
武汉大学国际软件学院
O L A P 的 基 本 操 作
一个OLAP操作实例：
卷烟销售分析
产品
时间
财务指标
国产烟
进口烟
Q1 Q2 Q3 Q4
收入
开销
25
武汉大学国际软件学院
O L A P 的 基 本 操 作
钻取（Dill up/Drill down）：
钻取到各级数据层次
产 品,国产烟,上海烟,中华
数 据 挖 掘 概 述
武汉大学2018年国际软件学院招生目录_武大考研论坛
学院、专业、 研究方向
代码及名称
全日制 招生人数
考试科目
复试科目
同等学力 加试科目
216 国际软件 65
学院
（68778107）
学术学位
10
083500 软 件
工程
01( 全 日 制 )
①101 思想政 ① 计 算 机 专 ① 操 作 系 统
软件工程
治理论
业综合（数据库原原理
件服务工程
08( 非 全 日 制 ) 大
备注 非全日制 65
数据与云计算 09( 非 全 日 制 ) 地 理空间信息 10( 非 全 日 制 ) 人 工智能 11( 非 全 日 制 ) 金 融信息化 12( 非 全 日 制 ) 数 字媒介
文章来源：文彦考研
02( 全 日 制 ) 人 工
②204 英语二 理，软件工程，计② 面 向 对 象 程 序
智能
③302 数学二 算机网络）
设计
03( 全 日 制 ) 大 数
④953 计算机综合
据
04( 全 日 制 ) 金 融
信息工程
05( 全 日 制 ) 空 间
信息与数字工程
06( 全 日 制 ) 数 字
媒介
07( 非 全 日 制 ) 软
02( 全 日 制 ) 服 务
②201 英语一 理，软件工程，计②编译原理
科学
③302 数学二 算机网络）
03( 全 日 制 ) 数 字 Nhomakorabea④953 计算机综合
媒介
专业学位
55
085212 软 件
工程
01( 全 日 制 )
①101 思想政 ① 计 算 机 专 ① 操 作 系 统
论文-国际软件学院-武汉大学
一、教务
4、考试
全国大学英语四六级及小语种四级考试每年两 次分别于6月和12月举行。英语四级考试报名资格 为二年级至四年级所有本科在校生。每年12月考 试中二年级学生报考四级要求《大学英语3》课程 成绩在80分以上；
一、教务
5、评教
学生评教的时间一般安排在期末考试前2—3 周，学生登录“武汉大学本科生教学管理信息系 统”中课堂教学评估系统，对任课教师的课堂教 学和所授课程进行评价。希望各位同学以主人翁 的态度认真对待每一次评教活动，珍惜好这份权 利，履行好这项义务。
队），可保留学籍至退役后一年。
二、学籍
5、休学、保留学籍、复学与退学
保留学籍、休学学生不享受在校学习学生的待遇。
学生休学期间医疗费按学校规定办理。
休学、保留学籍学生不应当在学校居住，不参加
课程学习、考核等活动。
学生在休学、保留学籍期间，如有严重违法乱纪
行为的，取消学籍。
二、学籍
5、休学、保留学籍、复学与退学
或学校认为必须休学者可休学。
学生休学一般以一学年为期，经批准后可续休，
但累计休学不得超过两学年。
二、学籍
5、休学、保留学籍、复学与退学
学生因自费出国学习、创业、参加社会实践等
原因中断学习的，经本人申请、学院审核同意，
本科生院批准后可以保留学籍两年。学生应征
参加中国人民解放军（含中国人民武装警察部
二、学籍
1. 入学与注册
2. 学制与学习年限
3. 课程考核与成绩记载
4. 转专业
5. 休学、保留学籍、复学与退学
6. 出国（境）学习
7. 毕业、结业与肄业
二、学籍
1. 入学与注册
办理时间：每学期开学前一天。
《质量信息统计 分析 反馈机制》
《质量信息统计分析反馈机制》第一篇。
质量信息统计分析反馈机制随着我国高等教育大众化进程的加快，高等院校教学质量问题日益受到社会的关注。
提高教学质量，建立和完善符合高等教育发展规律的教学质量监控体系，既是高校自我约束、自我激励和自我发展的必然要求，也是高校实现持续健康发展的必然选择。
武汉大学国际软件学院从建院之初，就一直将教学质量信息的搜集和反馈作为改进教学方法、提高教学效率、创新人才培养模式的措施，从而对学院内部教学质量的提高起着重要的监控和保障作用。
经过多年的实践，已建立了高效的教学质量信息搜集反馈系统，并将其作为进一步完善教学质量监控体系的关键环节。
一、武汉大学国际软件学院教学质量信息搜集反馈系统构成在武汉大学国际软件学院，高效率的教学质量信息搜集反馈系统由信息搜集系统、信息处理系统、信息反馈系统三大子系统构成。
（一）信息搜集系统该系统是教学质量信息搜集反馈系统的关键，主要任务是利用多种渠道收集学校教学活动的信息，为武汉大学国际软件学院的领导进行科学决策提供信息参考。
1.建立信息上行绿色通道教师和学生可以通过电话、信件、邮件直接向校领导、职能部门领导反映教学情况，使各级领导及时获取教学第一线的信息，同时，减少信息上报的环节，便于师生反映教学中的问题，提高办事效率。
2.推进学院门户网站的建设（）不断扩大网络在学院管理过程中的服务面和影响力，利用学院门户网站、贴吧等流行的网络形式广泛听取学生的心声和意见建议。
3.建立院系教学工作例会制度提供相互交流、相互学习的平台，与会者可以就教学工作中遇到的问题畅所欲言，实现教学主管部门、教学单位、骨干教师直接沟通教学情况，及时研究处理教学工作中存在的问题。
这种形式既可以上情下达，传达教育部、上级主管部门和学校有关教育教学改革、教学工作方面的文件精神，也可以下情上报，发现问题，现场协调、现场解决，沟通教学信息及工作经验，提高工作效率。
目前学院三个系（软工、空信、物联网）隔周举办一次系教学工作例会，学院每月举办一次学院教学工作例会。
武汉大学国际软件学院
武汉大学国际软件学院2012年硕士研究生复试录取工作实施细则根据学校《关于做好2012年硕士生复试录取工作的通知》（研招[2012]13号）精神，结合实际情况，制订国际软件学院2012年硕士研究生招生复试工组实施细则如下：一、指导思想深入贯彻科学发展观，坚持公开、公平、公正和科学选拔的原则，德智体全面衡量，择优录取，确保质量；进一步调整优化研究生教育结构，积极稳妥地推进全日制专业学位研究生的招生与培养，更好地适应经济社会发展对高层次应用型人才的需要；进一步探索和完善拔尖创新人才的选拔机制，扩大培养单位和导师招生自主权；进一步增强复试工作的科学性、规范性和有效性，切实提高复试工作质量；坚持以人为本、尊重考生、服务考生。
二、组织机构学院成立招生工作领导小组，其主要职责是全面负责招生复试及录取工作，研究确定拟录取名单,并成立3个复试小组,每个复试小组设组长一人，由5名本专业的具有副高以上职称、办事公正、无亲属报考本专业研究生的教师组成，设现场记录员1人。
三、招生计划、复试比例与复试资格线1、招生计划与复试名额代码专业名称招生计划推荐免试生第一志愿复试名额调剂复试名额120122 服务科学200 3 0050323 数字媒介0 21 0085212 软件工程85 9 68 8根据研究生院有关文件精神，结合我院实际情况，复试人数原则上按计划招生人数的120%确定。
2、考生复试的最低控制分数线为：A．服务科学专业：政治55,外语55,数学90,专业课90，总分340；B．数字媒介专业：政治50,外语50,专业课一90,专业课二90，总分335；C．软件工程硕士：执行国家线。
四、复试内容与形式1、复试采取笔试、英语听力与口语测试、综合素质面试的方式进行。
复试成绩占录取总分的40%，其中专业笔试占16%，英语听力与口语测试占12%，综合素质面试（含治学态度、动手能力、专业思想、心理品质等综合素质和培养潜力）占12%。
2016年武汉大学国际软件学院硕士研究生复试及拟录取名单
2016年武汉大学国际软件学院硕士研究生复试及拟录取名单按初试成绩60%加复试成绩40%计算录取总分，录取总分计算方法为：总成绩＝[政治+外语+专业课1+专业课2]×0.2×0.6+专业笔试×0.16+英语听力口语测试×0.12+综合面试×0.12。
复试成绩不及格者不予以录取，且接受校内外调剂。
以下是东湖武大考研网整理收集到的2016年武汉大学国际软件学院硕士研究生复试及拟录取名单，如果有其他考研疑问可以联系右侧的咨询老师。
序号姓名报考专业初试成绩复试成绩总评结果备注外语政治专业1专业2面试外语笔试1刘必为软件工程（学）746212112187757877.28录取2胡璨78679212089906374.4录取3周锦章74709511988725771.28录取4任其61718212188805469录取5王極可62688711386785968.72录取6董子麟605911812386852367.4录取7焦蕗屿59659712974684866.72录取8王帅62589410680656365.88录取1刘晖软件工程（专）777610212788888981.2录取2李伟光717114212388857080.8录取3朱锦龙657312512788817679.24录取4李如意667411412485827877.88录取5陈梓航79749212686837476.64录取6余琪翔656311912086817776.4录取7杜鑫明79708212388937576.2录取8段业群72646514083878775.24录取9高翔636911111285927175.2录取10范思玮81649912286846474.56录取11宋熙聃66599011790917773.88录取12叶良火68677812182858473.56录取13李金泽685910911885965773.32录取14刘威71609513082826672.96录取15李鹏飞63709211891876572.92录取16娄洲城596711111090955172录取17唐博伦787910112086853771.8录取18叶红喜78639712086845271.68录取19彭小磊65716511883828571.68录取20刘华琳636911811887893971.52录取21周波78589110885826670.8录取22张海玲67657911785807270.68录取23吴霏69679810985944970.48录取24陈昕靓74597910380858070.4录取25尹阳阳64727211182837570.08录取26李郭73597013185856069.96录取27皮静媛59578313782816069.48录取28李瞧68628310785856669.36录取29陈泽西77647210885906069.12录取30谢晓东63587711085807668.92录取31王婷55568411085837168.12录取32关正67698511685884368.08录取33区俊杰65636711482806566.92录取34贾伟567010210982804066.28录取35张凯悦68607910681805465.52录取36韩小范6864909083814864.8录取37曹辉皓72627810375704562.4录取学硕转专硕1郭柳706412511190898379.16录取调剂2万辉747311811789857779.04录取调剂3王翠716810011395908077.24录取调剂4陈佳玲67699411288948977.12录取调剂5杨继楠79719910290947976.84录取调剂6方扬青736910410092868776.8录取调剂7杜姗73678512089867975.04录取调剂8肖宇68678713390807575录取调剂9付育荣62648811680799573.88录取调剂10刘泽军70679910285927073录取调剂11刘威70647711190787971.44录取调剂12黄河64699111886755168.52录取调剂13周官宝647310311592882668.36录取调剂14曹佳敏7669689595706467录取调剂15齐晨光70737110695894066.88录取调剂16李浩55626911885606363.96录取调剂1王俊力软件工程（学）7468137126录取优秀营员2卓文军6959124113录取优秀营员3张晓琪软件工程（专）756798128录取优秀营员4杨旭746398111录取优秀营员5程卓6057107112录取优秀营员6杨潇686367104录取优秀营员现将武汉大学国际软件学院2016年硕士研究生复试结果及拟录取名单予以公示,拟录取名单在学院网站公示不少于10个工作日。
1概述(武武汉大学国际软件学院信息安全课程)
从被动保护转为主动防御，强调信息系统 整个生命周期的防御和恢复 PDR模型
防护（Protection） 检测（Detection） 反应（Reaction）
武汉大学国际软件学院
34
P2DR模型
美国国际互联 网安全系统公 司(ISS)提出以 安全策略为中 心的模型。
武汉大学国际软件学院
主动攻击,常常是对数据流的修改,可以被检测 到,但难以防范
篡改(Modification) 伪装(Masquerade)
重放(Replay) 拒绝服务(Denial of Service)
武汉大学国际软件学院 41
安全威胁 -- 被动攻击
消息内容泄露(Release of Message Content)
武汉大学国际软件学院 6
网络应用的发展
电子交易
电子商务 电子政务
复杂程度
Intranet 站点
Web 浏览 Internet Email
武汉大学国际软件学院 7
不安全的网络
网络是开放的；
网络设计, 缺乏安全考虑;
管理人员的缺乏及对安全知识和意识的不足; 网络技术处于不断发展和进化性(Non-repudiation)
发送方和接收方不能抵赖所进行的传输 确认实体是它所声明的 确认信息的来源是它说声明的 确保实体的活动可被跟踪 对信息及信息系统实施安全监控管理
武汉大学国际软件学院 32
认证性(Authentication)
审计(Accountability)
武汉大学国际软件学院 39
安全服务
DES
武汉大学国际软件学院
DES子密钥的产生
用标记为置换选择1的表（表3.4b）作用。所 得56位密钥分为两个28位数据C0和D0。每轮 迭代中，Ci-1和Di-1分别循环左移（或旋转） 一位或两位，见表3.4d。移位后的值作为下 一轮的输入。它们同时也作为置换选择2 （表3.4c）的输入，将产生一个48位的输出 作为函数f（Ri-1,Ki）的输入。
武汉大学国际软件学院
16
(b) 置换选择1 (PC-1)
57 1 10 19 63 7 14 21 49 58 2 11 55 62 6 13 41 50 59 3 47 54 61 5 33 42 51 60 39 46 53 28 25 34 43 52 31 38 45 20 17 26 35 44 23 30 37 12 9 18 27 36 15 22 29 4
2 6 10 14 18 22 26 30
3 7 11 15 19 23 27 31
21 26 14 6
4 8 12 16 20 24 28 32
29 5 32 22 12 18 27 11
5 9 13 17 21 25 29 1
28 31 3 4 17 10 9 25
扩充置换E
20 23 24 30
6
Li-1(32位)
Ri-1(32位) 扩充置换(E)
F
48b 48b
子密钥Ki(48b)
代换运算(S盒)
32b
置换运算(P)
32b
图3.6 DES的一轮迭代 Li(32位) Ri(32位)
32 4 8 12 16 20 24 28
16 1 2 19 7 15 8 13
1 5 9 13 17 21 25 29
国软课表
6-17周7-8;国软4-402
[多媒体70] 大学英语1 大学英语1 高等数学B1 公共必修 3 公共必修 3 专业必修 5 黄明 副教授 大学英语部 2-1 大学英语部 2-2 公共数学教学 50/50 54 6-17周9-10;国软4-402
[多媒体70] / / 36 1-12周7-9;国软4-202
[多媒体90] 36 3-11周1-2;国软4-501
3-14周3-5;国软4-303
[多媒体70] [多媒体90] 50/50 54 2008级空间信息与数字技术 2-3周3-5;国软4-302
[多媒体70] 12 2-15周3-5;国软4-304
[多媒体210] 50/ 50/ 50/ 36 24 54 2-13周7-9;国软4-202
[多媒体90] 服务科学概论 UML及软件建模 电子商务 公共关系学 离散数学 专业必修 2 专业必修 3 专业必修 2 专业选修 2 专业必修 3 50/50 36 2-17周7-9;国软4-202
[多媒体90] 50/50 54 2-13周7-9;国软4-501
[多媒体210] 思想道德修养和法律基础 公共必修 3 雷山漫 讲师 公共政治教学 12 80/16054 6-17周1-2;国软4-403
[多媒体90] 英语听说1 英语听说1 计算机基础及应用1 C&C++语言程序设计 图文处理技术应用 专业必修 2 专业必修 2 专业必修 3 国软外教2教授 国软外教1教授 熊庆文 教授 副教授 副教授 国际软件学院 空1 国际软件学院 空2 国际软件学院 国际软件学院 国际软件学院 60/60 36 6-17周1-2;国软4-301
2密码编码学-3(武汉大学国际软件学院信息安全课程)
Rivest,Shamir和Adleman在1978年提出RSA公 钥算法
Communitions of the ACM. Vol.21.No.2. Feb. 1978, PP.120-126
武汉大学国际软件学院
4
公钥密码的特点
加密与解密的密钥不同 公钥密码的密钥是一组密钥对（公钥,私钥）
武汉大学国际软件学院 32
RSA和ECC的比较
RSA和ECC安全模长的比较
武汉大学国际软件学院 33
非对称密码
公钥密码体制的概念 RSA算法 Diffie-Hellman 密钥交换* 密钥管理
武汉大学国际软件学院
34
Diffie-Hellman密钥交换算法
第一个公钥方案，Diffie & Hellman 于1976年提出 密钥交换方案
d e-1 mod (n)
(保密的，计算得出的)
d是e的模逆元。即d×e 1 mod (n) , 即d×e 和1模(n)是 同余的。
武汉大学国际软件学院 24
RSA算法
密钥生成
选择p和q(都是大素数，且pq) 计算n=pq 计算(n)=(p-1)(q-1) 选择整数e（gcd((n),e)=1; 1<e< (n)） 计算d： d e-1 mod (n) 公开公钥PU={e,n}，保存私钥PR={d,n}
武汉大学国际软件学院 10
公钥密码的签名
密码分析者
PRa
发送方A
接收方B
消息源
X
加密算法
Y
解密算法
X
消息宿
2016-2017第一学期《数字逻辑》(A)卷
武汉大学国际软件学院2016-2017学年第1学期期末考试试卷课程名称：《数字逻辑》（ A 卷）年级：2015 专业：软件工程专业方向：层次：本科姓名：____________学号：___________________考分：说明：1、答案一律书写在答题纸上，书写在试卷上或其他地方一律无效。
2、请准确规范书写姓名和学号，否则视为答卷作废一、填空题（每题2分，共20分）1、已知某数x的机器数补码为1.1111，则该数的真值x= 。
2、余3码不允许出现六种组合。
3、由n个变量构成的任何一个最小项有种变量的取值使其值为0。
F A B AB AB的反函数F为。
4、逻辑函数(,)5、当与非门的输入全部为高电平时，其输出为电平。
6、J-K触发器的次态方程为。
7、组合逻辑电路的特点之一是电路由构成，不含记忆元件。
8、同步时序逻辑电路中各触发器状态的改变受到的控制。
9、在电平异步时序逻辑电路中，若激励状态Y与二次状态y相同，则电路处于状态。
10、D/A转换器的功能是。
二、选择题（每题2分，共10分）1、小数“0”的反码形式有（）。
A. 0.00B. 1.00C. 0.11D. 1.112、标准与或式是由（）组成的逻辑表达式。
A. 与项相或B. 最小项相或C. 最大项相或D. 或项相与3、下列触发器中，（）对输入信号没有约束。
A. 基本R-S触发器B. 时钟控制T触发器C. 时钟控制J-K触发器D. 时钟控制R-S触发器4、实现两个4位二进制数相乘的组合逻辑电路，应有（）个输出函数。
A. 4B. 8C. 10D. 125、电平异步时序逻辑电路不允许两个或两个以上输入信号（）。
A. 同时为0B. 同时为1C. 同时变化D. 同时出现三、计算、分析与设计题（每题10分，共40分）F A B C D M的最简或与式，并计1、用卡诺图化简法求逻辑函数(,,,)(2,4,5,10)算或非式、与或非式、与非与式。
2、图A-1（a）所示电路中的触发器为J-K触发器，其输入信号CP和D的波形如图A-1（b）所示。
首届国际研讨会会议议程
首届国际研讨会会议议程10月22日(周五)全天报到，地点：丰颐大酒店用餐：丰颐大酒店一楼自助餐厅10月23日(周六)一、开幕式1、时间：8：30—9：302、地点：武汉大学经济与管理学院学术报告厅3、主持人：王永海教授，武汉大学经济与管理学院副院长4、议程安排8：30—8：35，程前介绍，会议开始8：35—8：45，会议主席张维教授致开幕辞8：45—8：55，湖北省领导讲话8：55—9：05，武汉大学副校长黄泰岩教授讲话9：05—9：15，武汉大学经济与管理学院党委尤传明书记讲话9：15—9：25，华中科技大学教授张勇传院士致辞9：25—9：30，宣读贺信9：30—10：00，会议合影及茶歇二、会议主题学术报告1、时间：10：00—11：302、地点：武汉大学经济与管理学院学术报告厅3、主持人：张维教授，天津大学管理与经济学部主任，国家自然科学基金委员会管理学部原副主任，天津财经大学原副校长4、议程安排：10：00—10：30 北方交通大学教授徐寿波院士做学术报告10：30—11：00 法国鲁昂高等商学院副校长Stephen murdoch教授做学术报告11：00—11：30 武汉大学教授徐绪松做学术报告三、午宴1、时间：12：00—13：402、地点：武汉大学珞珈山庄二楼宴会厅四、专题讨论14：00—15：30 分组专题报告A1：复杂科学管理(A421) 主持人：王学军陈燕A2：社会系统复杂性(A321) 主持人：党兴华夏火松A3：经济系统复杂性(A511) 主持人：魏江陈业华A4：管理系统复杂性A(B338) 主持人：柳瑞禹刁兆峰A5：管理系统复杂性B(B430) 主持人：史本山李杰15：30—15：50 茶歇15：50—17：20 分组专题报告B1：复杂科学管理(A421) 主持人：王学军陈燕B2：社会系统复杂性(A321) 主持人：党兴华夏火松B3：经济系统复杂性(A511) 主持人：魏江陈业华B4：管理系统复杂性A(B338) 主持人：柳瑞禹刁兆峰B5：管理系统复杂性B(B430) 主持人：史本山李杰五、自助晚餐1、时间：18：00—19：302、地点：丰颐大酒店一楼自助餐厅10月24日(周日)六、专题汇报：1、主持人：王树良教授，武汉大学国际软件学院院长助理8：30—8：45 “复杂科学管理”专题组汇报8：45—9：00 “社会系统复杂性”专题组汇报9：00—9：15 “经济系统复杂性”专题组汇报9：15—9：30 “管理系统复杂性A”专题组汇报9：30—9：45 “管理系统复杂性B”专题组汇报9：45—10：00 茶歇七、会议主题学术报告1、时间：10：00—11：302、地点：武汉大学经济与管理学院学术报告厅3、主持人：牛东晓教授，华北电力大学管理学院院长4、议程安排：10：00—10：30 北京航空航天大学邱菀华教授做学术报告10：30—11：00 香港城市大学黎建强教授做学术报告11：00—11：30 加拿大多伦多大学吴德胜教授做学术报告八、会议总结暨会议闭幕式1、时间：11：30——12：002、地点：武汉大学经济与管理学院学术报告厅3、主持人：尤传明，武汉大学经济与管理学院党委书记4、议程安排：11：30—11：40，会议主席吴贵生教授总结发言11：40—11：50，武汉大学国际软件学院曾一昕书记致辞11：50—12：00，武汉大学经济与管理学院徐绪松教授致答谢词12：00，会议闭幕九、自助午餐1、时间：12：00——13：002、地点：丰颐大酒店一楼自助餐厅。
美国iCarnegie认证课程体系:软件学院教学体系的有利补充
美国iCarnegie认证课程体系：软件学院教学体系的有利补
充
李丹程;庞洪江
【期刊名称】《计算机教育》
【年(卷),期】2005(000)003
【摘要】@@ 历时16天的首期美国iCarnegie 认证课程教师培训活动顺利结束了,从2004年10月10日至10月26日,来自6所国家示范性软件学院的教师参加了引进美国iCarnegie公司SSD系列课程的培训,参加此次引进课程首期培训的软件学院分别是:西北工业大学软件学院、东北大学软件学院、武汉大学国际软件学院、南开大学软件学院、四川大学软件学院和湖南大学软件学院.
【总页数】2页(P69-70)
【作者】李丹程;庞洪江
【作者单位】东北大学;东北大学
【正文语种】中文
【相关文献】
1.应用型本科软件工程专业实践教学体系构建与实施--以广州大学华软软件学院为例 [J], 林平荣;张屹;薛建民
2.河南省软件学院实践教学体系调研与改革措施 [J], 高亮;车战斌;韩玉民;贾晓辉
3.基于共享模式的软件工程专业教学体系探究r——以中北大学软件学院软件工程专业为例 [J], 孔祥艳;宋文爱;李波
4.基于共享模式的软件工程专业教学体系探究——以中北大学软件学院软件工程专
业为例 [J], 孔祥艳;宋文爱;李波
5.一种有利于素质教育的教学体系──“导学式教学体系”简介 [J], 李敬尧
因版权原因，仅展示原文概要，查看原文内容请购买。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
武汉大学国际软件学院
课程论文
课程名称商务智能
专业年级2014级软件工程专业
姓名黄锁
学号2014302580118
学期2016-2017 学年上学期成绩任课教师签名
关于商务智能方面的简单情况介绍
摘要
商务智能，又名商业智能，是数据仓库技术、数据挖掘技术和在线联机分析处理技术（OLAP）在商业领域的综合应用。
近年来，随着商务智能理论和技术的不断发展，其应用越来越深入影响到日常生活的方方面面，人们对其的重视程度也与日俱增。
本文总结了其应用的发展现状，预测了其发展趋势，并分析和比较了当前主要商务智能厂商及产品的特点与优劣。
关键字：商务智能；发展现状；发展趋势；供应商比较
第1章引言
当今时代越来越被看作是一个信息时代，信息技术的迅猛发展为企业带来利用信息技术来提高自身竞争力的巨大空间：信息技术不但为企业提高所需要的信息，并且能够帮助企业对信息进行适当的分析处理再利用，从而提高企业的决策的正确率，为企业赢得更多的竞争优势。
商务智能的概念在1996年最早由加特纳集团（Gartner Group）提出，加特纳集团将商务智能定义为：商务智能描述了一系列的概念和方法，通过应用基于事实的支持系统来辅助商业决策的制定。
商务智能技术提供企业迅速分析数据的技术和方法，包括收集、管理和分析数据，将这些数据转化为有用的信息，然后分发到企业各处。
随着商务智能技术的日趋成熟，越来越多的企业开始采用商务智能来帮助企业进行决策和管理，在美国企业500强中，这样的企业早已超过90%。
近年来，商务智能的市场规模仍在日益扩大，且增速迅猛，商务智能已成为当今最重要的信息系统。
第2章发展现状
在传统实业领域，行业领导力量的转移是缓慢的，新的参与者很难和那些已经占据庞大市场并有着丰厚资源的巨头较量，但在科技领域，这一现象并不常见，随着科技的不断发展，掌握新技术的新的领导者不断涌现，而旧的领导者一旦无法紧跟时代的潮流就会迅速被市场和用户所抛弃，湮没在历史的潮流之中。
在商务智能领域亦是如此，虽然在大的方向上，这个领域依旧有着庞大的发展潜力，但行业领导权的转移似乎已经在悄然发生了。
就在即将过去的2016年，传统的商务智能厂商集体沦陷，全部被驱逐出了领导象限。
传统的巨头如IBM、SAP、SAS、Microstrategy 等无一幸免，Oracle甚至已经完全从这一领域淡出。
全球商务智能行业市场正发生着颠覆性的剧变。
概述来说，最近几年，全球商务智能市场经历了从“IT主导的报表模式”向“业务主导的自服务分析模式”转折的临界点。
最近发生的交易对象大多是现代的、以业务用户为中心的自服务数据分析平台，全新市场观念的形成，深刻地改变了全球数据分析市场的格局。
就我国商务智能行业的发展而言，亦面临着诸多不利条件，当前最为显著的不利现状即是：垂直行业信息化进程较慢，信息互通困难，即垂直行业内信息彼此孤立、不互通，信息化成本高、进程慢，犹以医疗、金融、交通行业表现最为明显。
其主要原因在于：现阶段我国的商务厂商尚不具备打通行业内数据信息资源的能力；其次，直接共享自身机构信息无疑会导致利益流失，是以各拥有大量信息的机构都对推动信息共享的行动缺少兴趣；最后，商务智能作为新兴高科技行业，其对专业人才的需求依旧无法得到满足，科技，尤其是与计算机、数据相关的，原理都很简单，是以人们都很容易理解其主要工作原理，但理解不意味着拥有将其灵活应用的能力。
我从来不用中国人，哪国人这类不确定的指向词，因为永远无法做到准确，在这里我只能说，我国存在着很多很想当然的人，总是把问题想得很简单，以为以自己所了解的一些皮毛就能做到所有的事，这样的人存在实在是很危险的事，唯一能期望的就是他们早些失败，这样他们才能早些醒过来，不会造成太严重的后果。
在商务智能领域亦是如此，这样的人在各行业中都存在着，表面的繁荣下，存在很多严重的，亟待解决的问题。
故而，尽管我国各地政商皆对商务智能等新兴领域抱有极大兴趣与发展欲望，但这些问题的存在无疑会对商务智能在我国的发展及深度应用造成不利影响，但事物皆有其两面性，这些不利条件是挑战又未尝不是机遇！。