摘要：回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯。该文在考察VisualProlog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理。

摘要：针对目前面向对象程序设计课程中存在的教学语言复杂影响教学效果问题,研究了基于Python语言的面向对象程序设计课程教学。在详细分析问题的基础上,结合Python语言的特点,重点从教学内容的选择、教学过程与方法两个方面进行了设计与探讨,阐述了教学内容的具体划分,提出了"理论教学融于实践,实践贯穿教学全过程"的教学过程设计,提出了实时动态代码操作演示的教学方法,给出了目前教学实践中存在的问题。这些内容在该课程的教学过程中已得到一定程度的试验,效果良好。

摘要：蓝牙是一种新的无线通信技术,它主要面向小范围内设备的无线连接,其安全性一直受到人们的关注。主要分析了蓝牙技术的安全机制,指出蓝牙技术目前的一些安全弱点并给出一个解决用户鉴权问题的算法。

摘要：阐述了指挥自动化通信协议翻译软件的软件自动生成原理和实现方法,这是软件自动化在指挥自动化中的一个典型应用。该应用中采用了软件自动化的过程实现方法,定义了一种扩展标记语言,通过对扩展标记语言的语法分析,最后生成了跨平台跨语言的一组协议翻译程序,满足了指挥自动化系统中通信子系统对多协议翻译的要求,并且高效,高质量,易修改和易维护。

摘要：Hopfield神经网络是迄今得到最广泛应用的神经网络模型之一,而这些应用极大地依赖于神经网络的动态特性。对于对称Hopfield网络,已有很多成熟的判定其稳定性的方法。对非对称Hopfield神经网络,提出了一种有效的方法来研究这种网络的全局稳定性,并且给出了其稳定性条件。应用所提供的方法很容易对非对称Hop-field神经网络的局部稳定性进行分析。

摘要：针对沿河傍山公路、陡峭山腰公路等交通咽喉路段容易发生高边坡灾害,造成交通堵塞,且妨碍救灾的情况,考虑到场地条件、施工难度、行人安全和工程结构的可靠性、便利性及防排水等因素,以龙胜至资源公路高边坡路段灾后复建工程为依托工程,选用了拱形棚洞结构方案,以防治高边坡灾害.采用有限元软件,对不同工况下的拱形棚洞结构受力情况进行了验算.计算结果显示:棚洞各构件的受力均在安全范围内;对受力较大构件进行优化设计,提高了结构承载能力和安全系数;在运营阶段经历滑坡以及落石等高边坡灾害后,拱形棚洞结构未发现明显病害,且该路段交通未受影响.

摘要：介绍了TI公司的DSP芯片TMS320C6414,提出对其进行外存储器扩展以满足系统对大容量存储的要求。介绍了E28F128J3A-150存储器的引脚,给出了DSP和存储器具体的接口设计方法。

摘要：高水平人才队伍是构建地勘单位核心竞争力的需要,地勘单位要想高质量发展,必须重视人才的合理运用。当前中小型地勘单位人才队伍建设主要问题有:缺乏科研鼓励机制和人才培养平台,人才定位、使用不合理,考核、评优制度存在弊端等。建议:(1)重视培育科研人才的使命感和责任感;(2)用好现有人才;(3)细化激励措施,优化考核机制;(4)营造重视技术质量和成果转化的企业文化氛围。

摘要：对专业课程进行细致周全的教学设计引入思政元素,已成高校落实立德树人的重要途径。本文从课前自学、课堂教学、课后研学三个方面介绍了高职《精细有机合成技术》第一章绪论融入思政元素的课程设计和实践。实践表明专业课程同样有很多思政元素可以挖掘,并起到很好的协同育人效果,注重思政元素的隐性原则,真正做到润物无声。

摘要：目的:对昆山市卫生监督人员学历水平和专业变动情况进行调查分析,了解昆山市卫生监督人员接受在职教育情况。方法:设计卫生监督机构人员调查表,对昆山市卫生监督机构所有从业人员的专业和学历情况进行调查。结果:昆山市卫生监督人员从进入机构到2012年期间,通过在职教育,大专以上学历水平所占比例从82.52%提升至93.70%,本科以上学历水平所占比例从54.55%增加至75.52%;拥有3个专业学历的人员占50.35%,具有2个专业学历的占41.96%;发生专业变动的人员占34.97%。结论:通过在职教育,卫生监督人员整体学历水平得到明显提升。