基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

差压传感器的非线性对空气相对压力系数的影响研究

差压传感器测空气相对压力系数是大学物理实验中唯一一个热学实验。通过对空气相对压力系数的验证,可以让学生加深对气体状态方程的理解,同时学习差压传感器的工作原理及测量方法。抽取真空时,传感器会出现满量程或超出量程的情况,使显示出的电压值与实际气压值之间的关系呈现非线性,导致换算出的气压值与真实值存在偏差,从而给测定出的空气相对压力系数带来误差。通过大量实验,测定了非线性给实验带来的系统误差,同时推导出补偿公式,对测得的空气相对压力系数进行了修正。     

浅探变电站母线电量不平衡率对电能计量的影响

"变电站母线电量不平衡计算办法"是杜绝电量抄录错误、电度表损坏、二次回路异常等电量差错的重要手段,实际工作中变电站母线电量不平衡计算的主要目的是为了监督表计读数的准确性和人员抄表的准确性,应正确利用母线电量不平衡率来判断表计读数的正确性,但不能盲目追求母线电量不平衡率的合格。     

不等长综采工作面对接技术研究

通过对不等长综采工作面对接技术的研究,总结出了切实可行的综采工作面对接技术,应用此技术可加快工作面对接效率,提高资源的回收率和工时利用率,促进矿井高产高效建设。     

备自投装置不正确动作原因分析及防范措施

结合实际情况,分析了备用电源自投装置的应用现状,并针对备用电源自投装置在现场应用中遇到的问题,进行了不正确原因分析,并提出了相应的防范措施.     

论《洛丽塔》中的不可靠叙述

《洛丽塔》是俄籍美国作家弗拉基米尔·纳博科夫最为著名的小说之一，因以一个中年男人对一位少女的畸恋为主题而饱受世人争议。但长期以来对《洛丽塔》文本的解读多着眼于道德层面，很少从叙事的角度进行分析。本文借助费伦的不可靠叙事理论，分别从引子和正文两个部分分析《洛丽塔》中的不可靠叙述并探析了其中隐舍作者的构建。揭示出作为人物的“我”——亨伯特的叙述虽看似合理但却是在用不可靠叙述来迷惑、考验读者，使亨伯特在美化自己的同时又戏剧化地暴露自己，从而完成蕴含其中的道德评价。     

《诗经》中的夫妻伦理关系研究

《诗经》不仅仅是一部诗歌总集,它还蕴含了丰富的伦理思想,为系统的儒家伦理思想体系的形成提供了基础。《诗经》中有许多篇章显示出了周代社会里人与人之间应当遵循的伦理道德规范。本文主要探讨周代社会的夫妻伦理关系。     

试论翻译目的与“伪对应”——对一篇翻译策略研究文章的译学思考

不同语言之间必然存在着不对应性，翻译的目的不是为了对应。无论采用何种翻译策略，语言晦涩、佶屈聱牙的译文都绝对乏善可陈。译语的可读性永远是检验翻译质量和翻译价值的首要原则。任何情况下都不应该提倡使用“欧化汉语”和“中国式英语”。     

高校图书馆如何搜集和利用“灰色文献”刍议

“灰色文献”指的是一种不公开出版、正常渠道难以获取的、有一定使用价值的文献。它具有出版流通的行业性、出版形式不规范性、出版无规律性以及时效性强等特点。它一般是通过建立交换网络、订购、征集或复制等渠道而获得。高校在“灰色文献”管理、利用中存在着收集不完整、收集渠道不固定、书目检索不易等问题。因此，通过健全管理体系、建立校内“呈缴”制、建立“灰色文献”数据库并加强对其的甄别和宣传来提高“灰色文献”的利用率。     

我国刑事侦查公开浅论

自二战以来，尤其是近十几年来，世界各国弄事侦查程序的公开程度越来越高，已成为刑诉讼改革发展的主流和趋势，中国刑事诉讼法法修正前后，侦查公开也引起了我国法学界和司法界的广泛关注，从而成为我国刑事诉讼法的前沿问题之一。笔者认为，就现行法规定而言，中国既未采用侦查公开的原则，也未固守侦查秘密原则，而只是借鉴了英美法系的某些侦查制度，侦查公开制度有利有弊，对于今后一定时期而言，应当确立 查相对公开制度，不宜全面实行侦查公开。