动态信息触摸查询与信息采系统的设计与实现

本文从公众信息查询需求的变化出发，介绍了触摸查询系统的最新特点，提出了一套既能支持全方位动态更新和网络方式查询，又能采集公众意见的新一代触摸查询与信息采集系统方案，并给出了具体实现。     

城市地理信息公众查询系统的设计与实现

从建立城市地理信息公众查询系统的必要性出发，利用Visual C＋＋6．0为开发工具，开发了城市地理信息公众查询系统。该系统实现了数字地图的放缩、漫游等，公交换乘查询、最短路径查询等功能，为其它GIS应用系统的开发打下了良好的基础。     

中型民用机场公众信息查询系统初步设计

本文介绍了一个中型民用机场公众信息查询系统的初步设计.该系统采用流行的以太总线型网络结构,完成公众信息的录入、多媒体终端查询、远程终端查询和电话查询等功能.     

基于微信公众平台的新生录取查询系统的设计与实现

录取查询系统所面对的考生与"微信"的用户群有很大部分的重叠。以微信公众平台为载体设计实现的录取查询系统,对于用户来说界面熟悉,查询途径新颖。详细阐述了系统的架构,并给出了关键模块的代码。     

触摸未来——记太古触摸查询一体机系统

太古的时候,我们的祖先靠触摸感知世界,触摸就是最原始的智慧之光。而今天太古公司(TIKO)的触摸查询一体机(KIOSK),给人们提供了一个通过触摸与计算机交流的机会。太古触摸查询一体机,由触摸屏、主机、     

基于Android的城市空气质量查询系统的设计与实现

为了方便公众第一时间了解和掌握空气质量状况及变化情况,设计并实现了基于Android平台的城市空气质量查询系统。该系统通过HTML解析,获取了来自中国环境监测总站发布的114个监测城市的实时数据。系统使用Android最新ActionBar样式的导航界面以及直观的仪表界面,实现了各城市空气质量指数查询、空气质量排名查询、各监测点数据查询、一周数据查询等功能。经试用,该系统在Android手机上运行良好。     

基于复用的动态查询构件系统的设计与实现

针对信息系统中用户的查询需求不断变化的普遍现象,设计了基于复用的动态查询构件模型,并开发出了动态查询构件系统,实现了信息系统中用户自定义查询的动态管理,体现了构件系统级别上的复用,并成功应用于实际的信息系统开发中。     

工商企业信息查询系统开放月“引发工商查询潮”

2007岁末，工商企业信息公众查询服务系统（下称工商查询系统）宣布2007年12月28日至2008年1月27日为系统开放月，期间用户可以通过名索网（www．mingsuo．com）免费查询工商企业信息，体验“24小时在线的工商企业信息查询服务”。据了解，这一举措引起了企业与公众争相查询工商企业信息的热潮。     

基于ASP技术的通用动态查询系统的设计与实现

B/S模式的系统受到越来越多的应用,其最广泛的应用是数据查询。随着数据量的增大,方便的通用数据动态查询系统将受到越来越多的重视。该文对用ASP实现这种通用动态查询系统进行了研究。     

基于WebGIS公众交通气象服务系统的设计与开发

根据交通气象服务的特点,结合富客户端技术的应用优势,采用B/S和C/S相结合的技术架构,设计利用WebGIS开发公众交通气象服务系统。该系统实现了气象对交通道路影响级别提示、公路气象信息查询、航空气象信息查询、雷达图叠加显示以及辅助测距等功能,为公众交通出行提供了及时、有效的气象服务。     

NFDTD concept

This paper combines artificial neural network (ANN) technique with the finite difference time domain (FDTD) technique. A detailed illustration of the concept, in this paper, uses a 3-8-1 feedforward artificial neural network (FF-ANN) for approximating the Z-component of the electric field in a rectangular waveguide in TM mode. The FDTD equation (i.e., the two-dimensional (2-D) wave equation in discrete form) is embedded into the cost function of the ANN. Results of implementing this technique in a one-dimensional (1-D) transmission line resonator are also provided with 4-10-1 FF-ANN. The result of the leap-frog algorithm implementation, for this 1-D problem using a (3-6-1) /spl times/ (3-6-1) hybrid FF-ANN, is also provided. The neural-finite difference time domain (NFDTD) results are compared with those of the traditional FDTD.     

多边形三角形分解的扇形扫描算法

讨论了任意多边形区域的三角形分解问题,提出了一种扇形扫描方法。该方法沿着多边形轮廓搜索各个可行的目标三角形,逐步将多边形未分解区域缩小,最终完成三角形分解。给出了分解实例。     

视频会议系统中对象共享的非上锁协议

本文提出了一种在以桌面视频会议系统为代表的硬实时多任务系统中对象共享的非上锁协议,并推导出在此协议下各任务的定时限制可满足性的充分条件,这表明非上锁共享对象协议是可行的。     

基于改进的神经元网络的图像恢复与重建新算法

本文简单介绍了最早的图像恢复的神经网络方法,Lambertian反射模型虽可用于图像的恢复与重建,但它有很大的局限性。为此,本文给出了一种基于改进的神经元网络的新型反射模型,用于三维图像的恢复与重建,此新法不需知道光源方向,经实验证明,具有计算快捷且图像识别精度高的特点。     

Finite Integer Computations: An Algebraic Foundation for Their Correctness

Even though computations on finite integer representations are as old as computers themselves, there is one problem that has been inexcusably neglected: integer computations in programming languages do not operate on the ring of integer numbers but only on finite subsets of it. Changing the size of integer representations may change the results of operations performed on them in unexpected ways. In particular, increasing the representation size of intermediate results during computation may lead to incorrect final results. In this paper, we develop an algebraic foundation for integer arithmetic under changing representation sizes and, in particular, a criterion for safely replacing one finite integer arithmetic by another. This safety criterion has also been verified in the theorem prover Isabelle/HOL. Based on this formal development, we not only reveal and explain an inconsistency in the Java Card integer arithmetic but also propose an optimization for Java Card integer expressions and their safe transformation into Java Card bytecode. We also discuss the application of this safety criterion to constant folding, a standard compiler optimization, for Java and C compilers. Received August 2004 Revised January 2006 Accepted February 2006 by C. B. Jones     

航空发动机机械液压控制器建模及仿真技术研究

以流量连续方程和力平衡方程为基础，研究了航空发动机机械液压控制器典型部件的建模方法以及系统中存在的北线性环节的描述方法。对某型航空发动机慢车转速燃油控制系统进行了建模和数字仿真研究，结果与工程实践中现场的情况一致，效果优于常规的仿真方法。工程实践已经验证了仿真研究给出的主要的控制器参数改变的建议是正确的，使控制系统的性能达到了设计要求。这表明所提出的航空发动机机械液压控制器建模和仿真方法是正确、有效的。     

基于形式规格说明和分类树方法生成软件测试用例

介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。     

电子商务与银行业

电子商务是二十一世纪信息产业新的增长点,也是二十一世纪银行业发展的方向。随着国际部分加剧和银行创新发展内在需求的扩大,加快电子商务进程已是我国银行寻求发展的战略性选择。鉴于此,本文在介绍电子商务运作、特点的基础上,分析电子商务给银行业带来的影响和机遇,并就我国银行电子商务发展的现状及途径加以探讨。     

文件格式漏洞Fuzzing测试技术研究

Fuzzing测试是一种自动化发掘软件漏洞的方法,本文讨论了文件格式漏洞利用的现状及Fuzzing测试的研究进展,提出了一个文件格式漏洞Fuzzing测试框架,在FileFuzz的基础上实现了一种文件格式Fuzzing测试工具,可以实现对任意文件格式的测试,并可有效地提高测试效率,最后给出了该工具测试的实例。     

质量监控中的一个子样采集系统

本文介绍了产品生产过程中的分级质量管理,以一种新型多芯电缆压制质量检测装置为例,重点介绍了组成初级站的零、部件数据采集及处理过程。该装置运用单片机技术,光电偶合技术,遥信遥测技术,准确定位多芯电缆绝缘电阻、短路、断路故障点处,为电缆制造业提供了先进的质量检测手段。