基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

禅解赤壁——从赤壁词赋中看苏轼的禅宗思想

＂乌台诗案＂后,仕途上一帆风顺的苏轼被贬黄州。精神的困顿,生活的贫穷,心灵的抑郁,使他转向了宗教,渴求在禅宗里安顿心灵,寻找人生的意义和价值。苏轼接受禅宗的＂明心见性＂,＂不立文字,见性成佛＂,＂五蕴皆空＂,＂心无所住＂,＂人生如梦＂等义理,并将它们与儒道两家融合一体,＂浩然不见其涯也＂。在黄州,在赤壁,苏轼用他的如椽之笔写下三篇赤壁词赋,深刻体现了他对禅宗的认知和体悟。     

阀控式密封铅酸蓄电池的使用维护探讨

本文探讨了阀控式密封铅酸蓄电池在日常使用管理中应该特别注意的事项。     

英语口语教学中教师角色的缺失及其对策探讨

教师为教学的主导,学生是教学的主体,教师在教学过程中主导作用的发挥直接关系着教学质量的高低,而在当今的英语口语教学中仍存在着一些问题,本文将对这些问题进行研究和探讨,并寻找出相应的对策。     

任务驱动教学法在高职计算机基础教学中的应用

近年来,全国各高校深入开展计算机基础教育改革的探索和研究,高职院校从事计算机基础教学的教师接受了一些先进教育理念熏陶,但在具体的教学实践中还没有很好地将这些先进理念落实下去。本文提出在计算机基础教学中应用任务驱动教学法并对其实践方式进行了一定的探讨。     

关于当代美术创作若干问题的思考

从上世纪90年代西方后现代主义文明冲击中国至今,中国的艺术界好似一夜之间"千树万树梨花开",各种思潮纷繁出现,各种表现手法层出不穷,一度的迷茫徘徊以及大量的探索后,人们开始进入反思阶段:我们这个时代的艺术家应该处在怎样的创作状态,而我们这个时代的艺术又要向何处发展?     

日粮中添加尿素绵羊瘤胃内的变化

用三只事先装有永久性人工瘤胃癌管的中国美利奴新疆军垦型羊,在其日粮中添加尿素,观察瘤胃的变化。结果表明,日粮中加入尿素后,瘤胃内PH值、NH3—N水平、TCA—P量纤毛虫数均有明显的升高;内毛虫、全毛目纤毛虫数上升;VFA量下降。推理,日粮中的非蛋白氮主要是促进瘤胃内生物蛋白的合成,加速了纤毛虫的生长,繁殖,这就为宿主的生长、发育和生产提供了大量优质的动物蛋白。因此,适量补饲尿素对绵羊的营养需要具有一定的重要作用。     

我国水工预应力结构概况及开发前景

本文着重于在水电工程中采用预应力技术兴建、加强不同结构型式水工建筑物及岩体锚固实例剖析 ,并根据建筑结构、预应力结构发展近况 ,探讨水工预应力结构发展潜力及前景     

基于综合评价模型的国际贸易经济效益评估

运用综合评价模型来对国际贸易的经济效益进行研究,从结构服务经济化、载体知识化、信息比较优势化、贸易成本以及贸易方式等角度构建国际贸易经济效益评估指标体系,并对我国国际贸易的经济效益作实证研究。研究结果表明,我国国际贸易的经济效益介于"中等"和"良"之间,表现较为理想,但仍然有较大的进步空间。