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

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

RHIC能区π介子分布特征研究

利用相对论纵向非均匀集体膨胀流模型讨论RHIC能区的π介子分布,发现用此模型无法拟合π介子分布.作为改进,分别引入射弹和靶碎裂区的发射源,将π介子分布看成为射弹发射源、靶发射源和中心集体流3者贡献之和,以此理论得到的π介子分布与实验结果能较好地符合.     

三维光数据存储的分析与计算

三维多层光折射数字存储是一种新型的高密存储技术,对于克服目前的光存储系统的容量限制具有很大的潜力。文章用埃瓦得球结构分析了此种存储方法的横向与纵向带宽,从而在空域内计算了存储的密度。存储容量可以达到1Tb/cm3,用于光通信系统中是可行的;根据该存储系统在更深层聚焦时产生的球差,提出了一种全息校正装置。     

聚烯烃成核剂应用技术进展

从聚烯烃树脂的结晶理论出发,系统介绍了成核剂的功能与分类,并在此基础上分析和比较了不同类型成核剂对聚烯烃加工和应用性能的影响,提出了成核剂应用中几个值得注意的问题。     

虚拟华师校园三维模型的构建

介绍了构造三维模型相关的技术,包括模型制作技术、实例技术、外部引用技术、LOD技术和图像处理技术.以虚拟华师校园为例,详述了场景建模的过程,内容包括:资料的准备、在Creator建模平台中创建三维模型和进行模型的集成.并以建筑物的建模过程详细介绍了模型的构建步骤.     

来自自然界的可再生能源-生物质乙醇重整制氢

在镧系金属氧化物载镍催化剂上通过催化重整乙醇和乙醇水溶液可以直接转化为H2，H2的选择性达到60％，乙醇的转化率达到100％。优化催化剂及降低重整反应的温度以使水汽转化反应同时发生来降低产物气中CO的含量。该过程对于生产小型燃料电池的低成本燃料H2，以及便携燃料电池系统需要液态燃料存储的应用具有巨大的潜在价值。     

建设学习型党员干部队伍 切实加强思想政治建设和能力建设

本文从建设学习型党员干部队伍的重要性与紧迫性出发,探讨了目前干部队伍建设中存在的主要问题,提出了建设学习型党员干部队伍的若干举措和建议。     

工业设计专业立体构成教学改革

立体构成是工业设计的基础。针对工业设计专业的特点和立体构成课程的性质,在立体构成课程教学方法上提出了重点培养学生的综合立体构成思维、训练学生进行立体形态功能性设计、鼓励学生挖掘材料、组合材料、培养学生创设主题鲜明的作品等改革,对培养学生的立体造型能力有着重要的意义,为工业设计专业学生学好专业课奠定了坚实的基础。     

从日本科技发展看我省工业技术改造

<正> 一九八六年秋,我受中国科学器材公司委托,带领一个组对日本(十三个企业研究所)进行了为期十五夭的贸易技术考察,从科技发展方面看,我省工业技术改造确有可借鉴之处。(一)日本是亚洲科学技术领域颇有代表性的国家,由于它抓住了十九世纪末,资本主义发展初期以及第二次世界大战朝鲜战争,越南战争的机会,在过去三十年里经济获得了高速发展,成为世界技术和经济大国。当前,     

矿物加工专业《计算机应用基础》开放式教学的探索

为了适应培养创新人才的需要，对以封闭教学为特点的传统教学模式的改革势在必行。根据“计算机应用基础”课程的特点，在教学过程中充分应用开放式教学能起到很好的教学效果。本文从开放式教学环境、开放式教学方法两个方面阐述了笔者在教学实践过程中对开放式教学模式的探索。