物联网专业课程建设探讨

物联网专业是一个新兴的热门专业。文中根据物联网技术的体系结构与专业培养目标,讨论了物联网专业的课程体系与结构,并且针对不同的专业方向,给出了物联网专业相关课程设置的建议,以期对物联网专业的发展起到一定的促进作用。     

专业大类分流中填报信息管理与信息系统专业原因分析——以浙江农林大学为例

以浙江农林大学电子信息类专业学生为例,对专业分流前和专业分流后的学生进行问卷调查,对专业分流后学生选择信息管理与信息系统专业的原因以及专业分流前对专业选择意愿进行分析,了解学生选择该专业的确切理由,针对信息管理与信息系统专业在专业分流中存在的问题,提出相应意见和建议。     

示范性网络专业建设思路与实践

本文以首批国家示范性高职院校重点建设专业——深职院网络技术专业(简称网络专业)为平台,从专业建设的宏观专业方向把握、专业办学条件改善和微观教学过程组织三个方面入手,系统提出一个基于"校企战略合作平台"的专业建设完整解决方案,以便其他兄弟院校在实施专业建设时,能够借鉴和复制,从而为当前国内如火如荼的示范性高职院校专业建设贡献自己微薄的力量。     

适应产业发展需求的专业群动态设置机制研究

针对专业人才培养的滞后性问题,提出一种吻合产业发展的专业群的专业动态设置机制,以信息技术服务外包专业群为例,从界定人才培养规格、建设产业发展数据库、动态调整专业群的专业(方向)和课程、凝练专业特色等方面,探讨了动态设置专业,体现专业前瞻性、科学性、发展性的思路和方法。     

关于高校艺术设计专业学生艺术素养与创新能力培养问题的思考

我国艺术类专业在课程设置和艺术类专业的学生的创新思想和专业能力都有待提升,本文就是对我国艺术类专业的现实状况进行合理化分析,并且根据我国艺术类专业的发展需求进行合理化建议,从而希望能提高我国高校艺术类专业学生的自主创新思想和专业艺术素养,进一步符合我国社会对艺术类设计生的人才市场需求.     

基于毕业生就业跟踪调查的网络工程专业教学改革探索

为了改进网络工程专业教学方法,提高网络工程专业教学效果,加强网络工程专业课程建设,本文对网络工程专业建设展开了调查和探索。通过对西安工程大学网络工程专业2013—2017届毕业生工作经历的跟踪调查分析和网络工程专业就业市场的调查分析,明确网络工程专业方向的设置;通过分析网络工程专业毕业生应该掌握的专业知识及具备的专业技能,结合网络工程专业就业岗位需求,进一步整合优化网络工程专业的课程体系。     

计算机类一流专业建设中专业思政核心问题研究

指出专业思政是一流本科教育内涵的重要组成部分,并分析计算机类专业思政的核心问题.从专业思政是社会、专业、课程、学生需要的角度论证专业思政的必要性,指出专业思政的内涵是以专业为载体、以专业人才培养特点为基础、以专业能力素质要求为出发点,挖掘计算机类专业课程的思政元素,讨论计算机大类一流专业思政的落实要点并说明专业思政的实施路径.     

课程与教学研究

<正>专业课程既是形成专业结构和专业特色的基础,又是进行专业教学活动的依据和抓手。智能科学与技术本科专业建立以来,在全国各高校的共同探索下,课程体系正在逐步形成,由专业基础、专业核心、专业应用三个层次构成。     

对计算机专业学生专业认同感的几点思考

如今相当一部分计算机专业学生缺乏专业认同感或者专业认同感建立的过晚,导致缺乏学习热情,学习效果不佳.分析总结这种现状,并提出解决方案,帮助计算机专业的学生尽快建立专业认同感,培养良好的专业情怀,提高学习兴趣,力争使计算机专业学生在大学期间学有所成,也为将来的就业增加一份信心.     

网络与新媒体专业计算机教学改革探讨

论文通过阐述网络与新媒体专业的专业培养目标,分析了该专业学生所学专业的实际情况与计算机教学的现状,指出该专业计算机教学中出现的一些问题。结合该专业目前的计算机教学情况探讨几种解决办法和途径。     

基于Horn逻辑扩展模型的安全协议反例的自动构造

根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例.     

New Invariant Moments for Non-Uniformly Scaled Images

The usual regular moment functions are only invariant to image translation, rotation and uniform scaling. These moment invariants are not invariant when an image is scaled non-uniformly in the x- and y-axes directions. This paper addresses this problem by presenting a new technique to obtain moments that are invariant to non-uniform scaling. However, this technique produces a set of features that are only invariant to translation and uniform/non-uniform scaling. To obtain invariance to rotation, moments are calculated with respect to the x-y-axis of the image. To perform this, a neural network is used to estimate the angle of rotation from the x-y-axis and the image is unrotated to the x-y-axis. Consequently, we are able to obtain features that are invariant to translation, rotation and uniform/non-uniform scaling. The mathematical background behind the development and invariance of the new moments are presented. The results of experimental studies using English alphabets and Arabic numerals scaled uniformly/non-uniformly, rotated and translated are discussed to further verify the validity of the new moments.     

光纤光栅传感系统在打入桩中的埋设工艺试验研究

根据光纤Bragg光栅（FBG）传感系统应用于某工程混凝土管桩测试的现状,对该传感系统的抗击打性能进行了试验评价,发现法兰盘接头和附近的区域最易发生破坏,数据连接线也易损坏,而FBG传感器最不易破坏。根据以上试验结果,提出了相应的减振措施,采用粘扣、塑料管、麻绳等手段进行保护,并通过试验验证了此种保护措施的减振效果。     

3D human face description: landmarks measures and geometrical features

Distance measures and geometrical features are widely used to describe faces. Generally, they are extracted punctually from landmarks, namely anthropometric reference points. The aims are various, such as face recognition, facial expression recognition, face detection, study of changes in facial morphology due to growth, or dysmorphologies. Most of the time, landmarks were extracted with the help of an algorithm or manually located on the faces. Then, measures are computed or geometrical features are extracted to perform the scope of the study. This paper is intended as a survey collecting and explaining all these features, in order to provide a structured user database of the potential parameters and their characteristics. Firstly, facial soft-tissue landmarks are defined and contextualized; then the various measures are introduced and some results are given; lastly, the most important measures are compared to identify the best one for face recognition applications.     

软件间歇性缺陷处理的研究

由于软件错误出现的随机性,软件产品的缺陷是不可完全避免的,较好地处理软件缺陷是提高软件产品质量的关键.为了尽可能多地发现软件中存在的错误,提高软件质量,文章讨论了软件中较难被发现的间歇性缺陷,即并不是在软件的每次运行中都会出现的缺陷,介绍了软件中可能存在的一些较为常见的间歇性缺陷,分析了引起这些缺陷的原因,给出了处理间歇性缺陷的启发式规则,并就如何对这类缺陷写缺陷报告给出了一些建议.     

Comparison of thinning algorithms on a parallel processor

A number of parallel algorithms for thinning elongated shapes are contrasted and compared on a Clip 4 parallel processor. These algorithms all work in rectangular tessellation and they thin elongated objects to lines one pixel thick while retaining their connectivity. Existing algorithms for use on binary pictures are considered first and new algorithms are proposed which produce more satisfactory results, but are more expensive in terms of speed and space requirements. Two methods of extending these algorithms to grey pictures are then considered. In one method, binary algorithms are used but are directed by the grey pixels; in the other the binary algorithms are generalized to the grey case. Both methods result in arcs which are not wholly determined by the original boundary of the object but lie along darker ridges. The former is faster and produces results which are easier to interpret, but the results from the latter contain more information.     

基于图像的实时漫游

提出了一个点和多边形模型混合的场景表达方式,从而实现了对复杂场景的视点不受限制的实时漫游.它从多幅带深度的参考图像出发,在预处理阶段区别对待场景中平面物体和曲面物体在参考图像中的对应像素.对于在参考图像所占区域较大的空间平面,用传统的多边形模型方式对其进行表达,试图恢复出其平面方程,然后通过采样密度比较和重采样过程,将该空间平面在所有参考图像中的出现合并成一个均匀采样的纹理图像;而对于空间曲面或在参考图像中所占面积较小的平面,使用点的形式对其进行表达,通过采样密度的比较去掉冗余的点,将保留下来的点按其空间位置进行聚类.同时,对于场景中那些不被所有参考图像所拍摄到而在漫游过程中可能形成空洞的部分,提出一个空洞预填补技术,在预处理阶段即对这类空洞进行填补,从而大大减少了漫游阶段出现空洞的几率.在漫游阶段则使用纹理映射和点Warping的方式进行绘制,以充分利用图形硬件的加速功能.     

一种应用于中文文本聚类的适应值函数

文本聚类中的文本对象一般都是高维的,类的大小、密度各不相同,给聚类带来了很大难度.目前国内针对这些问题而提出的应用于遗传算法的适应值函数却很少,国外的通用目标函数比较复杂,而且在文本聚类上的效果一般.针对文本对象的特征提出了一种应用于遗传算法的适应值函数,它具有结构简单、易于计算、适用于高维对象的特点,并且能够帮助遗传算法更好避免陷入局部最优,达到比较准确地描述聚类结果的目的.通过实验与CS Meas-ure相比,聚类结果更优.     

Knowledge-support systems

The social role of information technology is analysed in order to provide a framework for reasonable requirements for knowledge support systems. The many different scientific and engineering communities targeted on the development of specific knowledge support technologies are noted, and the problems of integrating developments from different communities are highlighted. The architectures of current integrated knowledge support systems are analysed within the social framework and the strengths and weaknesses of current modules are evaluated. Major system developments in recent years are used to exemplify the analysis, and expected directions for future development are outlined. The framework, analyses and examples are used to define a structured requirements specification for future research and development related to knowledge support systems.     

石英谐振器的电路设计与力-频特性的研究

根据共模抑制原理,基于一种单基多电极石英晶体谐振器的结构,设计了一种新型的信号处理电路,这种电路将同一晶体基片上不同位置的谐振器对应的谐振频率作混频处理,然后采用差频、求和,最后倍频输出的方式输出,描述了各部分电路的设计.在分析石英谐振器的能限理论及力一频特性的基础上,用此方案设计的电路进行AT切同基三电极石英谐振器的力一频特性实验,记录了不同加力方式下的力一频特性,结果显示这种电路优化了力一频系数,线性度良好.在一定的加力方式下,经求和电路处理后的力一频系数可达139.72 Hz/N.