On Nirenberg-type conditions for higher-order systems on time scales

We study the existence of periodic solutions for a nonlinear system of nth-order differential equations on time scales. Assuming a suitable Nirenberg-type condition, we prove the existence of at least one solution of the problem using Mawhin’s coincidence degree.     

Incremental application of knowledge to continuously arriving time-oriented data

In our previous work, we introduced a computational architecture that effectively supports the tasks of continuous monitoring and of aggregation querying of complex domain meaningful time-oriented concepts and patterns (temporal abstractions), in environments featuring large volumes of continuously arriving and accumulating time-oriented raw data. Examples include provision of decision support in clinical medicine, making financial decisions, detecting anomalies and potential threats in communication networks, integrating intelligence information from multiple sources, etc. In this paper, we describe the general, domain-independent but task-specific problem-solving method underling our computational architecture, which we refer to as incremental knowledge-based temporal abstraction (IKBTA). The IKBTA method incrementally computes temporal abstractions by maintaining persistence and validity of continuously computed temporal abstractions from arriving time-stamped data. We focus on the computational framework underlying our reasoning method, provide well-defined semantic and knowledge requirements for incremental inference, which utilizes a logical model of time, data, and high-level abstract concepts, and provide a detailed analysis of the computational complexity of our approach.     

基于全文检索的Segmenter分词算法改进

流行的Segmenter分词算法是开放的java源代码,它是一个很好的分词工具。但是,在全文检索系统中对分词有特殊的要求,例如歧义包客、专业词典等。所以在这里将Segmenter词典和算法都进行了改选,建立了树状词典,在匹配算法中使用了歧义包容法则、分支处理、动态规划和词库预载入。以适应电子商务案例全文检索系统。     

中职信息技术课程学生学习能力培养的实践研究

在职业教育教学实践过程中,教师面临着"如何培养学生的信息技术学习能力?"问题。通过调查分析,发现研究适合职教学生的课堂教学的方式方法,激发学生的学习积极性是非常必要的。只有这样才能培养学生的创造力、自主学习能力,互相协作及自我约束自我管理的能力。     

基于AT89C2051单片机的电子称设计

近年来,新型单片机的出现和集成电路技术的发展,为更新产品设计,研制高性能价格比的秤重控制器提供了条件。本文设计了基于压力传感器、A/D转换器、AT89C2051单片机和LED显示器的电子秤系统,从其硬件构成,连接电路以及软件部分对其进行阐述。此电子称系统具有结构简单,成本低,精度高等优点。     

直觉线性μ-演算中的合成推理

讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持.     

LCD motion‐blur estimation using different measurement methods

Abstract— The primary goal of this study was to find a measurement method for motion blur which is easy to carry out and gives results that can be reproduced from one lab to another. This method should be able to also take into account methods for reduction of motion blur such as backlight flashing. Two methods have been compared. The first method uses a high‐speed camera that permits us to directly picture the blurred‐edge profile. The second one exploits the mathematical analysis of the motion‐blur formation to construct the blurred‐edge profile from the temporal step response. Measurement results and method proposals are given and discussed.     

公选课教学改革的研究和实践

公共选修课设置的目的是为了拓宽学生的知识面,培养学生的多种技能,从而提高学生的综合素质,以期适应社会发展的要求。本文就公共选修课在教学上存在的问题,以"网络实用技术"公共选修课为例,提出具体的改革措施,实践证明,该措施有效地提高公共选修课教学质量。     

中国戏曲脸谱艺术与现代设计

中国戏曲脸谱有着深厚的文化意蕴和丰富的历史内容,其艺术特征主要有装饰性、程式性、象征性等特征。从戏曲脸谱的这些特点中,我们也能找到很多可以供给现代设计借鉴的内容。本文探索何把中国文化博大精深的内涵应用到现代设计中去,从中国戏曲脸谱艺术里汲取现代产品造型设计的灵感,探讨现代设计与中国传统文化的关系。     

改进的D_时刻表算法在大学课程表问题中的应用

课程表的自动生成是大学课程表编排中最复杂的一个环节,是一个典型的时间规划问题。针对这一问题。本文设计了一种全新的使用改进的D_时刻表的设计方法,提出一套大学课程表白动生成方法。该方法是以文献[5]中介绍的有效解决时间规划问题的D_时刻表算法为基础,并通过试验说明了该方法具有一定的可行性和有效性。