基于知识的模型库管理系统

模型库管理系统是决策支持系统区别于其它计算杌信息系统的一个重要特征,着重介绍了如何将知识的表达技术(网络图)和推理机制(深度优先搜索)应用于模型库管理系统,从而实现模型的自动集成和选择,并给出了具体实现过程。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

碳纤维增强聚合物基复合材料频率选择表面的电磁传输特性

为了避免采用金属频率选择表面制备的天线罩中存在的热残余应力和弱黏接界面等问题,采用与聚合物基复合材料罩壁结构相容性好的碳纤维增强聚合物基复合材料制备频率选择表面,利用自由空间法对试样的电磁传输性能进行测试,并采用数值分析模型对碳纤维复合材料频率选择表面的电磁传输机制和电磁传输影响因子进行分析。结果表明:碳纤维复合材料频率选择表面具有频率选择功能,但谐振频率处的电磁传输损耗较大;通过改变复合材料频率选择表面的单元缝隙率、厚度、电导率以及介电常数可以实现对其电磁传输性能的调节。     

基于半定规划的无源跟踪最佳传感器选择

在多站测向定位系统中,观测站与目标的几何位置影响目标定位跟踪精度。以目标估计的克-劳美罗下界(CRLB)行列式最大值为优化指标,在考虑传感器自身的探测能力等实际约束的前提下,建立了无源协同跟踪下最佳传感器选择优化模型。提出了一种基于半定规划(SDP)算法将上述组合优化问题转换为凸优化问题,进行优化求解。仿真结果验证了算法的有效性,与松弛算法和随机选择算法相比,基于SDP的传感器选择可以进一步提高无源协同跟踪的精度。     

全媒体时代加强官兵“舆商”培育的思考

“舆商”即舆论情商,就是在互联网舆论的大背景下,人们对新闻宣传、舆情处置中素材选择、尺度拿捏、分寸把握等方方面面的驾驭能力。全媒体时代,“处处都有麦克风、人人都是发言人”,官兵的人生观、价值观和行为方式受到复杂舆论环境潜移默化的冲击和影响。增强全媒体时代宣传工作能力,抓好官兵“舆商”培育,理应成为部队思想政治建设的重要内容。     

边界扫描测试仪软件系统开发

边界扫描是一种正在被人们普遍接受的可测试性设计技术 ,在电子设备测试和故障诊断中发挥着越来越重要的作用。本文介绍了开发的边界扫描测试仪样机的工作原理 ,并着重论述了其软件开发的几个重要问题。     

大型宾馆空调设计探讨

现代化大型宾馆具有规模大、层级多、功能复杂、空调要求高的特点。在宁夏国际饭店的建设中,对空调系统的设计进行了一些新的探索,取得了较好的效果。宁夏国际饭店是宁夏迄今为止唯一的规模最大、功能最全的三星级高级宾馆建筑,总建筑面积为两万多平方米。其中高层部分为主楼客房部,建筑面积为一万多平方米,分为地下一层地上十层,局部十五层。建筑总高为５３米。冬夏季均设置空调。一、空调系统的选择和安排空调系统：宾馆地面以上各层绝大多数房间都是客房,因此选择了风机盘管加新风的半集中式系统。地下室采用全新风直流式系统。新…     

浅层水中水底爆炸冲击波压力测试及分析

本文介绍了四个球形装药浅层水中水底裸爆时冲击波荷载的测试技术及测试数据的分析。     

军事财力保障预警系统构建初探

我国仍然处于社会主义初级阶段,军事财力供求矛盾非常突出,在我军建设与国防发展需求过程中的军事资源硬约束是长期的。在国内军事财力供给有限而军队建设与国防需求发展较快的情形下,利用好现有的军事财力资源,加速军队建设和应付国内外突发事件,打赢未来高技术条件下的局部战争,构建军事财力供求预警系统是我们的明智选择。     

软件随机黑盒测试的快速覆盖技术

本文提出了求多个测试序列极大距离的算法,该算法对数字电路的测试和软件测试技术是通用的。理论上看,该方法可以弥补随机测试和伪随机测试的缺陷。