Sharp公司抢滩掌上机市场

Sharp公司4月中旬正式宣布其可以与U.S.Robotics的PalmPilot Connected Organizer相竞争的手持产品。 Sharp公司消费商用产品部的官员称,Sharp SE-500预计将在今年六月举行的PC Expo展示会上推出,移动用户可以利用它发送和接收基于Web的电子邮件信     

四款Sharp便携机年底见

Sharp Electronics公司日前宣布四种新款笔记本PC。其中两种M系列系统被定位为“台式机替代品”。Sharp的PCM-100配置Intel 200MHz MMX Pentium处理器、12.1英寸有源阵列显示屏、32MB内存和2.1GB硬盘,重量为7.9磅(约合3.6公斤)。     

出“彩”——从Jornada428想到的

惠普11月9日预发布的Jornada 428是一款具有中文界面、带有彩色显示屏的掌上电脑。这个小小的掌上电脑为惠普公司出彩了,因为它是目前业界首台基于Windows CE、带有彩色显示屏的掌上电脑。带有彩色显示屏的掌上电脑,Sharp也有。但据Sharp株式会社信息产品技术顾问杨维康博士介绍, Sharp的掌上电脑基于的是Sharp专有的操作系统,而且,目前Sharp在中国推出的掌上电脑尚无中文版本。     

基于抽样的复杂网络可靠性度量算法

提出了一种基于抽样技术的算法ABS,通过分析从大型复杂网络中抽样所得到的样本网络,推导出大型复杂网络的可靠性度量参数,同时还给出这些参数的 Bootstrap 置信区间.大量的实验表明,ABS 算法在估算大型复杂网络的可靠性度量参数方面是有效的、可行的.     

Sharp“明亮”出场

3月24日,Sharp(夏普)公司携其两款具有超明亮显示屏的笔记本电脑,宣布介入已不断升温的中国笔记本电脑市场的竞争,并宣布翰林汇公司正式成为Sharp笔记本电脑中国地区代理。 Sharp首次引入中国市场的是专为中国用户设计的Sharp DCM100C/200C笔记本电脑。除Sharp特有的超明亮的显示屏技术外,还具有以下显著特点:全中文化软件设计、系统软件恢复工厂,     

平靓正Notebook Sharp PC GP22W

一直以来Sharp推出的手提电脑都以轻巧、易于携带为主,而且都会采用PⅢ-M系列的处理器。不过在这部Sharp最新的手提电脑PC-GP22W里,就首次使用了P4处理器,为喜爱使用Sharp手提电脑的用户提供更高的处理能力。     

奇苑杂谭

让你“大跌眼镜”的视界革命—Sharp LL-151-3D Sharp在液晶显示面板以及液晶显示器方面的“修为”是人所共知的,这一次,Sharp又让人们“大跌眼镜”,美国夏普公司不久前推出了一款型号为Sharp LL-151-3D的新产品,它是夏普第一款带有“Sharp 3D LCD”技术的独立显示器,它无需3D眼镜,就能让用户观赏到令人瞠目结舌的三维立体图像,并让人感觉身处其中。另外,Sharp LL-151-3D还能通过一个按键在2D和3D模式之间切换自如,方便用户在不同的应用程序下使用,譬如制作报表、文字处理或撰写电子邮件时就用不着3D模式。夏普希望能用这台独特的显示器打入以往的3D解决方案市场,这部分市场目前主要使用3D眼镜和其它一些技术进行3D应用。拥有某些     

基于关键控制点的大型复杂产品质量评估研究

针对大型复杂产品质量评估问题,基于论证设计阶段、制造阶段和使用阶段的质量等级,在综合考虑质量评估流程的基础上,建立了其质量评估指标体系,综合运用模糊综合评判法和组合赋权法,构建了基于关键控制点的大型复杂产品质量评估模型。最后以导弹为例,验证了该方法的适用性和有效性。算例结果表明,该方法能对大型复杂产品质量等级进行有效评估,具有一定理论意义和实用价值。     

大型复杂协议的形式化分析方法研究

大型复杂协议的形式化分析是目前研究的一个热点和难点.根据所采用技术的特点,将大型复杂协议的形式化分析方法分为基于逻辑推理的方法、基于模型检测的方法、基于定理证明的方法和基于进程代数的方法,并简要介绍了各类方法的代表性方法及验证器,最后对各类方法的特点进行分析和比较.指出迭式大型复杂协议的形式化分析方法未来的一个研究重点,修改原有方法或设计一种新的方法,使其既易自动化实现,又能用于复合协议的分析和验证.     

SONY：推出超薄型彩色PDA CLIE T600C

MD迷的年度大餐Sharp IM-MT880终于到来!它是台et MD. Sharp IM-MT880 采用USB接口可以直接从PC上下载歌曲，而PC是用叫Openmg jukebox Ver2.21音乐编辑软件把电脑里的WMA／MP3／WAVE格式转变为MD可以读取的ATRAC／ATRAC3格式。对应操作系统Windows 98／98 SE/2000／XP。     

软件可靠性评估中 UML 应用

在开放环境下,软件规模日趋扩大,结构更加多元化,传统的基于状态的软件可靠性评估方法,状态空间膨胀增加了计算复杂度,而且不能对多种典型的系统结构进行很好的描述。为此,对传统的方法进行了改进,用UML的用例图分解系统,序列图描述子系统,并都作为软件可靠性分析的输入,通过自底向上的方法评估软件的可靠性,符合当前大规模复杂结构的软件系统可靠性评估。     

基于体系结构模型检查分布式控制系统

分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果.     

基于混合法的监控系统可靠性分析

针对复杂监控系统规模庞大及关键设备为双机冗余结构的特点,提出以动态故障树(DFT)为基础并结合蒙特卡罗方法对监控系统进行可靠性分析的混合方法。利用DFT建立系统可靠性模型,通过蒙特卡罗仿真算法对模型进行仿真计算,得到系统的可靠性指标。通过对地铁车站级监控系统的可靠性分析,证明了该模型的可行性和算法的有效性。     

Reliability model for hierarchical systems: Regenerative approach

Most of real technical systems and biological objects with sufficiently high organization are complex hierarchical partially controllable systems. In the paper for modeling and analysis of reliability of such systems the method of decomposable semi-regenerative processes is used. A simple example illustrates our approach.     

基于多源离散数据的复杂系统可靠性评定方法

基于复杂跳伞装备在性能试验和实际训练过程中测试数据少、数据来源多、数据具有离散性的特点,从系统工程的理念出发,提出了一种系统级的Bayes可靠性评估方法.运用系统工程的理念与方法对复杂跳伞装备的系统结构进行层级划分,对采集的数据进行融合分析与处理;对系统分解单元进行分类,确定数据类型,并对各种不同分布类型的单元进行Bayes可靠性分析;利用系统综合方法对单元可靠性信息进行横向或纵向综合.利用金字塔式可靠性综合评定程序对系统可靠性进行评估,并通过仿真算例说明了评估方法的合理性.该方法为开展复杂系统的可靠性评定提供了实用的工程化手段,极具应用价值.     

软件使用统计测试方法的研究

软件开发实践表明,传统软件统计测试方法在提高软件可靠性和度量软件质量方面显现很多不足,阐述了一种改进的基于Markov链模型的软件统计测试方法的技术细节和实施步骤,用此方法对某控制软件的测试进行了具体的研究,对实例软件运用此方法进行测试提出了一个框架方案.实例验证表明,软件使用统计测试方法能够更加经济有效地保障软件质量.     

Space-repair cost optimal series-parallel systems

Optimization methods for reliability systems on diversified criteria for varied types of models are being increasingly developed. Venugopal et at. (1986–1989) have initiated notable lines of work in this direction for a large class of reliability models considering some comprehensive types of cost functions. This paper adds to this work in terms of considering the complex models, namely the series–parallel reliability system. A methodology is developed with the help of an algorithm to obtain cost-space optimal systems in a class of series parallel models based on practical cost considerations. The operational use of the theoretical work is brought out through some empirical results. A qualitative analysis is also provided as a useful companion study.     

复杂系统可靠性增长的动态建模方法

复杂系统可靠性增长试验是一个动态的过程,成本所限不允许进行大规模的试验,而传统方法在子样容量不足的情况下误差较大,无法精确地反应系统可靠性增长的特点,因此在小子样条件下对复杂系统可靠性增长进行评估是目前亟待解决的问题.基于AMSAA模型下复杂系统可靠性增长试验的特点,结合少量现场试验数据,提出了可靠性增长评定的动态建模方法,运用Bayes线性回归方法对系统的可靠性参数进行预测,并对可靠性增长试验的结果进行评定,并给出了各阶段可靠性增长试验中可靠性参数的Bayes估计.由仿真实例证明,与传统方法相比,文中的动态建模方法更加准确,能够有效的解决小子样条件下的可靠性增长问题.     

基于Agent的复杂系统分布仿真建模方法的研究

基于Agent的分布仿真是研究大型复杂系统的一种有效的、重要的方法。为了减小复杂系统仿真的复杂度,增加仿真模型的重用和可维护性,需要研究基于Agent分布仿真的建模方法。首先对复杂系统及其特性进行了分析,对基于Agent的仿真进行了全面的论述,然后对基于Agent的复杂系统仿真中的复杂系统建模分析、Agent建模分析以及Agent的分布进行了分析,给出了基于Agent的复杂系统分布仿真的建模步骤,最后给出了在此建模思想指导下的金融证券市场的建模过程。     

动态故障树的边值多值决策图分析

动态故障树分析对于复杂系统来说是一种重要的可靠性分析技术,但是二叉决策图等传统模块化方法存在严重的状态空间爆炸问题.本文系统介绍了边值决策图的动态故障树分析方法,其中边值多值决策图相对于其它现有的决策图具有更紧凑的表示函数,通过状态数的缩减,缩短了计算时间,有效缓解状态空间爆炸问题.实例证明了边值多值决策图在多状态系统和多功能系统中使用的方法和优势.