资源描述
“耶……”随着一阵欢呼声及掌声,我们的指挥走上舞台,领下“红歌比赛一等奖”的奖状。 你可别以为这只是一个偶然的画面,要知道,这次的成功可是用我们的汗水所换来的。 早在两个月以前,我们就接到了要举办“红歌比赛”的通知。本来时间还早,其他班对此还不大重视,可我们班的班主任似乎一刻也不能等,不仅给我们排好了班歌,还让我们在每天早晨、下午练歌,让我们做着充足的准备迎接挑战。有一次,我们班主任还特的请来了一位音乐老师来指导我们,特别准备了两节课来练歌。当然,我们也不负众望,练得十分认真:有的脸涨红了;有的嗓子练哑了;有的甚至还在这严寒之际,唱出了汗水,渗透了衣裳。离红歌比赛还有一两周了。我们班主任又给我们编了队形,还给我们制出了道具:整个道具呈圆形,飞盘状,一面是咱们班“北山雄鹰”的班徽,一面是代表咱们六班每一棵“小树苗”的绿叶。你可别小看它,它不仅是我们比赛的制胜“法宝”,而且,为了给我们班69名同学每人一个,我们班的几位同学硬是忍冻挨饿,直至晚上十点半左右,才完成了那69个道具。
还有几天就要比赛了,同学们抓的更紧了。在一次训练时,一个调皮的同学问道:“老师,你说我们会拿一等奖吗?”这句话打破了紧张的练习,大家都把目光投向班主任那儿。班主任笑着说:“当然啦!我们付出了这么多,如果连我们也拿不到第一,那恐怕就没有人敢去夺第一了。”班主任的一番话有使我们信心大增,再次点燃了我们心中的斗志,想着比赛做着最后的冲刺。
比赛当天,我们班除了领唱和指挥,其余人员全部穿着统一色的校服,配上鲜艳的红领巾,再加上耀眼的班徽,给人一种“不拿第一,誓不罢休”的感觉。比赛时,我们忘却了练习时的辛苦,忘掉了站在舞台上的紧张,只是注视着指挥的每一个手势、每一个动作,满怀激情地唱出那嘹亮的歌声,完全沉浸在这优美的旋律里。知道主持人说出:“红歌比赛一等奖的获得者是——初20××级6班!”便出现了开头的那一幕。
成功的花,人们只惊慕她现时的明艳!然而当初她的芽儿,渗透了奋斗的泪泉,洒遍了牺牲的血雨。
1把以下合适公式化简为合取范式的子句集:
(1)Ø (" x)($ y)($ z){P(x) Þ (" x)[Q(x, y) Þ R(z)]}
(2) ( " x)( $ y){{P(x) Ù [Q(x) Ú R(y)]} Þ (" y)[P(f(y)) Þ Q(g(x))]}
(3) ("x)( $y){P(x) Ù [Q(x)Ú R(y)]}Þ (" y){[P(f(y))Þ Q(g(y))]Þ (" x)R(x)}
(1) · Ø("x)( $y)( $z){P(x) Þ ("x)[Q(x,y) Þ R(z)]}
· Ø("x)( $y)( $z){ ØP(x) Ú ( "x)[ØQ(x,y) Ú R(z)]}
· ($x)( "y)( "z){ P(x) Ù ($ x)[Q(x,y) Ù ØR(z)]}
· P(A) Ù [Q(f(y,z), y) Ù ØR(z)]
· {P(A), Q(f(y,z),y), Ù ØR(w)}
(2) · ("x)($y){{P(x) Ù [Q(x) Ú R(y)]} Þ ("y)[P(f(y)) Þ Q(g(x))]}
· ("x)($y){Ø{P(x) Ù [Q(x) Ú R(y)]} Ú("y)[ØP(f(y)) Ú Q(g(x))]}
· ("x)($y){ØP(x) Ú [ØQ(x) Ù ØR(y)] Ú
("w)[ØP(f(w)) Ú Q(g(x))]}
· ("x){ØP(x) Ú [ØQ(x) Ù ØR(h(x))] Ú
("w)[ØP(f(w)) Ú Q(g(x))]}
· [ØP(x) Ú ØQ(x) Ú ØP(f(w)) Ú Q(g(x))] Ù
[ØP(x) Ú ØR(h(x)) Ú ØP(f(w)) Ú Q(g(x))]
· {ØP(x1) Ú ØQ(x1) Ú ØP(f(w1) Ú Q(g(x1)),
ØP(x2) Ú ØR(h(w2)) Ú ØP(f(w2)) Ú Q(g(x2))}
(3) · ("x)($y){P(x) Ù [Q(x) Ú R(y)]} Þ
("y){[P(f(y)) Þ Q(g(y))]Þ("x)R(x)}
· Ø("x)($y){P(x) Ù [Q(x) Ú R(y)]} Ú
( "y){Ø[ØP(f(y)) Ú Q(g(y))] Ú ("x)R(x)}
· ($x)("y){ ØP(x) Ú [ØQ(x) Ù ØR(y)]} Ú
("w){Ø[ØP(f(w)) Ú Q(g(w))] Ú ("v)R(v)}
· {ØP(A) Ú[ØQ(A) Ù ØR(y)]} Ú
{[P(f(w)) Ù ØQ(g(w))] Ú R(v)}
· ØP(A) Ú {[ØQ(A) Ú P(f(w))] Ù [ØQ(A) Ú ØQ(g(w))] Ù
[ØR(y) Ú P(f(w))] Ù [ØR(y) Ú ØQ(g(w))]} Ú R(v)
· {ØP(A) Ú ØQ(A) Ú P(f(w1)) Ú R(v1),
ØP(A) Ú ØQ(A) Ú Q(g(w2)) Ú R(v2),
ØP(A) Ú ØR(y3) Ú P(f(w3)) Ú R(v3),
ØP(A) Ú ØR(y4) Ú Q(g(w4)) Ú R v4)}
2假设已知下列事实:
1) 小李(Li)喜欢容易的(Easy)课程(Course)。
2) 小李不喜欢难的(Difficult)课程。
3) 工程类(Eng)课程都是难的。
4) 物理类(Phy)课程都是容易的。
5) 小吴(Wu)喜欢所有小李不喜欢的课程。
6) Phy200是物理类课程。
7) Eng300是工程类课程。
请用归结反演法回答下列问题:
1) 小李喜欢什么课程?
2) 证明小吴喜欢Eng300课程
将已知事实形式化表示为合适公式:
(1) ("x)[Course(x) Ù Easy(x) Þ Like(Li,x)];
(2) ("x)[Course(x) Ù ØEasy(x) Þ ØLike(Li,x)];
(3) ("x)[Course(x) Ù Eng(x) Þ ØEasy(x)];
(4) ("x)[Course(x) Ù Phg(x) Þ Easy(x)];
(5) ("x)[Course(x) Ù ØLike(x) Þ Like(Wu,x)];
(6) Course(Phy200) Ù Phy(Phy200);
(7) Course(Eng300) Ù Eng(Eng300);
· 问题表示为以下合适公式(目标公式):
(1)( $x)[Coure(x) Ù Like(Li,x)];
(2)Like(Wu),Eng300);
· 将所有事实和对应于问题的目标公式取反加以化简,并标准化为合取范式子句集:
(1) ØCourse(x1) Ú ØEasy(x1) Ú Like(Li,x1);
(2) ØCourse(x2) Ú Easy(x2) Ú ØLike(Li,x2);
(3) ØCourse(x3) Ú ØEny(x) Ú ØEasy(x3);
(4) ØCourse(x4) Ú ØPhy(x4) Ú Easy(x4);
(5) ØCourse(x5) Ú Like(Li,x5) Ú Like(Wu,x5);
(6) Course(Phy200);
(7) Phy(Phy200);
(8) Course(Eng300);
(9) Eng(Eng300);
(10) 目标公式(1)的取反: (1) ØCourse(x6) Ú ØLike(Li,x6);
(11) 目标公式(2)的取反: (1) ØLike(Wu,Eng300);
· 解决问题(1)
令(10)的取反为:Ask(x6)=Course(x6) Ù Like(Li,x6)
提取的问题回答为: Course(Phy200) ÙLike(Li,Phy200)
即小李喜欢Phy200课程.
· 解决问题(2)
3.对于规则P Þ Q,已知p(Q)=0.04,LS=100,LN=0.4,利用主观Bayes方法求出P(Q/P)和p(Q/ØP):
O(θ/P)=LS*O(θ)=100*0.04/(1-0.04)=4.2
P(θ/P)=O(θ/P))/(1+O(θ/P))=4.2/5.2=0.81
O(θ/¬P)=LN*O(θ)=0.4*0.04/(1-0.04)=0.017
P(θ/¬P)=O(θ/¬P)/(1+O(θ/¬P))=0.017/1.017=0.017
4.在上题中,若P自身的确定性依赖P’,且有p(P)=0.05,规则P’ Þ P的LS=120,LN=0.3,用观Bayes方法求出P(θ/P')。
(1).求P(P/P')
O(P/P')=LS*O(P)=120*0.05/(1-0.05)=6.4
P(P/P')=O(P/P')/(1+O(P/P'))=6.4/7.4=0.87
(2).求P(θ/P')
因为P(P/P')=0.87> p(P),根据
P(θ/P')=0.04+(0.81-0.04)*(0.87-0.05)/(1-0.05)=0.04+0.66=0.70
5. 在MYCIN中,设有如下规则:
R1: IF E1 THEN H (0.8)
R2: IF E2 THEN H (0.6)
R3: IF E3 THEN H (-0.5)
R4: IF E4 AND (E5 OR E6) THEN E1 (0.7)
R5: IF E7 AND E8 THEN E3 (0.9)
在系统运行中已从用户处得CF(E2)=0.8, CF(E4)=0.5, CF(E5)=0.6, CF(E6)=0.7, CF(E7)=0.6, CF(E8)=0.9, 求H的综合可信度CF(H)。
解 (1)求证据E4,E5,E6逻辑组合的可信度
(2)根据规则R4,求CF(E1)
(3)求证据E7,E8逻辑组合的可信度
(4)根据规则R5, 求CF(E3)
(5)根据规则R1, 求CF1(H)
(6)根据规则R2, 求CF2(H)
(7)根据规则R3, 求CF3(H)
(8)组合由独立证据导出的假设H的可信度CF1(H),CF2(H)和CF3(H),得到H的综合可信度:
6.设学生考试成绩的论域为{A,B,C,D,E},小王成绩得A、得B、得A或B的基本概率分别分配到0.2、0.1、0.3,Bel({C, D, E})为0.2;请给出Bel({A, B})、Pl({A, B})和f({A, B})。
答:Bel({A, B}) = m({A}) + m({B}) + m({A, B}) = 0.2 + 0.1 + 0.3 = 0.6
Pl({A, B})= 1 - Bel({C, D, E}) = 1 - 0.2 = 0.8
f({A, B}) = Bel({A, B}) + |{A, B}| / |U| · [Pl({A, B}) -Bel({A, B})] = 0.6 + 2/5 ·(0.8 - 0.6) =0.6 + 0.08 = 0.68
下午13:00—17:00
度。全体员工都必须自觉遵守工作时间,实行不定时工作制的员工不必打卡。
3.1.2.2打卡次数:一日两次,即早上上班打卡一次,下午下班打卡一次。
3.1.2.3打卡时间:打卡时间为上班到岗时间和下班离岗时间;
3.1.2.4因公外出不能打卡:因公外出不能打卡应填写《外勤登记表》,注明外出日期、事由、外勤起止时间。因公外出需事先申请,如因特殊情况不能事先申请,应在事毕到岗当日完成申请、审批手续,否则按旷工处理。因停电、卡钟(工卡)故障未打卡的员工,上班前、下班后要及时到部门考勤员处填写《未打卡补签申请表》,由直接主管签字证明当日的出勤状况,报部门经理、人力资源部批准后,月底由部门考勤员据此上报考勤。上述情况考勤由各部门或分公司和项目文员协助人力资源部进行管理。
3.1.2.5手工考勤制度
3.1.2.6手工考勤制申请:由于工作性质,员工无法正常打卡(如外围人员、出差),可由各部门提出人员名单,经主管副总批准后,报人力资源部审批备案。
3.1.2.7参与手工考勤的员工,需由其主管部门的部门考勤员(文员)或部门指定人员进行考勤管理,并于每月26日前向人力资源部递交考勤报表。
3.1.2.8参与手工考勤的员工如有请假情况发生,应遵守相关请、休假制度,如实填报相关表单。
3.1.2.9 外派员工在外派工作期间的考勤,需在外派公司打卡记录;如遇中途出差,持出差证明,出差期间的考勤在出差地所在公司打卡记录;
3.2加班管理
3.2.1定义
加班是指员工在节假日或公司规定的休息日仍照常工作的情况。
A.现场管理人员和劳务人员的加班应严格控制,各部门应按月工时标准,合理安排工作班次。部门经理要严格审批员工排班表,保证员工有效工时达到要求。凡是达到月工时标准的,应扣减员工本人的存休或工资;对超出月工时标准的,应说明理由,报主管副总和人力资源部审批。
B.因员工月薪工资中的补贴已包括延时工作补贴,所以延时工作在4小时(不含)以下的,不再另计加班工资。因工作需要,一般员工延时工作4小时至8小时可申报加班半天,超过8小时可申报加班1天。对主管(含)以上管理人员,一般情况下延时工作不计加班,因特殊情况经总经理以上领导批准的延时工作,可按以上标准计加班。
3.2.2.2员工加班应提前申请,事先填写《加班申请表》,因无法确定加班工时的,应在本次加班完成后3个工作日内补填《加班申请表》。《加班申请表》经部门经理同意,主管副总经理审核报总经理批准后有效。《加班申请表》必须事前当月内上报有效,如遇特殊情况,也必须在一周内上报至总经理批准。如未履行上述程序,视为乙方自愿加班。
3.2.2.3员工加班,也应按规定打卡,没有打卡记录的加班,公司不予承认;有打卡记录但无公司总经理批准的加班,公司不予承认加班。
3.2.2.4原则上,参加公司组织的各种培训、集体活动不计加班。
3.2.2.5加班工资的补偿:员工在排班休息日的加班,可以以倒休形式安排补休。原则上,员工加班以倒休形式补休的,公司将根据工作需要统一安排在春节前后补休。加班可按1:1的比例冲抵病、事假。
3.2.3加班的申请、审批、确认流程
3.2.3.1《加班申请表》在各部门文员处领取,加班统计周期为上月26日至本月25日。
3.2.3.2员工加班也要按规定打卡,没有打卡记录的加班,公司不予承认。各部门的考勤员(文员)负责《加班申请表》的保管及加班申报。员工加班应提前申请,事先填写《加班申请表》加班前到部门考勤员(文员)处领取《加班申请表》,《加班申请表》经项目管理中心或部门经理同意,主管副总审核,总经理签字批准后有效。填写并履行完审批手续后交由部门考勤员(文员)保管。
3.2.3.3部门考勤员(文员)负责检查、复核确认考勤记录的真实有效性并在每月27日汇总交人力资源部,逾期未交的加班记录公司不予承认。
.
在公园广场歌房舞厅
中老年人身影充斥市井
高歌一曲声音婉转
曼妙舞姿曲线优美
/
健身运动的杠杆蹦跳
跑步快走经历霜雪风雨
还有坐下的荧屏聊天
走走停停掠看四季风景
/
孙儿孙女浇濯天伦之乐音符
老人们个个累并快乐着
嬉戏打闹仿佛回归童年
自己曾经也是戏谑调皮
/
菜市场是他们每日首选
讨价还价在精挑细选中沉沦
熬煮起菜肴的生活旷味
有滋有味在咀嚼暂停
/
旅游休闲焕发青春活力
胜地游览仿如过江之鲫
展开阅读全文