一套开发楼宇自动化系统的软件组合方案

本文对开发楼宇自动化系统提出了一套较为合理的软件组织方案,以Ｍｉｃｒｏｓｏｆｔ Ｗｉｎｄｏｗｓ ＮＴ为网络操作系统,以Ｍｉｃｒｏｓｆｔ ＳＱＬ Ｓｅｒｖｅｒ为后台数据库,并采用ＷＥＢ方式通过ＡＳＰ访问数据库的中数据。     

基于格式的字符统计及其在VBA下的自动化实现

在分析Microsoft Word application“查找”、“统计”功能的基础上,对Documents、Range、Selection等VBA自动化技术主要特征进行研究,提出一种基于格式的字符统计和相关计算的解决方案,并在VBA下予以实现,同时在Word2003和Word2007中验证了它的实用性和有效性.     

介绍一套实用自动化技术教学实验系统

文章叙述了AMS实验教学系统的工作过程，并详细介绍了该系统所适合的实用自动化应用技术。     

军事训练情况统计自动化工具的设计与实现

本文从工作实际出发,针对目前从上交的军事训练情况报告表中提取待统计数据很不方便的情况,基于Python+PyQt5开发平台,设计并实现了一款具有图形界面的自动化工具,该工具完成了报告表的自动生成、统计报告表数据并绘图展示的功能。本文对该工具功能模块划分、工作流程及代码开发逻辑进行了详细阐述,最后对程序进行打包。该工具可以在一定程度上减少数据录入人员、数据统计人员的劳动强度,帮助其快速生成业务所需文件,提高了训练管理的效率,具有一定的实用价值。     

用于统计和分析诊断结果的自动化信息型放射医疗装置（apnc型装置）

APNC型装置的用途是在对患者进行放射性诊察时，对诊察结果采取自动化处理方式。APNC型装置为对患者进行准确的诊断提供了一个统一的环境平台，实现了对门诊办公室的有效管理，解决了远程管理、监护、诊断和医学信息（图像）的交换等一系列问题。     

一种通用的TURBO C汉字菜单模块

用TURBOC语言设计了一个通用汉字菜单模块,并结合实际应用说明了该模块的使用方法。     

不确定时间序列的统计降维方法

由于不确定时间序列的长度很长,并且每个采样点的取值具有不确定性,导致了维度灾难和庞大的可能世界集,给不确定时间序列相似性匹配带来了巨大的困难,因此对不确定时间序列降维是实现对其方便存储、快速查询和相似性匹配的首要任务。不确定时间序列普遍采用小波变换的降维方法,但是该方法没有考虑到采样点之间的相关性。为解决该问题,提出一种基于概率统计和数据相关性的降维方法,该方法将不确定时间序列分为概率维度和时间维度,并分别对两维度进行降维。在时间维度,根据采样点之间的相关性,使用某个采样点代表后续相关度高的采样点;在概率维度,使用大概率点表示相邻的小概率点。实验效果表明:使用该方法对不确定时间序列进行降维后,降维序列可以保持原序列的变化趋势,压缩程度显著,并且可近似地恢复原序列。     

一个通用菜单编辑软件的设计与实现

本文介绍通用菜单编辑软件GME的设计思想与实现方法。GME不仅为用户提供了一个方便、直观的下拉菜单编辑环境,而且可作为一个通用模块嵌入应用系统中,从而为应用系统建立一个良好的用户界面。同时,由于菜单本身具有编辑功能,实现了系统模块的重新组装,增强了应用系统的适应性和易维护性。     

利用Excel函数实现分段统计的应用解析

在实际工作中,经常会遇到需要将一些数据按规定的数据段进行统计。本文通过具体案例详细介绍了利用Excel函数实现分段统计的三种方法和使用注意事项,并对其进行了比较。     

LDLT分块求解计算方法在有限元分析中的编程实现

针对有限元计算时遇到的大型线性方程组求解问题,提出一种解决方法,即对方程组的系数矩阵采用三角分解法,并用一维变带宽存贮,同时与分块法相结合,实现内存与外存数据的交换。这种方法节省内存,提高计算效率,且解决了内存资源不足的问题。实例表明这个算法是很有效的。     

特殊函数软件TS

介绍一种用 C语言研制的特殊函数软件。此软件采用以彩色画面为背景的下拉式菜单 ,在西文状态下工作 ,具有速度快、模块小、人机界面友好等特性。     

VFP制作安装程序时在开始菜单中和桌面上创建快捷方式

Windows版本不同,桌面与开始菜单的相对路径也不同。使用Windows API函数,从注册表中读取出开始菜单和桌面的绝对路径,进而使用API函数,找到桌面与开始菜单的相对路径,使用建立快捷方式的fCreateShellLink函数(VB函数),达到目的。     

程序的自动查核

针对计算机辅助教学的重要，提出了对程序成批自动校查核的一种方法。     

程序自动并行化工具FAX

该文介绍了大规模并行处理系统程序自动并行化工具FAX（FortranAutomatedXlator）的系统概况。重点阐述了FAX中所采用的先进技术。测试结果表明,FAX已具备一定的可用性及有效性,作为面向分布主存并行机系统的程序自动并行化工具,基本达到了设计目标。     

A chain heuristic for the Blocks Relocation Problem

In the Blocks Relocation Problem (BRP) one is given a block retrieval sequence and is concerned with determining a relocation pattern minimizing the total number of moves required to enforce the given retrieval sequence. The importance of the BRP has been constantly growing in recent years, as a consequence of its close connection with the operations inside of a container terminal. Due to the complexity of the BRP, a large number of methods has been developed for finding near optimal solutions. These methods can be divided in two main categories greedy heuristics and more complex methods. The latter achieve results of higher quality, but at the cost of very long execution times. In many cases, this increased calculation time is not an option, and the fast heuristic methods need to be used. Greedy heuristic approaches, in general, apply the heuristic based only on the properties of the block that is being relocated and the current state of the bay. In this paper we propose a new heuristic approach in which when deciding where to relocate a block we also take into account the properties of the block that will be moved next. This idea is illustrated by improving the Min–Max heuristic for the BRP. We compare the new heuristic to several existing methods of this type, and show the effectiveness of our improvements. The tests have been conducted on a wide range of sizes of container bays, using standard test data sets.     

NCES-based modelling and CTL-based verification of reconfigurable embedded control systems

This paper (This work is done in the research laboratory of Prof. Dr. Hans-Michael Hanisch at the Martin Luther University in Germany, and it is supported by the Alexander von Humboldt foundation in Germany under the reference TUN1127196STP.) deals with automatic reconfigurations of safe embedded control systems following the component-based International Industrial Standard IEC61499 in which a Function Block (FB) is an event triggered software component owning data and a control application is a network of blocks. We define a new semantics of reconfigurations that allow automatic improvements of system performances at run-time even if there are no hardware faults. We apply this new semantics on two Benchmark Production Systems developed in our research laboratory according to this industrial technology. We classify thereafter into three forms all possible reconfiguration scenarios to be applied at run-time by a well-defined agent in order to adapt the system to its environment according to well-defined conditions. The agent is modelled by nested state machines according to the formalism Net Condition/Event Systems (NCES) which is an extension of Petri nets. In order to satisfy user requirements, we specify functional and non-functional properties according to the well-known temporal logic “Computation Tree Logic” (CTL) as well as its extensions eCTL and TCTL, and we apply the model checker SESA to check the whole agent-based architecture of the reconfigurable system.